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

Contents

Promoted functions from GHC.Base
Defunctionalization symbols

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.

Synopsis

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 :: TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type))
data FoldrSym2 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: b6989586621679281049) (l :: TyFun [a6989586621679281048] b6989586621679281049)
type FoldrSym3 (t :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (t :: b6989586621679281049) (t :: [a6989586621679281048]) = Foldr t t t
data MapSym0 (l :: TyFun (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type))
data MapSym1 (l :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (l :: TyFun [a6989586621679281046] [b6989586621679281047])
type MapSym2 (t :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (t :: [a6989586621679281046]) = Map t t
data (:++$) (l :: TyFun [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type))
data (l :: [a6989586621679281045]) :++$$ (l :: TyFun [a6989586621679281045] [a6989586621679281045])
type (:++$$$) (t :: [a6989586621679281045]) (t :: [a6989586621679281045]) = (:++) t t
type OtherwiseSym0 = Otherwise
data IdSym0 (l :: TyFun a6989586621679281044 a6989586621679281044)
type IdSym1 (t :: a6989586621679281044) = Id t
data ConstSym0 (l :: TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type))
data ConstSym1 (l :: a6989586621679281042) (l :: TyFun b6989586621679281043 a6989586621679281042)
type ConstSym2 (t :: a6989586621679281042) (t :: b6989586621679281043) = Const t t
data (:.$) (l :: TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type))
data (l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type))
data ((l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$$ (l :: TyFun a6989586621679281041 b6989586621679281039 -> Type)) (l :: TyFun a6989586621679281041 c6989586621679281040)
type (:.$$$$) (t :: TyFun b6989586621679281039 c6989586621679281040 -> Type) (t :: TyFun a6989586621679281041 b6989586621679281039 -> Type) (t :: a6989586621679281041) = (:.) 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 :: TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type))
data FlipSym2 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: b6989586621679281037) (l :: TyFun a6989586621679281036 c6989586621679281038)
type FlipSym3 (t :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (t :: b6989586621679281037) (t :: a6989586621679281036) = Flip t t t
data UntilSym0 (l :: TyFun (TyFun a6989586621679445674 Bool -> Type) (TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> Type))
data UntilSym1 (l :: TyFun a6989586621679445674 Bool -> Type) (l :: TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type))
data UntilSym2 (l :: TyFun a6989586621679445674 Bool -> Type) (l :: TyFun a6989586621679445674 a6989586621679445674 -> Type) (l :: TyFun a6989586621679445674 a6989586621679445674)
type UntilSym3 (t :: TyFun a6989586621679445674 Bool -> Type) (t :: TyFun a6989586621679445674 a6989586621679445674 -> Type) (t :: a6989586621679445674) = Until t t t
data AsTypeOfSym0 (l :: TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type))
data AsTypeOfSym1 (l :: a6989586621679281035) (l :: TyFun a6989586621679281035 a6989586621679281035)
type AsTypeOfSym2 (t :: a6989586621679281035) (t :: a6989586621679281035) = AsTypeOf t t
data SeqSym0 (l :: TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type))
data SeqSym1 (l :: a6989586621679281033) (l :: TyFun b6989586621679281034 b6989586621679281034)
type SeqSym2 (t :: a6989586621679281033) (t :: b6989586621679281034) = Seq t t

Promoted functions from `GHC.Base`

