IdrisDoc: Prelude.Bool

# Prelude.Bool

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

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

  Fixity
    Left associative, precedence 4
not : Bool -> Bool

  Boolean NOT

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 falue if b is false

data Bool : Type

  Boolean Data Type

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

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

  Fixity
    Left associative, precedence 5