BooleanOps

Negation of Conjunction. (NAND)

p q  p !&& q
0 0  1
0 1  1
1 0  1
1 1  0

Returns the given argument if this is false, otherwise, the zero element for the type of the given argument.

Negation of Disjunction. (NOR)

p q  p !|| q
0 0  1
0 1  0
1 0  0
1 1  0

Conditional.

p q  p --> q
0 0  1
0 1  1
1 0  0
1 1  1

Negation of Conditional.

p q  p -/> q
0 0  0
0 1  0
1 0  1
1 1  0

Conjunction. (AND)

p q  p /\ q
0 0  0
0 1  0
1 0  0
1 1  1

Inverse Conditional.

p q  p <-- q
0 0  1
0 1  0
1 0  1
1 1  1

Bi-Conditional.

p q  p <--> q
0 0  1
0 1  0
1 0  0
1 1  1

Negation of Inverse Conditional.

p q  p ⇍ q
0 0  0
0 1  1
1 0  0
1 1  0

Returns the given argument if this is true, otherwise, the zero element for the type of the given argument.

Disjunction. (OR)

p q  p \/ q
0 0  0
0 1  1
1 0  1
1 1  1

Returns the given argument in LazySome if this is true, LazyNone otherwise.

Returns the given argument in Some if this is true, None otherwise.

Returns the given argument if cond is false, otherwise, unit lifted into M.

A version of unlessM that infers the type constructor M.

Returns the given argument if cond is true, otherwise, unit lifted into M.

A version of whenM that infers the type constructor M.

Negation of Inverse Conditional.

p q  p <\- q
0 0  0
0 1  1
1 0  0
1 1  0

Negation of Conditional.

p q  p ⇏ q
0 0  0
0 1  0
1 0  1
1 1  0

Inverse Conditional.

p q  p ⇐ q
0 0  1
0 1  0
1 0  1
1 1  1

Conjunction. (AND)

p q  p ∧ q
0 0  0
0 1  0
1 0  0
1 1  1

Disjunction. (OR)

p q  p ∨ q
0 0  0
0 1  1
1 0  1
1 1  1