Class HPre.HAnd<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>

java.lang.Object

fj.data.hlist.HPre.HAnd<A,B,C>

Type Parameters:

A - A boolean

B - A boolean

C - The logical implication of A and B

Enclosing class:

HPre

public static final class HPre.HAnd<A extends HPre.HBool, B extends HPre.HBool, C extends HPre.HBool>
extends Object

Type-level boolean conjunction. A value of this type represents evidence that AB -> C

Field Summary

Fields

Modifier and Type	Field	Description
private final C	v

Constructor Summary

Constructors

Modifier	Constructor	Description
private	HAnd(C v)

Method Summary

Modifier and Type	Method	Description
static HPre.HAnd<HPre.HFalse, HPre.HFalse, HPre.HFalse>	hAnd(HPre.HFalse a, HPre.HFalse b)
static HPre.HAnd<HPre.HFalse, HPre.HTrue, HPre.HFalse>	hAnd(HPre.HFalse a, HPre.HTrue b)
static HPre.HAnd<HPre.HTrue, HPre.HFalse, HPre.HFalse>	hAnd(HPre.HTrue a, HPre.HFalse b)
static HPre.HAnd<HPre.HTrue, HPre.HTrue, HPre.HTrue>	hAnd(HPre.HTrue a, HPre.HTrue b)
C	v()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

v

private final C extends HPre.HBool v

Constructor Details

HAnd

private HAnd(C v)

Method Details

v

public C v()

hAnd

public static HPre.HAnd<HPre.HFalse, HPre.HFalse, HPre.HFalse> hAnd(HPre.HFalse a,
 HPre.HFalse b)

hAnd

public static HPre.HAnd<HPre.HTrue, HPre.HFalse, HPre.HFalse> hAnd(HPre.HTrue a,
 HPre.HFalse b)

hAnd

public static HPre.HAnd<HPre.HFalse, HPre.HTrue, HPre.HFalse> hAnd(HPre.HFalse a,
 HPre.HTrue b)

hAnd

public static HPre.HAnd<HPre.HTrue, HPre.HTrue, HPre.HTrue> hAnd(HPre.HTrue a,
 HPre.HTrue b)