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.

Package fj.data.hlist

Type-safe, extensible, heterogeneous lists

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
 

Package fj.data.hlist Description

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.