Uses of Class
fj.data.hlist.HPre.HFalse
Packages that use HPre.HFalse
-
Uses of HPre.HFalse in fj.data.hlist
Fields in fj.data.hlist declared as HPre.HFalseMethods in fj.data.hlist that return HPre.HFalseModifier and TypeMethodDescriptionstatic 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.HFalseModifier and TypeMethodDescriptionstatic <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.HFalseModifier and TypeMethodDescriptionstatic 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)