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

Packages that use HPre.HFalse

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

Uses of HPre.HFalse in fj.data.hlist

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

Modifier and Type	Field	Description
private static final HPre.HFalse	HPre.hFalse

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

Modifier and Type	Method	Description
static HPre.HFalse	HPre.hFalse()	Returns a boolean value whose type represents falsehood.

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

Modifier and Type	Method	Description
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.HAnd<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HFalse b)
static HPre.HAnd<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HFalse b)
static HPre.HAnd<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HFalse b)
static HPre.HAnd<HPre.HFalse, HPre.HTrue, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HTrue b)
static HPre.HAnd<HPre.HFalse, HPre.HTrue, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HTrue b)
static HPre.HAnd<HPre.HTrue, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HTrue a, HPre.HFalse b)
static HPre.HAnd<HPre.HTrue, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HTrue a, HPre.HFalse b)
static <X,Y> HPre.HCond<HPre.HFalse, X, Y, Y>	HPre.HCond.hCond(HPre.HFalse t, X x, Y y)
static HPre.HOr<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HOr.hOr(HPre.HFalse a, HPre.HFalse b)
static HPre.HOr<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HOr.hOr(HPre.HFalse a, HPre.HFalse b)
static HPre.HOr<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HOr.hOr(HPre.HFalse a, HPre.HFalse b)
static HPre.HOr<HPre.HFalse, HPre.HTrue, HPre.HTrue>	HPre.HOr.hOr(HPre.HFalse a, HPre.HTrue b)
static HPre.HOr<HPre.HTrue, HPre.HFalse, HPre.HTrue>	HPre.HOr.hOr(HPre.HTrue a, HPre.HFalse b)

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

Modifier and Type	Method	Description
static HPre.HAnd<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HFalse b)
static HPre.HAnd<HPre.HFalse, HPre.HTrue, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HFalse a, HPre.HTrue b)
static HPre.HAnd<HPre.HTrue, HPre.HFalse, HPre.HFalse>	HPre.HAnd.hAnd(HPre.HTrue a, HPre.HFalse b)
static <X,Y> HPre.HCond<HPre.HFalse, X, Y, Y>	HPre.HCond.hCond(HPre.HFalse t, X x, Y y)
static HPre.HOr<HPre.HFalse, HPre.HFalse, HPre.HFalse>	HPre.HOr.hOr(HPre.HFalse a, HPre.HFalse b)
static HPre.HOr<HPre.HFalse, HPre.HTrue, HPre.HTrue>	HPre.HOr.hOr(HPre.HFalse a, HPre.HTrue b)
static HPre.HOr<HPre.HTrue, HPre.HFalse, HPre.HTrue>	HPre.HOr.hOr(HPre.HTrue a, HPre.HFalse b)