Copyright | (c) The University of Glasgow 2001 |
---|---|
License | BSD-style (see the file libraries/base/LICENSE) |
Maintainer | [email protected] |
Stability | experimental |
Portability | portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
The Bool
type and related functions.
(&&) :: Bool -> Bool -> Bool infixr 3 Source
Boolean "and"
(||) :: Bool -> Bool -> Bool infixr 2 Source
Boolean "or"
Boolean "not"
otherwise
is defined as the value True
. It helps to make guards more readable. eg.
f x | x < 0 = ... | otherwise = ...
bool :: a -> a -> Bool -> a Source
Case analysis for the Bool
type. bool x y p
evaluates to x
when p
is False
, and evaluates to y
when p
is True
.
This is equivalent to if p then y else x
; that is, one can think of it as an if-then-else construct with its arguments reordered.
Basic usage:
>>>
bool "foo" "bar" True
"bar">>>
bool "foo" "bar" False
"foo"
Confirm that bool x y p
and if p then y else x
are equivalent:
>>>
let p = True; x = "bar"; y = "foo"
>>>
bool x y p == if p then y else x
True>>>
let p = False
>>>
bool x y p == if p then y else x
True
Since: 4.7.0.0
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.2.1/docs/html/libraries/base-4.10.0.0/Data-Bool.html