Data.Type.Bool

Лицензия	В стиле BSD (см. файл LICENSE в дистрибутиве)
Сопровождающий	libraries@haskell.org
Стабильность	стабильная
Переносимость	непереносимый
Безопасный Haskell	Безопасный
Язык	Haskell2010

type family If (cond :: Bool) (tru :: k) (fls :: k) :: k where ... Источник

Условный оператор If на уровне типов. If True a b ==> a; If False a b ==> b

type family (a :: Bool) && (b :: Bool) :: Bool where ... infixr 3 Источник

Конъюнкция на уровне типов

type family (a :: Bool) || (b :: Bool) :: Bool where ... infixr 2 Источник

Дизъюнкция на уровне типов

type family Not (a :: Bool) = (res :: Bool) | res -> a where ... Источник

Отрицание на уровне типов. Инъективное семейство типов, начиная с 4.10.0.0.

С версии: base-4.7.0.0