BooleanFunctions

Conditional.

p q  p --> q
0 0  1
0 1  1
1 0  0
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

Returns the value a lifted into the context M if cond is false, otherwise, the empty value for M.

emptyOrPoint curried into a natural transformation.

Inverse Conditional.

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

Negation of Conjunction. (NAND)

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

Negational of Conditional.

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

Negation of Inverse Conditional.

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

Negation of Disjunction. (NOR)

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

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

Returns the value a lifted into the context M if cond is true, otherwise, the empty value for M.

pointOrEmpty curried into a natural transformation.

Returns 1 if p is true, or 0 otherwise.

Executes the given side-effect if cond 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.

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

Executes the given side-effect if cond 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.

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