Экземпляры класса типов Bounded имеют верхнюю и нижнюю границу.

ghci> minBound :: Int

–2147483648

57

КЛАССЫ ТИПОВ

ghci> maxBound :: Char

'\1114111'

ghci> maxBound :: Bool

True

ghci> minBound :: Bool

False

Функции minBound и maxBound интересны тем, что имеют тип

(Bounded a) => a. В этом смысле они являются полиморфными кон стантами.

Все

кортежи также являются частью класса Bounded,

если их

компоненты

принадлежат классу Bounded.

ghci> maxBound :: (Bool, Int, Char)

(True,2147483647,'\1114111')