| Copyright | (C) 2014 Jan Stolarek |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Jan Stolarek (jan.stolarek@p.lodz.pl) |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Promotion.Prelude.Bool
Description
Defines promoted functions and datatypes relating to Bool,
including a promoted version of all the definitions in Data.Bool.
Because many of these definitions are produced by Template Haskell,
it is not possible to create proper Haddock documentation. Please look
up the corresponding operation in Data.Bool. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
- type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
- type family Bool_ (a :: a) (a :: a) (a :: Bool) :: a where ...
- bool_ :: a -> a -> Bool -> a
- type family Not (a :: Bool) :: Bool where ...
- type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
- type family (a :: Bool) :|| (a :: Bool) :: Bool where ...
- type family Otherwise :: Bool where ...
- type TrueSym0 = True
- type FalseSym0 = False
- data NotSym0 (l :: TyFun Bool Bool)
- type NotSym1 (t :: Bool) = Not t
- data (:&&$) (l :: TyFun Bool (TyFun Bool Bool -> Type))
- data (l :: Bool) :&&$$ (l :: TyFun Bool Bool)
- type (:&&$$$) (t :: Bool) (t :: Bool) = (:&&) t t
- data (:||$) (l :: TyFun Bool (TyFun Bool Bool -> Type))
- data (l :: Bool) :||$$ (l :: TyFun Bool Bool)
- type (:||$$$) (t :: Bool) (t :: Bool) = (:||) t t
- data Bool_Sym0 (l :: TyFun a6989586621679277161 (TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type) -> Type))
- data Bool_Sym1 (l :: a6989586621679277161) (l :: TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type))
- data Bool_Sym2 (l :: a6989586621679277161) (l :: a6989586621679277161) (l :: TyFun Bool a6989586621679277161)
- type Bool_Sym3 (t :: a6989586621679277161) (t :: a6989586621679277161) (t :: Bool) = Bool_ t t t
- type OtherwiseSym0 = Otherwise
Documentation
type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b ==> a; If False a b ==> b
Promoted functions from Data.Bool
The preceding two definitions are derived from the function bool in
Data.Bool. The extra underscore is to avoid name clashes with the type
Bool.
Defunctionalization symbols
data Bool_Sym0 (l :: TyFun a6989586621679277161 (TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a6989586621679277161 (TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679277161) Source # | |
| type Apply a6989586621679277161 (TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type) -> Type) (Bool_Sym0 a6989586621679277161) l Source # | |
data Bool_Sym1 (l :: a6989586621679277161) (l :: TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type)) Source #
data Bool_Sym2 (l :: a6989586621679277161) (l :: a6989586621679277161) (l :: TyFun Bool a6989586621679277161) Source #
type Bool_Sym3 (t :: a6989586621679277161) (t :: a6989586621679277161) (t :: Bool) = Bool_ t t t Source #
type OtherwiseSym0 = Otherwise Source #