Data.Promotion.Prelude

Mimics the Haskell Prelude, but with promoted types.

Standard types, classes and related functions

Basic data types

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

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

Equations

Not False = TrueSym0

Not True = FalseSym0

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

Equations

False :&& _z_1627658356 = FalseSym0

True :&& x = x

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

Equations

False :|| x = x

True :|| _z_1627658344 = TrueSym0

type family Otherwise :: Bool where ...

Equations

Otherwise = TrueSym0

maybe_ :: forall b a. b -> (a -> b) -> Maybe a -> b

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

Equations

Maybe_ n _z_1627847793 Nothing = n

Maybe_ _z_1627847796 f (Just x) = Apply f x

either_ :: forall a c b. (a -> c) -> (b -> c) -> Either a b -> c

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

Equations

Either_ f _z_1627829204 (Left x) = Apply f x

Either_ _z_1627829208 g (Right y) = Apply g y

data Symbol :: *

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

Instances

KnownSymbol a => SingI Symbol a

Methods

sing :: Sing a a

SingKind Symbol (KProxy Symbol)

Associated Types

type DemoteRep (KProxy Symbol) (kparam :: KProxy (KProxy Symbol)) :: *

Methods

fromSing :: Sing (KProxy Symbol) a -> DemoteRep (KProxy Symbol) kparam

data Sing Symbol

data Sing Symbol where

• SSym :: Sing Symbol s

type DemoteRep Symbol

type DemoteRep Symbol = String

data Sing Symbol

data Sing Symbol where

• SSym :: Sing Symbol n

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 arg0 arg1

type (:<) Symbol arg0 arg1

type (:<=) Symbol arg0 arg1

type (:<=) Symbol arg0 arg1

type (:>) Symbol arg0 arg1

type (:>) Symbol arg0 arg1

type (:>=) Symbol arg0 arg1

type (:>=) Symbol arg0 arg1

type Max Symbol arg0 arg1

type Max Symbol arg0 arg1

type Min Symbol arg0 arg1

type Min Symbol arg0 arg1

type DemoteRep Symbol (KProxy Symbol)

type DemoteRep Symbol (KProxy Symbol) = String

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

Equations

Fst '(x, _z_1627840782) = x

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

Equations

Snd '(_z_1627840773, y) = y

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)

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)

Error reporting

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

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

data ErrorSym0 l

Instances

SuppressUnusedWarnings (TyFun k01627810588 k1627810590 -> *) (ErrorSym0 k01627810588 k1627810590)

Methods

suppressUnusedWarnings :: Proxy (ErrorSym0 k01627810588 k1627810590) t -> ()

type Apply k01627810588 k2 (ErrorSym0 k01627810588 k2) l0

type Apply k01627810588 k2 (ErrorSym0 k01627810588 k2) l0 = ErrorSym1 k01627810588 k2 l0

Promoted equality

module Data.Promotion.Prelude.Eq

Promoted comparisons

module Data.Promotion.Prelude.Ord

Promoted enumerations

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

module Data.Promotion.Prelude.Enum

Promoted numbers

module Data.Promotion.Prelude.Num

Miscellaneous functions

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

Equations

Id x = x

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

Equations

Const x _z_1627796772 = x

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

Equations

(f :. g) a_1627796735 = Apply (Apply (Apply (Apply Lambda_1627796740Sym0 f) g) a_1627796735) a_1627796735

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

Instances

type ($) k1 k2 f x

type ($) k1 k2 f x = (@@) k1 k2 f x

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

Instances

type ($!) k1 k2 f x

type ($!) k1 k2 f x = (@@) k1 k2 f x

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

Equations

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

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

Equations

AsTypeOf a_1627796775 a_1627796777 = Apply (Apply ConstSym0 a_1627796775) a_1627796777

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

Equations

Until p f a_1627845488 = Apply (Let1627845493GoSym3 p f a_1627845488) a_1627845488

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

Equations

Seq _z_1627796698 x = x

List operations

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

Equations

Map _z_1627796817 '[] = '[]

Map f ((:) x xs) = Apply (Apply (:$) (Apply f x)) (Apply (Apply MapSym0 f) xs)

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

Equations

'[] :++ ys = ys

((:) x xs) :++ ys = Apply (Apply (:$) x) (Apply (Apply (:++$) xs) ys)

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

Equations

Filter _p '[] = '[]

Filter p ((:) x xs) = Case_1627954721 p x xs (Let1627954708Scrutinee_1627953910Sym3 p x xs)

type family Head (a :: [a]) :: a where ...

Equations

Head ((:) a _z_1627957326) = a

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

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

Equations

Last '[] = Apply ErrorSym0 "Data.Singletons.List.last: empty list"

Last '[x] = x

Last ((:) _z_1627957316 ((:) x xs)) = Apply LastSym0 (Apply (Apply (:$) x) xs)

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

Equations

Tail ((:) _z_1627957307 t) = t

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

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

Equations

Init '[] = Apply ErrorSym0 "Data.Singletons.List.init: empty list"

Init ((:) x xs) = Apply (Apply (Let1627957276Init'Sym2 x xs) x) xs

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

Equations

Null '[] = TrueSym0

Null ((:) _z_1627957205 _z_1627957208) = FalseSym0

type family Length (a :: [a]) :: Nat where ...

Equations

Length '[] = FromInteger 0

Length ((:) _z_1627954120 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply LengthSym0 xs)

type family (a :: [a]) :!! (a :: Nat) :: a where ...

Equations

'[] :!! _z_1627954072 = Apply ErrorSym0 "Data.Singletons.List.!!: index too large"

((:) x xs) :!! n = Case_1627954091 x xs n (Let1627954078Scrutinee_1627953950Sym3 x xs n)

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

Equations

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

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 (Let1627619941LgoSym3 f z0 xs0) z0) xs0

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_1627956415 '[] = Apply ErrorSym0 "Data.Singletons.List.foldl1: empty list"

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

Equations

Foldr k z a_1627796838 = Apply (Let1627796843GoSym3 k z a_1627796838) a_1627796838

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

Equations

Foldr1 _z_1627956373 '[x] = x

Foldr1 f ((:) x ((:) wild_1627953856 wild_1627953858)) = Apply (Apply f x) (Apply (Apply Foldr1Sym0 f) (Let1627956381XsSym4 f x wild_1627953856 wild_1627953858))

Foldr1 _z_1627956400 '[] = Apply ErrorSym0 "Data.Singletons.List.foldr1: empty list"

Special folds

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

Equations

And '[] = TrueSym0

And ((:) x xs) = Apply (Apply (:&&$) x) (Apply AndSym0 xs)

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

Equations

Or '[] = FalseSym0

Or ((:) x xs) = Apply (Apply (:||$) x) (Apply OrSym0 xs)

any_ :: forall a. (a -> Bool) -> [a] -> Bool

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

Equations

Any_ _z_1627942726 '[] = FalseSym0

Any_ p ((:) x xs) = Apply (Apply (:||$) (Apply p x)) (Apply (Apply Any_Sym0 p) xs)

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

Equations

All _z_1627956326 '[] = TrueSym0

All p ((:) x xs) = Apply (Apply (:&&$) (Apply p x)) (Apply (Apply AllSym0 p) xs)

type family Sum (a :: [a]) :: a where ...

Equations

Sum l = Apply (Apply (Let1627954153Sum'Sym1 l) l) (FromInteger 0)

type family Product (a :: [a]) :: a where ...

Equations

Product l = Apply (Apply (Let1627954129ProdSym1 l) l) (FromInteger 1)

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

Equations

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

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

Equations

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

type family Maximum (a :: [a]) :: a where ...

Equations

Maximum '[] = Apply ErrorSym0 "Data.Singletons.List.maximum: empty list"

Maximum ((:) wild_1627953936 wild_1627953938) = Apply (Apply Foldl1Sym0 MaxSym0) (Let1627956598XsSym2 wild_1627953936 wild_1627953938)

type family Minimum (a :: [a]) :: a where ...

Equations

Minimum '[] = Apply ErrorSym0 "Data.Singletons.List.minimum: empty list"

Minimum ((:) wild_1627953940 wild_1627953942) = Apply (Apply Foldl1Sym0 MinSym0) (Let1627956612XsSym2 wild_1627953940 wild_1627953942)

Building lists

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_1627956297 f q ls ls)

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_1627956314 '[] = '[]

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

Equations

Scanr _z_1627956247 q0 '[] = Apply (Apply (:$) q0) '[]

Scanr f q0 ((:) x xs) = Case_1627956274 f q0 x xs (Let1627956255Scrutinee_1627953860Sym4 f q0 x xs)

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

Equations

Scanr1 _z_1627956178 '[] = '[]

Scanr1 _z_1627956181 '[x] = Apply (Apply (:$) x) '[]

Scanr1 f ((:) x ((:) wild_1627953864 wild_1627953866)) = Case_1627956227 f x wild_1627953864 wild_1627953866 (Let1627956208Scrutinee_1627953862Sym4 f x wild_1627953864 wild_1627953866)

Infinite lists

type family Replicate (a :: Nat) (a :: a) :: [a] where ...

Equations

Replicate n x = Case_1627954113 n x (Let1627954105Scrutinee_1627953948Sym2 n x)

Sublists

type family Take (a :: Nat) (a :: [a]) :: [a] where ...

Equations

Take _z_1627954300 '[] = '[]

Take n ((:) x xs) = Case_1627954319 n x xs (Let1627954306Scrutinee_1627953932Sym3 n x xs)

type family Drop (a :: Nat) (a :: [a]) :: [a] where ...

Equations

Drop _z_1627954269 '[] = '[]

Drop n ((:) x xs) = Case_1627954288 n x xs (Let1627954275Scrutinee_1627953934Sym3 n x xs)

type family SplitAt (a :: Nat) (a :: [a]) :: ([a], [a]) where ...

Equations

SplitAt n xs = Apply (Apply Tuple2Sym0 (Apply (Apply TakeSym0 n) xs)) (Apply (Apply DropSym0 n) xs)

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

Equations

TakeWhile _z_1627954673 '[] = '[]

TakeWhile p ((:) x xs) = Case_1627954692 p x xs (Let1627954679Scrutinee_1627953922Sym3 p x xs)

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

Equations

DropWhile _z_1627954629 '[] = '[]

DropWhile p ((:) x xs') = Case_1627954661 p x xs' (Let1627954648Scrutinee_1627953924Sym3 p x xs')

type family Span (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...

Equations

Span _z_1627954447 '[] = Apply (Apply Tuple2Sym0 (Let1627954450XsSym1 _z_1627954447)) (Let1627954450XsSym1 _z_1627954447)

Span p ((:) x xs') = Case_1627954483 p x xs' (Let1627954470Scrutinee_1627953928Sym3 p x xs')

type family Break (a :: TyFun a Bool -> Type) (a :: [a]) :: ([a], [a]) where ...

Equations

Break _z_1627954342 '[] = Apply (Apply Tuple2Sym0 (Let1627954345XsSym1 _z_1627954342)) (Let1627954345XsSym1 _z_1627954342)

Break p ((:) x xs') = Case_1627954378 p x xs' (Let1627954365Scrutinee_1627953930Sym3 p x xs')

Searching lists

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

Equations

Elem _z_1627955689 '[] = FalseSym0

Elem x ((:) y ys) = Apply (Apply (:||$) (Apply (Apply (:==$) x) y)) (Apply (Apply ElemSym0 x) ys)

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

Equations

NotElem _z_1627955674 '[] = TrueSym0

NotElem x ((:) y ys) = Apply (Apply (:&&$) (Apply (Apply (:/=$) x) y)) (Apply (Apply NotElemSym0 x) ys)

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

Equations

Lookup _key '[] = NothingSym0

Lookup key ((:) '(x, y) xys) = Case_1627954257 key x y xys (Let1627954238Scrutinee_1627953944Sym4 key x y xys)

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_1627955551 _z_1627955554) '[] = '[]

Zip '[] ((:) _z_1627955557 _z_1627955560) = '[]

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_1627955484 _z_1627955487) = '[]

Zip3 '[] ((:) _z_1627955490 _z_1627955493) '[] = '[]

Zip3 '[] ((:) _z_1627955496 _z_1627955499) ((:) _z_1627955502 _z_1627955505) = '[]

Zip3 ((:) _z_1627955508 _z_1627955511) '[] '[] = '[]

Zip3 ((:) _z_1627955514 _z_1627955517) '[] ((:) _z_1627955520 _z_1627955523) = '[]

Zip3 ((:) _z_1627955526 _z_1627955529) ((:) _z_1627955532 _z_1627955535) '[] = '[]

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_1627955442 '[] '[] = '[]

ZipWith _z_1627955445 ((:) _z_1627955448 _z_1627955451) '[] = '[]

ZipWith _z_1627955454 '[] ((:) _z_1627955457 _z_1627955460) = '[]

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_1627955347 '[] '[] '[] = '[]

ZipWith3 _z_1627955350 '[] '[] ((:) _z_1627955353 _z_1627955356) = '[]

ZipWith3 _z_1627955359 '[] ((:) _z_1627955362 _z_1627955365) '[] = '[]

ZipWith3 _z_1627955368 '[] ((:) _z_1627955371 _z_1627955374) ((:) _z_1627955377 _z_1627955380) = '[]

ZipWith3 _z_1627955383 ((:) _z_1627955386 _z_1627955389) '[] '[] = '[]

ZipWith3 _z_1627955392 ((:) _z_1627955395 _z_1627955398) '[] ((:) _z_1627955401 _z_1627955404) = '[]

ZipWith3 _z_1627955407 ((:) _z_1627955410 _z_1627955413) ((:) _z_1627955416 _z_1627955419) '[] = '[]

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

Equations

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

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

Equations

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

Other datatypes

data Proxy k t :: forall k. k -> *

A concrete, poly-kinded proxy type

Constructors

Proxy

Instances

Monad (Proxy *)

Methods

(>>=) :: Proxy * a -> (a -> Proxy * b) -> Proxy * b

(>>) :: Proxy * a -> Proxy * b -> Proxy * b

return :: a -> Proxy * a

fail :: String -> Proxy * a

Functor (Proxy *)

Methods

fmap :: (a -> b) -> Proxy * a -> Proxy * b

(<$) :: a -> Proxy * b -> Proxy * a

Applicative (Proxy *)

Methods

pure :: a -> Proxy * a

(<*>) :: Proxy * (a -> b) -> Proxy * a -> Proxy * b

(*>) :: Proxy * a -> Proxy * b -> Proxy * b

(<*) :: Proxy * a -> Proxy * b -> Proxy * a

Foldable (Proxy *)

Methods

fold :: Monoid m => Proxy * m -> m

foldMap :: Monoid m => (a -> m) -> Proxy * a -> m

foldr :: (a -> b -> b) -> b -> Proxy * a -> b

foldr' :: (a -> b -> b) -> b -> Proxy * a -> b

foldl :: (b -> a -> b) -> b -> Proxy * a -> b

foldl' :: (b -> a -> b) -> b -> Proxy * a -> b

foldr1 :: (a -> a -> a) -> Proxy * a -> a

foldl1 :: (a -> a -> a) -> Proxy * a -> a

toList :: Proxy * a -> [a]

null :: Proxy * a -> Bool

length :: Proxy * a -> Int

elem :: Eq a => a -> Proxy * a -> Bool

maximum :: Ord a => Proxy * a -> a

minimum :: Ord a => Proxy * a -> a

sum :: Num a => Proxy * a -> a

product :: Num a => Proxy * a -> a

Traversable (Proxy *)

Methods

traverse :: Applicative f => (a -> f b) -> Proxy * a -> f (Proxy * b)

sequenceA :: Applicative f => Proxy * (f a) -> f (Proxy * a)

mapM :: Monad m => (a -> m b) -> Proxy * a -> m (Proxy * b)

sequence :: Monad m => Proxy * (m a) -> m (Proxy * a)

Generic1 (Proxy *)

Associated Types

type Rep1 (Proxy * :: * -> *) :: * -> *

Methods

from1 :: Proxy * a -> Rep1 (Proxy *) a

to1 :: Rep1 (Proxy *) a -> Proxy * a

Eq1 (Proxy *)

Since: 4.9.0.0

Methods

liftEq :: (a -> b -> Bool) -> Proxy * a -> Proxy * b -> Bool

Ord1 (Proxy *)

Since: 4.9.0.0

Methods

liftCompare :: (a -> b -> Ordering) -> Proxy * a -> Proxy * b -> Ordering

Read1 (Proxy *)

Since: 4.9.0.0

Methods

liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Proxy * a)

liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Proxy * a]

Show1 (Proxy *)

Since: 4.9.0.0

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Proxy * a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Proxy * a] -> ShowS

Alternative (Proxy *)

Methods

empty :: Proxy * a

(<|>) :: Proxy * a -> Proxy * a -> Proxy * a

some :: Proxy * a -> Proxy * [a]

many :: Proxy * a -> Proxy * [a]

MonadPlus (Proxy *)

Methods

mzero :: Proxy * a

mplus :: Proxy * a -> Proxy * a -> Proxy * a

Bounded (Proxy k s)

Methods

minBound :: Proxy k s

maxBound :: Proxy k s

Enum (Proxy k s)

Methods

succ :: Proxy k s -> Proxy k s

pred :: Proxy k s -> Proxy k s

toEnum :: Int -> Proxy k s

fromEnum :: Proxy k s -> Int

enumFrom :: Proxy k s -> [Proxy k s]

enumFromThen :: Proxy k s -> Proxy k s -> [Proxy k s]

enumFromTo :: Proxy k s -> Proxy k s -> [Proxy k s]

enumFromThenTo :: Proxy k s -> Proxy k s -> Proxy k s -> [Proxy k s]

Eq (Proxy k s)

Methods

(==) :: Proxy k s -> Proxy k s -> Bool

(/=) :: Proxy k s -> Proxy k s -> Bool

Data t => Data (Proxy * t)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Proxy * t -> c (Proxy * t)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Proxy * t)

toConstr :: Proxy * t -> Constr

dataTypeOf :: Proxy * t -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Proxy * t))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Proxy * t))

