singletons-2.3.1: A framework for generating singleton types

Copyright(C) 2013 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.Prelude

Contents

Description

Mimics the Haskell Prelude, but with singleton types. Includes the basic singleton definitions. Note: This is currently very incomplete!

Because many of these definitions are produced by Template Haskell, it is not possible to create proper Haddock documentation. Also, please excuse the apparent repeated variable names. This is due to an interaction between Template Haskell and Haddock.

Synopsis

Basic singleton definitions

module Data.Singletons

data family Sing (a :: k) #

The singleton kind-indexed data family.

Instances

data Sing Bool # 
data Sing Bool where
data Sing Ordering # 
data Sing * # 
data Sing * where
data Sing Nat # 
data Sing Nat where
data Sing Symbol # 
data Sing Symbol where
data Sing () # 
data Sing () where
data Sing [a] # 
data Sing [a] where
data Sing (Maybe a) # 
data Sing (Maybe a) where
data Sing (NonEmpty a) # 
data Sing (NonEmpty a) where
data Sing (Either a b) # 
data Sing (Either a b) where
data Sing (a, b) # 
data Sing (a, b) where
data Sing ((~>) k1 k2) # 
data Sing ((~>) k1 k2) = SLambda {}
data Sing (a, b, c) # 
data Sing (a, b, c) where
data Sing (a, b, c, d) # 
data Sing (a, b, c, d) where
data Sing (a, b, c, d, e) # 
data Sing (a, b, c, d, e) where
data Sing (a, b, c, d, e, f) # 
data Sing (a, b, c, d, e, f) where
data Sing (a, b, c, d, e, f, g) # 
data Sing (a, b, c, d, e, f, g) where

Singleton type synonyms

These synonyms are all kind-restricted synonyms of Sing. For example SBool requires an argument of kind Bool.

type SBool = (Sing :: Bool -> Type) #

type SList = (Sing :: [a] -> Type) #

type SMaybe = (Sing :: Maybe a -> Type) #

type SEither = (Sing :: Either a b -> Type) #

type SOrdering = (Sing :: Ordering -> Type) #

type STuple0 = (Sing :: () -> Type) #

type STuple2 = (Sing :: (a, b) -> Type) #

type STuple3 = (Sing :: (a, b, c) -> Type) #

type STuple4 = (Sing :: (a, b, c, d) -> Type) #

type STuple5 = (Sing :: (a, b, c, d, e) -> Type) #

type STuple6 = (Sing :: (a, b, c, d, e, f) -> Type) #

type STuple7 = (Sing :: (a, b, c, d, e, f, g) -> Type) #

Functions working with Bool

type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #

Type-level If. If True a b ==> a; If False a b ==> b

Equations

If k True tru fls = tru 
If k False tru fls = fls 

sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c) #

Conditional over singletons

type family Not (a :: Bool) :: Bool where ... #

Equations

Not False = TrueSym0 
Not True = FalseSym0 

sNot :: forall (t :: Bool). Sing t -> Sing (Apply NotSym0 t :: Bool) #

type family (a :: Bool) :&& (a :: Bool) :: Bool where ... infixr 3 #

Equations

False :&& _z_1627669154 = FalseSym0 
True :&& x = x 

type family (a :: Bool) :|| (a :: Bool) :: Bool where ... infixr 2 #

Equations

False :|| x = x 
True :|| _z_1627669142 = TrueSym0 

(%:&&) :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply (:&&$) t) t :: Bool) infixr 3 #

(%:||) :: forall (t :: Bool) (t :: Bool). Sing t -> Sing t -> Sing (Apply (Apply (:||$) t) t :: Bool) infixr 2 #

type family Otherwise :: Bool where ... #

Equations

Otherwise = TrueSym0 

sOtherwise :: Sing (OtherwiseSym0 :: Bool) #

Error reporting

type family Error (str :: k0) :: k #

The promotion of error. This version is more poly-kinded for easier use.

data ErrorSym0 (l :: TyFun k01627798799 k1627798801) #

Instances

SuppressUnusedWarnings (TyFun k01627798799 k1627798801 -> *) (ErrorSym0 k01627798799 k1627798801) # 

Methods

suppressUnusedWarnings :: Proxy (ErrorSym0 k01627798799 k1627798801) t -> () #

type Apply k0 k2 (ErrorSym0 k0 k2) l # 
type Apply k0 k2 (ErrorSym0 k0 k2) l = Error k0 k2 l

sError :: Sing (str :: Symbol) -> a #

The singleton for error

Singleton equality

module Data.Singletons.Prelude.Eq

Singleton comparisons

module Data.Singletons.Prelude.Ord

Singleton Enum and Bounded

As a matter of convenience, the singletons Prelude does not export promoted/singletonized succ and pred, due to likely conflicts with unary numbers. Please import Enum directly if you want these.

module Data.Singletons.Prelude.Enum

Singletons numbers

module Data.Singletons.Prelude.Num

Miscellaneous functions

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_1627672595 = 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_1627672558 = Apply (Apply (Apply (Apply Lambda_1627672563Sym0 f) g) a_1627672558) a_1627672558 

(%:.) :: 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

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

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 #

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_1627672598 a_1627672600 = Apply (Apply ConstSym0 a_1627672598) a_1627672600 

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_1627672521 x = x 

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

List operations

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

Equations

Map _z_1627672640 '[] = '[] 
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 Head (a :: [a]) :: a where ... #

Equations

Head ((:) a _z_1627860147) = a 
Head '[] = Apply ErrorSym0 "Data.Singletons.List.head: empty list" 

sHead :: forall (t :: [a]). Sing t -> Sing (Apply HeadSym0 t :: a) #

type family Last (a :: [a]) :: a where ... #

Equations

Last '[] = Apply ErrorSym0 "Data.Singletons.List.last: empty list" 
Last '[x] = x 
Last ((:) _z_1627860137 ((:) x xs)) = Apply LastSym0 (Apply (Apply (:$) x) xs) 

sLast :: forall (t :: [a]). Sing t -> Sing (Apply LastSym0 t :: a) #

type family Tail (a :: [a]) :: [a] where ... #

Equations

Tail ((:) _z_1627860128 t) = t 
Tail '[] = Apply ErrorSym0 "Data.Singletons.List.tail: empty list" 

sTail :: forall (t :: [a]). Sing t -> Sing (Apply TailSym0 t :: [a]) #

type family Init (a :: [a]) :: [a] where ... #

Equations

Init '[] = Apply ErrorSym0 "Data.Singletons.List.init: empty list" 
Init ((:) x xs) = Apply (Apply (Let1627860097Init'Sym2 x xs) x) xs 

sInit :: forall (t :: [a]). Sing t -> Sing (Apply InitSym0 t :: [a]) #

type family Null (a :: [a]) :: Bool where ... #

Equations

Null '[] = TrueSym0 
Null ((:) _z_1627860026 _z_1627860029) = FalseSym0 

sNull :: forall (t :: [a]). Sing t -> Sing (Apply NullSym0 t :: Bool) #

type family Reverse (a :: [a]) :: [a] where ... #

Equations

Reverse l = Apply (Apply (Let1627859992RevSym1 l) l) '[] 

sReverse :: forall (t :: [a]). Sing t -> Sing (Apply ReverseSym0 t :: [a]) #

Reducing lists (folds)

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

Equations

Foldl f z0 xs0 = Apply (Apply (Let1627632085LgoSym3 f z0 xs0) z0) xs0 

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

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

Equations

Foldl1 f ((:) x xs) = Apply (Apply (Apply FoldlSym0 f) x) xs 
Foldl1 _z_1627859236 '[] = Apply ErrorSym0 "Data.Singletons.List.foldl1: empty list" 

sFoldl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a) #

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

Equations

Foldr k z a_1627672661 = Apply (Let1627672666GoSym3 k z a_1627672661) a_1627672661 

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 Foldr1 (a :: TyFun a (TyFun a a -> Type) -> Type) (a :: [a]) :: a where ... #

Equations

Foldr1 _z_1627859194 '[x] = x 
Foldr1 f ((:) x ((:) wild_1627856651 wild_1627856653)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let1627859202XsSym4 f x wild_1627856651 wild_1627856653)) 
Foldr1 _z_1627859221 '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list" 

sFoldr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a) #

Special folds

type family And (a :: [Bool]) :: Bool where ... #

Equations

And '[] = TrueSym0 
And ((:) x xs) = Apply (Apply (:&&$) x) (Apply AndSym0 xs) 

sAnd :: forall (t :: [Bool]). Sing t -> Sing (Apply AndSym0 t :: Bool) #

type family Or (a :: [Bool]) :: Bool where ... #

Equations

