Data.Type.Bool

Лицензия	BSD-стиль (см. файл LICENSE в дистрибутиве)
Разработчик	libraries@haskell.org
Устойчивость	стабильная
Переносимость	не переносима
Safe 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 ... Источник

Уровень-типовой "не". Инъективная type family, так как 4.10.0.0.

С момента: base-4.7.0.0