singletons-2.3.1: A framework for generating singleton types

Copyright(C) 2014 Jan Stolarek
LicenseBSD-style (see LICENSE)
MaintainerJan Stolarek (jan.stolarek@p.lodz.pl)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Promotion.Prelude.Base

Contents

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

Promoted functions from GHC.Base

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

Equations

Foldr k z a_6989586621679244215 = Apply (Let6989586621679244220GoSym3 k z a_6989586621679244215) a_6989586621679244215 

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

Equations

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

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

Equations

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

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0 

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

Equations

Id x = x 

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

Equations

Const x _z_6989586621679244149 = x 

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

Equations

(f :. g) a_6989586621679244112 = Apply (Apply (Apply (Apply Lambda_6989586621679244117Sym0 f) g) a_6989586621679244112) a_6989586621679244112 

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

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 

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

Equations

Until p f a_6989586621679377382 = Apply (Let6989586621679377387GoSym3 p f a_6989586621679377382) a_6989586621679377382 

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

Equations

AsTypeOf a_6989586621679244152 a_6989586621679244154 = Apply (Apply ConstSym0 a_6989586621679244152) a_6989586621679244154 

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

Equations

Seq _z_6989586621679244075 x = x 

Defunctionalization symbols

data FoldrSym0 (l :: TyFun (TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679244034 b6989586621679244035) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym0 a6989586621679244034 b6989586621679244035) t -> () #

type Apply (TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> Type) (FoldrSym0 a6989586621679244034 b6989586621679244035) l # 
type Apply (TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> Type) (FoldrSym0 a6989586621679244034 b6989586621679244035) l = FoldrSym1 a6989586621679244034 b6989586621679244035 l

data FoldrSym1 (l :: TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (l :: TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) -> TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> *) (FoldrSym1 a6989586621679244034 b6989586621679244035) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym1 a6989586621679244034 b6989586621679244035) t -> () #

type Apply b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) (FoldrSym1 a6989586621679244034 b6989586621679244035 l1) l2 # 
type Apply b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) (FoldrSym1 a6989586621679244034 b6989586621679244035 l1) l2 = FoldrSym2 a6989586621679244034 b6989586621679244035 l1 l2

data FoldrSym2 (l :: TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (l :: b6989586621679244035) (l :: TyFun [a6989586621679244034] b6989586621679244035) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) -> b6989586621679244035 -> TyFun [a6989586621679244034] b6989586621679244035 -> *) (FoldrSym2 a6989586621679244034 b6989586621679244035) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym2 a6989586621679244034 b6989586621679244035) 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 a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (t :: b6989586621679244035) (t :: [a6989586621679244034]) = Foldr t t t #

data MapSym0 (l :: TyFun (TyFun a6989586621679244032 b6989586621679244033 -> Type) (TyFun [a6989586621679244032] [b6989586621679244033] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679244032 b6989586621679244033 -> Type) (TyFun [a6989586621679244032] [b6989586621679244033] -> Type) -> *) (MapSym0 a6989586621679244032 b6989586621679244033) # 

Methods

suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679244032 b6989586621679244033) t -> () #

type Apply (TyFun a6989586621679244032 b6989586621679244033 -> Type) (TyFun [a6989586621679244032] [b6989586621679244033] -> Type) (MapSym0 a6989586621679244032 b6989586621679244033) l # 
type Apply (TyFun a6989586621679244032 b6989586621679244033 -> Type) (TyFun [a6989586621679244032] [b6989586621679244033] -> Type) (MapSym0 a6989586621679244032 b6989586621679244033) l = MapSym1 a6989586621679244032 b6989586621679244033 l

data MapSym1 (l :: TyFun a6989586621679244032 b6989586621679244033 -> Type) (l :: TyFun [a6989586621679244032] [b6989586621679244033]) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679244032 b6989586621679244033 -> Type) -> TyFun [a6989586621679244032] [b6989586621679244033] -> *) (MapSym1 a6989586621679244032 b6989586621679244033) # 

Methods

suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679244032 b6989586621679244033) 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 a6989586621679244032 b6989586621679244033 -> Type) (t :: [a6989586621679244032]) = Map t t #

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

Instances

SuppressUnusedWarnings (TyFun [a6989586621679244031] (TyFun [a6989586621679244031] [a6989586621679244031] -> Type) -> *) ((:++$) a6989586621679244031) # 

Methods

suppressUnusedWarnings :: Proxy ((:++$) a6989586621679244031) t -> () #

type Apply [a6989586621679244031] (TyFun [a6989586621679244031] [a6989586621679244031] -> Type) ((:++$) a6989586621679244031) l # 
type Apply [a6989586621679244031] (TyFun [a6989586621679244031] [a6989586621679244031] -> Type) ((:++$) a6989586621679244031) l = (:++$$) a6989586621679244031 l

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

Instances

SuppressUnusedWarnings ([a6989586621679244031] -> TyFun [a6989586621679244031] [a6989586621679244031] -> *) ((:++$$) a6989586621679244031) # 

Methods