Or '[] = FalseSym0 
Or ((:) x xs) = Apply (Apply (:||$) x) (Apply OrSym0 xs) 

sOr :: forall (t :: [Bool]). Sing t -> Sing (Apply OrSym0 t :: Bool) #

type family Any_ (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... #

Equations

Any_ _z_1627845981 '[] = FalseSym0 
Any_ p ((:) x xs) = Apply (Apply (:||$) (Apply p x)) (Apply (Apply Any_Sym0 p) xs) 

sAny_ :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Any_Sym0 t) t :: Bool) #

type family All (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... #

Equations

All _z_1627859147 '[] = TrueSym0 
All p ((:) x xs) = Apply (Apply (:&&$) (Apply p x)) (Apply (Apply AllSym0 p) xs) 

sAll :: forall (t :: TyFun a Bool -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool) #

type family Concat (a :: [[a]]) :: [a] where ... #

Equations

Concat a_1627859178 = Apply (Apply (Apply FoldrSym0 (:++$)) '[]) a_1627859178 

sConcat :: forall (t :: [[a]]). Sing t -> Sing (Apply ConcatSym0 t :: [a]) #

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

Equations

ConcatMap f a_1627859174 = Apply (Apply (Apply FoldrSym0 (Apply (Apply (:.$) (:++$)) f)) '[]) a_1627859174 

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

Scans

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

Equations

Scanl f q ls = Apply (Apply (:$) q) (Case_1627859118 f q ls ls) 

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

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

Equations

Scanl1 f ((:) x xs) = Apply (Apply (Apply ScanlSym0 f) x) xs 
Scanl1 _z_1627859135 '[] = '[] 

sScanl1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanl1Sym0 t) t :: [a]) #

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

Equations

Scanr _z_1627859068 q0 '[] = Apply (Apply (:$) q0) '[] 
Scanr f q0 ((:) x xs) = Case_1627859095 f q0 x xs (Let1627859076Scrutinee_1627856655Sym4 f q0 x xs) 

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

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

Equations

Scanr1 _z_1627858999 '[] = '[] 
Scanr1 _z_1627859002 '[x] = Apply (Apply (:$) x) '[] 
Scanr1 f ((:) x ((:) wild_1627856659 wild_1627856661)) = Case_1627859048 f x wild_1627856659 wild_1627856661 (Let1627859029Scrutinee_1627856657Sym4 f x wild_1627856659 wild_1627856661) 

sScanr1 :: forall (t :: TyFun a (TyFun a a -> Type) -> Type) (t :: [a]). Sing t -> Sing t -> Sing (Apply (Apply Scanr1Sym0 t) t :: [a]) #

Searching lists

type family Elem (a :: a) (a :: [a]) :: Bool where ... #

Equations

Elem _z_1627858510 '[] = FalseSym0 
Elem x ((:) y ys) = Apply (Apply (:||$) (Apply (Apply (:==$) x) y)) (Apply (Apply ElemSym0 x) ys) 

sElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemSym0 t) t :: Bool) #

type family NotElem (a :: a) (a :: [a]) :: Bool where ... #

Equations

NotElem _z_1627858495 '[] = TrueSym0 
NotElem x ((:) y ys) = Apply (Apply (:&&$) (Apply (Apply (:/=$) x) y)) (Apply (Apply NotElemSym0 x) ys) 

sNotElem :: forall (t :: a) (t :: [a]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply NotElemSym0 t) t :: Bool) #

type family Lookup (a :: a) (a :: [(a, b)]) :: Maybe b where ... #

Equations

Lookup _key '[] = NothingSym0 
Lookup key ((:) '(x, y) xys) = Case_1627857084 key x y xys (Let1627857065Scrutinee_1627856739Sym4 key x y xys) 

sLookup :: forall (t :: a) (t :: [(a, b)]). SEq a => Sing t -> Sing t -> Sing (Apply (Apply LookupSym0 t) t :: Maybe b) #

Zipping and unzipping lists

type family Zip (a :: [a]) (a :: [b]) :: [(a, b)] where ... #

Equations

Zip ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys) 
Zip '[] '[] = '[] 
Zip ((:) _z_1627858372 _z_1627858375) '[] = '[] 
Zip '[] ((:) _z_1627858378 _z_1627858381) = '[] 

sZip :: forall (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing (Apply (Apply ZipSym0 t) t :: [(a, b)]) #

type family Zip3 (a :: [a]) (a :: [b]) (a :: [c]) :: [(a, b, c)] where ... #

Equations

Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs) 
Zip3 '[] '[] '[] = '[] 
Zip3 '[] '[] ((:) _z_1627858305 _z_1627858308) = '[] 
Zip3 '[] ((:) _z_1627858311 _z_1627858314) '[] = '[] 
Zip3 '[] ((:) _z_1627858317 _z_1627858320) ((:) _z_1627858323 _z_1627858326) = '[] 
Zip3 ((:) _z_1627858329 _z_1627858332) '[] '[] = '[] 
Zip3 ((:) _z_1627858335 _z_1627858338) '[] ((:) _z_1627858341 _z_1627858344) = '[] 
Zip3 ((:) _z_1627858347 _z_1627858350) ((:) _z_1627858353 _z_1627858356) '[] = '[] 

sZip3 :: forall (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Zip3Sym0 t) t) t :: [(a, b, c)]) #

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

Equations

ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys) 
ZipWith _z_1627858263 '[] '[] = '[] 
ZipWith _z_1627858266 ((:) _z_1627858269 _z_1627858272) '[] = '[] 
ZipWith _z_1627858275 '[] ((:) _z_1627858278 _z_1627858281) = '[] 

sZipWith :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: [a]) (t :: [b]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: [c]) #

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

Equations

ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs) 
ZipWith3 _z_1627858168 '[] '[] '[] = '[] 
ZipWith3 _z_1627858171 '[] '[] ((:) _z_1627858174 _z_1627858177) = '[] 
ZipWith3 _z_1627858180 '[] ((:) _z_1627858183 _z_1627858186) '[] = '[] 
ZipWith3 _z_1627858189 '[] ((:) _z_1627858192 _z_1627858195) ((:) _z_1627858198 _z_1627858201) = '[] 
ZipWith3 _z_1627858204 ((:) _z_1627858207 _z_1627858210) '[] '[] = '[] 
ZipWith3 _z_1627858213 ((:) _z_1627858216 _z_1627858219) '[] ((:) _z_1627858222 _z_1627858225) = '[] 
ZipWith3 _z_1627858228 ((:) _z_1627858231 _z_1627858234) ((:) _z_1627858237 _z_1627858240) '[] = '[] 

sZipWith3 :: forall (t :: TyFun a (TyFun b (TyFun c d -> Type) -> Type) -> Type) (t :: [a]) (t :: [b]) (t :: [c]). Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d]) #

type family Unzip (a :: [(a, b)]) :: ([a], [b]) where ... #

Equations

Unzip xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627858114Sym0 xs)) (Apply (Apply Tuple2Sym0 '[]) '[])) xs 

sUnzip :: forall (t :: [(a, b)]). Sing t -> Sing (Apply UnzipSym0 t :: ([a], [b])) #

type family Unzip3 (a :: [(a, b, c)]) :: ([a], [b], [c]) where ... #

Equations

Unzip3 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627858082Sym0 xs)) (Apply (Apply (Apply Tuple3Sym0 '[]) '[]) '[])) xs 

sUnzip3 :: forall (t :: [(a, b, c)]). Sing t -> Sing (Apply Unzip3Sym0 t :: ([a], [b], [c])) #

Other datatypes

type family Maybe_ (a :: b) (a :: TyFun a b -> Type) (a :: Maybe a) :: b where ... #

Equations

Maybe_ n _z_1627823911 Nothing = n 
Maybe_ _z_1627823914 f (Just x) = Apply f x 

sMaybe_ :: forall (t :: b) (t :: TyFun a b -> Type) (t :: Maybe a). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Maybe_Sym0 t) t) t :: b) #

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

Equations

Either_ f _z_1627834007 (Left x) = Apply f x 
Either_ _z_1627834011 g (Right y) = Apply g y 

sEither_ :: forall (t :: TyFun a c -> Type) (t :: TyFun b c -> Type) (t :: Either a b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Either_Sym0 t) t) t :: c) #

type family Fst (a :: (a, b)) :: a where ... #

Equations

Fst '(x, _z_1627819906) = x 

sFst :: forall (t :: (a, b)). Sing t -> Sing (Apply FstSym0 t :: a) #

type family Snd (a :: (a, b)) :: b where ... #

Equations

Snd '(_z_1627819897, y) = y 

