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.Base
Description
Implements promoted functions from GHC.Base module.
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 Prelude
. Also, please excuse
the apparent repeated variable names. This is due to an interaction
between Template Haskell and Haddock.
- type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
- type family (a :: [a]) :++ (a :: [a]) :: [a] where ...
- type family Otherwise :: Bool where ...
- type family Id (a :: a) :: a where ...
- type family Const (a :: a) (a :: b) :: a where ...
- type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
- type family (f :: TyFun a b -> *) $ (x :: a) :: b
- type family (f :: TyFun a b -> *) $! (x :: a) :: b
- type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
- type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ...
- type family AsTypeOf (a :: a) (a :: a) :: a where ...
- type family Seq (a :: a) (a :: b) :: b where ...
- data FoldrSym0 l
- data FoldrSym1 l l
- data FoldrSym2 l l l
- type FoldrSym3 t t t = Foldr t t t
- data MapSym0 l
- data MapSym1 l l
- type MapSym2 t t = Map t t
- data (:++$) l
- data l :++$$ l
- type (:++$$$) t t = (:++) t t
- type OtherwiseSym0 = Otherwise
- data IdSym0 l
- type IdSym1 t = Id t
- data ConstSym0 l
- data ConstSym1 l l
- type ConstSym2 t t = Const t t
- data (:.$) l
- data l :.$$ l
- data (l :.$$$ l) l
- type (:.$$$$) t t t = (:.) t t t
- data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> *
- data ($$$) :: (TyFun a b -> *) -> TyFun a b -> *
- type ($$$$) a b = ($) a b
- data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> *
- data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> *
- type ($!$$$) a b = ($!) a b
- data FlipSym0 l
- data FlipSym1 l l
- data FlipSym2 l l l
- type FlipSym3 t t t = Flip t t t
- data UntilSym0 l
- data UntilSym1 l l
- data UntilSym2 l l l
- type UntilSym3 t t t = Until t t t
- data AsTypeOfSym0 l
- data AsTypeOfSym1 l l
- type AsTypeOfSym2 t t = AsTypeOf t t
- data SeqSym0 l
- data SeqSym1 l l
- type SeqSym2 t t = Seq t t
Promoted functions from GHC.Base
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... infixr 9 #
type family Seq (a :: a) (a :: b) :: b where ... infixr 0 #
Equations
Seq _z_6989586621679482580 x = x |
Defunctionalization symbols
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) (TyFun b6989586621679482540 (TyFun [a6989586621679482539] b6989586621679482540 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679482539 b6989586621679482540) # | |
type Apply (TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) (TyFun b6989586621679482540 (TyFun [a6989586621679482539] b6989586621679482540 -> Type) -> Type) (FoldrSym0 a6989586621679482539 b6989586621679482540) l0 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) -> TyFun b6989586621679482540 (TyFun [a6989586621679482539] b6989586621679482540 -> Type) -> *) (FoldrSym1 a6989586621679482539 b6989586621679482540) # | |
type Apply b6989586621679482540 (TyFun [a6989586621679482539] b6989586621679482540 -> Type) (FoldrSym1 a6989586621679482539 b6989586621679482540 l0) l1 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) -> b6989586621679482540 -> TyFun [a6989586621679482539] b6989586621679482540 -> *) (FoldrSym2 a6989586621679482539 b6989586621679482540) # | |
type Apply [a6989586621679482539] b6989586621679482540 (FoldrSym2 a6989586621679482539 b6989586621679482540 l1 l0) l2 # | |
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679482537 b6989586621679482538 -> Type) (TyFun [a6989586621679482537] [b6989586621679482538] -> Type) -> *) (MapSym0 a6989586621679482537 b6989586621679482538) # | |
type Apply (TyFun a6989586621679482537 b6989586621679482538 -> Type) (TyFun [a6989586621679482537] [b6989586621679482538] -> Type) (MapSym0 a6989586621679482537 b6989586621679482538) l0 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679482537 b6989586621679482538 -> Type) -> TyFun [a6989586621679482537] [b6989586621679482538] -> *) (MapSym1 a6989586621679482537 b6989586621679482538) # | |
type Apply [a6989586621679482537] [b6989586621679482538] (MapSym1 a6989586621679482537 b6989586621679482538 l0) l1 # | |
type OtherwiseSym0 = Otherwise #
Instances
SuppressUnusedWarnings (TyFun a6989586621679482533 (TyFun b6989586621679482534 a6989586621679482533 -> Type) -> *) (ConstSym0 b6989586621679482534 a6989586621679482533) # | |
type Apply a6989586621679482533 (TyFun b6989586621679482534 a6989586621679482533 -> Type) (ConstSym0 b6989586621679482534 a6989586621679482533) l0 # | |
Instances
SuppressUnusedWarnings (TyFun (TyFun b6989586621679482530 c6989586621679482531 -> Type) (TyFun (TyFun a6989586621679482532 b6989586621679482530 -> Type) (TyFun a6989586621679482532 c6989586621679482531 -> Type) -> Type) -> *) ((:.$) b6989586621679482530 a6989586621679482532 c6989586621679482531) # | |
type Apply (TyFun b6989586621679482530 c6989586621679482531 -> Type) (TyFun (TyFun a6989586621679482532 b6989586621679482530 -> Type) (TyFun a6989586621679482532 c6989586621679482531 -> Type) -> Type) ((:.$) b6989586621679482530 a6989586621679482532 c6989586621679482531) l0 # | |
Instances
SuppressUnusedWarnings ((TyFun b6989586621679482530 c6989586621679482531 -> Type) -> TyFun (TyFun a6989586621679482532 b6989586621679482530 -> Type) (TyFun a6989586621679482532 c6989586621679482531 -> Type) -> *) ((:.$$) a6989586621679482532 b6989586621679482530 c6989586621679482531) # | |
type Apply (TyFun a6989586621679482532 b6989586621679482530 -> Type) (TyFun a6989586621679482532 c6989586621679482531 -> Type) ((:.$$) a6989586621679482532 b6989586621679482530 c6989586621679482531 l0) l1 # | |
Instances
SuppressUnusedWarnings ((TyFun b6989586621679482530 c6989586621679482531 -> Type) -> (TyFun a6989586621679482532 b6989586621679482530 -> Type) -> TyFun a6989586621679482532 c6989586621679482531 -> *) ((:.$$$) a6989586621679482532 b6989586621679482530 c6989586621679482531) # | |
type Apply a6989586621679482532 c6989586621679482531 ((:.$$$) a6989586621679482532 b6989586621679482530 c6989586621679482531 l1 l0) l2 # | |
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) (TyFun b6989586621679482528 (TyFun a6989586621679482527 c6989586621679482529 -> Type) -> Type) -> *) (FlipSym0 b6989586621679482528 a6989586621679482527 c6989586621679482529) # | |
type Apply (TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) (TyFun b6989586621679482528 (TyFun a6989586621679482527 c6989586621679482529 -> Type) -> Type) (FlipSym0 b6989586621679482528 a6989586621679482527 c6989586621679482529) l0 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) -> TyFun b6989586621679482528 (TyFun a6989586621679482527 c6989586621679482529 -> Type) -> *) (FlipSym1 a6989586621679482527 b6989586621679482528 c6989586621679482529) # | |
type Apply b6989586621679482528 (TyFun a6989586621679482527 c6989586621679482529 -> Type) (FlipSym1 a6989586621679482527 b6989586621679482528 c6989586621679482529 l0) l1 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) -> b6989586621679482528 -> TyFun a6989586621679482527 c6989586621679482529 -> *) (FlipSym2 a6989586621679482527 b6989586621679482528 c6989586621679482529) # | |
type Apply a6989586621679482527 c6989586621679482529 (FlipSym2 a6989586621679482527 b6989586621679482528 c6989586621679482529 l1 l0) l2 # | |
Instances
SuppressUnusedWarnings (TyFun (TyFun a6989586621679941957 Bool -> Type) (TyFun (TyFun a6989586621679941957 a6989586621679941957 -> Type) (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> Type) -> *) (UntilSym0 a6989586621679941957) # | |
type Apply (TyFun a6989586621679941957 Bool -> Type) (TyFun (TyFun a6989586621679941957 a6989586621679941957 -> Type) (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> Type) (UntilSym0 a6989586621679941957) l0 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679941957 Bool -> Type) -> TyFun (TyFun a6989586621679941957 a6989586621679941957 -> Type) (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> *) (UntilSym1 a6989586621679941957) # | |
type Apply (TyFun a6989586621679941957 a6989586621679941957 -> Type) (TyFun a6989586621679941957 a6989586621679941957 -> Type) (UntilSym1 a6989586621679941957 l0) l1 # | |
Instances
SuppressUnusedWarnings ((TyFun a6989586621679941957 Bool -> Type) -> (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> TyFun a6989586621679941957 a6989586621679941957 -> *) (UntilSym2 a6989586621679941957) # | |
type Apply a6989586621679941957 a6989586621679941957 (UntilSym2 a6989586621679941957 l1 l0) l2 # | |
data AsTypeOfSym0 l #
Instances
SuppressUnusedWarnings (TyFun a6989586621679482526 (TyFun a6989586621679482526 a6989586621679482526 -> Type) -> *) (AsTypeOfSym0 a6989586621679482526) # | |
type Apply a6989586621679482526 (TyFun a6989586621679482526 a6989586621679482526 -> Type) (AsTypeOfSym0 a6989586621679482526) l0 # | |
data AsTypeOfSym1 l l #
Instances
SuppressUnusedWarnings (a6989586621679482526 -> TyFun a6989586621679482526 a6989586621679482526 -> *) (AsTypeOfSym1 a6989586621679482526) # | |
type Apply a6989586621679482526 a6989586621679482526 (AsTypeOfSym1 a6989586621679482526 l0) l1 # | |
type AsTypeOfSym2 t t = AsTypeOf t t #
Instances
SuppressUnusedWarnings (TyFun a6989586621679482524 (TyFun b6989586621679482525 b6989586621679482525 -> Type) -> *) (SeqSym0 a6989586621679482524 b6989586621679482525) # | |
type Apply a6989586621679482524 (TyFun b6989586621679482525 b6989586621679482525 -> Type) (SeqSym0 a6989586621679482524 b6989586621679482525) l0 # | |