Data.Type.Bool
Data.Type.Bool
| License | BSD-style (see the LICENSE file in the distribution) |
|---|---|
| Maintainer | libraries@haskell.org |
| Stability | experimental |
| Portability | not portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Description
Basic operations on type-level Booleans.
Since: 4.7.0.0
type family If cond tru fls where ... Source
Type-level If- If True a b ==> a; If False a b ==> b
type family a && b where ... infixr 3 Source
Type-level "and"
type family a || b where ... infixr 2 Source
Type-level "or"
type family Not a where ... Source
Type-level "not"
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.0.1/docs/html/libraries/base-4.9.0.0/Data-Type-Bool.html