gmapT :: (forall b. Data b => b -> b) -> Proxy * t -> Proxy * t

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Proxy * t -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Proxy * t -> r

gmapQ :: (forall d. Data d => d -> u) -> Proxy * t -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Proxy * t -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Proxy * t -> m (Proxy * t)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy * t -> m (Proxy * t)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Proxy * t -> m (Proxy * t)

Ord (Proxy k s)

Methods

compare :: Proxy k s -> Proxy k s -> Ordering

(<) :: Proxy k s -> Proxy k s -> Bool

(<=) :: Proxy k s -> Proxy k s -> Bool

(>) :: Proxy k s -> Proxy k s -> Bool

(>=) :: Proxy k s -> Proxy k s -> Bool

max :: Proxy k s -> Proxy k s -> Proxy k s

min :: Proxy k s -> Proxy k s -> Proxy k s

Read (Proxy k s)

Methods

readsPrec :: Int -> ReadS (Proxy k s)

readList :: ReadS [Proxy k s]

readPrec :: ReadPrec (Proxy k s)

readListPrec :: ReadPrec [Proxy k s]

Show (Proxy k s)

Methods

showsPrec :: Int -> Proxy k s -> ShowS

show :: Proxy k s -> String

showList :: [Proxy k s] -> ShowS

Ix (Proxy k s)

Methods

range :: (Proxy k s, Proxy k s) -> [Proxy k s]

index :: (Proxy k s, Proxy k s) -> Proxy k s -> Int

unsafeIndex :: (Proxy k s, Proxy k s) -> Proxy k s -> Int

inRange :: (Proxy k s, Proxy k s) -> Proxy k s -> Bool

rangeSize :: (Proxy k s, Proxy k s) -> Int

unsafeRangeSize :: (Proxy k s, Proxy k s) -> Int

Generic (Proxy k t)

Associated Types

type Rep (Proxy k t) :: * -> *

Methods

from :: Proxy k t -> Rep (Proxy k t) x

to :: Rep (Proxy k t) x -> Proxy k t

Semigroup (Proxy k s)

Methods

(<>) :: Proxy k s -> Proxy k s -> Proxy k s

sconcat :: NonEmpty (Proxy k s) -> Proxy k s

stimes :: Integral b => b -> Proxy k s -> Proxy k s

Monoid (Proxy k s)

Methods

mempty :: Proxy k s

mappend :: Proxy k s -> Proxy k s -> Proxy k s

mconcat :: [Proxy k s] -> Proxy k s

type Rep1 (Proxy *)

type Rep1 (Proxy *) = D1 (MetaData "Proxy" "Data.Proxy" "base" False) (C1 (MetaCons "Proxy" PrefixI False) U1)

type Rep (Proxy k t)

type Rep (Proxy k t) = D1 (MetaData "Proxy" "Data.Proxy" "base" False) (C1 (MetaCons "Proxy" PrefixI False) U1)

Defunctionalization symbols

type FalseSym0 = False

type TrueSym0 = True

data NotSym0 l

Instances

SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0

Methods

suppressUnusedWarnings :: Proxy NotSym0 t -> ()

type Apply Bool Bool NotSym0 l0

type Apply Bool Bool NotSym0 l0 = NotSym1 l0

type NotSym1 t = Not t

data (:&&$) l

Instances

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

Methods

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

type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l0

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

data l :&&$$ l

Instances

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

Methods

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

type Apply Bool Bool ((:&&$$) l1) l0

type Apply Bool Bool ((:&&$$) l1) l0 = (:&&$$$) l1 l0

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

data (:||$) l

Instances

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

Methods

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

type Apply Bool (TyFun Bool Bool -> Type) (:||$) l0

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

data l :||$$ l

Instances

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

Methods

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

type Apply Bool Bool ((:||$$) l1) l0

type Apply Bool Bool ((:||$$) l1) l0 = (:||$$$) l1 l0

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

type OtherwiseSym0 = Otherwise

type NothingSym0 = Nothing

data JustSym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (Maybe a822083586) -> *) (JustSym0 a822083586)

Methods

suppressUnusedWarnings :: Proxy (JustSym0 a822083586) t -> ()

type Apply a822083586 (Maybe a822083586) (JustSym0 a822083586) l0

type Apply a822083586 (Maybe a822083586) (JustSym0 a822083586) l0 = JustSym1 a822083586 l0

type JustSym1 t = Just t

data Maybe_Sym0 l

Instances

SuppressUnusedWarnings (TyFun b1627847771 (TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> Type) -> *) (Maybe_Sym0 a1627847772 b1627847771)

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym0 a1627847772 b1627847771) t -> ()

type Apply b1627847771 (TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> Type) (Maybe_Sym0 a1627847772 b1627847771) l0

type Apply b1627847771 (TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> Type) (Maybe_Sym0 a1627847772 b1627847771) l0 = Maybe_Sym1 a1627847772 b1627847771 l0

data Maybe_Sym1 l l

Instances

SuppressUnusedWarnings (b1627847771 -> TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> *) (Maybe_Sym1 a1627847772 b1627847771)

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym1 a1627847772 b1627847771) t -> ()

type Apply (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) (Maybe_Sym1 a1627847772 b1627847771 l1) l0

type Apply (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) (Maybe_Sym1 a1627847772 b1627847771 l1) l0 = Maybe_Sym2 a1627847772 b1627847771 l1 l0

data Maybe_Sym2 l l l

Instances

SuppressUnusedWarnings (b1627847771 -> (TyFun a1627847772 b1627847771 -> Type) -> TyFun (Maybe a1627847772) b1627847771 -> *) (Maybe_Sym2 a1627847772 b1627847771)

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym2 a1627847772 b1627847771) t -> ()

type Apply (Maybe a1627847772) b1627847771 (Maybe_Sym2 a1627847772 b1627847771 l1 l2) l0

type Apply (Maybe a1627847772) b1627847771 (Maybe_Sym2 a1627847772 b1627847771 l1 l2) l0 = Maybe_Sym3 b1627847771 a1627847772 l1 l2 l0

type Maybe_Sym3 t t t = Maybe_ t t t

data LeftSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627437720 (Either a1627437720 b1627437721) -> *) (LeftSym0 a1627437720 b1627437721)

