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 FnComponents[-FN, TUPLE, RESULT] extends AnyRef
- trait LowPriorityParamsAsArgs0 extends AnyRef
- trait LowPriorityParamsAsArgs1 extends LowPriorityParamsAsArgs0
- trait LowPriorityParamsToTuple extends AnyRef
- trait LowPriorityTupleConcat0 extends AnyRef
- trait LowPriorityTupleConcat1 extends LowPriorityTupleConcat0
- trait LowPriorityTupleConcat2 extends LowPriorityTupleConcat1
- trait LowPriorityTupleConcat3 extends LowPriorityTupleConcat2
- trait MatchType[T] extends AnyRef
- trait ParamConcat[T, U] extends AnyRef
Concatenates two parameter lists into one.
Concatenates two parameter lists into one. Each parameter list can be either a single type, or a tuple.
- trait ParamsAsArgs[I] extends AnyRef
View parameters (single type or a tuple) as arguments of a function of the appropriate arity.
- trait ParamsToTuple[I] extends AnyRef
- trait ReplaceFirstInFn[I, FN_IK[_], J, FN_JK[_]] extends AnyRef
Replace the first parameter of a function from I to J.
Replace the first parameter of a function from I to J. FN_IK[R] = (IK as args) => R FN_JK[R] = (JK as args) => R IK = (I, A, B, C, ...) JK = (J, A, B, B, ...)
- trait ReplaceFirstInTuple[I, J, IK, JK] extends AnyRef
Tuples with the first element replaced: IK = (I, A, B, C, ...) JK = (J, A, B, B, ...)
- abstract class TupleAppendOneInstances extends AnyRef
- abstract class TupleFoldInstances extends AnyRef
Value Members
- object BinaryPolyFunc
- object FnComponents
- object MatchType extends GenericMatchType
- object ParamConcat extends LowPriorityTupleConcat3
- object ParamsAsArgs extends LowPriorityParamsAsArgs1
- object ParamsToTuple extends LowPriorityParamsToTuple
- object ReplaceFirstInFn
- object ReplaceFirstInTuple
- object TupleOps