singletons-2.3.1: A framework for generating singleton types

Data.Singletons.Prelude.Base

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

# Basic functions

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

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) Source #

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) sMap :: forall (t :: TyFun a b -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b]) Source # type family (a :: [a]) :++ (a :: [a]) :: [a] where ... infixr 5 Source # 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 Source #

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

Equations

 Otherwise = TrueSym0

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

Equations

 Id x = x

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

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

Equations

 Const x _z_6989586621679281163 = x

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

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

(%:.) :: 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 Source # 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 (%$) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing ((($$) @@ f) @@ x) infixr 0 Source # (%!) :: forall (f :: TyFun a b -> *) (x :: a). Sing f -> Sing x -> Sing (((!) @@ f) @@ x) infixr 0 Source # 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 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) Source # type family AsTypeOf (a :: a) (a :: a) :: a where ... Source # Equations  AsTypeOf a_6989586621679281166 a_6989586621679281168 = Apply (Apply ConstSym0 a_6989586621679281166) a_6989586621679281168 sAsTypeOf :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply AsTypeOfSym0 t) t :: a) Source # type family Seq (a :: a) (a :: b) :: b where ... infixr 0 Source # Equations  Seq _z_6989586621679281089 x = x sSeq :: forall (t :: a) (t :: b). Sing t -> Sing t -> Sing (Apply (Apply SeqSym0 t) t :: b) infixr 0 Source # # 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # data IdSym0 (l :: TyFun a6989586621679281044 a6989586621679281044) Source # Instances  SuppressUnusedWarnings (TyFun a6989586621679281044 a6989586621679281044 -> *) (IdSym0 a6989586621679281044) Source # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 AsTypeOfSym0 (l :: TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type)) Source #

Instances

 SuppressUnusedWarnings (TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) -> *) (AsTypeOfSym0 a6989586621679281035) Source # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 # MethodssuppressUnusedWarnings :: 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 #