Packages

p

sttp.tapir

typelevel

package typelevel

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. trait BinaryPolyFunc extends AnyRef

    Allows the definition of binary poly-functions (e.g.

    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!

  2. trait BinaryTupleOp extends AnyRef
  3. trait ErasureSameAsType[T] extends AnyRef

    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.

  4. trait LowPriorityTupleArity extends AnyRef
  5. trait LowPriorityTupleConcat0 extends AnyRef
  6. trait LowPriorityTupleConcat1 extends LowPriorityTupleConcat0
  7. trait LowPriorityTupleConcat2 extends LowPriorityTupleConcat1
  8. trait LowPriorityTupleConcat3 extends LowPriorityTupleConcat2
  9. trait LowPriorityTupleConcat4 extends LowPriorityTupleConcat3
  10. trait MatchType[T] extends AnyRef
  11. trait MatchTypeMacros extends MatchTypeMagnoliaDerivation
  12. trait MatchTypeMagnoliaDerivation extends AnyRef
  13. trait ParamConcat[T, U] extends BinaryTupleOp

    Concatenates two parameter lists into one.

    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.

  14. abstract class TupleAppendOneInstances extends AnyRef
  15. trait TupleArity[T] extends AnyRef

    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).

  16. abstract class TupleFoldInstances extends AnyRef

Ungrouped