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.Singletons.Prelude.Base

Contents

Basic functions
Defunctionalization symbols

Description

Implements singletonized versions of 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 Data.Tuple. 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 ...
sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b)
type family Map (a :: TyFun a b -> Type) (a :: [a]) :: [b] where ...
sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b])
type family (a :: [a]) :++ (a :: [a]) :: [a] where ...
(%:++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (:++$) t) t :: [a])
type family Otherwise :: Bool where ...
sOtherwise :: Sing (OtherwiseSym0 :: Bool)
type family Id (a :: a) :: a where ...
sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a)
type family Const (a :: a) (a :: b) :: a where ...
sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a)
type family ((a :: TyFun b c -> Type) :. (a :: TyFun a b -> Type)) (a :: a) :: c where ...
(%:.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (:.$) t) t) t :: c)
type family (f :: TyFun a b -> *) $ (x :: a) :: b
type family (f :: TyFun a b -> *) $! (x :: a) :: b
(%$) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($$) @@ f) @@ x)
(%$!) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($!$) @@ f) @@ x)
type family Flip (a :: TyFun a (TyFun b c -> Type) -> Type) (a :: b) (a :: a) :: c where ...
sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c)
type family AsTypeOf (a :: a) (a :: a) :: a where ...
sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a)
type family Seq (a :: a) (a :: b) :: b where ...
sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b)
data FoldrSym0 (l :: TyFun (TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (TyFun b6989586621679289775 (TyFun [a6989586621679289774] b6989586621679289775 -> Type) -> Type))
data FoldrSym1 (l :: TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (l :: TyFun b6989586621679289775 (TyFun [a6989586621679289774] b6989586621679289775 -> Type))
data FoldrSym2 (l :: TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (l :: b6989586621679289775) (l :: TyFun [a6989586621679289774] b6989586621679289775)
type FoldrSym3 (t :: TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (t :: b6989586621679289775) (t :: [a6989586621679289774]) = Foldr t t t
data MapSym0 (l :: TyFun (TyFun a6989586621679289772 b6989586621679289773 -> Type) (TyFun [a6989586621679289772] [b6989586621679289773] -> Type))
data MapSym1 (l :: TyFun a6989586621679289772 b6989586621679289773 -> Type) (l :: TyFun [a6989586621679289772] [b6989586621679289773])
type MapSym2 (t :: TyFun a6989586621679289772 b6989586621679289773 -> Type) (t :: [a6989586621679289772]) = Map t t
data (:++$) (l :: TyFun [a6989586621679289771] (TyFun [a6989586621679289771] [a6989586621679289771] -> Type))
data (l :: [a6989586621679289771]) :++$$ (l :: TyFun [a6989586621679289771] [a6989586621679289771])
type (:++$$$) (t :: [a6989586621679289771]) (t :: [a6989586621679289771]) = (:++) t t
type OtherwiseSym0 = Otherwise
data IdSym0 (l :: TyFun a6989586621679289770 a6989586621679289770)
type IdSym1 (t :: a6989586621679289770) = Id t
data ConstSym0 (l :: TyFun a6989586621679289768 (TyFun b6989586621679289769 a6989586621679289768 -> Type))
data ConstSym1 (l :: a6989586621679289768) (l :: TyFun b6989586621679289769 a6989586621679289768)
type ConstSym2 (t :: a6989586621679289768) (t :: b6989586621679289769) = Const t t
data (:.$) (l :: TyFun (TyFun b6989586621679289765 c6989586621679289766 -> Type) (TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) -> Type))
data (l :: TyFun b6989586621679289765 c6989586621679289766 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type))
data ((l :: TyFun b6989586621679289765 c6989586621679289766 -> Type) :.$$$ (l :: TyFun a6989586621679289767 b6989586621679289765 -> Type)) (l :: TyFun a6989586621679289767 c6989586621679289766)
type (:.$$$$) (t :: TyFun b6989586621679289765 c6989586621679289766 -> Type) (t :: TyFun a6989586621679289767 b6989586621679289765 -> Type) (t :: a6989586621679289767) = (:.) 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 a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) -> Type))
data FlipSym1 (l :: TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (l :: TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type))
data FlipSym2 (l :: TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (l :: b6989586621679289763) (l :: TyFun a6989586621679289762 c6989586621679289764)
type FlipSym3 (t :: TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (t :: b6989586621679289763) (t :: a6989586621679289762) = Flip t t t
data AsTypeOfSym0 (l :: TyFun a6989586621679289761 (TyFun a6989586621679289761 a6989586621679289761 -> Type))
data AsTypeOfSym1 (l :: a6989586621679289761) (l :: TyFun a6989586621679289761 a6989586621679289761)
type AsTypeOfSym2 (t :: a6989586621679289761) (t :: a6989586621679289761) = AsTypeOf t t
data SeqSym0 (l :: TyFun a6989586621679289759 (TyFun b6989586621679289760 b6989586621679289760 -> Type))
data SeqSym1 (l :: a6989586621679289759) (l :: TyFun b6989586621679289760 b6989586621679289760)
type SeqSym2 (t :: a6989586621679289759) (t :: b6989586621679289760) = Seq t t

Basic functions

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

Equations

Foldr k z a_6989586621679289955 = Apply (Let6989586621679289960GoSym3 k z a_6989586621679289955) a_6989586621679289955

sFoldr :: forall (t :: TyFun a (TyFun b b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b) #

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

Equations

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

sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) #

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

Equations

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

(%:++) :: forall (t :: [a]) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply (:++$) t) t :: [a]) infixr 5 #

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0

