| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
DeFun.Bool
Contents
Description
Boolean functions.
Type families are defined in Data.Type.Bool module in base package.
For term-level reflections see defun-bool package.
Synopsis
- type LAnd (x :: Bool) (y :: Bool) = x && y
- data LAndSym (x :: FunKind Bool (Bool ~> Bool))
- data LAndSym1 (x :: Bool) (y :: FunKind Bool Bool)
- type LOr (x :: Bool) (y :: Bool) = x || y
- data LOrSym (x :: FunKind Bool (Bool ~> Bool))
- data LOrSym1 (x :: Bool) (y :: FunKind Bool Bool)
- type family Not (a :: Bool) = (res :: Bool) | res -> a where ...
- data NotSym (x :: FunKind Bool Bool)