sttp.tapir.typelevel
Members list
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!
Attributes
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- BinaryPolyFunc.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
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.
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Companion:
- trait
- Graph
- Supertypes
- Self type
- ErasureSameAsType.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- object TupleArity.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait LowPriorityTupleConcat1trait LowPriorityTupleConcat2trait LowPriorityTupleConcat3trait LowPriorityTupleConcat4object ParamConcat.type
Attributes
- Graph
- Supertypes
- Known subtypes
- trait LowPriorityTupleConcat2trait LowPriorityTupleConcat3trait LowPriorityTupleConcat4object ParamConcat.type
Attributes
- Graph
- Supertypes
- Known subtypes
Attributes
- Graph
- Supertypes
- trait LowPriorityTupleConcat2trait LowPriorityTupleConcat1trait LowPriorityTupleConcat0class Objecttrait Matchableclass Any
- Known subtypes
- trait LowPriorityTupleConcat4object ParamConcat.type
Attributes
- Graph
- Supertypes
- trait LowPriorityTupleConcat3trait LowPriorityTupleConcat2trait LowPriorityTupleConcat1trait LowPriorityTupleConcat0class Objecttrait Matchableclass Any
- Known subtypes
- object ParamConcat.type
Attributes
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- object MatchType.type
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.
Attributes
- Companion:
- object
- Graph
- Supertypes
Attributes
- Companion:
- trait
- Graph
- Supertypes
- trait LowPriorityTupleConcat4trait LowPriorityTupleConcat3trait LowPriorityTupleConcat2trait LowPriorityTupleConcat1trait LowPriorityTupleConcat0class Objecttrait Matchableclass Any
- Self type
- ParamConcat.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- object AppendOne.type
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).
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Companion:
- trait
- Graph
- Supertypes
- Self type
- TupleArity.type
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- object FoldLeft.type