sOtherwise :: Sing (OtherwiseSym0 :: Bool) #

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

Equations

Id x = x

sId :: forall (t :: a). Sing t -> Sing (Apply IdSym0 t :: a) #

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

Equations

Const x _z_6989586621679289889 = x

sConst :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply ConstSym0 t) t :: a) #

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

Equations

(f :. g) a_6989586621679289852 = Apply (Apply (Apply (Apply Lambda_6989586621679289857Sym0 f) g) a_6989586621679289852) a_6989586621679289852

(%:.) :: forall (t :: TyFun b c -> Type) (t :: TyFun a b -> Type) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (:.$) t) t) t :: c) infixr 9 #

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

Instances

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

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

Instances

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

(%$) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($$) @@ f) @@ x) infixr 0 #

(%$!) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($!$) @@ f) @@ x) infixr 0 #

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

Equations

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

sFlip :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: b) (t :: a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FlipSym0 t) t) t :: c) #

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

Equations

AsTypeOf a_6989586621679289892 a_6989586621679289894 = Apply (Apply ConstSym0 a_6989586621679289892) a_6989586621679289894

sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) #

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

Equations

Seq _z_6989586621679289815 x = x

sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 #

Defunctionalization symbols

data FoldrSym0 (l :: TyFun (TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (TyFun b6989586621679289775 (TyFun [a6989586621679289774] b6989586621679289775 -> Type) -> Type)) #

Instances

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

data FoldrSym1 (l :: TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (l :: TyFun b6989586621679289775 (TyFun [a6989586621679289774] b6989586621679289775 -> Type)) #

Instances

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

data FoldrSym2 (l :: TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (l :: b6989586621679289775) (l :: TyFun [a6989586621679289774] b6989586621679289775) #

Instances

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

type FoldrSym3 (t :: TyFun a6989586621679289774 (TyFun b6989586621679289775 b6989586621679289775 -> Type) -> Type) (t :: b6989586621679289775) (t :: [a6989586621679289774]) = Foldr t t t #

data MapSym0 (l :: TyFun (TyFun a6989586621679289772 b6989586621679289773 -> Type) (TyFun [a6989586621679289772] [b6989586621679289773] -> Type)) #

Instances

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

data MapSym1 (l :: TyFun a6989586621679289772 b6989586621679289773 -> Type) (l :: TyFun [a6989586621679289772] [b6989586621679289773]) #

Instances

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

type MapSym2 (t :: TyFun a6989586621679289772 b6989586621679289773 -> Type) (t :: [a6989586621679289772]) = Map t t #

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

Instances

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

data (l :: [a6989586621679289771]) :++$$ (l :: TyFun [a6989586621679289771] [a6989586621679289771]) #

Instances

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

type (:++$$$) (t :: [a6989586621679289771]) (t :: [a6989586621679289771]) = (:++) t t #

type OtherwiseSym0 = Otherwise #

data IdSym0 (l :: TyFun a6989586621679289770 a6989586621679289770) #

Instances

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

type IdSym1 (t :: a6989586621679289770) = Id t #

data ConstSym0 (l :: TyFun a6989586621679289768 (TyFun b6989586621679289769 a6989586621679289768 -> Type)) #

Instances

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

data ConstSym1 (l :: a6989586621679289768) (l :: TyFun b6989586621679289769 a6989586621679289768) #

Instances

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

type ConstSym2 (t :: a6989586621679289768) (t :: b6989586621679289769) = Const t t #

data (:.$) (l :: TyFun (TyFun b6989586621679289765 c6989586621679289766 -> Type) (TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679289765 c6989586621679289766 -> Type) (TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) -> Type) -> *) ((:.$) b6989586621679289765 a6989586621679289767 c6989586621679289766) #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679289765 :.$ a6989586621679289767) c6989586621679289766) t -> () #
type Apply (TyFun b6989586621679289765 c6989586621679289766 -> Type) (TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) -> Type) ((:.$) b6989586621679289765 a6989586621679289767 c6989586621679289766) l #
type Apply (TyFun b6989586621679289765 c6989586621679289766 -> Type) (TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) -> Type) ((:.$) b6989586621679289765 a6989586621679289767 c6989586621679289766) l = (:.$$) b6989586621679289765 a6989586621679289767 c6989586621679289766 l

