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

Conditional operator that returns the first argument if this is true, the second argument otherwise.

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 first argument in \/- if this is true, otherwise the second argument in -\/.

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

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

Executes the given side-effect if this boolean value is false.

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

A version of unlessM that infers the type constructor M.

Executes the given side-effect if this boolean value is true.

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