Stdlib.Data.Bool.Base

Contents

builtin bool type BoolSource #

Inductive definition of booleans.

Constructors

\| true
\| false

Logical negation.

builtin bool-or || : Bool → Bool → BoolSource #

Logical disjunction. Evaluated lazily. Cannot be partially applied

builtin bool-and && : Bool → Bool → BoolSource #

Logical conjunction. Evaluated lazily. 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. Evaluated lazily. Cannot be partially applied.

Logical disjunction.

Logical conjunction.

Description

Definitions