data (l :: TyFun b6989586621679289765 c6989586621679289766 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679289765 c6989586621679289766 -> Type) -> TyFun (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) -> *) ((:.$$) b6989586621679289765 a6989586621679289767 c6989586621679289766) #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679289765 :.$$ a6989586621679289767) c6989586621679289766) t -> () #
type Apply (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) ((:.$$) b6989586621679289765 a6989586621679289767 c6989586621679289766 l1) l2 #
type Apply (TyFun a6989586621679289767 b6989586621679289765 -> Type) (TyFun a6989586621679289767 c6989586621679289766 -> Type) ((:.$$) b6989586621679289765 a6989586621679289767 c6989586621679289766 l1) l2 = (:.$$$) b6989586621679289765 a6989586621679289767 c6989586621679289766 l1 l2

data ((l :: TyFun b6989586621679289765 c6989586621679289766 -> Type) :.$$$ (l :: TyFun a6989586621679289767 b6989586621679289765 -> Type)) (l :: TyFun a6989586621679289767 c6989586621679289766) #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679289765 c6989586621679289766 -> Type) -> (TyFun a6989586621679289767 b6989586621679289765 -> Type) -> TyFun a6989586621679289767 c6989586621679289766 -> *) ((:.$$$) b6989586621679289765 a6989586621679289767 c6989586621679289766) #
Methods suppressUnusedWarnings :: Proxy ((b6989586621679289765 :.$$$ a6989586621679289767) c6989586621679289766) t -> () #
type Apply a c ((:.$$$) b a c l1 l2) l3 #
type Apply a c ((:.$$$) b a c l1 l2) l3 = (:.) b a c l1 l2 l3

type (:.$$$$) (t :: TyFun b6989586621679289765 c6989586621679289766 -> Type) (t :: TyFun a6989586621679289767 b6989586621679289765 -> Type) (t :: a6989586621679289767) = (:.) t t t #

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

Instances

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

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

Instances

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

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

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

Instances

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

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

Instances

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

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

data FlipSym0 (l :: TyFun (TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) -> Type) -> *) (FlipSym0 b6989586621679289763 a6989586621679289762 c6989586621679289764) #
Methods suppressUnusedWarnings :: Proxy (FlipSym0 b6989586621679289763 a6989586621679289762 c6989586621679289764) t -> () #
type Apply (TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) -> Type) (FlipSym0 b6989586621679289763 a6989586621679289762 c6989586621679289764) l #
type Apply (TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) -> Type) (FlipSym0 b6989586621679289763 a6989586621679289762 c6989586621679289764) l = FlipSym1 b6989586621679289763 a6989586621679289762 c6989586621679289764 l

data FlipSym1 (l :: TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (l :: TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) -> TyFun b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) -> *) (FlipSym1 b6989586621679289763 a6989586621679289762 c6989586621679289764) #
Methods suppressUnusedWarnings :: Proxy (FlipSym1 b6989586621679289763 a6989586621679289762 c6989586621679289764) t -> () #
type Apply b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) (FlipSym1 b6989586621679289763 a6989586621679289762 c6989586621679289764 l1) l2 #
type Apply b6989586621679289763 (TyFun a6989586621679289762 c6989586621679289764 -> Type) (FlipSym1 b6989586621679289763 a6989586621679289762 c6989586621679289764 l1) l2 = FlipSym2 b6989586621679289763 a6989586621679289762 c6989586621679289764 l1 l2

data FlipSym2 (l :: TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (l :: b6989586621679289763) (l :: TyFun a6989586621679289762 c6989586621679289764) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) -> b6989586621679289763 -> TyFun a6989586621679289762 c6989586621679289764 -> *) (FlipSym2 b6989586621679289763 a6989586621679289762 c6989586621679289764) #
Methods suppressUnusedWarnings :: Proxy (FlipSym2 b6989586621679289763 a6989586621679289762 c6989586621679289764) t -> () #
type Apply a c (FlipSym2 b a c l1 l2) l3 #
type Apply a c (FlipSym2 b a c l1 l2) l3 = Flip b a c l1 l2 l3

type FlipSym3 (t :: TyFun a6989586621679289762 (TyFun b6989586621679289763 c6989586621679289764 -> Type) -> Type) (t :: b6989586621679289763) (t :: a6989586621679289762) = Flip t t t #

data AsTypeOfSym0 (l :: TyFun a6989586621679289761 (TyFun a6989586621679289761 a6989586621679289761 -> Type)) #

Instances

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

data AsTypeOfSym1 (l :: a6989586621679289761) (l :: TyFun a6989586621679289761 a6989586621679289761) #

Instances

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

type AsTypeOfSym2 (t :: a6989586621679289761) (t :: a6989586621679289761) = AsTypeOf t t #

data SeqSym0 (l :: TyFun a6989586621679289759 (TyFun b6989586621679289760 b6989586621679289760 -> Type)) #

Instances

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

data SeqSym1 (l :: a6989586621679289759) (l :: TyFun b6989586621679289760 b6989586621679289760) #

Instances

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

type SeqSym2 (t :: a6989586621679289759) (t :: b6989586621679289760) = Seq t t #