Methods

suppressUnusedWarnings :: Proxy (LeftSym0 a1627437720 b1627437721) t -> ()

type Apply a1627437720 (Either a1627437720 b1627437721) (LeftSym0 a1627437720 b1627437721) l0

type Apply a1627437720 (Either a1627437720 b1627437721) (LeftSym0 a1627437720 b1627437721) l0 = LeftSym1 a1627437720 b1627437721 l0

type LeftSym1 t = Left t

data RightSym0 l

Instances

SuppressUnusedWarnings (TyFun b1627437721 (Either a1627437720 b1627437721) -> *) (RightSym0 a1627437720 b1627437721)

Methods

suppressUnusedWarnings :: Proxy (RightSym0 a1627437720 b1627437721) t -> ()

type Apply b1627437721 (Either a1627437720 b1627437721) (RightSym0 a1627437720 b1627437721) l0

type Apply b1627437721 (Either a1627437720 b1627437721) (RightSym0 a1627437720 b1627437721) l0 = RightSym1 b1627437721 a1627437720 l0

type RightSym1 t = Right t

data Either_Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627829180 c1627829181 -> Type) (TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> Type) -> *) (Either_Sym0 a1627829180 b1627829182 c1627829181)

Methods

suppressUnusedWarnings :: Proxy (Either_Sym0 a1627829180 b1627829182 c1627829181) t -> ()

type Apply (TyFun a1627829180 c1627829181 -> Type) (TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> Type) (Either_Sym0 a1627829180 b1627829182 c1627829181) l0

type Apply (TyFun a1627829180 c1627829181 -> Type) (TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> Type) (Either_Sym0 a1627829180 b1627829182 c1627829181) l0 = Either_Sym1 b1627829182 a1627829180 c1627829181 l0

data Either_Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627829180 c1627829181 -> Type) -> TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> *) (Either_Sym1 b1627829182 a1627829180 c1627829181)

Methods

suppressUnusedWarnings :: Proxy (Either_Sym1 b1627829182 a1627829180 c1627829181) t -> ()

type Apply (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) (Either_Sym1 b1627829182 a1627829180 c1627829181 l1) l0

type Apply (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) (Either_Sym1 b1627829182 a1627829180 c1627829181 l1) l0 = Either_Sym2 b1627829182 a1627829180 c1627829181 l1 l0

data Either_Sym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627829180 c1627829181 -> Type) -> (TyFun b1627829182 c1627829181 -> Type) -> TyFun (Either a1627829180 b1627829182) c1627829181 -> *) (Either_Sym2 b1627829182 a1627829180 c1627829181)

Methods

suppressUnusedWarnings :: Proxy (Either_Sym2 b1627829182 a1627829180 c1627829181) t -> ()

type Apply (Either a1627829180 b1627829182) c1627829181 (Either_Sym2 b1627829182 a1627829180 c1627829181 l1 l2) l0

type Apply (Either a1627829180 b1627829182) c1627829181 (Either_Sym2 b1627829182 a1627829180 c1627829181 l1 l2) l0 = Either_Sym3 a1627829180 c1627829181 b1627829182 l1 l2 l0

type Either_Sym3 t t t = Either_ t t t

type Tuple0Sym0 = '()

data Tuple2Sym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (a822083586, b822083587) -> Type) -> *) (Tuple2Sym0 a822083586 b822083587)

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym0 a822083586 b822083587) t -> ()

type Apply a822083586 (TyFun b822083587 (a822083586, b822083587) -> Type) (Tuple2Sym0 a822083586 b822083587) l0

type Apply a822083586 (TyFun b822083587 (a822083586, b822083587) -> Type) (Tuple2Sym0 a822083586 b822083587) l0 = Tuple2Sym1 b822083587 a822083586 l0

data Tuple2Sym1 l l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (a822083586, b822083587) -> *) (Tuple2Sym1 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym1 b822083587 a822083586) t -> ()

type Apply b822083587 (a822083586, b822083587) (Tuple2Sym1 b822083587 a822083586 l1) l0

type Apply b822083587 (a822083586, b822083587) (Tuple2Sym1 b822083587 a822083586 l1) l0 = Tuple2Sym2 a822083586 b822083587 l1 l0

type Tuple2Sym2 t t = '(t, t)

data Tuple3Sym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> Type) -> *) (Tuple3Sym0 a822083586 b822083587 c822083588)

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym0 a822083586 b822083587 c822083588) t -> ()

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> Type) (Tuple3Sym0 a822083586 b822083587 c822083588) l0

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> Type) (Tuple3Sym0 a822083586 b822083587 c822083588) l0 = Tuple3Sym1 b822083587 c822083588 a822083586 l0

data Tuple3Sym1 l l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> *) (Tuple3Sym1 b822083587 c822083588 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym1 b822083587 c822083588 a822083586) t -> ()

type Apply b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) (Tuple3Sym1 b822083587 c822083588 a822083586 l1) l0

type Apply b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) (Tuple3Sym1 b822083587 c822083588 a822083586 l1) l0 = Tuple3Sym2 c822083588 b822083587 a822083586 l1 l0

data Tuple3Sym2 l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (a822083586, b822083587, c822083588) -> *) (Tuple3Sym2 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym2 c822083588 b822083587 a822083586) t -> ()

type Apply c822083588 (a822083586, b822083587, c822083588) (Tuple3Sym2 c822083588 b822083587 a822083586 l1 l2) l0

type Apply c822083588 (a822083586, b822083587, c822083588) (Tuple3Sym2 c822083588 b822083587 a822083586 l1 l2) l0 = Tuple3Sym3 a822083586 b822083587 c822083588 l1 l2 l0

type Tuple3Sym3 t t t = '(t, t, t)

data Tuple4Sym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589)

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589) t -> ()

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589) l0

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589) l0 = Tuple4Sym1 b822083587 c822083588 d822083589 a822083586 l0

data Tuple4Sym1 l l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> *) (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586) t -> ()

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586 l1) l0

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586 l1) l0 = Tuple4Sym2 c822083588 d822083589 b822083587 a822083586 l1 l0

data Tuple4Sym2 l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> *) (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586) t -> ()

type Apply c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586 l1 l2) l0

type Apply c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586 l1 l2) l0 = Tuple4Sym3 d822083589 c822083588 b822083587 a822083586 l1 l2 l0

data Tuple4Sym3 l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> *) (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply d822083589 (a822083586, b822083587, c822083588, d822083589) (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586 l1 l2 l3) l0

type Apply d822083589 (a822083586, b822083587, c822083588, d822083589) (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586 l1 l2 l3) l0 = Tuple4Sym4 a822083586 b822083587 c822083588 d822083589 l1 l2 l3 l0

type Tuple4Sym4 t t t t = '(t, t, t, t)

data Tuple5Sym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a822083586 b822083587 c822083588 d822083589 e822083590)

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym0 a822083586 b822083587 c822083588 d822083589 e822083590) t -> ()

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083586 b822083587 c822083588 d822083589 e822083590) l0

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083586 b822083587 c822083588 d822083589 e822083590) l0 = Tuple5Sym1 b822083587 c822083588 d822083589 e822083590 a822083586 l0

data Tuple5Sym1 l l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 b822083587 c822083588 d822083589 e822083590 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym1 b822083587 c822083588 d822083589 e822083590 a822083586) t -> ()

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> Type) (Tuple5Sym1 b822083587 c822083588 d822083589 e822083590 a822083586 l1) l0

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> Type) (Tuple5Sym1 b822083587 c822083588 d822083589 e822083590 a822083586 l1) l0 = Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586 l1 l0

data Tuple5Sym2 l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> *) (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586) t -> ()

type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586 l1 l2) l0

type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586 l1 l2) l0 = Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586 l1 l2 l0

data Tuple5Sym3 l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> *) (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586) t -> ()

type Apply d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586 l1 l2 l3) l0

type Apply d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586 l1 l2 l3) l0 = Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l0

data Tuple5Sym4 l l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> *) (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0

type Apply e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0 = Tuple5Sym5 a822083586 b822083587 c822083588 d822083589 e822083590 l1 l2 l3 l4 l0

type Tuple5Sym5 t t t t t = '(t, t, t, t, t)

data Tuple6Sym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591)

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591) t -> ()

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591) l0

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591) l0 = Tuple6Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 a822083586 l0

data Tuple6Sym1 l l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 a822083586) t -> ()

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 a822083586 l1) l0

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 a822083586 l1) l0 = Tuple6Sym2 c822083588 d822083589 e822083590 f822083591 b822083587 a822083586 l1 l0

data Tuple6Sym2 l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 c822083588 d822083589 e822083590 f822083591 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym2 c822083588 d822083589 e822083590 f822083591 b822083587 a822083586) t -> ()

type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) (Tuple6Sym2 c822083588 d822083589 e822083590 f822083591 b822083587 a822083586 l1 l2) l0

type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> Type) (Tuple6Sym2 c822083588 d822083589 e822083590 f822083591 b822083587 a822083586 l1 l2) l0 = Tuple6Sym3 d822083589 e822083590 f822083591 c822083588 b822083587 a822083586 l1 l2 l0

data Tuple6Sym3 l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) -> *) (Tuple6Sym3 d822083589 e822083590 f822083591 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym3 d822083589 e822083590 f822083591 c822083588 b822083587 a822083586) t -> ()

type Apply d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) (Tuple6Sym3 d822083589 e822083590 f822083591 c822083588 b822083587 a822083586 l1 l2 l3) l0

type Apply d822083589 (TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> Type) (Tuple6Sym3 d822083589 e822083590 f822083591 c822083588 b822083587 a822083586 l1 l2 l3) l0 = Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l0

data Tuple6Sym4 l l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> *) (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0

type Apply e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0 = Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l0

data Tuple6Sym5 l l l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> e822083590 -> TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> *) (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5) l0

type Apply f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5) l0 = Tuple6Sym6 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 l1 l2 l3 l4 l5 l0

type Tuple6Sym6 t t t t t t = '(t, t, t, t, t, t)

data Tuple7Sym0 l

Instances

SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592) t -> ()

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592) l0

type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592) l0 = Tuple7Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 a822083586 l0

data Tuple7Sym1 l l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 a822083586) t -> ()

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 a822083586 l1) l0

type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 a822083586 l1) l0 = Tuple7Sym2 c822083588 d822083589 e822083590 f822083591 g822083592 b822083587 a822083586 l1 l0

data Tuple7Sym2 l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 c822083588 d822083589 e822083590 f822083591 g822083592 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym2 c822083588 d822083589 e822083590 f822083591 g822083592 b822083587 a822083586) t -> ()

type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 c822083588 d822083589 e822083590 f822083591 g822083592 b822083587 a822083586 l1 l2) l0

type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 c822083588 d822083589 e822083590 f822083591 g822083592 b822083587 a822083586 l1 l2) l0 = Tuple7Sym3 d822083589 e822083590 f822083591 g822083592 c822083588 b822083587 a822083586 l1 l2 l0

data Tuple7Sym3 l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> TyFun d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 d822083589 e822083590 f822083591 g822083592 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym3 d822083589 e822083590 f822083591 g822083592 c822083588 b822083587 a822083586) t -> ()

type Apply d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) (Tuple7Sym3 d822083589 e822083590 f822083591 g822083592 c822083588 b822083587 a822083586 l1 l2 l3) l0

type Apply d822083589 (TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> Type) (Tuple7Sym3 d822083589 e822083590 f822083591 g822083592 c822083588 b822083587 a822083586 l1 l2 l3) l0 = Tuple7Sym4 e822083590 f822083591 g822083592 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l0

data Tuple7Sym4 l l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> TyFun e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) -> *) (Tuple7Sym4 e822083590 f822083591 g822083592 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym4 e822083590 f822083591 g822083592 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) (Tuple7Sym4 e822083590 f822083591 g822083592 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0

type Apply e822083590 (TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> Type) (Tuple7Sym4 e822083590 f822083591 g822083592 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0 = Tuple7Sym5 f822083591 g822083592 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l0

data Tuple7Sym5 l l l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> e822083590 -> TyFun f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) -> *) (Tuple7Sym5 f822083591 g822083592 e822083590 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym5 f822083591 g822083592 e822083590 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) (Tuple7Sym5 f822083591 g822083592 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5) l0