sSnd :: forall (t :: (a, b)). Sing t -> Sing (Apply SndSym0 t :: b) #

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

Equations

Curry f x y = Apply f (Apply (Apply Tuple2Sym0 x) y) 

sCurry :: forall (t :: TyFun (a, b) c -> Type) (t :: a) (t :: b). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply CurrySym0 t) t) t :: c) #

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

Equations

Uncurry f p = Apply (Apply f (Apply FstSym0 p)) (Apply SndSym0 p) 

sUncurry :: forall (t :: TyFun a (TyFun b c -> Type) -> Type) (t :: (a, b)). Sing t -> Sing t -> Sing (Apply (Apply UncurrySym0 t) t :: c) #

data Symbol :: * #

(Kind) This is the kind of type-level symbols. Declared here because class IP needs it

Instances

SingKind Symbol

Since: 4.9.0.0

Associated Types

type DemoteRep Symbol :: *

Methods

fromSing :: Sing Symbol a -> DemoteRep Symbol

KnownSymbol a => SingI Symbol a

Since: 4.9.0.0

Methods

sing :: Sing a a

SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 # 
data Sing Symbol 
data Sing Symbol where
type DemoteRep Symbol 
type DemoteRep Symbol = String
type Demote Symbol # 
data Sing Symbol # 
data Sing Symbol where
type (==) Symbol a b 
type (==) Symbol a b = EqSymbol a b
type (:==) Symbol a b # 
type (:==) Symbol a b = (==) Symbol a b
type (:/=) Symbol x y # 
type (:/=) Symbol x y = Not ((:==) Symbol x y)
type Compare Symbol a b # 
type Compare Symbol a b = CmpSymbol a b
type (:<) Symbol arg1 arg2 # 
type (:<) Symbol arg1 arg2
type (:<=) Symbol arg1 arg2 # 
type (:<=) Symbol arg1 arg2
type (:>) Symbol arg1 arg2 # 
type (:>) Symbol arg1 arg2
type (:>=) Symbol arg1 arg2 # 
type (:>=) Symbol arg1 arg2
type Max Symbol arg1 arg2 # 
type Max Symbol arg1 arg2
type Min Symbol arg1 arg2 # 
type Min Symbol arg1 arg2
type Apply Symbol Constraint KnownSymbolSym0 l # 

Other functions

either_ :: (a -> c) -> (b -> c) -> Either a b -> c #

maybe_ :: b -> (a -> b) -> Maybe a -> b #

bool_ :: a -> a -> Bool -> a #

any_ :: (a -> Bool) -> [a] -> Bool #

Defunctionalization symbols

type FalseSym0 = False #

type TrueSym0 = True #

data NotSym0 (l :: TyFun Bool Bool) #

Instances

type NotSym1 (t :: Bool) = Not t #

data (:&&$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #

Instances

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) # 

Methods

suppressUnusedWarnings :: Proxy (:&&$) t -> () #

type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l # 
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l = (:&&$$) l

data (l :: Bool) :&&$$ (l :: TyFun Bool Bool) #

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) # 

Methods

suppressUnusedWarnings :: Proxy (:&&$$) t -> () #

type Apply Bool Bool ((:&&$$) l1) l2 # 
type Apply Bool Bool ((:&&$$) l1) l2 = (:&&) l1 l2

type (:&&$$$) (t :: Bool) (t :: Bool) = (:&&) t t #

data (:||$) (l :: TyFun Bool (TyFun Bool Bool -> Type)) #

Instances

SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:||$) # 

Methods

suppressUnusedWarnings :: Proxy (:||$) t -> () #

type Apply Bool (TyFun Bool Bool -> Type) (:||$) l # 
type Apply Bool (TyFun Bool Bool -> Type) (:||$) l = (:||$$) l

data (l :: Bool) :||$$ (l :: TyFun Bool Bool) #

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:||$$) # 

Methods

suppressUnusedWarnings :: Proxy (:||$$) t -> () #

type Apply Bool Bool ((:||$$) l1) l2 # 
type Apply Bool Bool ((:||$$) l1) l2 = (:||) l1 l2

type (:||$$$) (t :: Bool) (t :: Bool) = (:||) t t #

type OtherwiseSym0 = Otherwise #

type NothingSym0 = Nothing #

data JustSym0 (l :: TyFun a822083585 (Maybe a822083585)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (Maybe a822083585) -> *) (JustSym0 a822083585) # 

Methods

suppressUnusedWarnings :: Proxy (JustSym0 a822083585) t -> () #

type Apply a (Maybe a) (JustSym0 a) l # 
type Apply a (Maybe a) (JustSym0 a) l = Just a l

type JustSym1 (t :: a822083585) = Just t #

data Maybe_Sym0 (l :: TyFun b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type) -> *) (Maybe_Sym0 a1627823890 b1627823889) # 

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym0 a1627823890 b1627823889) t -> () #

type Apply b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type) (Maybe_Sym0 a1627823890 b1627823889) l # 
type Apply b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type) (Maybe_Sym0 a1627823890 b1627823889) l = Maybe_Sym1 a1627823890 b1627823889 l

data Maybe_Sym1 (l :: b1627823889) (l :: TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type)) #

Instances

SuppressUnusedWarnings (b1627823889 -> TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> *) (Maybe_Sym1 a1627823890 b1627823889) # 

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym1 a1627823890 b1627823889) t -> () #

type Apply (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) (Maybe_Sym1 a1627823890 b1627823889 l1) l2 # 
type Apply (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) (Maybe_Sym1 a1627823890 b1627823889 l1) l2 = Maybe_Sym2 a1627823890 b1627823889 l1 l2

data Maybe_Sym2 (l :: b1627823889) (l :: TyFun a1627823890 b1627823889 -> Type) (l :: TyFun (Maybe a1627823890) b1627823889) #

Instances

SuppressUnusedWarnings (b1627823889 -> (TyFun a1627823890 b1627823889 -> Type) -> TyFun (Maybe a1627823890) b1627823889 -> *) (Maybe_Sym2 a1627823890 b1627823889) # 

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym2 a1627823890 b1627823889) t -> () #

type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 # 
type Apply (Maybe a) b (Maybe_Sym2 a b l1 l2) l3 = Maybe_ a b l1 l2 l3

type Maybe_Sym3 (t :: b1627823889) (t :: TyFun a1627823890 b1627823889 -> Type) (t :: Maybe a1627823890) = Maybe_ t t t #

data LeftSym0 (l :: TyFun a1627455901 (Either a1627455901 b1627455902)) #

Instances

SuppressUnusedWarnings (TyFun a1627455901 (Either a1627455901 b1627455902) -> *) (LeftSym0 a1627455901 b1627455902) # 

Methods

suppressUnusedWarnings :: Proxy (LeftSym0 a1627455901 b1627455902) t -> () #

type Apply a (Either a b1627455902) (LeftSym0 a b1627455902) l # 
type Apply a (Either a b1627455902) (LeftSym0 a b1627455902) l = Left a b1627455902 l

type LeftSym1 (t :: a1627455901) = Left t #

data RightSym0 (l :: TyFun b1627455902 (Either a1627455901 b1627455902)) #

Instances

SuppressUnusedWarnings (TyFun b1627455902 (Either a1627455901 b1627455902) -> *) (RightSym0 a1627455901 b1627455902) # 

Methods

suppressUnusedWarnings :: Proxy (RightSym0 a1627455901 b1627455902) t -> () #

type Apply b (Either a1627455901 b) (RightSym0 a1627455901 b) l # 
type Apply b (Either a1627455901 b) (RightSym0 a1627455901 b) l = Right a1627455901 b l

type RightSym1 (t :: b1627455902) = Right t #

data Either_Sym0 (l :: TyFun (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) -> *) (Either_Sym0 a1627833983 b1627833985 c1627833984) # 

Methods

suppressUnusedWarnings :: Proxy (Either_Sym0 a1627833983 b1627833985 c1627833984) t -> () #

type Apply (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) (Either_Sym0 a1627833983 b1627833985 c1627833984) l # 
type Apply (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) (Either_Sym0 a1627833983 b1627833985 c1627833984) l = Either_Sym1 a1627833983 b1627833985 c1627833984 l

data Either_Sym1 (l :: TyFun a1627833983 c1627833984 -> Type) (l :: TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627833983 c1627833984 -> Type) -> TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> *) (Either_Sym1 a1627833983 b1627833985 c1627833984) # 

Methods

suppressUnusedWarnings :: Proxy (Either_Sym1 a1627833983 b1627833985 c1627833984) t -> () #

type Apply (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) (Either_Sym1 a1627833983 b1627833985 c1627833984 l1) l2 # 
type Apply (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) (Either_Sym1 a1627833983 b1627833985 c1627833984 l1) l2 = Either_Sym2 a1627833983 b1627833985 c1627833984 l1 l2

