IdrisDoc: Prelude.Bool

Prelude.Bool

(&&) : Bool -> Lazy Bool -> Bool

Boolean AND only evaluates the second argument if the first is True.

Fixity
Left associative, precedence 5
data Bool : Type

Boolean Data Type

False : Bool
True : Bool
ifThenElse : (b : Bool) -> (t : Lazy a) -> (e : Lazy a) -> a

The underlying implementation of the if ... then ... else ... syntax

b

the condition on the if

t

the value if b is true

e

the value if b is false

not : Bool -> Bool

Boolean NOT

(||) : Bool -> Lazy Bool -> Bool

Boolean OR only evaluates the second argument if the first is False.

Fixity
Left associative, precedence 4