type family Foldr (a :: TyFun a (TyFun b b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #

Equations

Foldr k z a_6989586621679281229 = Apply (Let6989586621679281234GoSym3 k z a_6989586621679281229) a_6989586621679281229

type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ... Source #

Equations

Map _z_6989586621679281208 '[] = '[]
Map f ((:) x xs) = Apply (Apply (:$) (Apply f x)) (Apply (Apply MapSym0 f) xs)

type family (a :: [a]) :++ (a :: [a]) :: [a] where ... infixr 5 Source #

Equations

'[] :++ ys = ys
((:) x xs) :++ ys = Apply (Apply (:$) x) (Apply (Apply (:++$) xs) ys)

type family Otherwise :: Bool where ... Source #

Equations

Otherwise = TrueSym0

type family Id (a :: a) :: a where ... Source #

Equations

Id x = x

type family Const (a :: a) (a :: b) :: a where ... Source #

Equations

Const x _z_6989586621679281163 = x

type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ... infixr 9 Source #

Equations

(f :. g) a_6989586621679281126 = Apply (Apply (Apply (Apply Lambda_6989586621679281131Sym0 f) g) a_6989586621679281126) a_6989586621679281126

type family (f :: TyFun a b -> *) $ (x :: a) :: b infixr 0 Source #

Instances

type ($) k1 k f x Source #
type ($) k1 k f x = (@@) k1 k f x

type family (f :: TyFun a b -> *) $! (x :: a) :: b infixr 0 Source #

Instances

type ($!) k1 k f x Source #
type ($!) k1 k f x = (@@) k1 k f x

type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ... Source #

Equations

Flip f x y = Apply (Apply f y) x

type family Until (a :: TyFun a Bool -> Type) (a :: TyFun a a -> Type) (a :: a) :: a where ... Source #

Equations

Until p f a_6989586621679445697 = Apply (Let6989586621679445702GoSym3 p f a_6989586621679445697) a_6989586621679445697

type family AsTypeOf (a :: a) (a :: a) :: a where ... Source #

Equations

AsTypeOf a_6989586621679281166 a_6989586621679281168 = Apply (Apply ConstSym0 a_6989586621679281166) a_6989586621679281168

type family Seq (a :: a) (a :: b) :: b where ... infixr 0 Source #

Equations

Seq _z_6989586621679281089 x = x

Defunctionalization symbols

data FoldrSym0 (l :: TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679281048 b6989586621679281049) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym0 a6989586621679281048 b6989586621679281049) t -> () Source #
type Apply (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) (FoldrSym0 a6989586621679281048 b6989586621679281049) l Source #
type Apply (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) (FoldrSym0 a6989586621679281048 b6989586621679281049) l = FoldrSym1 a6989586621679281048 b6989586621679281049 l

data FoldrSym1 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) -> TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> *) (FoldrSym1 a6989586621679281048 b6989586621679281049) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym1 a6989586621679281048 b6989586621679281049) t -> () Source #
type Apply b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) (FoldrSym1 a6989586621679281048 b6989586621679281049 l1) l2 Source #
type Apply b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) (FoldrSym1 a6989586621679281048 b6989586621679281049 l1) l2 = FoldrSym2 a6989586621679281048 b6989586621679281049 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (l :: b6989586621679281049) (l :: TyFun [a6989586621679281048] b6989586621679281049) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) -> b6989586621679281049 -> TyFun [a6989586621679281048] b6989586621679281049 -> *) (FoldrSym2 a6989586621679281048 b6989586621679281049) Source #
Methods suppressUnusedWarnings :: Proxy (FoldrSym2 a6989586621679281048 b6989586621679281049) t -> () Source #
type Apply [a] b (FoldrSym2 a b l1 l2) l3 Source #
type Apply [a] b (FoldrSym2 a b l1 l2) l3 = Foldr a b l1 l2 l3

type FoldrSym3 (t :: TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (t :: b6989586621679281049) (t :: [a6989586621679281048]) = Foldr t t t Source #

data MapSym0 (l :: TyFun (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) -> *) (MapSym0 a6989586621679281046 b6989586621679281047) Source #
Methods suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679281046 b6989586621679281047) t -> () Source #
type Apply (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) (MapSym0 a6989586621679281046 b6989586621679281047) l Source #
type Apply (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) (MapSym0 a6989586621679281046 b6989586621679281047) l = MapSym1 a6989586621679281046 b6989586621679281047 l

data MapSym1 (l :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (l :: TyFun [a6989586621679281046] [b6989586621679281047]) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281046 b6989586621679281047 -> Type) -> TyFun [a6989586621679281046] [b6989586621679281047] -> *) (MapSym1 a6989586621679281046 b6989586621679281047) Source #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679281046 b6989586621679281047) t -> () Source #
type Apply [a] [b] (MapSym1 a b l1) l2 Source #
type Apply [a] [b] (MapSym1 a b l1) l2 = Map a b l1 l2

type MapSym2 (t :: TyFun a6989586621679281046 b6989586621679281047 -> Type) (t :: [a6989586621679281046]) = Map t t Source #

data (:++$) (l :: TyFun [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) -> *) ((:++$) a6989586621679281045) Source #
Methods suppressUnusedWarnings :: Proxy ((:++$) a6989586621679281045) t -> () Source #
type Apply [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) ((:++$) a6989586621679281045) l Source #
type Apply [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) ((:++$) a6989586621679281045) l = (:++$$) a6989586621679281045 l

data (l :: [a6989586621679281045]) :++$$ (l :: TyFun [a6989586621679281045] [a6989586621679281045]) Source #

Instances

SuppressUnusedWarnings ([a6989586621679281045] -> TyFun [a6989586621679281045] [a6989586621679281045] -> *) ((:++$$) a6989586621679281045) Source #
Methods suppressUnusedWarnings :: Proxy ((:++$$) a6989586621679281045) t -> () Source #
type Apply [a] [a] ((:++$$) a l1) l2 Source #
type Apply [a] [a] ((:++$$) a l1) l2 = (:++) a l1 l2

type (:++$$$) (t :: [a6989586621679281045]) (t :: [a6989586621679281045]) = (:++) t t Source #