data Either_Sym2 (l :: TyFun a1627833983 c1627833984 -> Type) (l :: TyFun b1627833985 c1627833984 -> Type) (l :: TyFun (Either a1627833983 b1627833985) c1627833984) #

Instances

SuppressUnusedWarnings ((TyFun a1627833983 c1627833984 -> Type) -> (TyFun b1627833985 c1627833984 -> Type) -> TyFun (Either a1627833983 b1627833985) c1627833984 -> *) (Either_Sym2 a1627833983 b1627833985 c1627833984) # 

Methods

suppressUnusedWarnings :: Proxy (Either_Sym2 a1627833983 b1627833985 c1627833984) t -> () #

type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 # 
type Apply (Either a b) c (Either_Sym2 a b c l1 l2) l3 = Either_ a b c l1 l2 l3

type Either_Sym3 (t :: TyFun a1627833983 c1627833984 -> Type) (t :: TyFun b1627833985 c1627833984 -> Type) (t :: Either a1627833983 b1627833985) = Either_ t t t #

type Tuple0Sym0 = '() #

data Tuple2Sym0 (l :: TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) -> *) (Tuple2Sym0 a822083585 b822083586) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym0 a822083585 b822083586) t -> () #

type Apply a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) (Tuple2Sym0 a822083585 b822083586) l # 
type Apply a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) (Tuple2Sym0 a822083585 b822083586) l = Tuple2Sym1 a822083585 b822083586 l

data Tuple2Sym1 (l :: a822083585) (l :: TyFun b822083586 (a822083585, b822083586)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (a822083585, b822083586) -> *) (Tuple2Sym1 a822083585 b822083586) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym1 a822083585 b822083586) t -> () #

type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 # 
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 = (,) k2 k1 l1 l2

type Tuple2Sym2 (t :: a822083585) (t :: b822083586) = '(t, t) #

data Tuple3Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) -> *) (Tuple3Sym0 a822083585 b822083586 c822083587) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym0 a822083585 b822083586 c822083587) t -> () #

type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) (Tuple3Sym0 a822083585 b822083586 c822083587) l # 
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) (Tuple3Sym0 a822083585 b822083586 c822083587) l = Tuple3Sym1 a822083585 b822083586 c822083587 l

data Tuple3Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> *) (Tuple3Sym1 a822083585 b822083586 c822083587) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym1 a822083585 b822083586 c822083587) t -> () #

type Apply b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) (Tuple3Sym1 a822083585 b822083586 c822083587 l1) l2 # 
type Apply b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) (Tuple3Sym1 a822083585 b822083586 c822083587 l1) l2 = Tuple3Sym2 a822083585 b822083586 c822083587 l1 l2

data Tuple3Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (a822083585, b822083586, c822083587)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (a822083585, b822083586, c822083587) -> *) (Tuple3Sym2 a822083585 b822083586 c822083587) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym2 a822083585 b822083586 c822083587) t -> () #

type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 # 
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 = (,,) k2 k1 k3 l1 l2 l3

type Tuple3Sym3 (t :: a822083585) (t :: b822083586) (t :: c822083587) = '(t, t, t) #

data Tuple4Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) t -> () #

type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) l # 
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) l = Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l

data Tuple4Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> *) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) t -> () #

type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l1) l2 # 
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l1) l2 = Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2

data Tuple4Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> *) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) t -> () #

type Apply c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2) l3 # 
type Apply c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2) l3 = Tuple4Sym3 a822083585 b822083586 c822083587 d822083588 l1 l2 l3

data Tuple4Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (a822083585, b822083586, c822083587, d822083588)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> *) (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) t -> () #

type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 # 
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 = (,,,) k2 k1 k3 k4 l1 l2 l3 l4

type Tuple4Sym4 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) = '(t, t, t, t) #

data Tuple5Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #

type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) l # 
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) l = Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l

data Tuple5Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #

type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l1) l2 # 
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l1) l2 = Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2

data Tuple5Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> *) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #

type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2) l3 # 
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2) l3 = Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3

data Tuple5Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> *) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #

type Apply d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3) l4 # 
type Apply d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3) l4 = Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3 l4

data Tuple5Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> *) (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #

type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 # 
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 = (,,,,) k2 k1 k3 k4 k5 l1 l2 l3 l4 l5

type Tuple5Sym5 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) = '(t, t, t, t, t) #

data Tuple6Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #

type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) l # 
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) l = Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l

data Tuple6Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #

type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1) l2 # 
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1) l2 = Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2

data Tuple6Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #

type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2) l3 # 
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2) l3 = Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3

data Tuple6Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> *) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #

type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3) l4 # 
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3) l4 = Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4

data Tuple6Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> *) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #

type Apply e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4) l5 # 
type Apply e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4) l5 = Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4 l5

data Tuple6Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> *) (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #

type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 # 
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 = (,,,,,) k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6

type Tuple6Sym6 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) = '(t, t, t, t, t, t) #

data Tuple7Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) l # 
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) l = Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l

data Tuple7Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1) l2 # 
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1) l2 = Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2

data Tuple7Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2) l3 # 
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2) l3 = Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3

data Tuple7Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3) l4 # 
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3) l4 = Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4

data Tuple7Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> *) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4) l5 # 
type Apply e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4) l5 = Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5

data Tuple7Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> *) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5) l6 # 
type Apply f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5) l6 = Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5 l6

data Tuple7Sym6 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: f822083590) (l :: TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> f822083590 -> TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> *) (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #

type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 # 
type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 = (,,,,,,) k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7

type Tuple7Sym7 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) (t :: g822083591) = '(t, t, t, t, t, t, t) #

data FstSym0 (l :: TyFun (a1627819853, b1627819854) a1627819853) #

Instances

SuppressUnusedWarnings (TyFun (a1627819853, b1627819854) a1627819853 -> *) (FstSym0 b1627819854 a1627819853) # 

Methods

suppressUnusedWarnings :: Proxy (FstSym0 b1627819854 a1627819853) t -> () #

type Apply (a, b) a (FstSym0 b a) l # 
type Apply (a, b) a (FstSym0 b a) l = Fst b a l

type FstSym1 (t :: (a1627819853, b1627819854)) = Fst t #

data SndSym0 (l :: TyFun (a1627819851, b1627819852) b1627819852) #

Instances

SuppressUnusedWarnings (TyFun (a1627819851, b1627819852) b1627819852 -> *) (SndSym0 a1627819851 b1627819852) # 

Methods

suppressUnusedWarnings :: Proxy (SndSym0 a1627819851 b1627819852) t -> () #

type Apply (a, b) b (SndSym0 a b) l # 
type Apply (a, b) b (SndSym0 a b) l = Snd a b l

type SndSym1 (t :: (a1627819851, b1627819852)) = Snd t #

data CurrySym0 (l :: TyFun (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) -> *) (CurrySym0 a1627819848 b1627819849 c1627819850) # 

Methods

suppressUnusedWarnings :: Proxy (CurrySym0 a1627819848 b1627819849 c1627819850) t -> () #

type Apply (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) (CurrySym0 a1627819848 b1627819849 c1627819850) l # 
type Apply (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) (CurrySym0 a1627819848 b1627819849 c1627819850) l = CurrySym1 a1627819848 b1627819849 c1627819850 l

data CurrySym1 (l :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (l :: TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun (a1627819848, b1627819849) c1627819850 -> Type) -> TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> *) (CurrySym1 a1627819848 b1627819849 c1627819850) # 

Methods

suppressUnusedWarnings :: Proxy (CurrySym1 a1627819848 b1627819849 c1627819850) t -> () #

type Apply a1627819848 (TyFun b1627819849 c1627819850 -> Type) (CurrySym1 a1627819848 b1627819849 c1627819850 l1) l2 # 
type Apply a1627819848 (TyFun b1627819849 c1627819850 -> Type) (CurrySym1 a1627819848 b1627819849 c1627819850 l1) l2 = CurrySym2 a1627819848 b1627819849 c1627819850 l1 l2

