heterogeneous

Type Members

1. final class HCons[+H, +T <: HList] extends HList

   

   A cons cell of an HList, containing an element type and the element

2. sealed abstract class HList extends Product

   

   A heterogenous list where each element has its own type.

3. abstract class Nat extends AnyRef

   

   Natural numbers for indexing in HLists.

   Natural numbers for indexing in HLists.

   All type-level computations are done with Church Numerals. Value-level computations at run-time are done directly on the underlying Int values, similar to java.lang.Integer.

4. final class Succ[N <: Nat] extends Nat

   

   A successor of another Nat

5. trait TypedFunction extends AnyRef

   

   A function which operates at the type and value levels.

6. trait TypedFunction2[-T1, -T2, +TR, F[_ <: T1, _ <: T2] <: TR] extends TypedFunction

   

   A binary function which operates at the type and value levels.