type OtherwiseSym0 = Otherwise Source #

data IdSym0 (l :: TyFun a6989586621679281044 a6989586621679281044) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281044 a6989586621679281044 -> *) (IdSym0 a6989586621679281044) Source #
Methods suppressUnusedWarnings :: Proxy (IdSym0 a6989586621679281044) t -> () Source #
type Apply a a (IdSym0 a) l Source #
type Apply a a (IdSym0 a) l = Id a l

type IdSym1 (t :: a6989586621679281044) = Id t Source #

data ConstSym0 (l :: TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) -> *) (ConstSym0 b6989586621679281043 a6989586621679281042) Source #
Methods suppressUnusedWarnings :: Proxy (ConstSym0 b6989586621679281043 a6989586621679281042) t -> () Source #
type Apply a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) (ConstSym0 b6989586621679281043 a6989586621679281042) l Source #
type Apply a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) (ConstSym0 b6989586621679281043 a6989586621679281042) l = ConstSym1 b6989586621679281043 a6989586621679281042 l

data ConstSym1 (l :: a6989586621679281042) (l :: TyFun b6989586621679281043 a6989586621679281042) Source #

Instances

SuppressUnusedWarnings (a6989586621679281042 -> TyFun b6989586621679281043 a6989586621679281042 -> *) (ConstSym1 b6989586621679281043 a6989586621679281042) Source #
Methods suppressUnusedWarnings :: Proxy (ConstSym1 b6989586621679281043 a6989586621679281042) t -> () Source #
type Apply b a (ConstSym1 b a l1) l2 Source #
type Apply b a (ConstSym1 b a l1) l2 = Const b a l1 l2

type ConstSym2 (t :: a6989586621679281042) (t :: b6989586621679281043) = Const t t Source #

data (:.$) (l :: TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) -> *) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679281039 :.$ a6989586621679281041) c6989586621679281040) t -> () Source #
type Apply (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) l Source #
type Apply (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) l = (:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l

data (l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679281039 c6989586621679281040 -> Type) -> TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> *) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679281039 :.$$ a6989586621679281041) c6989586621679281040) t -> () Source #
type Apply (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l1) l2 Source #
type Apply (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l1) l2 = (:.$$$) b6989586621679281039 a6989586621679281041 c6989586621679281040 l1 l2

data ((l :: TyFun b6989586621679281039 c6989586621679281040 -> Type) :.$$$ (l :: TyFun a6989586621679281041 b6989586621679281039 -> Type)) (l :: TyFun a6989586621679281041 c6989586621679281040) Source #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679281039 c6989586621679281040 -> Type) -> (TyFun a6989586621679281041 b6989586621679281039 -> Type) -> TyFun a6989586621679281041 c6989586621679281040 -> *) ((:.$$$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679281039 :.$$$ a6989586621679281041) c6989586621679281040) t -> () Source #
type Apply a c ((:.$$$) b a c l1 l2) l3 Source #
type Apply a c ((:.$$$) b a c l1 l2) l3 = (:.) b a c l1 l2 l3

type (:.$$$$) (t :: TyFun b6989586621679281039 c6989586621679281040 -> Type) (t :: TyFun a6989586621679281041 b6989586621679281039 -> Type) (t :: a6989586621679281041) = (:.) t t t Source #

data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

type Apply (TyFun a b -> ) (TyFun a b -> ) (($$) a b) arg Source #
type Apply (TyFun a b -> ) (TyFun a b -> ) (($$) a b) arg = ($$$) a b arg

data ($$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

type Apply a k (($$$) a k f) arg Source #
type Apply a k (($$$) a k f) arg = ($$$$) a k f arg

type ($$$$) a b = ($) a b Source #

data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

type Apply (TyFun a b -> ) (TyFun a b -> ) (($!$) a b) arg Source #
type Apply (TyFun a b -> ) (TyFun a b -> ) (($!$) a b) arg = ($!$$) a b arg

data ($!$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

type Apply a k (($!$$) a k f) arg Source #
type Apply a k (($!$$) a k f) arg = ($!$$$) a k f arg

type ($!$$$) a b = ($!) a b Source #

data FlipSym0 (l :: TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) -> *) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) t -> () Source #
type Apply (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) l Source #
type Apply (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) l = FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038 l

data FlipSym1 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) -> TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> *) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038) t -> () Source #
type Apply b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038 l1) l2 Source #
type Apply b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038 l1) l2 = FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038 l1 l2

