Data.Type.Bool
| Лицензия | BSD-стиль (см. файл LICENSE в дистрибутиве) |
|---|---|
| Поддержка | libraries@haskell.org |
| Стабильность | экспериментальная |
| Переносимость | не переносимая |
| Safe Haskell | Безопасная |
| Язык | Haskell2010 |
Описание
Основные операции над булевыми типами на уровне типов.
С версии: base-4.7.0.0
type family Если cond tru fls где ... Исходный код
Уровень-типовой Если. If True a b ==> a; If False a b ==> b
type family a И b где ... infixr 3 Исходный код
Уровень-типовое "и"
type family a Или b где ... infixr 2 Исходный код
Уровень-типовое "или"
Уравнения
| 'Ложь Или a = a | |
| 'Истина Или a = 'Истина | |
| a Или 'Ложь = a | |
| a Или 'Истина = 'Истина | |
| a Или a = a |
type family Не a = res | res -> a где ... Исходный код
Уровень-типовое "не". Инъективная семейство типов, так как 4.10.0.0.
С версии: base-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.10.2/docs/html/libraries/base-4.14.1.0/Data-Type-Bool.html
