Data.Bool

Булевы значения

data Bool :: * Исходный код

Операции

(&&) :: Bool -> Bool -> Bool infixr 3 Исходный код

Булево "и"

(||) :: Bool -> Bool -> Bool infixr 2 Исходный код

Булево "или"

not :: Bool -> Bool Исходный код

Булево "не"

otherwise :: Bool Исходный код

otherwise определено как значение True. Помогает сделать условия более читабельными. Например.

 f x | x < 0     = ...
     | otherwise = ...

bool :: a -> a -> Bool -> a Исходный код

Анализ по типу Bool. bool x y p вычисляется как x если p имеет значение False, и вычисляется как y если p имеет значение True.

Это эквивалентно if p then y else x; то есть можно представить это как конструкцию if-then-else с переупорядоченными аргументами.

Примеры

>>> bool "foo" "bar" True
"bar"
>>> bool "foo" "bar" False
"foo"

>>> 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

С версии: 4.7.0.0