Uses of Class
fj.data.hlist.HPre.HBool

Packages that use HPre.HBool

Package	Description
fj.data.hlist	Type-safe, extensible, heterogeneous lists

Uses of HPre.HBool in fj.data.hlist

Classes in fj.data.hlist with type parameters of type HPre.HBool

Modifier and Type	Class	Description
static class	HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>	Type-level boolean conjunction.
static class	HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>	Type-level boolean conjunction.
static class	HPre.HAnd<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>	Type-level boolean conjunction.
static class	HPre.HEq<X,Y,B extends HPre.HBool>	Type-level equality.
static class	HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>	Type-level boolean disjunction.
static class	HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>	Type-level boolean disjunction.
static class	HPre.HOr<A extends HPre.HBool,B extends HPre.HBool,C extends HPre.HBool>	Type-level boolean disjunction.

Subclasses of HPre.HBool in fj.data.hlist

Modifier and Type	Class	Description
static class	HPre.HFalse	Boolean false
static class	HPre.HTrue	Boolean true

Fields in fj.data.hlist declared as HPre.HBool

Modifier and Type	Field	Description
private C	HPre.HAnd.v
private B	HPre.HEq.v
private C	HPre.HOr.v

Methods in fj.data.hlist with type parameters of type HPre.HBool

Modifier and Type	Method	Description
static <N extends HPre.HNat<N>,NN extends HPre.HNat<NN>,B extends HPre.HBool,E extends HPre.HEq<N,NN,B>> HPre.HEq<HPre.HSucc<N>,HPre.HSucc<NN>,B>	HPre.HEq.eq(HPre.HSucc<N> a, HPre.HSucc<NN> b, E e)	A number is equal to another if their predecessors are equal.