stdlib - 0.0.1

Stdlib.Data.Bool.Base

Description

Definitions

import Juvix.Builtin.V1.Bool open public

not : Bool → BoolSource#

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.

or (a b : Bool) : BoolSource#

Logical disjunction.

and (a b : Bool) : BoolSource#

Logical conjunction.