suppressUnusedWarnings :: Proxy ((:++$$) a6989586621679244031) t -> () #

type Apply [a] [a] ((:++$$) a l1) l2 # 
type Apply [a] [a] ((:++$$) a l1) l2 = (:++) a l1 l2

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

data IdSym0 (l :: TyFun a6989586621679244030 a6989586621679244030) #

Instances

SuppressUnusedWarnings (TyFun a6989586621679244030 a6989586621679244030 -> *) (IdSym0 a6989586621679244030) # 

Methods

suppressUnusedWarnings :: Proxy (IdSym0 a6989586621679244030) t -> () #

type Apply a a (IdSym0 a) l # 
type Apply a a (IdSym0 a) l = Id a l

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

data ConstSym0 (l :: TyFun a6989586621679244028 (TyFun b6989586621679244029 a6989586621679244028 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a6989586621679244028 (TyFun b6989586621679244029 a6989586621679244028 -> Type) -> *) (ConstSym0 b6989586621679244029 a6989586621679244028) # 

Methods

suppressUnusedWarnings :: Proxy (ConstSym0 b6989586621679244029 a6989586621679244028) t -> () #

type Apply a6989586621679244028 (TyFun b6989586621679244029 a6989586621679244028 -> Type) (ConstSym0 b6989586621679244029 a6989586621679244028) l # 
type Apply a6989586621679244028 (TyFun b6989586621679244029 a6989586621679244028 -> Type) (ConstSym0 b6989586621679244029 a6989586621679244028) l = ConstSym1 b6989586621679244029 a6989586621679244028 l

data ConstSym1 (l :: a6989586621679244028) (l :: TyFun b6989586621679244029 a6989586621679244028) #

Instances

SuppressUnusedWarnings (a6989586621679244028 -> TyFun b6989586621679244029 a6989586621679244028 -> *) (ConstSym1 b6989586621679244029 a6989586621679244028) # 

Methods

suppressUnusedWarnings :: Proxy (ConstSym1 b6989586621679244029 a6989586621679244028) 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 :: a6989586621679244028) (t :: b6989586621679244029) = Const t t #

data (:.$) (l :: TyFun (TyFun b6989586621679244025 c6989586621679244026 -> Type) (TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679244025 c6989586621679244026 -> Type) (TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> Type) -> *) ((:.$) b6989586621679244025 a6989586621679244027 c6989586621679244026) # 

Methods

suppressUnusedWarnings :: Proxy ((b6989586621679244025 :.$ a6989586621679244027) c6989586621679244026) t -> () #

type Apply (TyFun b6989586621679244025 c6989586621679244026 -> Type) (TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> Type) ((:.$) b6989586621679244025 a6989586621679244027 c6989586621679244026) l # 
type Apply (TyFun b6989586621679244025 c6989586621679244026 -> Type) (TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> Type) ((:.$) b6989586621679244025 a6989586621679244027 c6989586621679244026) l = (:.$$) b6989586621679244025 a6989586621679244027 c6989586621679244026 l

data (l :: TyFun b6989586621679244025 c6989586621679244026 -> Type) :.$$ (l :: TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679244025 c6989586621679244026 -> Type) -> TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> *) ((:.$$) b6989586621679244025 a6989586621679244027 c6989586621679244026) # 

Methods

suppressUnusedWarnings :: Proxy ((b6989586621679244025 :.$$ a6989586621679244027) c6989586621679244026) t -> () #

type Apply (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) ((:.$$) b6989586621679244025 a6989586621679244027 c6989586621679244026 l1) l2 # 
type Apply (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) ((:.$$) b6989586621679244025 a6989586621679244027 c6989586621679244026 l1) l2 = (:.$$$) b6989586621679244025 a6989586621679244027 c6989586621679244026 l1 l2

data ((l :: TyFun b6989586621679244025 c6989586621679244026 -> Type) :.$$$ (l :: TyFun a6989586621679244027 b6989586621679244025 -> Type)) (l :: TyFun a6989586621679244027 c6989586621679244026) #

Instances

SuppressUnusedWarnings ((TyFun b6989586621679244025 c6989586621679244026 -> Type) -> (TyFun a6989586621679244027 b6989586621679244025 -> Type) -> TyFun a6989586621679244027 c6989586621679244026 -> *) ((:.$$$) b6989586621679244025 a6989586621679244027 c6989586621679244026) # 

Methods

suppressUnusedWarnings :: Proxy ((b6989586621679244025 :.$$$ a6989586621679244027) c6989586621679244026) 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 b6989586621679244025 c6989586621679244026 -> Type) (t :: TyFun a6989586621679244027 b6989586621679244025 -> Type) (t :: a6989586621679244027) = (:.) 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 a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> Type) -> *) (FlipSym0 b6989586621679244023 a6989586621679244022 c6989586621679244024) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym0 b6989586621679244023 a6989586621679244022 c6989586621679244024) t -> () #