type Apply f822083591 (TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> Type) (Tuple7Sym5 f822083591 g822083592 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5) l0 = Tuple7Sym6 g822083592 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5 l0

data Tuple7Sym6 l l l l l l l

Instances

SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> e822083590 -> f822083591 -> TyFun g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) -> *) (Tuple7Sym6 g822083592 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586)

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym6 g822083592 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586) t -> ()

type Apply g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) (Tuple7Sym6 g822083592 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5 l6) l0

type Apply g822083592 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591, g822083592) (Tuple7Sym6 g822083592 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5 l6) l0 = Tuple7Sym7 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 l1 l2 l3 l4 l5 l6 l0

type Tuple7Sym7 t t t t t t t = '(t, t, t, t, t, t, t)

data FstSym0 l

Instances

SuppressUnusedWarnings (TyFun (a1627840729, b1627840730) a1627840729 -> *) (FstSym0 b1627840730 a1627840729)

Methods

suppressUnusedWarnings :: Proxy (FstSym0 b1627840730 a1627840729) t -> ()

type Apply (a1627840729, b1627840730) a1627840729 (FstSym0 b1627840730 a1627840729) l0

type Apply (a1627840729, b1627840730) a1627840729 (FstSym0 b1627840730 a1627840729) l0 = FstSym1 a1627840729 b1627840730 l0

type FstSym1 t = Fst t

data SndSym0 l

Instances

SuppressUnusedWarnings (TyFun (a1627840727, b1627840728) b1627840728 -> *) (SndSym0 a1627840727 b1627840728)

Methods

suppressUnusedWarnings :: Proxy (SndSym0 a1627840727 b1627840728) t -> ()

type Apply (a1627840727, b1627840728) b1627840728 (SndSym0 a1627840727 b1627840728) l0

type Apply (a1627840727, b1627840728) b1627840728 (SndSym0 a1627840727 b1627840728) l0 = SndSym1 a1627840727 b1627840728 l0

type SndSym1 t = Snd t

data CurrySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun (a1627840724, b1627840725) c1627840726 -> Type) (TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> Type) -> *) (CurrySym0 a1627840724 b1627840725 c1627840726)

Methods

suppressUnusedWarnings :: Proxy (CurrySym0 a1627840724 b1627840725 c1627840726) t -> ()

type Apply (TyFun (a1627840724, b1627840725) c1627840726 -> Type) (TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> Type) (CurrySym0 a1627840724 b1627840725 c1627840726) l0

type Apply (TyFun (a1627840724, b1627840725) c1627840726 -> Type) (TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> Type) (CurrySym0 a1627840724 b1627840725 c1627840726) l0 = CurrySym1 a1627840724 b1627840725 c1627840726 l0

data CurrySym1 l l

Instances

SuppressUnusedWarnings ((TyFun (a1627840724, b1627840725) c1627840726 -> Type) -> TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> *) (CurrySym1 a1627840724 b1627840725 c1627840726)

Methods

suppressUnusedWarnings :: Proxy (CurrySym1 a1627840724 b1627840725 c1627840726) t -> ()

type Apply a1627840724 (TyFun b1627840725 c1627840726 -> Type) (CurrySym1 a1627840724 b1627840725 c1627840726 l1) l0

type Apply a1627840724 (TyFun b1627840725 c1627840726 -> Type) (CurrySym1 a1627840724 b1627840725 c1627840726 l1) l0 = CurrySym2 a1627840724 b1627840725 c1627840726 l1 l0

data CurrySym2 l l l

Instances

SuppressUnusedWarnings ((TyFun (a1627840724, b1627840725) c1627840726 -> Type) -> a1627840724 -> TyFun b1627840725 c1627840726 -> *) (CurrySym2 a1627840724 b1627840725 c1627840726)

Methods

suppressUnusedWarnings :: Proxy (CurrySym2 a1627840724 b1627840725 c1627840726) t -> ()

type Apply b1627840725 c1627840726 (CurrySym2 a1627840724 b1627840725 c1627840726 l1 l2) l0

type Apply b1627840725 c1627840726 (CurrySym2 a1627840724 b1627840725 c1627840726 l1 l2) l0 = CurrySym3 a1627840724 b1627840725 c1627840726 l1 l2 l0

type CurrySym3 t t t = Curry t t t

data UncurrySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) (TyFun (a1627840721, b1627840722) c1627840723 -> Type) -> *) (UncurrySym0 a1627840721 b1627840722 c1627840723)

Methods

suppressUnusedWarnings :: Proxy (UncurrySym0 a1627840721 b1627840722 c1627840723) t -> ()

type Apply (TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) (TyFun (a1627840721, b1627840722) c1627840723 -> Type) (UncurrySym0 a1627840721 b1627840722 c1627840723) l0

type Apply (TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) (TyFun (a1627840721, b1627840722) c1627840723 -> Type) (UncurrySym0 a1627840721 b1627840722 c1627840723) l0 = UncurrySym1 a1627840721 b1627840722 c1627840723 l0

data UncurrySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) -> TyFun (a1627840721, b1627840722) c1627840723 -> *) (UncurrySym1 a1627840721 b1627840722 c1627840723)

Methods

suppressUnusedWarnings :: Proxy (UncurrySym1 a1627840721 b1627840722 c1627840723) t -> ()

type Apply (a1627840721, b1627840722) c1627840723 (UncurrySym1 a1627840721 b1627840722 c1627840723 l1) l0

type Apply (a1627840721, b1627840722) c1627840723 (UncurrySym1 a1627840721 b1627840722 c1627840723 l1) l0 = UncurrySym2 a1627840721 b1627840722 c1627840723 l1 l0

type UncurrySym2 t t = Uncurry t t

data (:^$) l

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^$)

Methods

suppressUnusedWarnings :: Proxy (:^$) t -> ()

type Apply Nat (TyFun Nat Nat -> *) (:^$) l0

type Apply Nat (TyFun Nat Nat -> *) (:^$) l0 = (:^$$) l0

data l :^$$ l

Instances

SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$)

Methods

suppressUnusedWarnings :: Proxy (:^$$) t -> ()

type Apply Nat Nat ((:^$$) l1) l0

type Apply Nat Nat ((:^$$) l1) l0 = (:^$$$) l1 l0

data IdSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627796653 a1627796653 -> *) (IdSym0 a1627796653)

Methods

suppressUnusedWarnings :: Proxy (IdSym0 a1627796653) t -> ()

type Apply a1627796653 a1627796653 (IdSym0 a1627796653) l0

type Apply a1627796653 a1627796653 (IdSym0 a1627796653) l0 = IdSym1 a1627796653 l0

type IdSym1 t = Id t

data ConstSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627796651 (TyFun b1627796652 a1627796651 -> Type) -> *) (ConstSym0 b1627796652 a1627796651)

Methods

suppressUnusedWarnings :: Proxy (ConstSym0 b1627796652 a1627796651) t -> ()

type Apply a1627796651 (TyFun b1627796652 a1627796651 -> Type) (ConstSym0 b1627796652 a1627796651) l0

type Apply a1627796651 (TyFun b1627796652 a1627796651 -> Type) (ConstSym0 b1627796652 a1627796651) l0 = ConstSym1 b1627796652 a1627796651 l0

data ConstSym1 l l

Instances

SuppressUnusedWarnings (a1627796651 -> TyFun b1627796652 a1627796651 -> *) (ConstSym1 b1627796652 a1627796651)

Methods

suppressUnusedWarnings :: Proxy (ConstSym1 b1627796652 a1627796651) t -> ()

type Apply b1627796652 a1627796651 (ConstSym1 b1627796652 a1627796651 l1) l0

type Apply b1627796652 a1627796651 (ConstSym1 b1627796652 a1627796651 l1) l0 = ConstSym2 a1627796651 b1627796652 l1 l0

type ConstSym2 t t = Const t t

data (:.$) l

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627796648 c1627796649 -> Type) (TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> Type) -> *) ((:.$) b1627796648 a1627796650 c1627796649)

Methods

suppressUnusedWarnings :: Proxy ((b1627796648 :.$ a1627796650) c1627796649) t -> ()

type Apply (TyFun b1627796648 c1627796649 -> Type) (TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> Type) ((:.$) b1627796648 a1627796650 c1627796649) l0

type Apply (TyFun b1627796648 c1627796649 -> Type) (TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> Type) ((:.$) b1627796648 a1627796650 c1627796649) l0 = (:.$$) a1627796650 b1627796648 c1627796649 l0

data l :.$$ l

Instances

SuppressUnusedWarnings ((TyFun b1627796648 c1627796649 -> Type) -> TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> *) ((:.$$) a1627796650 b1627796648 c1627796649)

Methods

suppressUnusedWarnings :: Proxy ((a1627796650 :.$$ b1627796648) c1627796649) t -> ()

type Apply (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) ((:.$$) a1627796650 b1627796648 c1627796649 l1) l0

type Apply (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) ((:.$$) a1627796650 b1627796648 c1627796649 l1) l0 = (:.$$$) a1627796650 b1627796648 c1627796649 l1 l0

data (l :.$$$ l) l

Instances

SuppressUnusedWarnings ((TyFun b1627796648 c1627796649 -> Type) -> (TyFun a1627796650 b1627796648 -> Type) -> TyFun a1627796650 c1627796649 -> *) ((:.$$$) a1627796650 b1627796648 c1627796649)

Methods

suppressUnusedWarnings :: Proxy ((a1627796650 :.$$$ b1627796648) c1627796649) t -> ()

type Apply a1627796650 c1627796649 ((:.$$$) a1627796650 b1627796648 c1627796649 l1 l2) l0

type Apply a1627796650 c1627796649 ((:.$$$) a1627796650 b1627796648 c1627796649 l1 l2) l0 = (:.$$$$) b1627796648 c1627796649 a1627796650 l1 l2 l0

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 b (($$$) a b f) arg

type Apply a b (($$$) a b f) arg = ($$$$) a b 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 b (($!$$) a b f) arg

type Apply a b (($!$$) a b f) arg = ($!$$$) a b f arg

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

data FlipSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) (TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> Type) -> *) (FlipSym0 b1627796646 a1627796645 c1627796647)

Methods

suppressUnusedWarnings :: Proxy (FlipSym0 b1627796646 a1627796645 c1627796647) t -> ()

type Apply (TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) (TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> Type) (FlipSym0 b1627796646 a1627796645 c1627796647) l0

type Apply (TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) (TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> Type) (FlipSym0 b1627796646 a1627796645 c1627796647) l0 = FlipSym1 a1627796645 b1627796646 c1627796647 l0

data FlipSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) -> TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> *) (FlipSym1 a1627796645 b1627796646 c1627796647)

Methods

suppressUnusedWarnings :: Proxy (FlipSym1 a1627796645 b1627796646 c1627796647) t -> ()

type Apply b1627796646 (TyFun a1627796645 c1627796647 -> Type) (FlipSym1 a1627796645 b1627796646 c1627796647 l1) l0

type Apply b1627796646 (TyFun a1627796645 c1627796647 -> Type) (FlipSym1 a1627796645 b1627796646 c1627796647 l1) l0 = FlipSym2 a1627796645 b1627796646 c1627796647 l1 l0

data FlipSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) -> b1627796646 -> TyFun a1627796645 c1627796647 -> *) (FlipSym2 a1627796645 b1627796646 c1627796647)

Methods

suppressUnusedWarnings :: Proxy (FlipSym2 a1627796645 b1627796646 c1627796647) t -> ()

type Apply a1627796645 c1627796647 (FlipSym2 a1627796645 b1627796646 c1627796647 l1 l2) l0

type Apply a1627796645 c1627796647 (FlipSym2 a1627796645 b1627796646 c1627796647 l1 l2) l0 = FlipSym3 a1627796645 b1627796646 c1627796647 l1 l2 l0

data AsTypeOfSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627796644 (TyFun a1627796644 a1627796644 -> Type) -> *) (AsTypeOfSym0 a1627796644)

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a1627796644) t -> ()

type Apply a1627796644 (TyFun a1627796644 a1627796644 -> Type) (AsTypeOfSym0 a1627796644) l0

