Stdlib.Data.Bool.Base
Contents
builtin bool type BoolSource#
Inductive definition of booleans.
Constructors
not : Bool → BoolSource#
Logical negation.
builtin bool-or || : Bool → Bool → BoolSource#
Logical disjunction. Cannot be partially applied
builtin bool-and && : Bool → Bool → BoolSource#
Logical conjunction. Cannot be partially applied.
builtin bool-if if : {A : Type} → Bool → A → A → ASource#
Returns the first argument if true, otherwise it returns the second argument. Cannot be partially applied.
or : Bool → Bool → BoolSource#
Logical disjunction.
and : Bool → Bool → BoolSource#
Logical conjunction.