sttp.tapir.typelevel
Type members
Classlikes
Allows the definition of binary poly-functions (e.g. for folding over tuples).
Allows the definition of binary poly-functions (e.g. for folding over tuples).
Note: the poly-function implementation seen here is merely a stripped down version of what Miles Sabin made available with his awesome shapeless library. All credit goes to him!
- Companion
- object
An instance should be available in the implicit scope if the erasure of T
is equal to T
, that is when we can check at runtime that a
value is of type T
using the scala.reflect.ClassTag.
An instance should be available in the implicit scope if the erasure of T
is equal to T
, that is when we can check at runtime that a
value is of type T
using the scala.reflect.ClassTag.
- Companion
- object
Concatenates two parameter lists into one. Each parameter list can be either a single type, or a tuple.
Concatenates two parameter lists into one. Each parameter list can be either a single type, or a tuple.
The arity of a type if 0
if it's Unit
/Nothing
, as these types act as a neutral element in the tuple-concatenation operation that
takes place when combining inputs/outputs.
The arity of a type is 1
if it's a "singular" type (as viewed at compile-time; at run-time, the value might in fact be a tuple).
Otherwise, the arity of a tuple.
- Companion
- object
The arity of type T
(if its a tuple), as viewed at compile-time (at run-time, a value that is determined to be a "singular" type,
might in fact be a tuple).
The arity of type T
(if its a tuple), as viewed at compile-time (at run-time, a value that is determined to be a "singular" type,
might in fact be a tuple).
- Companion
- object