Data.Type.Bool
| Лицензия | BSD-style (см. файл LICENSE в дистрибутиве) |
|---|---|
| Поддерживающий | libraries@haskell.org |
| Стабильность | экспериментальная |
| Переносимость | не переносимая |
| Safe Haskell | Safe |
| Язык | Haskell2010 |
Описание
Основные операции над булевыми типами на уровне типов.
С момента: 4.7.0.0
type family If 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 Источник
Логическое «или» на уровне типов
Логическое «не» на уровне типов
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/7.10.3/docs/html/libraries/base-4.8.2.0/Data-Type-Bool.html
