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