package typelevel
- Alphabetic
- Public
- Protected
Type Members
- 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!
- trait BinaryTupleOp extends AnyRef
- trait ErasureSameAsType[T] extends AnyRef
An instance should be available in the implicit scope if the erasure of
T
is equal toT
, that is when we can check at runtime that a value is of typeT
using the scala.reflect.ClassTag. - trait LowPriorityTupleArity extends AnyRef
- trait LowPriorityTupleConcat0 extends AnyRef
- trait LowPriorityTupleConcat1 extends LowPriorityTupleConcat0
- trait LowPriorityTupleConcat2 extends LowPriorityTupleConcat1
- trait LowPriorityTupleConcat3 extends LowPriorityTupleConcat2
- trait LowPriorityTupleConcat4 extends LowPriorityTupleConcat3
- trait MatchType[T] extends AnyRef
- trait MatchTypeMacros extends MatchTypeMagnoliaDerivation
- trait MatchTypeMagnoliaDerivation extends AnyRef
- 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'sUnit
/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.
- abstract class TupleAppendOneInstances extends AnyRef
- 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). - abstract class TupleFoldInstances extends AnyRef
Value Members
- object BinaryPolyFunc
- object ErasureSameAsType extends ErasureSameAsTypeMacros
- object MatchType extends MatchTypeMacros
- object ParamConcat extends LowPriorityTupleConcat4
- object TupleArity extends LowPriorityTupleArity
- object TupleOps