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 final class	HPre.HAnd<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>	Type-level boolean conjunction.
static final class	HPre.HAnd<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>	Type-level boolean conjunction.
static final class	HPre.HAnd<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>	Type-level boolean conjunction.
static final class	HPre.HEq<X, Y, B extends HPre.HBool>	Type-level equality.
static final class	HPre.HOr<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>	Type-level boolean disjunction.
static final class	HPre.HOr<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>	Type-level boolean disjunction.
static final 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

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.