data CurrySym2 (l :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (l :: a1627819848) (l :: TyFun b1627819849 c1627819850) #

Instances

SuppressUnusedWarnings ((TyFun (a1627819848, b1627819849) c1627819850 -> Type) -> a1627819848 -> TyFun b1627819849 c1627819850 -> *) (CurrySym2 a1627819848 b1627819849 c1627819850) # 

Methods

suppressUnusedWarnings :: Proxy (CurrySym2 a1627819848 b1627819849 c1627819850) t -> () #

type Apply b c (CurrySym2 a b c l1 l2) l3 # 
type Apply b c (CurrySym2 a b c l1 l2) l3 = Curry a b c l1 l2 l3

type CurrySym3 (t :: TyFun (a1627819848, b1627819849) c1627819850 -> Type) (t :: a1627819848) (t :: b1627819849) = Curry t t t #

data UncurrySym0 (l :: TyFun (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) -> *) (UncurrySym0 a1627819845 b1627819846 c1627819847) # 

Methods

suppressUnusedWarnings :: Proxy (UncurrySym0 a1627819845 b1627819846 c1627819847) t -> () #

type Apply (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) (UncurrySym0 a1627819845 b1627819846 c1627819847) l # 
type Apply (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) (UncurrySym0 a1627819845 b1627819846 c1627819847) l = UncurrySym1 a1627819845 b1627819846 c1627819847 l

data UncurrySym1 (l :: TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (l :: TyFun (a1627819845, b1627819846) c1627819847) #

Instances

SuppressUnusedWarnings ((TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) -> TyFun (a1627819845, b1627819846) c1627819847 -> *) (UncurrySym1 a1627819845 b1627819846 c1627819847) # 

Methods

suppressUnusedWarnings :: Proxy (UncurrySym1 a1627819845 b1627819846 c1627819847) t -> () #

type Apply (a, b) c (UncurrySym1 a b c l1) l2 # 
type Apply (a, b) c (UncurrySym1 a b c l1) l2 = Uncurry a b c l1 l2

type UncurrySym2 (t :: TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (t :: (a1627819845, b1627819846)) = Uncurry t t #

data IdSym0 (l :: TyFun a1627672476 a1627672476) #

Instances

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

Methods

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

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

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

data ConstSym0 (l :: TyFun a1627672474 (TyFun b1627672475 a1627672474 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627672474 (TyFun b1627672475 a1627672474 -> Type) -> *) (ConstSym0 b1627672475 a1627672474) # 

Methods

suppressUnusedWarnings :: Proxy (ConstSym0 b1627672475 a1627672474) t -> () #

type Apply a1627672474 (TyFun b1627672475 a1627672474 -> Type) (ConstSym0 b1627672475 a1627672474) l # 
type Apply a1627672474 (TyFun b1627672475 a1627672474 -> Type) (ConstSym0 b1627672475 a1627672474) l = ConstSym1 b1627672475 a1627672474 l

data ConstSym1 (l :: a1627672474) (l :: TyFun b1627672475 a1627672474) #

Instances

SuppressUnusedWarnings (a1627672474 -> TyFun b1627672475 a1627672474 -> *) (ConstSym1 b1627672475 a1627672474) # 

Methods

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

data (:.$) (l :: TyFun (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) -> *) ((:.$) b1627672471 a1627672473 c1627672472) # 

Methods

suppressUnusedWarnings :: Proxy ((b1627672471 :.$ a1627672473) c1627672472) t -> () #

type Apply (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) ((:.$) b1627672471 a1627672473 c1627672472) l # 
type Apply (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) ((:.$) b1627672471 a1627672473 c1627672472) l = (:.$$) b1627672471 a1627672473 c1627672472 l

data (l :: TyFun b1627672471 c1627672472 -> Type) :.$$ (l :: TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b1627672471 c1627672472 -> Type) -> TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> *) ((:.$$) b1627672471 a1627672473 c1627672472) # 

Methods

suppressUnusedWarnings :: Proxy ((b1627672471 :.$$ a1627672473) c1627672472) t -> () #

type Apply (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) ((:.$$) b1627672471 a1627672473 c1627672472 l1) l2 # 
type Apply (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) ((:.$$) b1627672471 a1627672473 c1627672472 l1) l2 = (:.$$$) b1627672471 a1627672473 c1627672472 l1 l2

data ((l :: TyFun b1627672471 c1627672472 -> Type) :.$$$ (l :: TyFun a1627672473 b1627672471 -> Type)) (l :: TyFun a1627672473 c1627672472) #

Instances

SuppressUnusedWarnings ((TyFun b1627672471 c1627672472 -> Type) -> (TyFun a1627672473 b1627672471 -> Type) -> TyFun a1627672473 c1627672472 -> *) ((:.$$$) b1627672471 a1627672473 c1627672472) # 

Methods

suppressUnusedWarnings :: Proxy ((b1627672471 :.$$$ a1627672473) c1627672472) 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

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 a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) -> *) (FlipSym0 b1627672469 a1627672468 c1627672470) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym0 b1627672469 a1627672468 c1627672470) t -> () #

type Apply (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) (FlipSym0 b1627672469 a1627672468 c1627672470) l # 
type Apply (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) (FlipSym0 b1627672469 a1627672468 c1627672470) l = FlipSym1 b1627672469 a1627672468 c1627672470 l

data FlipSym1 (l :: TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (l :: TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) -> TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> *) (FlipSym1 b1627672469 a1627672468 c1627672470) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym1 b1627672469 a1627672468 c1627672470) t -> () #

type Apply b1627672469 (TyFun a1627672468 c1627672470 -> Type) (FlipSym1 b1627672469 a1627672468 c1627672470 l1) l2 # 
type Apply b1627672469 (TyFun a1627672468 c1627672470 -> Type) (FlipSym1 b1627672469 a1627672468 c1627672470 l1) l2 = FlipSym2 b1627672469 a1627672468 c1627672470 l1 l2