type Apply (TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> Type) (FlipSym0 b6989586621679244023 a6989586621679244022 c6989586621679244024) l # 
type Apply (TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> Type) (FlipSym0 b6989586621679244023 a6989586621679244022 c6989586621679244024) l = FlipSym1 b6989586621679244023 a6989586621679244022 c6989586621679244024 l

data FlipSym1 (l :: TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (l :: TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) -> TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> *) (FlipSym1 b6989586621679244023 a6989586621679244022 c6989586621679244024) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym1 b6989586621679244023 a6989586621679244022 c6989586621679244024) t -> () #

type Apply b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) (FlipSym1 b6989586621679244023 a6989586621679244022 c6989586621679244024 l1) l2 # 
type Apply b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) (FlipSym1 b6989586621679244023 a6989586621679244022 c6989586621679244024 l1) l2 = FlipSym2 b6989586621679244023 a6989586621679244022 c6989586621679244024 l1 l2

data FlipSym2 (l :: TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (l :: b6989586621679244023) (l :: TyFun a6989586621679244022 c6989586621679244024) #

Instances

SuppressUnusedWarnings ((TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) -> b6989586621679244023 -> TyFun a6989586621679244022 c6989586621679244024 -> *) (FlipSym2 b6989586621679244023 a6989586621679244022 c6989586621679244024) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym2 b6989586621679244023 a6989586621679244022 c6989586621679244024) 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 a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (t :: b6989586621679244023) (t :: a6989586621679244022) = Flip t t t #

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

Instances

SuppressUnusedWarnings (TyFun (TyFun a6989586621679377359 Bool -> Type) (TyFun (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> Type) -> *) (UntilSym0 a6989586621679377359) # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym0 a6989586621679377359) t -> () #

type Apply (TyFun a6989586621679377359 Bool -> Type) (TyFun (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> Type) (UntilSym0 a6989586621679377359) l # 
type Apply (TyFun a6989586621679377359 Bool -> Type) (TyFun (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> Type) (UntilSym0 a6989586621679377359) l = UntilSym1 a6989586621679377359 l

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679377359 Bool -> Type) -> TyFun (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> *) (UntilSym1 a6989586621679377359) # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym1 a6989586621679377359) t -> () #

type Apply (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) (UntilSym1 a6989586621679377359 l1) l2 # 
type Apply (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) (UntilSym1 a6989586621679377359 l1) l2 = UntilSym2 a6989586621679377359 l1 l2

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

Instances

SuppressUnusedWarnings ((TyFun a6989586621679377359 Bool -> Type) -> (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> TyFun a6989586621679377359 a6989586621679377359 -> *) (UntilSym2 a6989586621679377359) # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym2 a6989586621679377359) t -> () #

type Apply a a (UntilSym2 a l1 l2) l3 # 
type Apply a a (UntilSym2 a l1 l2) l3 = Until a l1 l2 l3

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

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

Instances

SuppressUnusedWarnings (TyFun a6989586621679244021 (TyFun a6989586621679244021 a6989586621679244021 -> Type) -> *) (AsTypeOfSym0 a6989586621679244021) # 

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a6989586621679244021) t -> () #

type Apply a6989586621679244021 (TyFun a6989586621679244021 a6989586621679244021 -> Type) (AsTypeOfSym0 a6989586621679244021) l # 
type Apply a6989586621679244021 (TyFun a6989586621679244021 a6989586621679244021 -> Type) (AsTypeOfSym0 a6989586621679244021) l = AsTypeOfSym1 a6989586621679244021 l

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

Instances

SuppressUnusedWarnings (a6989586621679244021 -> TyFun a6989586621679244021 a6989586621679244021 -> *) (AsTypeOfSym1 a6989586621679244021) # 

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a6989586621679244021) t -> () #

type Apply a a (AsTypeOfSym1 a l1) l2 # 
type Apply a a (AsTypeOfSym1 a l1) l2 = AsTypeOf a l1 l2

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

data SeqSym0 (l :: TyFun a6989586621679244019 (TyFun b6989586621679244020 b6989586621679244020 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a6989586621679244019 (TyFun b6989586621679244020 b6989586621679244020 -> Type) -> *) (SeqSym0 a6989586621679244019 b6989586621679244020) # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym0 a6989586621679244019 b6989586621679244020) t -> () #

type Apply a6989586621679244019 (TyFun b6989586621679244020 b6989586621679244020 -> Type) (SeqSym0 a6989586621679244019 b6989586621679244020) l # 
type Apply a6989586621679244019 (TyFun b6989586621679244020 b6989586621679244020 -> Type) (SeqSym0 a6989586621679244019 b6989586621679244020) l = SeqSym1 a6989586621679244019 b6989586621679244020 l

data SeqSym1 (l :: a6989586621679244019) (l :: TyFun b6989586621679244020 b6989586621679244020) #

Instances

SuppressUnusedWarnings (a6989586621679244019 -> TyFun b6989586621679244020 b6989586621679244020 -> *) (SeqSym1 a6989586621679244019 b6989586621679244020) # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym1 a6989586621679244019 b6989586621679244020) 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 :: a6989586621679244019) (t :: b6989586621679244020) = Seq t t #