type Apply a1627796644 (TyFun a1627796644 a1627796644 -> Type) (AsTypeOfSym0 a1627796644) l0 = AsTypeOfSym1 a1627796644 l0

data AsTypeOfSym1 l l

Instances

SuppressUnusedWarnings (a1627796644 -> TyFun a1627796644 a1627796644 -> *) (AsTypeOfSym1 a1627796644)

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a1627796644) t -> ()

type Apply a1627796644 a1627796644 (AsTypeOfSym1 a1627796644 l1) l0

type Apply a1627796644 a1627796644 (AsTypeOfSym1 a1627796644 l1) l0 = AsTypeOfSym2 a1627796644 l1 l0

type AsTypeOfSym2 t t = AsTypeOf t t

data SeqSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627796642 (TyFun b1627796643 b1627796643 -> Type) -> *) (SeqSym0 a1627796642 b1627796643)

Methods

suppressUnusedWarnings :: Proxy (SeqSym0 a1627796642 b1627796643) t -> ()

type Apply a1627796642 (TyFun b1627796643 b1627796643 -> Type) (SeqSym0 a1627796642 b1627796643) l0

type Apply a1627796642 (TyFun b1627796643 b1627796643 -> Type) (SeqSym0 a1627796642 b1627796643) l0 = SeqSym1 b1627796643 a1627796642 l0

data SeqSym1 l l

Instances

SuppressUnusedWarnings (a1627796642 -> TyFun b1627796643 b1627796643 -> *) (SeqSym1 b1627796643 a1627796642)

Methods

suppressUnusedWarnings :: Proxy (SeqSym1 b1627796643 a1627796642) t -> ()

type Apply b1627796643 b1627796643 (SeqSym1 b1627796643 a1627796642 l1) l0

type Apply b1627796643 b1627796643 (SeqSym1 b1627796643 a1627796642 l1) l0 = SeqSym2 a1627796642 b1627796643 l1 l0

type SeqSym2 t t = Seq t t

data (:$) l

Instances

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

Methods

suppressUnusedWarnings :: Proxy ((:$) a822083586) t -> ()

type Apply a822083586 (TyFun [a822083586] [a822083586] -> Type) ((:$) a822083586) l0

type Apply a822083586 (TyFun [a822083586] [a822083586] -> Type) ((:$) a822083586) l0 = (:$$) a822083586 l0

data l :$$ l

Instances

SuppressUnusedWarnings (a822083586 -> TyFun [a822083586] [a822083586] -> *) ((:$$) a822083586)

Methods

suppressUnusedWarnings :: Proxy ((:$$) a822083586) t -> ()

type Apply [a822083586] [a822083586] ((:$$) a822083586 l1) l0

type Apply [a822083586] [a822083586] ((:$$) a822083586 l1) l0 = (:$$$) a822083586 l1 l0

type (:$$$) t t = (:) t t

type NilSym0 = '[]

data MapSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627796655 b1627796656 -> Type) (TyFun [a1627796655] [b1627796656] -> Type) -> *) (MapSym0 a1627796655 b1627796656)

Methods

suppressUnusedWarnings :: Proxy (MapSym0 a1627796655 b1627796656) t -> ()

type Apply (TyFun a1627796655 b1627796656 -> Type) (TyFun [a1627796655] [b1627796656] -> Type) (MapSym0 a1627796655 b1627796656) l0

type Apply (TyFun a1627796655 b1627796656 -> Type) (TyFun [a1627796655] [b1627796656] -> Type) (MapSym0 a1627796655 b1627796656) l0 = MapSym1 a1627796655 b1627796656 l0

data MapSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627796655 b1627796656 -> Type) -> TyFun [a1627796655] [b1627796656] -> *) (MapSym1 a1627796655 b1627796656)

Methods

suppressUnusedWarnings :: Proxy (MapSym1 a1627796655 b1627796656) t -> ()

type Apply [a1627796655] [b1627796656] (MapSym1 a1627796655 b1627796656 l1) l0

type Apply [a1627796655] [b1627796656] (MapSym1 a1627796655 b1627796656 l1) l0 = MapSym2 a1627796655 b1627796656 l1 l0

type MapSym2 t t = Map t t

data ReverseSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953404] [a1627953404] -> *) (ReverseSym0 a1627953404)

Methods

suppressUnusedWarnings :: Proxy (ReverseSym0 a1627953404) t -> ()

type Apply [a1627953404] [a1627953404] (ReverseSym0 a1627953404) l0

type Apply [a1627953404] [a1627953404] (ReverseSym0 a1627953404) l0 = ReverseSym1 a1627953404 l0

type ReverseSym1 t = Reverse t

data l :++$$ l

Instances

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

Methods

suppressUnusedWarnings :: Proxy ((:++$$) a1627796654) t -> ()

type Apply [a1627796654] [a1627796654] ((:++$$) a1627796654 l1) l0

type Apply [a1627796654] [a1627796654] ((:++$$) a1627796654 l1) l0 = (:++$$$) a1627796654 l1 l0

data (:++$) l

Instances

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

Methods

suppressUnusedWarnings :: Proxy ((:++$) a1627796654) t -> ()

type Apply [a1627796654] (TyFun [a1627796654] [a1627796654] -> Type) ((:++$) a1627796654) l0

type Apply [a1627796654] (TyFun [a1627796654] [a1627796654] -> Type) ((:++$) a1627796654) l0 = (:++$$) a1627796654 l0

data HeadSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953409] a1627953409 -> *) (HeadSym0 a1627953409)

Methods

suppressUnusedWarnings :: Proxy (HeadSym0 a1627953409) t -> ()

type Apply [a1627953409] a1627953409 (HeadSym0 a1627953409) l0

type Apply [a1627953409] a1627953409 (HeadSym0 a1627953409) l0 = HeadSym1 a1627953409 l0

type HeadSym1 t = Head t

data LastSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953408] a1627953408 -> *) (LastSym0 a1627953408)

Methods

suppressUnusedWarnings :: Proxy (LastSym0 a1627953408) t -> ()

type Apply [a1627953408] a1627953408 (LastSym0 a1627953408) l0

type Apply [a1627953408] a1627953408 (LastSym0 a1627953408) l0 = LastSym1 a1627953408 l0

type LastSym1 t = Last t

data TailSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953407] [a1627953407] -> *) (TailSym0 a1627953407)

Methods

suppressUnusedWarnings :: Proxy (TailSym0 a1627953407) t -> ()

type Apply [a1627953407] [a1627953407] (TailSym0 a1627953407) l0

type Apply [a1627953407] [a1627953407] (TailSym0 a1627953407) l0 = TailSym1 a1627953407 l0

type TailSym1 t = Tail t

data InitSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953406] [a1627953406] -> *) (InitSym0 a1627953406)

Methods

suppressUnusedWarnings :: Proxy (InitSym0 a1627953406) t -> ()

type Apply [a1627953406] [a1627953406] (InitSym0 a1627953406) l0

type Apply [a1627953406] [a1627953406] (InitSym0 a1627953406) l0 = InitSym1 a1627953406 l0

type InitSym1 t = Init t

data NullSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953405] Bool -> *) (NullSym0 a1627953405)

Methods

suppressUnusedWarnings :: Proxy (NullSym0 a1627953405) t -> ()

type Apply [a1627953405] Bool (NullSym0 a1627953405) l0

type Apply [a1627953405] Bool (NullSym0 a1627953405) l0 = NullSym1 a1627953405 l0

type NullSym1 t = Null t

data FoldlSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) (TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> Type) -> *) (FoldlSym0 a1627619912 b1627619913)

Methods

suppressUnusedWarnings :: Proxy (FoldlSym0 a1627619912 b1627619913) t -> ()

type Apply (TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) (TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> Type) (FoldlSym0 a1627619912 b1627619913) l0

type Apply (TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) (TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> Type) (FoldlSym0 a1627619912 b1627619913) l0 = FoldlSym1 a1627619912 b1627619913 l0

data FoldlSym1 l l

Instances

SuppressUnusedWarnings ((TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) -> TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> *) (FoldlSym1 a1627619912 b1627619913)

Methods

suppressUnusedWarnings :: Proxy (FoldlSym1 a1627619912 b1627619913) t -> ()

type Apply b1627619913 (TyFun [a1627619912] b1627619913 -> Type) (FoldlSym1 a1627619912 b1627619913 l1) l0

type Apply b1627619913 (TyFun [a1627619912] b1627619913 -> Type) (FoldlSym1 a1627619912 b1627619913 l1) l0 = FoldlSym2 a1627619912 b1627619913 l1 l0

data FoldlSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) -> b1627619913 -> TyFun [a1627619912] b1627619913 -> *) (FoldlSym2 a1627619912 b1627619913)

Methods

suppressUnusedWarnings :: Proxy (FoldlSym2 a1627619912 b1627619913) t -> ()

type Apply [a1627619912] b1627619913 (FoldlSym2 a1627619912 b1627619913 l1 l2) l0

type Apply [a1627619912] b1627619913 (FoldlSym2 a1627619912 b1627619913 l1 l2) l0 = FoldlSym3 b1627619913 a1627619912 l1 l2 l0

type FoldlSym3 t t t = Foldl t t t

data Foldl1Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) (TyFun [a1627953395] a1627953395 -> Type) -> *) (Foldl1Sym0 a1627953395)

Methods

suppressUnusedWarnings :: Proxy (Foldl1Sym0 a1627953395) t -> ()

type Apply (TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) (TyFun [a1627953395] a1627953395 -> Type) (Foldl1Sym0 a1627953395) l0

type Apply (TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) (TyFun [a1627953395] a1627953395 -> Type) (Foldl1Sym0 a1627953395) l0 = Foldl1Sym1 a1627953395 l0

data Foldl1Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) -> TyFun [a1627953395] a1627953395 -> *) (Foldl1Sym1 a1627953395)

Methods

suppressUnusedWarnings :: Proxy (Foldl1Sym1 a1627953395) t -> ()

type Apply [a1627953395] a1627953395 (Foldl1Sym1 a1627953395 l1) l0

type Apply [a1627953395] a1627953395 (Foldl1Sym1 a1627953395 l1) l0 = Foldl1Sym2 a1627953395 l1 l0

type Foldl1Sym2 t t = Foldl1 t t

data FoldrSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) (TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> Type) -> *) (FoldrSym0 a1627796657 b1627796658)

Methods

suppressUnusedWarnings :: Proxy (FoldrSym0 a1627796657 b1627796658) t -> ()

type Apply (TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) (TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> Type) (FoldrSym0 a1627796657 b1627796658) l0

type Apply (TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) (TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> Type) (FoldrSym0 a1627796657 b1627796658) l0 = FoldrSym1 a1627796657 b1627796658 l0

data FoldrSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) -> TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> *) (FoldrSym1 a1627796657 b1627796658)

Methods

suppressUnusedWarnings :: Proxy (FoldrSym1 a1627796657 b1627796658) t -> ()

type Apply b1627796658 (TyFun [a1627796657] b1627796658 -> Type) (FoldrSym1 a1627796657 b1627796658 l1) l0

type Apply b1627796658 (TyFun [a1627796657] b1627796658 -> Type) (FoldrSym1 a1627796657 b1627796658 l1) l0 = FoldrSym2 a1627796657 b1627796658 l1 l0

data FoldrSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) -> b1627796658 -> TyFun [a1627796657] b1627796658 -> *) (FoldrSym2 a1627796657 b1627796658)

Methods

suppressUnusedWarnings :: Proxy (FoldrSym2 a1627796657 b1627796658) t -> ()

type Apply [a1627796657] b1627796658 (FoldrSym2 a1627796657 b1627796658 l1 l2) l0

type Apply [a1627796657] b1627796658 (FoldrSym2 a1627796657 b1627796658 l1 l2) l0 = FoldrSym3 a1627796657 b1627796658 l1 l2 l0

type FoldrSym3 t t t = Foldr t t t

data Foldr1Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) (TyFun [a1627953393] a1627953393 -> Type) -> *) (Foldr1Sym0 a1627953393)

Methods

suppressUnusedWarnings :: Proxy (Foldr1Sym0 a1627953393) t -> ()

