|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
HList<A extends HList<A>> | Type-safe heterogeneous lists. |
HList.Apply<F$,A,R> | Type-level function application operators. |
HList.HAppend<A,B,C> | The concatenation of two heterogeneous lists. |
HList.HCons<E,L extends HList<L>> | The nonempty list |
HList.HFoldr<G,V,L,R> | The catamorphism over heterogeneous lists. |
HList.HNil | The empty list |
HPre | A basic prelude of values lifted into the type system. |
HPre.HAdd<A extends HPre.HNat<A>,B extends HPre.HNat<B>,C extends HPre.HNat<C>> | Type-level integer arithmetic |
HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool> | Type-level boolean conjunction. |
HPre.HBool | A type-level Boolean |
HPre.HCond<T,X,Y,Z> | A type-level conditional. |
HPre.HEq<X,Y,B extends HPre.HBool> | Type-level equality. |
HPre.HFalse | Boolean false |
HPre.HNat<A extends HPre.HNat<A>> | Type-level natural numbers. |
HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool> | Type-level boolean disjunction. |
HPre.HSucc<N extends HPre.HNat<N>> | A natural number N + 1 |
HPre.HTrue | Boolean true |
HPre.HZero | Type-level zero |
Type-safe, extensible, heterogeneous lists
|
Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |