Conditional.
Conditional.
p q p --> q 0 0 1 0 1 1 1 0 0 1 1 1
Conjunction.
Conjunction. (AND)
p q p ∧ q 0 0 0 0 1 0 1 0 0 1 1 1
Disjunction.
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.
t
if cond
is true
, f
otherwise
Inverse Conditional.
Inverse Conditional.
p q p <-- q 0 0 1 0 1 0 1 0 1 1 1 1
Negation of Conjunction.
Negation of Conjunction. (NAND)
p q p !&& q 0 0 1 0 1 1 1 0 1 1 1 0
Negational of Conditional.
Negational of Conditional.
p q p ⇏ q 0 0 0 0 1 0 1 0 1 1 1 0
Negation of Inverse Conditional.
Negation of Inverse Conditional.
p q p <\- q 0 0 0 0 1 1 1 0 0 1 1 0
Negation of Disjunction.
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.
Returns the value a
lifted into the context M
if cond
is false
, otherwise, the empty value
for M
.
Returns the value a
lifted into the context M
if cond
is false
, otherwise, the empty value
for M
.
(Since version 7.3.0) use emptyOrPoint instead
(Since version 7.3.0) use emptyOrPointNT instead