type Apply (TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) (TyFun [a1627953393] a1627953393 -> Type) (Foldr1Sym0 a1627953393) l0

type Apply (TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) (TyFun [a1627953393] a1627953393 -> Type) (Foldr1Sym0 a1627953393) l0 = Foldr1Sym1 a1627953393 l0

data Foldr1Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) -> TyFun [a1627953393] a1627953393 -> *) (Foldr1Sym1 a1627953393)

Methods

suppressUnusedWarnings :: Proxy (Foldr1Sym1 a1627953393) t -> ()

type Apply [a1627953393] a1627953393 (Foldr1Sym1 a1627953393 l1) l0

type Apply [a1627953393] a1627953393 (Foldr1Sym1 a1627953393 l1) l0 = Foldr1Sym2 a1627953393 l1 l0

type Foldr1Sym2 t t = Foldr1 t t

data ConcatSym0 l

Instances

SuppressUnusedWarnings (TyFun [[a1627953392]] [a1627953392] -> *) (ConcatSym0 a1627953392)

Methods

suppressUnusedWarnings :: Proxy (ConcatSym0 a1627953392) t -> ()

type Apply [[a1627953392]] [a1627953392] (ConcatSym0 a1627953392) l0

type Apply [[a1627953392]] [a1627953392] (ConcatSym0 a1627953392) l0 = ConcatSym1 a1627953392 l0

type ConcatSym1 t = Concat t

data ConcatMapSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953390 [b1627953391] -> Type) (TyFun [a1627953390] [b1627953391] -> Type) -> *) (ConcatMapSym0 a1627953390 b1627953391)

Methods

suppressUnusedWarnings :: Proxy (ConcatMapSym0 a1627953390 b1627953391) t -> ()

type Apply (TyFun a1627953390 [b1627953391] -> Type) (TyFun [a1627953390] [b1627953391] -> Type) (ConcatMapSym0 a1627953390 b1627953391) l0

type Apply (TyFun a1627953390 [b1627953391] -> Type) (TyFun [a1627953390] [b1627953391] -> Type) (ConcatMapSym0 a1627953390 b1627953391) l0 = ConcatMapSym1 a1627953390 b1627953391 l0

data ConcatMapSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953390 [b1627953391] -> Type) -> TyFun [a1627953390] [b1627953391] -> *) (ConcatMapSym1 a1627953390 b1627953391)

Methods

suppressUnusedWarnings :: Proxy (ConcatMapSym1 a1627953390 b1627953391) t -> ()

type Apply [a1627953390] [b1627953391] (ConcatMapSym1 a1627953390 b1627953391 l1) l0

type Apply [a1627953390] [b1627953391] (ConcatMapSym1 a1627953390 b1627953391 l1) l0 = ConcatMapSym2 a1627953390 b1627953391 l1 l0

type ConcatMapSym2 t t = ConcatMap t t

data MaximumBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) (TyFun [a1627953322] a1627953322 -> Type) -> *) (MaximumBySym0 a1627953322)

Methods

suppressUnusedWarnings :: Proxy (MaximumBySym0 a1627953322) t -> ()

type Apply (TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) (TyFun [a1627953322] a1627953322 -> Type) (MaximumBySym0 a1627953322) l0

type Apply (TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) (TyFun [a1627953322] a1627953322 -> Type) (MaximumBySym0 a1627953322) l0 = MaximumBySym1 a1627953322 l0

data MaximumBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) -> TyFun [a1627953322] a1627953322 -> *) (MaximumBySym1 a1627953322)

Methods

suppressUnusedWarnings :: Proxy (MaximumBySym1 a1627953322) t -> ()

type Apply [a1627953322] a1627953322 (MaximumBySym1 a1627953322 l1) l0

type Apply [a1627953322] a1627953322 (MaximumBySym1 a1627953322 l1) l0 = MaximumBySym2 a1627953322 l1 l0

type MaximumBySym2 t t = MaximumBy t t

data MinimumBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) (TyFun [a1627953321] a1627953321 -> Type) -> *) (MinimumBySym0 a1627953321)

Methods

suppressUnusedWarnings :: Proxy (MinimumBySym0 a1627953321) t -> ()

type Apply (TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) (TyFun [a1627953321] a1627953321 -> Type) (MinimumBySym0 a1627953321) l0

type Apply (TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) (TyFun [a1627953321] a1627953321 -> Type) (MinimumBySym0 a1627953321) l0 = MinimumBySym1 a1627953321 l0

data MinimumBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) -> TyFun [a1627953321] a1627953321 -> *) (MinimumBySym1 a1627953321)

Methods

suppressUnusedWarnings :: Proxy (MinimumBySym1 a1627953321) t -> ()

type Apply [a1627953321] a1627953321 (MinimumBySym1 a1627953321 l1) l0

type Apply [a1627953321] a1627953321 (MinimumBySym1 a1627953321 l1) l0 = MinimumBySym2 a1627953321 l1 l0

type MinimumBySym2 t t = MinimumBy t t

data AndSym0 l

Instances

SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0

Methods

suppressUnusedWarnings :: Proxy AndSym0 t -> ()

type Apply [Bool] Bool AndSym0 l0

type Apply [Bool] Bool AndSym0 l0 = AndSym1 l0

type AndSym1 t = And t

data OrSym0 l

Instances

SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0

Methods

suppressUnusedWarnings :: Proxy OrSym0 t -> ()

type Apply [Bool] Bool OrSym0 l0

type Apply [Bool] Bool OrSym0 l0 = OrSym1 l0

type OrSym1 t = Or t

data Any_Sym0 l

Instances

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

Methods

suppressUnusedWarnings :: Proxy (Any_Sym0 a1627942712) t -> ()

type Apply (TyFun a1627942712 Bool -> Type) (TyFun [a1627942712] Bool -> Type) (Any_Sym0 a1627942712) l0

type Apply (TyFun a1627942712 Bool -> Type) (TyFun [a1627942712] Bool -> Type) (Any_Sym0 a1627942712) l0 = Any_Sym1 a1627942712 l0

data Any_Sym1 l l

Instances

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

Methods

suppressUnusedWarnings :: Proxy (Any_Sym1 a1627942712) t -> ()

type Apply [a1627942712] Bool (Any_Sym1 a1627942712 l1) l0

type Apply [a1627942712] Bool (Any_Sym1 a1627942712 l1) l0 = Any_Sym2 a1627942712 l1 l0

type Any_Sym2 t t = Any_ t t

data AllSym0 l

Instances

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

Methods

suppressUnusedWarnings :: Proxy (AllSym0 a1627953389) t -> ()

type Apply (TyFun a1627953389 Bool -> Type) (TyFun [a1627953389] Bool -> Type) (AllSym0 a1627953389) l0

type Apply (TyFun a1627953389 Bool -> Type) (TyFun [a1627953389] Bool -> Type) (AllSym0 a1627953389) l0 = AllSym1 a1627953389 l0

data AllSym1 l l

Instances

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

Methods

suppressUnusedWarnings :: Proxy (AllSym1 a1627953389) t -> ()

type Apply [a1627953389] Bool (AllSym1 a1627953389 l1) l0

type Apply [a1627953389] Bool (AllSym1 a1627953389 l1) l0 = AllSym2 a1627953389 l1 l0

type AllSym2 t t = All t t

data ScanlSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) (TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> Type) -> *) (ScanlSym0 a1627953388 b1627953387)

Methods

suppressUnusedWarnings :: Proxy (ScanlSym0 a1627953388 b1627953387) t -> ()

type Apply (TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) (TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> Type) (ScanlSym0 a1627953388 b1627953387) l0

type Apply (TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) (TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> Type) (ScanlSym0 a1627953388 b1627953387) l0 = ScanlSym1 a1627953388 b1627953387 l0

data ScanlSym1 l l

Instances

SuppressUnusedWarnings ((TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) -> TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> *) (ScanlSym1 a1627953388 b1627953387)

Methods

suppressUnusedWarnings :: Proxy (ScanlSym1 a1627953388 b1627953387) t -> ()

type Apply b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) (ScanlSym1 a1627953388 b1627953387 l1) l0

type Apply b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) (ScanlSym1 a1627953388 b1627953387 l1) l0 = ScanlSym2 a1627953388 b1627953387 l1 l0

data ScanlSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) -> b1627953387 -> TyFun [a1627953388] [b1627953387] -> *) (ScanlSym2 a1627953388 b1627953387)

Methods

suppressUnusedWarnings :: Proxy (ScanlSym2 a1627953388 b1627953387) t -> ()

type Apply [a1627953388] [b1627953387] (ScanlSym2 a1627953388 b1627953387 l1 l2) l0

type Apply [a1627953388] [b1627953387] (ScanlSym2 a1627953388 b1627953387 l1 l2) l0 = ScanlSym3 b1627953387 a1627953388 l1 l2 l0

type ScanlSym3 t t t = Scanl t t t

data Scanl1Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) (TyFun [a1627953386] [a1627953386] -> Type) -> *) (Scanl1Sym0 a1627953386)

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym0 a1627953386) t -> ()

type Apply (TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) (TyFun [a1627953386] [a1627953386] -> Type) (Scanl1Sym0 a1627953386) l0

type Apply (TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) (TyFun [a1627953386] [a1627953386] -> Type) (Scanl1Sym0 a1627953386) l0 = Scanl1Sym1 a1627953386 l0

data Scanl1Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) -> TyFun [a1627953386] [a1627953386] -> *) (Scanl1Sym1 a1627953386)

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym1 a1627953386) t -> ()

type Apply [a1627953386] [a1627953386] (Scanl1Sym1 a1627953386 l1) l0

type Apply [a1627953386] [a1627953386] (Scanl1Sym1 a1627953386 l1) l0 = Scanl1Sym2 a1627953386 l1 l0

type Scanl1Sym2 t t = Scanl1 t t

data ScanrSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) (TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> Type) -> *) (ScanrSym0 a1627953384 b1627953385)

Methods

suppressUnusedWarnings :: Proxy (ScanrSym0 a1627953384 b1627953385) t -> ()

type Apply (TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) (TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> Type) (ScanrSym0 a1627953384 b1627953385) l0

type Apply (TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) (TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> Type) (ScanrSym0 a1627953384 b1627953385) l0 = ScanrSym1 a1627953384 b1627953385 l0

data ScanrSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) -> TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> *) (ScanrSym1 a1627953384 b1627953385)

Methods

suppressUnusedWarnings :: Proxy (ScanrSym1 a1627953384 b1627953385) t -> ()

type Apply b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) (ScanrSym1 a1627953384 b1627953385 l1) l0

type Apply b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) (ScanrSym1 a1627953384 b1627953385 l1) l0 = ScanrSym2 a1627953384 b1627953385 l1 l0

data ScanrSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) -> b1627953385 -> TyFun [a1627953384] [b1627953385] -> *) (ScanrSym2 a1627953384 b1627953385)

Methods

suppressUnusedWarnings :: Proxy (ScanrSym2 a1627953384 b1627953385) t -> ()

type Apply [a1627953384] [b1627953385] (ScanrSym2 a1627953384 b1627953385 l1 l2) l0

type Apply [a1627953384] [b1627953385] (ScanrSym2 a1627953384 b1627953385 l1 l2) l0 = ScanrSym3 a1627953384 b1627953385 l1 l2 l0

type ScanrSym3 t t t = Scanr t t t

data Scanr1Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) (TyFun [a1627953383] [a1627953383] -> Type) -> *) (Scanr1Sym0 a1627953383)

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym0 a1627953383) t -> ()

type Apply (TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) (TyFun [a1627953383] [a1627953383] -> Type) (Scanr1Sym0 a1627953383) l0

type Apply (TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) (TyFun [a1627953383] [a1627953383] -> Type) (Scanr1Sym0 a1627953383) l0 = Scanr1Sym1 a1627953383 l0

data Scanr1Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) -> TyFun [a1627953383] [a1627953383] -> *) (Scanr1Sym1 a1627953383)

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym1 a1627953383) t -> ()

type Apply [a1627953383] [a1627953383] (Scanr1Sym1 a1627953383 l1) l0

type Apply [a1627953383] [a1627953383] (Scanr1Sym1 a1627953383 l1) l0 = Scanr1Sym2 a1627953383 l1 l0