data FlipSym2 (l :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (l :: b6989586621679281037) (l :: TyFun a6989586621679281036 c6989586621679281038) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) -> b6989586621679281037 -> TyFun a6989586621679281036 c6989586621679281038 -> *) (FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source #
Methods suppressUnusedWarnings :: Proxy (FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038) t -> () Source #
type Apply a c (FlipSym2 b a c l1 l2) l3 Source #
type Apply a c (FlipSym2 b a c l1 l2) l3 = Flip b a c l1 l2 l3

type FlipSym3 (t :: TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (t :: b6989586621679281037) (t :: a6989586621679281036) = Flip t t t Source #

data UntilSym0 (l :: TyFun (TyFun a6989586621679445674 Bool -> Type) (TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679445674 Bool -> Type) (TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> Type) -> *) (UntilSym0 a6989586621679445674) Source #
Methods suppressUnusedWarnings :: Proxy (UntilSym0 a6989586621679445674) t -> () Source #
type Apply (TyFun a6989586621679445674 Bool -> Type) (TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> Type) (UntilSym0 a6989586621679445674) l Source #
type Apply (TyFun a6989586621679445674 Bool -> Type) (TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> Type) (UntilSym0 a6989586621679445674) l = UntilSym1 a6989586621679445674 l

data UntilSym1 (l :: TyFun a6989586621679445674 Bool -> Type) (l :: TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type)) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679445674 Bool -> Type) -> TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> *) (UntilSym1 a6989586621679445674) Source #
Methods suppressUnusedWarnings :: Proxy (UntilSym1 a6989586621679445674) t -> () Source #
type Apply (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) (UntilSym1 a6989586621679445674 l1) l2 Source #
type Apply (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) (UntilSym1 a6989586621679445674 l1) l2 = UntilSym2 a6989586621679445674 l1 l2

data UntilSym2 (l :: TyFun a6989586621679445674 Bool -> Type) (l :: TyFun a6989586621679445674 a6989586621679445674 -> Type) (l :: TyFun a6989586621679445674 a6989586621679445674) Source #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679445674 Bool -> Type) -> (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> TyFun a6989586621679445674 a6989586621679445674 -> *) (UntilSym2 a6989586621679445674) Source #
Methods suppressUnusedWarnings :: Proxy (UntilSym2 a6989586621679445674) t -> () Source #
type Apply a a (UntilSym2 a l1 l2) l3 Source #
type Apply a a (UntilSym2 a l1 l2) l3 = Until a l1 l2 l3

type UntilSym3 (t :: TyFun a6989586621679445674 Bool -> Type) (t :: TyFun a6989586621679445674 a6989586621679445674 -> Type) (t :: a6989586621679445674) = Until t t t Source #

data AsTypeOfSym0 (l :: TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) -> *) (AsTypeOfSym0 a6989586621679281035) Source #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a6989586621679281035) t -> () Source #
type Apply a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) (AsTypeOfSym0 a6989586621679281035) l Source #
type Apply a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) (AsTypeOfSym0 a6989586621679281035) l = AsTypeOfSym1 a6989586621679281035 l

data AsTypeOfSym1 (l :: a6989586621679281035) (l :: TyFun a6989586621679281035 a6989586621679281035) Source #

Instances

SuppressUnusedWarnings (a6989586621679281035 -> TyFun a6989586621679281035 a6989586621679281035 -> *) (AsTypeOfSym1 a6989586621679281035) Source #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a6989586621679281035) t -> () Source #
type Apply a a (AsTypeOfSym1 a l1) l2 Source #
type Apply a a (AsTypeOfSym1 a l1) l2 = AsTypeOf a l1 l2

type AsTypeOfSym2 (t :: a6989586621679281035) (t :: a6989586621679281035) = AsTypeOf t t Source #

data SeqSym0 (l :: TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) -> *) (SeqSym0 a6989586621679281033 b6989586621679281034) Source #
Methods suppressUnusedWarnings :: Proxy (SeqSym0 a6989586621679281033 b6989586621679281034) t -> () Source #
type Apply a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) (SeqSym0 a6989586621679281033 b6989586621679281034) l Source #
type Apply a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) (SeqSym0 a6989586621679281033 b6989586621679281034) l = SeqSym1 a6989586621679281033 b6989586621679281034 l

data SeqSym1 (l :: a6989586621679281033) (l :: TyFun b6989586621679281034 b6989586621679281034) Source #

Instances

SuppressUnusedWarnings (a6989586621679281033 -> TyFun b6989586621679281034 b6989586621679281034 -> *) (SeqSym1 a6989586621679281033 b6989586621679281034) Source #
Methods suppressUnusedWarnings :: Proxy (SeqSym1 a6989586621679281033 b6989586621679281034) t -> () Source #
type Apply b b (SeqSym1 a b l1) l2 Source #
type Apply b b (SeqSym1 a b l1) l2 = Seq a b l1 l2

type SeqSym2 (t :: a6989586621679281033) (t :: b6989586621679281034) = Seq t t Source #

Promoted functions from GHC.Base

Defunctionalization symbols

Promoted functions from `GHC.Base`