data FlipSym2 (l :: TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (l :: b1627672469) (l :: TyFun a1627672468 c1627672470) #

Instances

SuppressUnusedWarnings ((TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) -> b1627672469 -> TyFun a1627672468 c1627672470 -> *) (FlipSym2 b1627672469 a1627672468 c1627672470) # 

Methods

suppressUnusedWarnings :: Proxy (FlipSym2 b1627672469 a1627672468 c1627672470) 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

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

Instances

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

Methods

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

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

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

Instances

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

Methods

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

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

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

data SeqSym0 (l :: TyFun a1627672465 (TyFun b1627672466 b1627672466 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627672465 (TyFun b1627672466 b1627672466 -> Type) -> *) (SeqSym0 a1627672465 b1627672466) # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym0 a1627672465 b1627672466) t -> () #

type Apply a1627672465 (TyFun b1627672466 b1627672466 -> Type) (SeqSym0 a1627672465 b1627672466) l # 
type Apply a1627672465 (TyFun b1627672466 b1627672466 -> Type) (SeqSym0 a1627672465 b1627672466) l = SeqSym1 a1627672465 b1627672466 l

data SeqSym1 (l :: a1627672465) (l :: TyFun b1627672466 b1627672466) #

Instances

SuppressUnusedWarnings (a1627672465 -> TyFun b1627672466 b1627672466 -> *) (SeqSym1 a1627672465 b1627672466) # 

Methods

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

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

Instances

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

Methods

suppressUnusedWarnings :: Proxy ((:$) a822083585) t -> () #

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

data (l :: a822083585) :$$ (l :: TyFun [a822083585] [a822083585]) #

Instances

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

Methods

suppressUnusedWarnings :: Proxy ((:$$) a822083585) t -> () #

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

type (:$$$) (t :: a822083585) (t :: [a822083585]) = (:) t t #

type NilSym0 = '[] #

data MapSym0 (l :: TyFun (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type) -> *) (MapSym0 a1627672478 b1627672479) # 

Methods

suppressUnusedWarnings :: Proxy (MapSym0 a1627672478 b1627672479) t -> () #

type Apply (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type) (MapSym0 a1627672478 b1627672479) l # 
type Apply (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type) (MapSym0 a1627672478 b1627672479) l = MapSym1 a1627672478 b1627672479 l

data MapSym1 (l :: TyFun a1627672478 b1627672479 -> Type) (l :: TyFun [a1627672478] [b1627672479]) #

Instances

SuppressUnusedWarnings ((TyFun a1627672478 b1627672479 -> Type) -> TyFun [a1627672478] [b1627672479] -> *) (MapSym1 a1627672478 b1627672479) # 

Methods

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

data ReverseSym0 (l :: TyFun [a1627856198] [a1627856198]) #

Instances

SuppressUnusedWarnings (TyFun [a1627856198] [a1627856198] -> *) (ReverseSym0 a1627856198) # 

Methods

suppressUnusedWarnings :: Proxy (ReverseSym0 a1627856198) t -> () #

type Apply [a] [a] (ReverseSym0 a) l # 
type Apply [a] [a] (ReverseSym0 a) l = Reverse a l

type ReverseSym1 (t :: [a1627856198]) = Reverse t #

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

Instances

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

Methods

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

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

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

Instances

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

Methods

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

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

data HeadSym0 (l :: TyFun [a1627856203] a1627856203) #

Instances

SuppressUnusedWarnings (TyFun [a1627856203] a1627856203 -> *) (HeadSym0 a1627856203) # 

Methods

suppressUnusedWarnings :: Proxy (HeadSym0 a1627856203) t -> () #

type Apply [a] a (HeadSym0 a) l # 
type Apply [a] a (HeadSym0 a) l = Head a l

type HeadSym1 (t :: [a1627856203]) = Head t #

data LastSym0 (l :: TyFun [a1627856202] a1627856202) #

Instances

SuppressUnusedWarnings (TyFun [a1627856202] a1627856202 -> *) (LastSym0 a1627856202) # 

Methods

suppressUnusedWarnings :: Proxy (LastSym0 a1627856202) t -> () #

type Apply [a] a (LastSym0 a) l # 
type Apply [a] a (LastSym0 a) l = Last a l

type LastSym1 (t :: [a1627856202]) = Last t #

data TailSym0 (l :: TyFun [a1627856201] [a1627856201]) #

Instances

SuppressUnusedWarnings (TyFun [a1627856201] [a1627856201] -> *) (TailSym0 a1627856201) # 

Methods

suppressUnusedWarnings :: Proxy (TailSym0 a1627856201) t -> () #

type Apply [a] [a] (TailSym0 a) l # 
type Apply [a] [a] (TailSym0 a) l = Tail a l

type TailSym1 (t :: [a1627856201]) = Tail t #

data InitSym0 (l :: TyFun [a1627856200] [a1627856200]) #

Instances

SuppressUnusedWarnings (TyFun [a1627856200] [a1627856200] -> *) (InitSym0 a1627856200) # 

Methods

suppressUnusedWarnings :: Proxy (InitSym0 a1627856200) t -> () #

type Apply [a] [a] (InitSym0 a) l # 
type Apply [a] [a] (InitSym0 a) l = Init a l

type InitSym1 (t :: [a1627856200]) = Init t #

data NullSym0 (l :: TyFun [a1627856199] Bool) #

Instances

SuppressUnusedWarnings (TyFun [a1627856199] Bool -> *) (NullSym0 a1627856199) # 

Methods

suppressUnusedWarnings :: Proxy (NullSym0 a1627856199) t -> () #

type Apply [a] Bool (NullSym0 a) l # 
type Apply [a] Bool (NullSym0 a) l = Null a l

type NullSym1 (t :: [a1627856199]) = Null t #

data FoldlSym0 (l :: TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) -> *) (FoldlSym0 a1627632056 b1627632057) # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym0 a1627632056 b1627632057) t -> () #

type Apply (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) (FoldlSym0 a1627632056 b1627632057) l # 
type Apply (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) (FoldlSym0 a1627632056 b1627632057) l = FoldlSym1 a1627632056 b1627632057 l

data FoldlSym1 (l :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (l :: TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) -> TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> *) (FoldlSym1 a1627632056 b1627632057) # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym1 a1627632056 b1627632057) t -> () #

type Apply b1627632057 (TyFun [a1627632056] b1627632057 -> Type) (FoldlSym1 a1627632056 b1627632057 l1) l2 # 
type Apply b1627632057 (TyFun [a1627632056] b1627632057 -> Type) (FoldlSym1 a1627632056 b1627632057 l1) l2 = FoldlSym2 a1627632056 b1627632057 l1 l2

data FoldlSym2 (l :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (l :: b1627632057) (l :: TyFun [a1627632056] b1627632057) #

Instances

SuppressUnusedWarnings ((TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) -> b1627632057 -> TyFun [a1627632056] b1627632057 -> *) (FoldlSym2 a1627632056 b1627632057) # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym2 a1627632056 b1627632057) t -> () #

type Apply [a] b (FoldlSym2 a b l1 l2) l3 # 
type Apply [a] b (FoldlSym2 a b l1 l2) l3 = Foldl a b l1 l2 l3

type FoldlSym3 (t :: TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (t :: b1627632057) (t :: [a1627632056]) = Foldl t t t #

data Foldl1Sym0 (l :: TyFun (TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (TyFun [a1627856189] a1627856189 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (TyFun [a1627856189] a1627856189 -> Type) -> *) (Foldl1Sym0 a1627856189) # 

Methods

suppressUnusedWarnings :: Proxy (Foldl1Sym0 a1627856189) t -> () #

type Apply (TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (TyFun [a1627856189] a1627856189 -> Type) (Foldl1Sym0 a1627856189) l # 
type Apply (TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (TyFun [a1627856189] a1627856189 -> Type) (Foldl1Sym0 a1627856189) l = Foldl1Sym1 a1627856189 l

data Foldl1Sym1 (l :: TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (l :: TyFun [a1627856189] a1627856189) #

Instances

SuppressUnusedWarnings ((TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) -> TyFun [a1627856189] a1627856189 -> *) (Foldl1Sym1 a1627856189) # 

Methods

suppressUnusedWarnings :: Proxy (Foldl1Sym1 a1627856189) t -> () #

type Apply [a] a (Foldl1Sym1 a l1) l2 # 
type Apply [a] a (Foldl1Sym1 a l1) l2 = Foldl1 a l1 l2

type Foldl1Sym2 (t :: TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (t :: [a1627856189]) = Foldl1 t t #

data FoldrSym0 (l :: TyFun (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type) -> *) (FoldrSym0 a1627672480 b1627672481) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym0 a1627672480 b1627672481) t -> () #

type Apply (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type) (FoldrSym0 a1627672480 b1627672481) l # 
type Apply (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type) (FoldrSym0 a1627672480 b1627672481) l = FoldrSym1 a1627672480 b1627672481 l

data FoldrSym1 (l :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (l :: TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) -> TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> *) (FoldrSym1 a1627672480 b1627672481) # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym1 a1627672480 b1627672481) t -> () #

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

data FoldrSym2 (l :: TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (l :: b1627672481) (l :: TyFun [a1627672480] b1627672481) #

Instances

SuppressUnusedWarnings ((TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) -> b1627672481 -> TyFun [a1627672480] b1627672481 -> *) (FoldrSym2 a1627672480 b1627672481) # 

Methods

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

data Foldr1Sym0 (l :: TyFun (TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (TyFun [a1627856187] a1627856187 -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (TyFun [a1627856187] a1627856187 -> Type) -> *) (Foldr1Sym0 a1627856187) # 

Methods

suppressUnusedWarnings :: Proxy (Foldr1Sym0 a1627856187) t -> () #

type Apply (TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (TyFun [a1627856187] a1627856187 -> Type) (Foldr1Sym0 a1627856187) l # 
type Apply (TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (TyFun [a1627856187] a1627856187 -> Type) (Foldr1Sym0 a1627856187) l = Foldr1Sym1 a1627856187 l

data Foldr1Sym1 (l :: TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (l :: TyFun [a1627856187] a1627856187) #

Instances

SuppressUnusedWarnings ((TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) -> TyFun [a1627856187] a1627856187 -> *) (Foldr1Sym1 a1627856187) # 

Methods

suppressUnusedWarnings :: Proxy (Foldr1Sym1 a1627856187) t -> () #

type Apply [a] a (Foldr1Sym1 a l1) l2 # 
type Apply [a] a (Foldr1Sym1 a l1) l2 = Foldr1 a l1 l2

type Foldr1Sym2 (t :: TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (t :: [a1627856187]) = Foldr1 t t #

data ConcatSym0 (l :: TyFun [[a1627856186]] [a1627856186]) #

Instances

SuppressUnusedWarnings (TyFun [[a1627856186]] [a1627856186] -> *) (ConcatSym0 a1627856186) # 

Methods

suppressUnusedWarnings :: Proxy (ConcatSym0 a1627856186) t -> () #

type Apply [[a]] [a] (ConcatSym0 a) l # 
type Apply [[a]] [a] (ConcatSym0 a) l = Concat a l

type ConcatSym1 (t :: [[a1627856186]]) = Concat t #

data ConcatMapSym0 (l :: TyFun (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type) -> *) (ConcatMapSym0 a1627856184 b1627856185) # 

Methods

suppressUnusedWarnings :: Proxy (ConcatMapSym0 a1627856184 b1627856185) t -> () #

type Apply (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type) (ConcatMapSym0 a1627856184 b1627856185) l # 
type Apply (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type) (ConcatMapSym0 a1627856184 b1627856185) l = ConcatMapSym1 a1627856184 b1627856185 l

data ConcatMapSym1 (l :: TyFun a1627856184 [b1627856185] -> Type) (l :: TyFun [a1627856184] [b1627856185]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856184 [b1627856185] -> Type) -> TyFun [a1627856184] [b1627856185] -> *) (ConcatMapSym1 a1627856184 b1627856185) # 

Methods

suppressUnusedWarnings :: Proxy (ConcatMapSym1 a1627856184 b1627856185) t -> () #

type Apply [a] [b] (ConcatMapSym1 a b l1) l2 # 
type Apply [a] [b] (ConcatMapSym1 a b l1) l2 = ConcatMap a b l1 l2

type ConcatMapSym2 (t :: TyFun a1627856184 [b1627856185] -> Type) (t :: [a1627856184]) = ConcatMap t t #

data AndSym0 (l :: TyFun [Bool] Bool) #

Instances

type AndSym1 (t :: [Bool]) = And t #

data OrSym0 (l :: TyFun [Bool] Bool) #

Instances

type OrSym1 (t :: [Bool]) = Or t #

data Any_Sym0 (l :: TyFun (TyFun a1627845967 Bool -> Type) (TyFun [a1627845967] Bool -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627845967 Bool -> Type) (TyFun [a1627845967] Bool -> Type) -> *) (Any_Sym0 a1627845967) # 

Methods

suppressUnusedWarnings :: Proxy (Any_Sym0 a1627845967) t -> () #

type Apply (TyFun a1627845967 Bool -> Type) (TyFun [a1627845967] Bool -> Type) (Any_Sym0 a1627845967) l # 
type Apply (TyFun a1627845967 Bool -> Type) (TyFun [a1627845967] Bool -> Type) (Any_Sym0 a1627845967) l = Any_Sym1 a1627845967 l

data Any_Sym1 (l :: TyFun a1627845967 Bool -> Type) (l :: TyFun [a1627845967] Bool) #

Instances

SuppressUnusedWarnings ((TyFun a1627845967 Bool -> Type) -> TyFun [a1627845967] Bool -> *) (Any_Sym1 a1627845967) # 

Methods

suppressUnusedWarnings :: Proxy (Any_Sym1 a1627845967) t -> () #

type Apply [a] Bool (Any_Sym1 a l1) l2 # 
type Apply [a] Bool (Any_Sym1 a l1) l2 = Any_ a l1 l2

type Any_Sym2 (t :: TyFun a1627845967 Bool -> Type) (t :: [a1627845967]) = Any_ t t #

data AllSym0 (l :: TyFun (TyFun a1627856183 Bool -> Type) (TyFun [a1627856183] Bool -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856183 Bool -> Type) (TyFun [a1627856183] Bool -> Type) -> *) (AllSym0 a1627856183) # 

Methods

suppressUnusedWarnings :: Proxy (AllSym0 a1627856183) t -> () #

type Apply (TyFun a1627856183 Bool -> Type) (TyFun [a1627856183] Bool -> Type) (AllSym0 a1627856183) l # 
type Apply (TyFun a1627856183 Bool -> Type) (TyFun [a1627856183] Bool -> Type) (AllSym0 a1627856183) l = AllSym1 a1627856183 l

data AllSym1 (l :: TyFun a1627856183 Bool -> Type) (l :: TyFun [a1627856183] Bool) #

Instances

SuppressUnusedWarnings ((TyFun a1627856183 Bool -> Type) -> TyFun [a1627856183] Bool -> *) (AllSym1 a1627856183) # 

Methods

suppressUnusedWarnings :: Proxy (AllSym1 a1627856183) t -> () #

type Apply [a] Bool (AllSym1 a l1) l2 # 
type Apply [a] Bool (AllSym1 a l1) l2 = All a l1 l2

type AllSym2 (t :: TyFun a1627856183 Bool -> Type) (t :: [a1627856183]) = All t t #

data ScanlSym0 (l :: TyFun (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type) -> *) (ScanlSym0 a1627856182 b1627856181) # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym0 a1627856182 b1627856181) t -> () #

type Apply (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type) (ScanlSym0 a1627856182 b1627856181) l # 
type Apply (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type) (ScanlSym0 a1627856182 b1627856181) l = ScanlSym1 a1627856182 b1627856181 l

data ScanlSym1 (l :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (l :: TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) -> TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> *) (ScanlSym1 a1627856182 b1627856181) # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym1 a1627856182 b1627856181) t -> () #

type Apply b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) (ScanlSym1 a1627856182 b1627856181 l1) l2 # 
type Apply b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) (ScanlSym1 a1627856182 b1627856181 l1) l2 = ScanlSym2 a1627856182 b1627856181 l1 l2

data ScanlSym2 (l :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (l :: b1627856181) (l :: TyFun [a1627856182] [b1627856181]) #

Instances

SuppressUnusedWarnings ((TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) -> b1627856181 -> TyFun [a1627856182] [b1627856181] -> *) (ScanlSym2 a1627856182 b1627856181) # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym2 a1627856182 b1627856181) t -> () #

type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 # 
type Apply [a] [b] (ScanlSym2 a b l1 l2) l3 = Scanl a b l1 l2 l3

type ScanlSym3 (t :: TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (t :: b1627856181) (t :: [a1627856182]) = Scanl t t t #

data Scanl1Sym0 (l :: TyFun (TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (TyFun [a1627856180] [a1627856180] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (TyFun [a1627856180] [a1627856180] -> Type) -> *) (Scanl1Sym0 a1627856180) # 

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym0 a1627856180) t -> () #

type Apply (TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (TyFun [a1627856180] [a1627856180] -> Type) (Scanl1Sym0 a1627856180) l # 
type Apply (TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (TyFun [a1627856180] [a1627856180] -> Type) (Scanl1Sym0 a1627856180) l = Scanl1Sym1 a1627856180 l

data Scanl1Sym1 (l :: TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (l :: TyFun [a1627856180] [a1627856180]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) -> TyFun [a1627856180] [a1627856180] -> *) (Scanl1Sym1 a1627856180) # 

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym1 a1627856180) t -> () #

type Apply [a] [a] (Scanl1Sym1 a l1) l2 # 
type Apply [a] [a] (Scanl1Sym1 a l1) l2 = Scanl1 a l1 l2

type Scanl1Sym2 (t :: TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (t :: [a1627856180]) = Scanl1 t t #

data ScanrSym0 (l :: TyFun (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type) -> *) (ScanrSym0 a1627856178 b1627856179) # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym0 a1627856178 b1627856179) t -> () #

type Apply (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type) (ScanrSym0 a1627856178 b1627856179) l # 
type Apply (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type) (ScanrSym0 a1627856178 b1627856179) l = ScanrSym1 a1627856178 b1627856179 l

data ScanrSym1 (l :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (l :: TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) -> TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> *) (ScanrSym1 a1627856178 b1627856179) # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym1 a1627856178 b1627856179) t -> () #

type Apply b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) (ScanrSym1 a1627856178 b1627856179 l1) l2 # 
type Apply b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) (ScanrSym1 a1627856178 b1627856179 l1) l2 = ScanrSym2 a1627856178 b1627856179 l1 l2

data ScanrSym2 (l :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (l :: b1627856179) (l :: TyFun [a1627856178] [b1627856179]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) -> b1627856179 -> TyFun [a1627856178] [b1627856179] -> *) (ScanrSym2 a1627856178 b1627856179) # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym2 a1627856178 b1627856179) t -> () #

type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 # 
type Apply [a] [b] (ScanrSym2 a b l1 l2) l3 = Scanr a b l1 l2 l3

type ScanrSym3 (t :: TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (t :: b1627856179) (t :: [a1627856178]) = Scanr t t t #

data Scanr1Sym0 (l :: TyFun (TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (TyFun [a1627856177] [a1627856177] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (TyFun [a1627856177] [a1627856177] -> Type) -> *) (Scanr1Sym0 a1627856177) # 

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym0 a1627856177) t -> () #

type Apply (TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (TyFun [a1627856177] [a1627856177] -> Type) (Scanr1Sym0 a1627856177) l # 
type Apply (TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (TyFun [a1627856177] [a1627856177] -> Type) (Scanr1Sym0 a1627856177) l = Scanr1Sym1 a1627856177 l

data Scanr1Sym1 (l :: TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (l :: TyFun [a1627856177] [a1627856177]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) -> TyFun [a1627856177] [a1627856177] -> *) (Scanr1Sym1 a1627856177) # 

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym1 a1627856177) t -> () #

type Apply [a] [a] (Scanr1Sym1 a l1) l2 # 
type Apply [a] [a] (Scanr1Sym1 a l1) l2 = Scanr1 a l1 l2

type Scanr1Sym2 (t :: TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (t :: [a1627856177]) = Scanr1 t t #

data ElemSym0 (l :: TyFun a1627856163 (TyFun [a1627856163] Bool -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627856163 (TyFun [a1627856163] Bool -> Type) -> *) (ElemSym0 a1627856163) # 

Methods

suppressUnusedWarnings :: Proxy (ElemSym0 a1627856163) t -> () #

type Apply a1627856163 (TyFun [a1627856163] Bool -> Type) (ElemSym0 a1627856163) l # 
type Apply a1627856163 (TyFun [a1627856163] Bool -> Type) (ElemSym0 a1627856163) l = ElemSym1 a1627856163 l

data ElemSym1 (l :: a1627856163) (l :: TyFun [a1627856163] Bool) #

Instances

SuppressUnusedWarnings (a1627856163 -> TyFun [a1627856163] Bool -> *) (ElemSym1 a1627856163) # 

Methods

suppressUnusedWarnings :: Proxy (ElemSym1 a1627856163) t -> () #

type Apply [a] Bool (ElemSym1 a l1) l2 # 
type Apply [a] Bool (ElemSym1 a l1) l2 = Elem a l1 l2

type ElemSym2 (t :: a1627856163) (t :: [a1627856163]) = Elem t t #

data NotElemSym0 (l :: TyFun a1627856162 (TyFun [a1627856162] Bool -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627856162 (TyFun [a1627856162] Bool -> Type) -> *) (NotElemSym0 a1627856162) # 

Methods

suppressUnusedWarnings :: Proxy (NotElemSym0 a1627856162) t -> () #

type Apply a1627856162 (TyFun [a1627856162] Bool -> Type) (NotElemSym0 a1627856162) l # 
type Apply a1627856162 (TyFun [a1627856162] Bool -> Type) (NotElemSym0 a1627856162) l = NotElemSym1 a1627856162 l

data NotElemSym1 (l :: a1627856162) (l :: TyFun [a1627856162] Bool) #

Instances

SuppressUnusedWarnings (a1627856162 -> TyFun [a1627856162] Bool -> *) (NotElemSym1 a1627856162) # 

Methods

suppressUnusedWarnings :: Proxy (NotElemSym1 a1627856162) t -> () #

type Apply [a] Bool (NotElemSym1 a l1) l2 # 
type Apply [a] Bool (NotElemSym1 a l1) l2 = NotElem a l1 l2

type NotElemSym2 (t :: a1627856162) (t :: [a1627856162]) = NotElem t t #

data ZipSym0 (l :: TyFun [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type)) #

Instances

SuppressUnusedWarnings (TyFun [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type) -> *) (ZipSym0 a1627856160 b1627856161) # 

Methods

suppressUnusedWarnings :: Proxy (ZipSym0 a1627856160 b1627856161) t -> () #

type Apply [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type) (ZipSym0 a1627856160 b1627856161) l # 
type Apply [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type) (ZipSym0 a1627856160 b1627856161) l = ZipSym1 a1627856160 b1627856161 l

data ZipSym1 (l :: [a1627856160]) (l :: TyFun [b1627856161] [(a1627856160, b1627856161)]) #

Instances

SuppressUnusedWarnings ([a1627856160] -> TyFun [b1627856161] [(a1627856160, b1627856161)] -> *) (ZipSym1 a1627856160 b1627856161) # 

Methods

suppressUnusedWarnings :: Proxy (ZipSym1 a1627856160 b1627856161) t -> () #

type Apply [b] [(a, b)] (ZipSym1 a b l1) l2 # 
type Apply [b] [(a, b)] (ZipSym1 a b l1) l2 = Zip a b l1 l2

type ZipSym2 (t :: [a1627856160]) (t :: [b1627856161]) = Zip t t #

data Zip3Sym0 (l :: TyFun [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) -> *) (Zip3Sym0 a1627856157 b1627856158 c1627856159) # 

Methods

suppressUnusedWarnings :: Proxy (Zip3Sym0 a1627856157 b1627856158 c1627856159) t -> () #

type Apply [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) (Zip3Sym0 a1627856157 b1627856158 c1627856159) l # 
type Apply [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) (Zip3Sym0 a1627856157 b1627856158 c1627856159) l = Zip3Sym1 a1627856157 b1627856158 c1627856159 l

data Zip3Sym1 (l :: [a1627856157]) (l :: TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type)) #

Instances

SuppressUnusedWarnings ([a1627856157] -> TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> *) (Zip3Sym1 a1627856157 b1627856158 c1627856159) # 

Methods

suppressUnusedWarnings :: Proxy (Zip3Sym1 a1627856157 b1627856158 c1627856159) t -> () #

type Apply [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) (Zip3Sym1 a1627856157 b1627856158 c1627856159 l1) l2 # 
type Apply [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) (Zip3Sym1 a1627856157 b1627856158 c1627856159 l1) l2 = Zip3Sym2 a1627856157 b1627856158 c1627856159 l1 l2

data Zip3Sym2 (l :: [a1627856157]) (l :: [b1627856158]) (l :: TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)]) #

Instances

SuppressUnusedWarnings ([a1627856157] -> [b1627856158] -> TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> *) (Zip3Sym2 a1627856157 b1627856158 c1627856159) # 

Methods

suppressUnusedWarnings :: Proxy (Zip3Sym2 a1627856157 b1627856158 c1627856159) t -> () #

type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 # 
type Apply [c] [(a, b, c)] (Zip3Sym2 a b c l1 l2) l3 = Zip3 a b c l1 l2 l3

type Zip3Sym3 (t :: [a1627856157]) (t :: [b1627856158]) (t :: [c1627856159]) = Zip3 t t t #

data ZipWithSym0 (l :: TyFun (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) -> *) (ZipWithSym0 a1627856154 b1627856155 c1627856156) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWithSym0 a1627856154 b1627856155 c1627856156) t -> () #

type Apply (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) (ZipWithSym0 a1627856154 b1627856155 c1627856156) l # 
type Apply (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) (ZipWithSym0 a1627856154 b1627856155 c1627856156) l = ZipWithSym1 a1627856154 b1627856155 c1627856156 l

data ZipWithSym1 (l :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (l :: TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) -> TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> *) (ZipWithSym1 a1627856154 b1627856155 c1627856156) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWithSym1 a1627856154 b1627856155 c1627856156) t -> () #

type Apply [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) (ZipWithSym1 a1627856154 b1627856155 c1627856156 l1) l2 # 
type Apply [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) (ZipWithSym1 a1627856154 b1627856155 c1627856156 l1) l2 = ZipWithSym2 a1627856154 b1627856155 c1627856156 l1 l2

data ZipWithSym2 (l :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (l :: [a1627856154]) (l :: TyFun [b1627856155] [c1627856156]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) -> [a1627856154] -> TyFun [b1627856155] [c1627856156] -> *) (ZipWithSym2 a1627856154 b1627856155 c1627856156) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWithSym2 a1627856154 b1627856155 c1627856156) t -> () #

type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 # 
type Apply [b] [c] (ZipWithSym2 a b c l1 l2) l3 = ZipWith a b c l1 l2 l3

type ZipWithSym3 (t :: TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (t :: [a1627856154]) (t :: [b1627856155]) = ZipWith t t t #

data ZipWith3Sym0 (l :: TyFun (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #

type Apply (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) l # 
type Apply (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) l = ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153 l

data ZipWith3Sym1 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> *) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #

type Apply [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153 l1) l2 # 
type Apply [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153 l1) l2 = ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2

data ZipWith3Sym2 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: [a1627856150]) (l :: TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type)) #

Instances

SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> [a1627856150] -> TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> *) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #

type Apply [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2) l3 # 
type Apply [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2) l3 = ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153 l1 l2 l3

data ZipWith3Sym3 (l :: TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (l :: [a1627856150]) (l :: [b1627856151]) (l :: TyFun [c1627856152] [d1627856153]) #

Instances

SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> [a1627856150] -> [b1627856151] -> TyFun [c1627856152] [d1627856153] -> *) (ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153) # 

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #

type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 # 
type Apply [c] [d] (ZipWith3Sym3 a b c d l1 l2 l3) l4 = ZipWith3 a b c d l1 l2 l3 l4

data UnzipSym0 (l :: TyFun [(a1627856148, b1627856149)] ([a1627856148], [b1627856149])) #

Instances

SuppressUnusedWarnings (TyFun [(a1627856148, b1627856149)] ([a1627856148], [b1627856149]) -> *) (UnzipSym0 a1627856148 b1627856149) # 

Methods

suppressUnusedWarnings :: Proxy (UnzipSym0 a1627856148 b1627856149) t -> () #

type Apply [(a, b)] ([a], [b]) (UnzipSym0 a b) l # 
type Apply [(a, b)] ([a], [b]) (UnzipSym0 a b) l = Unzip a b l

type UnzipSym1 (t :: [(a1627856148, b1627856149)]) = Unzip t #