type Scanr1Sym2 t t = Scanr1 t t

data ElemSym0 l

Instances

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

Methods

suppressUnusedWarnings :: Proxy (ElemSym0 a1627953369) t -> ()

type Apply a1627953369 (TyFun [a1627953369] Bool -> Type) (ElemSym0 a1627953369) l0

type Apply a1627953369 (TyFun [a1627953369] Bool -> Type) (ElemSym0 a1627953369) l0 = ElemSym1 a1627953369 l0

data ElemSym1 l l

Instances

SuppressUnusedWarnings (a1627953369 -> TyFun [a1627953369] Bool -> *) (ElemSym1 a1627953369)

Methods

suppressUnusedWarnings :: Proxy (ElemSym1 a1627953369) t -> ()

type Apply [a1627953369] Bool (ElemSym1 a1627953369 l1) l0

type Apply [a1627953369] Bool (ElemSym1 a1627953369 l1) l0 = ElemSym2 a1627953369 l1 l0

type ElemSym2 t t = Elem t t

data NotElemSym0 l

Instances

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

Methods

suppressUnusedWarnings :: Proxy (NotElemSym0 a1627953368) t -> ()

type Apply a1627953368 (TyFun [a1627953368] Bool -> Type) (NotElemSym0 a1627953368) l0

type Apply a1627953368 (TyFun [a1627953368] Bool -> Type) (NotElemSym0 a1627953368) l0 = NotElemSym1 a1627953368 l0

data NotElemSym1 l l

Instances

SuppressUnusedWarnings (a1627953368 -> TyFun [a1627953368] Bool -> *) (NotElemSym1 a1627953368)

Methods

suppressUnusedWarnings :: Proxy (NotElemSym1 a1627953368) t -> ()

type Apply [a1627953368] Bool (NotElemSym1 a1627953368 l1) l0

type Apply [a1627953368] Bool (NotElemSym1 a1627953368 l1) l0 = NotElemSym2 a1627953368 l1 l0

type NotElemSym2 t t = NotElem t t

data ZipSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953366] (TyFun [b1627953367] [(a1627953366, b1627953367)] -> Type) -> *) (ZipSym0 a1627953366 b1627953367)

Methods

suppressUnusedWarnings :: Proxy (ZipSym0 a1627953366 b1627953367) t -> ()

type Apply [a1627953366] (TyFun [b1627953367] [(a1627953366, b1627953367)] -> Type) (ZipSym0 a1627953366 b1627953367) l0

type Apply [a1627953366] (TyFun [b1627953367] [(a1627953366, b1627953367)] -> Type) (ZipSym0 a1627953366 b1627953367) l0 = ZipSym1 b1627953367 a1627953366 l0

data ZipSym1 l l

Instances

SuppressUnusedWarnings ([a1627953366] -> TyFun [b1627953367] [(a1627953366, b1627953367)] -> *) (ZipSym1 b1627953367 a1627953366)

Methods

suppressUnusedWarnings :: Proxy (ZipSym1 b1627953367 a1627953366) t -> ()

type Apply [b1627953367] [(a1627953366, b1627953367)] (ZipSym1 b1627953367 a1627953366 l1) l0

type Apply [b1627953367] [(a1627953366, b1627953367)] (ZipSym1 b1627953367 a1627953366 l1) l0 = ZipSym2 a1627953366 b1627953367 l1 l0

type ZipSym2 t t = Zip t t

data Zip3Sym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953363] (TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> Type) -> *) (Zip3Sym0 a1627953363 b1627953364 c1627953365)

Methods

suppressUnusedWarnings :: Proxy (Zip3Sym0 a1627953363 b1627953364 c1627953365) t -> ()

type Apply [a1627953363] (TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> Type) (Zip3Sym0 a1627953363 b1627953364 c1627953365) l0

type Apply [a1627953363] (TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> Type) (Zip3Sym0 a1627953363 b1627953364 c1627953365) l0 = Zip3Sym1 b1627953364 c1627953365 a1627953363 l0

data Zip3Sym1 l l

Instances

SuppressUnusedWarnings ([a1627953363] -> TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> *) (Zip3Sym1 b1627953364 c1627953365 a1627953363)

Methods

suppressUnusedWarnings :: Proxy (Zip3Sym1 b1627953364 c1627953365 a1627953363) t -> ()

type Apply [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) (Zip3Sym1 b1627953364 c1627953365 a1627953363 l1) l0

type Apply [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) (Zip3Sym1 b1627953364 c1627953365 a1627953363 l1) l0 = Zip3Sym2 c1627953365 b1627953364 a1627953363 l1 l0

data Zip3Sym2 l l l

Instances

SuppressUnusedWarnings ([a1627953363] -> [b1627953364] -> TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> *) (Zip3Sym2 c1627953365 b1627953364 a1627953363)

Methods

suppressUnusedWarnings :: Proxy (Zip3Sym2 c1627953365 b1627953364 a1627953363) t -> ()

type Apply [c1627953365] [(a1627953363, b1627953364, c1627953365)] (Zip3Sym2 c1627953365 b1627953364 a1627953363 l1 l2) l0

type Apply [c1627953365] [(a1627953363, b1627953364, c1627953365)] (Zip3Sym2 c1627953365 b1627953364 a1627953363 l1 l2) l0 = Zip3Sym3 a1627953363 b1627953364 c1627953365 l1 l2 l0

type Zip3Sym3 t t t = Zip3 t t t

data ZipWithSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) (TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> Type) -> *) (ZipWithSym0 a1627953360 b1627953361 c1627953362)

Methods

suppressUnusedWarnings :: Proxy (ZipWithSym0 a1627953360 b1627953361 c1627953362) t -> ()

type Apply (TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) (TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> Type) (ZipWithSym0 a1627953360 b1627953361 c1627953362) l0

type Apply (TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) (TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> Type) (ZipWithSym0 a1627953360 b1627953361 c1627953362) l0 = ZipWithSym1 a1627953360 b1627953361 c1627953362 l0

data ZipWithSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) -> TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> *) (ZipWithSym1 a1627953360 b1627953361 c1627953362)

Methods

suppressUnusedWarnings :: Proxy (ZipWithSym1 a1627953360 b1627953361 c1627953362) t -> ()

type Apply [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) (ZipWithSym1 a1627953360 b1627953361 c1627953362 l1) l0

type Apply [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) (ZipWithSym1 a1627953360 b1627953361 c1627953362 l1) l0 = ZipWithSym2 a1627953360 b1627953361 c1627953362 l1 l0

data ZipWithSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) -> [a1627953360] -> TyFun [b1627953361] [c1627953362] -> *) (ZipWithSym2 a1627953360 b1627953361 c1627953362)

Methods

suppressUnusedWarnings :: Proxy (ZipWithSym2 a1627953360 b1627953361 c1627953362) t -> ()

type Apply [b1627953361] [c1627953362] (ZipWithSym2 a1627953360 b1627953361 c1627953362 l1 l2) l0

type Apply [b1627953361] [c1627953362] (ZipWithSym2 a1627953360 b1627953361 c1627953362 l1 l2) l0 = ZipWithSym3 a1627953360 b1627953361 c1627953362 l1 l2 l0

type ZipWithSym3 t t t = ZipWith t t t

data ZipWith3Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) (TyFun [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a1627953356 b1627953357 c1627953358 d1627953359)

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym0 a1627953356 b1627953357 c1627953358 d1627953359) t -> ()

type Apply (TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) (TyFun [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) -> Type) (ZipWith3Sym0 a1627953356 b1627953357 c1627953358 d1627953359) l0

type Apply (TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) (TyFun [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) -> Type) (ZipWith3Sym0 a1627953356 b1627953357 c1627953358 d1627953359) l0 = ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359 l0

data ZipWith3Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) -> TyFun [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) -> *) (ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359)

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359) t -> ()

type Apply [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) (ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359 l1) l0

type Apply [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) (ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359 l1) l0 = ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359 l1 l0

data ZipWith3Sym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) -> [a1627953356] -> TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> *) (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359)

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359) t -> ()

type Apply [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2) l0

type Apply [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2) l0 = ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2 l0

data ZipWith3Sym3 l l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) -> [a1627953356] -> [b1627953357] -> TyFun [c1627953358] [d1627953359] -> *) (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359)

Methods

suppressUnusedWarnings :: Proxy (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359) t -> ()

type Apply [c1627953358] [d1627953359] (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2 l3) l0

type Apply [c1627953358] [d1627953359] (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2 l3) l0 = ZipWith3Sym4 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2 l3 l0

data UnzipSym0 l

Instances

SuppressUnusedWarnings (TyFun [(a1627953354, b1627953355)] ([a1627953354], [b1627953355]) -> *) (UnzipSym0 a1627953354 b1627953355)

Methods

suppressUnusedWarnings :: Proxy (UnzipSym0 a1627953354 b1627953355) t -> ()

type Apply [(a1627953354, b1627953355)] ([a1627953354], [b1627953355]) (UnzipSym0 a1627953354 b1627953355) l0

type Apply [(a1627953354, b1627953355)] ([a1627953354], [b1627953355]) (UnzipSym0 a1627953354 b1627953355) l0 = UnzipSym1 a1627953354 b1627953355 l0

type UnzipSym1 t = Unzip t

data UntilSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627845465 Bool -> Type) (TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> Type) -> *) (UntilSym0 a1627845465)

Methods

suppressUnusedWarnings :: Proxy (UntilSym0 a1627845465) t -> ()

type Apply (TyFun a1627845465 Bool -> Type) (TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> Type) (UntilSym0 a1627845465) l0

type Apply (TyFun a1627845465 Bool -> Type) (TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> Type) (UntilSym0 a1627845465) l0 = UntilSym1 a1627845465 l0

data UntilSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627845465 Bool -> Type) -> TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> *) (UntilSym1 a1627845465)

Methods

suppressUnusedWarnings :: Proxy (UntilSym1 a1627845465) t -> ()

type Apply (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) (UntilSym1 a1627845465 l1) l0

type Apply (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) (UntilSym1 a1627845465 l1) l0 = UntilSym2 a1627845465 l1 l0

data UntilSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627845465 Bool -> Type) -> (TyFun a1627845465 a1627845465 -> Type) -> TyFun a1627845465 a1627845465 -> *) (UntilSym2 a1627845465)

Methods

suppressUnusedWarnings :: Proxy (UntilSym2 a1627845465) t -> ()

type Apply a1627845465 a1627845465 (UntilSym2 a1627845465 l1 l2) l0

type Apply a1627845465 a1627845465 (UntilSym2 a1627845465 l1 l2) l0 = UntilSym3 a1627845465 l1 l2 l0

type UntilSym3 t t t = Until t t t

data LengthSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953292] Nat -> *) (LengthSym0 a1627953292)

Methods

suppressUnusedWarnings :: Proxy (LengthSym0 a1627953292) t -> ()

type Apply [a1627953292] Nat (LengthSym0 a1627953292) l0

type Apply [a1627953292] Nat (LengthSym0 a1627953292) l0 = LengthSym1 a1627953292 l0

type LengthSym1 t = Length t

data SumSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953294] a1627953294 -> *) (SumSym0 a1627953294)

Methods

suppressUnusedWarnings :: Proxy (SumSym0 a1627953294) t -> ()

type Apply [a1627953294] a1627953294 (SumSym0 a1627953294) l0

type Apply [a1627953294] a1627953294 (SumSym0 a1627953294) l0 = SumSym1 a1627953294 l0

type SumSym1 t = Sum t

data ProductSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953293] a1627953293 -> *) (ProductSym0 a1627953293)

Methods

suppressUnusedWarnings :: Proxy (ProductSym0 a1627953293) t -> ()

type Apply [a1627953293] a1627953293 (ProductSym0 a1627953293) l0

type Apply [a1627953293] a1627953293 (ProductSym0 a1627953293) l0 = ProductSym1 a1627953293 l0

type ProductSym1 t = Product t

data ReplicateSym0 l

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun a1627953291 [a1627953291] -> Type) -> *) (ReplicateSym0 a1627953291)

Methods

suppressUnusedWarnings :: Proxy (ReplicateSym0 a1627953291) t -> ()

