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

Packages that use HPre.HZero

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

Uses of HPre.HZero in fj.data.hlist

Subclasses with type arguments of type HPre.HZero in fj.data.hlist

Modifier and Type	Class	Description
static final class	HPre.HZero	Type-level zero

Methods in fj.data.hlist that return HPre.HZero

Modifier and Type	Method	Description
static HPre.HZero	HPre.HNat.hZero()

Methods in fj.data.hlist that return types with arguments of type HPre.HZero

Modifier and Type	Method	Description
static <N extends HPre.HNat<N>> HPre.HAdd<HPre.HSucc<N>, HPre.HZero, HPre.HSucc<N>>	HPre.HAdd.add(HPre.HSucc<N> a, HPre.HZero b)	The sum of zero and any other number is that number.
static <N extends HPre.HNat<N>> HPre.HAdd<HPre.HZero, HPre.HSucc<N>, HPre.HSucc<N>>	HPre.HAdd.add(HPre.HZero a, HPre.HSucc<N> b)	The sum of zero and any other number is that number.
static <N extends HPre.HNat<N>> HPre.HEq<HPre.HSucc<N>, HPre.HZero, HPre.HFalse>	HPre.HEq.eq(HPre.HSucc<N> a, HPre.HZero b)	Zero is not equal to anything other than zero.
static <N extends HPre.HNat<N>> HPre.HEq<HPre.HZero, HPre.HSucc<N>, HPre.HFalse>	HPre.HEq.eq(HPre.HZero a, HPre.HSucc<N> b)	Zero is not equal to anything other than zero.
static HPre.HEq<HPre.HZero, HPre.HZero, HPre.HTrue>	HPre.HEq.eq(HPre.HZero a, HPre.HZero b)	Zero is equal to itself.
static HPre.HEq<HPre.HZero, HPre.HZero, HPre.HTrue>	HPre.HEq.eq(HPre.HZero a, HPre.HZero b)	Zero is equal to itself.
Show<HPre.HZero>	HPre.HZero.show()

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

Modifier and Type	Method	Description
static <N extends HPre.HNat<N>> HPre.HAdd<HPre.HSucc<N>, HPre.HZero, HPre.HSucc<N>>	HPre.HAdd.add(HPre.HSucc<N> a, HPre.HZero b)	The sum of zero and any other number is that number.
static <N extends HPre.HNat<N>> HPre.HAdd<HPre.HZero, HPre.HSucc<N>, HPre.HSucc<N>>	HPre.HAdd.add(HPre.HZero a, HPre.HSucc<N> b)	The sum of zero and any other number is that number.
static <N extends HPre.HNat<N>> HPre.HEq<HPre.HSucc<N>, HPre.HZero, HPre.HFalse>	HPre.HEq.eq(HPre.HSucc<N> a, HPre.HZero b)	Zero is not equal to anything other than zero.
static <N extends HPre.HNat<N>> HPre.HEq<HPre.HZero, HPre.HSucc<N>, HPre.HFalse>	HPre.HEq.eq(HPre.HZero a, HPre.HSucc<N> b)	Zero is not equal to anything other than zero.
static HPre.HEq<HPre.HZero, HPre.HZero, HPre.HTrue>	HPre.HEq.eq(HPre.HZero a, HPre.HZero b)	Zero is equal to itself.