boolean
Value members
Inherited methods
Conjunction. (AND)
Conjunction. (AND)
p q p ∧ q
0 0 0
0 1 0
1 0 0
1 1 1
- Inherited from
- BooleanFunctions
Disjunction. (OR)
Disjunction. (OR)
p q p ∨ q
0 0 0
0 1 1
1 0 1
1 1 1
- Inherited from
- BooleanFunctions
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
.
- Inherited from
- BooleanFunctions
- Inherited from
- BooleanFunctions
Inverse Conditional.
Inverse Conditional.
p q p <-- q
0 0 1
0 1 0
1 0 1
1 1 1
- Inherited from
- BooleanFunctions
Negation of Conjunction. (NAND)
Negation of Conjunction. (NAND)
p q p !&& q
0 0 1
0 1 1
1 0 1
1 1 0
- Inherited from
- BooleanFunctions
Negational of Conditional.
Negational of Conditional.
p q p ⇏ q
0 0 0
0 1 0
1 0 1
1 1 0
- Inherited from
- BooleanFunctions
Negation of Inverse Conditional.
Negation of Inverse Conditional.
p q p <\- q
0 0 0
0 1 1
1 0 0
1 1 0
- Inherited from
- BooleanFunctions
Negation of Disjunction. (NOR)
Negation of Disjunction. (NOR)
p q p !|| q
0 0 1
0 1 0
1 0 0
1 1 0
- Inherited from
- BooleanFunctions
Returns the given argument in Some
if cond
is true
, None
otherwise.
Returns the given argument in Some
if cond
is true
, None
otherwise.
- Inherited from
- BooleanFunctions
Returns the value a
lifted into the context M
if cond
is true
, otherwise, the empty value
for M
.
Returns the value a
lifted into the context M
if cond
is true
, otherwise, the empty value
for M
.
- Inherited from
- BooleanFunctions
- Inherited from
- BooleanFunctions
Returns 1
if p
is true, or 0
otherwise.
Returns 1
if p
is true, or 0
otherwise.
- Inherited from
- BooleanFunctions
Executes the given side-effect if cond
is false
Executes the given side-effect if cond
is false
- Inherited from
- BooleanFunctions
Returns the given argument if cond
is false
, otherwise, unit lifted into M.
Returns the given argument if cond
is false
, otherwise, unit lifted into M.
- Inherited from
- BooleanFunctions
A version of unlessM
that infers the type constructor M
.
A version of unlessM
that infers the type constructor M
.
- Inherited from
- BooleanFunctions
Returns the given argument if cond
is true
, otherwise, the zero element for the type of the given
argument.
Returns the given argument if cond
is true
, otherwise, the zero element for the type of the given
argument.
- Inherited from
- BooleanFunctions
Executes the given side-effect if cond
is true
Executes the given side-effect if cond
is true
- Inherited from
- BooleanFunctions
Returns the given argument if cond
is true
, otherwise, unit lifted into M.
Returns the given argument if cond
is true
, otherwise, unit lifted into M.
- Inherited from
- BooleanFunctions
A version of whenM
that infers the type constructor M
.
A version of whenM
that infers the type constructor M
.
- Inherited from
- BooleanFunctions
Returns the given argument if cond
is false
, otherwise, the zero element for the type of the given
argument.
Returns the given argument if cond
is false
, otherwise, the zero element for the type of the given
argument.
- Inherited from
- BooleanFunctions