type Apply Nat (TyFun a1627953291 [a1627953291] -> Type) (ReplicateSym0 a1627953291) l0

type Apply Nat (TyFun a1627953291 [a1627953291] -> Type) (ReplicateSym0 a1627953291) l0 = ReplicateSym1 a1627953291 l0

data ReplicateSym1 l l

Instances

SuppressUnusedWarnings (Nat -> TyFun a1627953291 [a1627953291] -> *) (ReplicateSym1 a1627953291)

Methods

suppressUnusedWarnings :: Proxy (ReplicateSym1 a1627953291) t -> ()

type Apply a1627953291 [a1627953291] (ReplicateSym1 a1627953291 l1) l0

type Apply a1627953291 [a1627953291] (ReplicateSym1 a1627953291 l1) l0 = ReplicateSym2 a1627953291 l1 l0

type ReplicateSym2 t t = Replicate t t

data TakeSym0 l

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a1627953307] [a1627953307] -> Type) -> *) (TakeSym0 a1627953307)

Methods

suppressUnusedWarnings :: Proxy (TakeSym0 a1627953307) t -> ()

type Apply Nat (TyFun [a1627953307] [a1627953307] -> Type) (TakeSym0 a1627953307) l0

type Apply Nat (TyFun [a1627953307] [a1627953307] -> Type) (TakeSym0 a1627953307) l0 = TakeSym1 a1627953307 l0

data TakeSym1 l l

Instances

SuppressUnusedWarnings (Nat -> TyFun [a1627953307] [a1627953307] -> *) (TakeSym1 a1627953307)

Methods

suppressUnusedWarnings :: Proxy (TakeSym1 a1627953307) t -> ()

type Apply [a1627953307] [a1627953307] (TakeSym1 a1627953307 l1) l0

type Apply [a1627953307] [a1627953307] (TakeSym1 a1627953307 l1) l0 = TakeSym2 a1627953307 l1 l0

type TakeSym2 t t = Take t t

data DropSym0 l

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a1627953306] [a1627953306] -> Type) -> *) (DropSym0 a1627953306)

Methods

suppressUnusedWarnings :: Proxy (DropSym0 a1627953306) t -> ()

type Apply Nat (TyFun [a1627953306] [a1627953306] -> Type) (DropSym0 a1627953306) l0

type Apply Nat (TyFun [a1627953306] [a1627953306] -> Type) (DropSym0 a1627953306) l0 = DropSym1 a1627953306 l0

data DropSym1 l l

Instances

SuppressUnusedWarnings (Nat -> TyFun [a1627953306] [a1627953306] -> *) (DropSym1 a1627953306)

Methods

suppressUnusedWarnings :: Proxy (DropSym1 a1627953306) t -> ()

type Apply [a1627953306] [a1627953306] (DropSym1 a1627953306 l1) l0

type Apply [a1627953306] [a1627953306] (DropSym1 a1627953306 l1) l0 = DropSym2 a1627953306 l1 l0

type DropSym2 t t = Drop t t

data SplitAtSym0 l

Instances

SuppressUnusedWarnings (TyFun Nat (TyFun [a1627953305] ([a1627953305], [a1627953305]) -> Type) -> *) (SplitAtSym0 a1627953305)

Methods

suppressUnusedWarnings :: Proxy (SplitAtSym0 a1627953305) t -> ()

type Apply Nat (TyFun [a1627953305] ([a1627953305], [a1627953305]) -> Type) (SplitAtSym0 a1627953305) l0

type Apply Nat (TyFun [a1627953305] ([a1627953305], [a1627953305]) -> Type) (SplitAtSym0 a1627953305) l0 = SplitAtSym1 a1627953305 l0

data SplitAtSym1 l l

Instances

SuppressUnusedWarnings (Nat -> TyFun [a1627953305] ([a1627953305], [a1627953305]) -> *) (SplitAtSym1 a1627953305)

Methods

suppressUnusedWarnings :: Proxy (SplitAtSym1 a1627953305) t -> ()

type Apply [a1627953305] ([a1627953305], [a1627953305]) (SplitAtSym1 a1627953305 l1) l0

type Apply [a1627953305] ([a1627953305], [a1627953305]) (SplitAtSym1 a1627953305 l1) l0 = SplitAtSym2 a1627953305 l1 l0

type SplitAtSym2 t t = SplitAt t t

data TakeWhileSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953312 Bool -> Type) (TyFun [a1627953312] [a1627953312] -> Type) -> *) (TakeWhileSym0 a1627953312)

Methods

suppressUnusedWarnings :: Proxy (TakeWhileSym0 a1627953312) t -> ()

type Apply (TyFun a1627953312 Bool -> Type) (TyFun [a1627953312] [a1627953312] -> Type) (TakeWhileSym0 a1627953312) l0

type Apply (TyFun a1627953312 Bool -> Type) (TyFun [a1627953312] [a1627953312] -> Type) (TakeWhileSym0 a1627953312) l0 = TakeWhileSym1 a1627953312 l0

data TakeWhileSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953312 Bool -> Type) -> TyFun [a1627953312] [a1627953312] -> *) (TakeWhileSym1 a1627953312)

Methods

suppressUnusedWarnings :: Proxy (TakeWhileSym1 a1627953312) t -> ()

type Apply [a1627953312] [a1627953312] (TakeWhileSym1 a1627953312 l1) l0

type Apply [a1627953312] [a1627953312] (TakeWhileSym1 a1627953312 l1) l0 = TakeWhileSym2 a1627953312 l1 l0

type TakeWhileSym2 t t = TakeWhile t t

data DropWhileSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953311 Bool -> Type) (TyFun [a1627953311] [a1627953311] -> Type) -> *) (DropWhileSym0 a1627953311)

Methods

suppressUnusedWarnings :: Proxy (DropWhileSym0 a1627953311) t -> ()

type Apply (TyFun a1627953311 Bool -> Type) (TyFun [a1627953311] [a1627953311] -> Type) (DropWhileSym0 a1627953311) l0

type Apply (TyFun a1627953311 Bool -> Type) (TyFun [a1627953311] [a1627953311] -> Type) (DropWhileSym0 a1627953311) l0 = DropWhileSym1 a1627953311 l0

data DropWhileSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953311 Bool -> Type) -> TyFun [a1627953311] [a1627953311] -> *) (DropWhileSym1 a1627953311)

Methods

suppressUnusedWarnings :: Proxy (DropWhileSym1 a1627953311) t -> ()

type Apply [a1627953311] [a1627953311] (DropWhileSym1 a1627953311 l1) l0

type Apply [a1627953311] [a1627953311] (DropWhileSym1 a1627953311 l1) l0 = DropWhileSym2 a1627953311 l1 l0

type DropWhileSym2 t t = DropWhile t t

data SpanSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953309 Bool -> Type) (TyFun [a1627953309] ([a1627953309], [a1627953309]) -> Type) -> *) (SpanSym0 a1627953309)

Methods

suppressUnusedWarnings :: Proxy (SpanSym0 a1627953309) t -> ()

type Apply (TyFun a1627953309 Bool -> Type) (TyFun [a1627953309] ([a1627953309], [a1627953309]) -> Type) (SpanSym0 a1627953309) l0

type Apply (TyFun a1627953309 Bool -> Type) (TyFun [a1627953309] ([a1627953309], [a1627953309]) -> Type) (SpanSym0 a1627953309) l0 = SpanSym1 a1627953309 l0

data SpanSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953309 Bool -> Type) -> TyFun [a1627953309] ([a1627953309], [a1627953309]) -> *) (SpanSym1 a1627953309)

Methods

suppressUnusedWarnings :: Proxy (SpanSym1 a1627953309) t -> ()

type Apply [a1627953309] ([a1627953309], [a1627953309]) (SpanSym1 a1627953309 l1) l0

type Apply [a1627953309] ([a1627953309], [a1627953309]) (SpanSym1 a1627953309 l1) l0 = SpanSym2 a1627953309 l1 l0

type SpanSym2 t t = Span t t

data BreakSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953308 Bool -> Type) (TyFun [a1627953308] ([a1627953308], [a1627953308]) -> Type) -> *) (BreakSym0 a1627953308)

Methods

suppressUnusedWarnings :: Proxy (BreakSym0 a1627953308) t -> ()

type Apply (TyFun a1627953308 Bool -> Type) (TyFun [a1627953308] ([a1627953308], [a1627953308]) -> Type) (BreakSym0 a1627953308) l0

type Apply (TyFun a1627953308 Bool -> Type) (TyFun [a1627953308] ([a1627953308], [a1627953308]) -> Type) (BreakSym0 a1627953308) l0 = BreakSym1 a1627953308 l0

data BreakSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953308 Bool -> Type) -> TyFun [a1627953308] ([a1627953308], [a1627953308]) -> *) (BreakSym1 a1627953308)

Methods

suppressUnusedWarnings :: Proxy (BreakSym1 a1627953308) t -> ()

type Apply [a1627953308] ([a1627953308], [a1627953308]) (BreakSym1 a1627953308 l1) l0

type Apply [a1627953308] ([a1627953308], [a1627953308]) (BreakSym1 a1627953308 l1) l0 = BreakSym2 a1627953308 l1 l0

type BreakSym2 t t = Break t t

data LookupSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) -> *) (LookupSym0 a1627953297 b1627953298)

Methods

suppressUnusedWarnings :: Proxy (LookupSym0 a1627953297 b1627953298) t -> ()

type Apply a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) (LookupSym0 a1627953297 b1627953298) l0

type Apply a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) (LookupSym0 a1627953297 b1627953298) l0 = LookupSym1 b1627953298 a1627953297 l0

data LookupSym1 l l

Instances

SuppressUnusedWarnings (a1627953297 -> TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> *) (LookupSym1 b1627953298 a1627953297)

Methods

suppressUnusedWarnings :: Proxy (LookupSym1 b1627953298 a1627953297) t -> ()

type Apply [(a1627953297, b1627953298)] (Maybe b1627953298) (LookupSym1 b1627953298 a1627953297 l1) l0

type Apply [(a1627953297, b1627953298)] (Maybe b1627953298) (LookupSym1 b1627953298 a1627953297 l1) l0 = LookupSym2 a1627953297 b1627953298 l1 l0

type LookupSym2 t t = Lookup t t

data FilterSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) -> *) (FilterSym0 a1627953320)

Methods

suppressUnusedWarnings :: Proxy (FilterSym0 a1627953320) t -> ()

type Apply (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) (FilterSym0 a1627953320) l0

type Apply (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) (FilterSym0 a1627953320) l0 = FilterSym1 a1627953320 l0

data FilterSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953320 Bool -> Type) -> TyFun [a1627953320] [a1627953320] -> *) (FilterSym1 a1627953320)

Methods

suppressUnusedWarnings :: Proxy (FilterSym1 a1627953320) t -> ()

type Apply [a1627953320] [a1627953320] (FilterSym1 a1627953320 l1) l0

type Apply [a1627953320] [a1627953320] (FilterSym1 a1627953320 l1) l0 = FilterSym2 a1627953320 l1 l0

type FilterSym2 t t = Filter t t

data (:!!$) l

Instances

SuppressUnusedWarnings (TyFun [a1627953289] (TyFun Nat a1627953289 -> Type) -> *) ((:!!$) a1627953289)

Methods

suppressUnusedWarnings :: Proxy ((:!!$) a1627953289) t -> ()

type Apply [a1627953289] (TyFun Nat a1627953289 -> Type) ((:!!$) a1627953289) l0

type Apply [a1627953289] (TyFun Nat a1627953289 -> Type) ((:!!$) a1627953289) l0 = (:!!$$) a1627953289 l0

data l :!!$$ l

Instances

SuppressUnusedWarnings ([a1627953289] -> TyFun Nat a1627953289 -> *) ((:!!$$) a1627953289)

Methods

suppressUnusedWarnings :: Proxy ((:!!$$) a1627953289) t -> ()

type Apply Nat a1627953289 ((:!!$$) a1627953289 l1) l0

type Apply Nat a1627953289 ((:!!$$) a1627953289 l1) l0 = (:!!$$$) a1627953289 l1 l0

type (:!!$$$) t t = (:!!) t t