singletons-2.2: A framework for generating singleton types

Data.Promotion.Prelude

Description

Mimics the Haskell Prelude, but with promoted types.

Synopsis

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

Equations

 Not False = TrueSym0 Not True = FalseSym0

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

Equations

 False :&& _z_1627658356 = FalseSym0 True :&& x = x

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

Equations

 False :|| x = x True :|| _z_1627658344 = TrueSym0

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

Equations

 Otherwise = TrueSym0

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

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

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

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

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 Methodssing :: Sing a a SingKind Symbol (KProxy Symbol) Associated Typestype DemoteRep (KProxy Symbol) (kparam :: KProxy (KProxy Symbol)) :: * MethodsfromSing :: Sing (KProxy Symbol) a -> DemoteRep (KProxy Symbol) kparam data Sing Symbol data Sing Symbol whereSSym :: Sing Symbol s type DemoteRep Symbol Source # data Sing Symbol Source # data Sing Symbol whereSSym :: Sing Symbol n type (==) Symbol a b type (==) Symbol a b = EqSymbol a b type (:==) Symbol a b Source # type (:==) Symbol a b = (==) Symbol a b type (:/=) Symbol x y Source # type (:/=) Symbol x y = Not ((:==) Symbol x y) type Compare Symbol a b Source # type Compare Symbol a b = CmpSymbol a b type (:<) Symbol arg0 arg1 Source # type (:<) Symbol arg0 arg1 type (:<=) Symbol arg0 arg1 Source # type (:<=) Symbol arg0 arg1 type (:>) Symbol arg0 arg1 Source # type (:>) Symbol arg0 arg1 type (:>=) Symbol arg0 arg1 Source # type (:>=) Symbol arg0 arg1 type Max Symbol arg0 arg1 Source # type Max Symbol arg0 arg1 type Min Symbol arg0 arg1 Source # type Min Symbol arg0 arg1 type DemoteRep Symbol (KProxy Symbol) type DemoteRep Symbol (KProxy Symbol) = String

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

Equations

 Fst '(x, _z_1627840782) = x

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

Equations

 Snd '(_z_1627840773, y) = y

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

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

Equations

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

# Error reporting

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

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

data ErrorSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun k01627810588 k1627810590 -> *) (ErrorSym0 k01627810588 k1627810590) Source # MethodssuppressUnusedWarnings :: Proxy (ErrorSym0 k01627810588 k1627810590) t -> () Source # type Apply k01627810588 k2 (ErrorSym0 k01627810588 k2) l0 Source # type Apply k01627810588 k2 (ErrorSym0 k01627810588 k2) l0 = ErrorSym1 k01627810588 k2 l0

# 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.

# Promoted numbers

## Miscellaneous functions

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

Equations

 Id x = x

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

Equations

 Const x _z_1627796772 = x

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

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 Source # Instances  type ($) k1 k2 f x Source # type ($) k1 k2 f x = (@@) k1 k2 f x type family (f :: TyFun a b -> *)$! (x :: a) :: b infixr 0 Source #

Instances

 type ($!) k1 k2 f x Source # 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 ... Source #

Equations

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

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

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

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

Equations

 Seq _z_1627796698 x = x

# List operations

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

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 Source # 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 ... Source # Equations  Filter _p '[] = '[] Filter p ((:) x xs) = Case_1627954721 p x xs (Let1627954708Scrutinee_1627953910Sym3 p x xs) type family Head (a :: [a]) :: a where ... Source # Equations  Head ((:) a _z_1627957326) = a Head '[] = Apply ErrorSym0 "Data.Singletons.List.head: empty list" type family Last (a :: [a]) :: a where ... Source # 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 ... Source #

Equations

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

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

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

Equations

 Null '[] = TrueSym0 Null ((:) _z_1627957205 _z_1627957208) = FalseSym0

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

Equations

 Length '[] = FromInteger 0 Length ((:) _z_1627954120 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply LengthSym0 xs) type family (a :: [a]) :!! (a :: Nat) :: a where ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # Equations  And '[] = TrueSym0 And ((:) x xs) = Apply (Apply (:&&$) x) (Apply AndSym0 xs)

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

Equations

 Or '[] = FalseSym0 Or ((:) x xs) = Apply (Apply (:||$) x) (Apply OrSym0 xs) any_ :: forall a. (a -> Bool) -> [a] -> Bool Source # type family Any_ (a :: TyFun a Bool -> Type) (a :: [a]) :: Bool where ... Source # 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 ... Source #

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 ... Source # Equations  Sum l = Apply (Apply (Let1627954153Sum'Sym1 l) l) (FromInteger 0) type family Product (a :: [a]) :: a where ... Source # Equations  Product l = Apply (Apply (Let1627954129ProdSym1 l) l) (FromInteger 1) type family Concat (a :: [[a]]) :: [a] where ... Source # Equations  Concat a_1627956357 = Apply (Apply (Apply FoldrSym0 (:++$)) '[]) a_1627956357

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

Equations

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

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

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

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

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

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 ... Source # Equations  Replicate n x = Case_1627954113 n x (Let1627954105Scrutinee_1627953948Sym2 n x) ## Sublists type family Take (a :: Nat) (a :: [a]) :: [a] where ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source # 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 ... Source #

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

Equations

# Defunctionalization symbols

data NotSym0 l Source #

Instances

 Source # Methods type Apply Bool Bool NotSym0 l0 Source # type Apply Bool Bool NotSym0 l0 = NotSym1 l0

type NotSym1 t = Not t Source #

data (:&&$) l Source # Instances  Source # Methods type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l0 Source # type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l0 = (:&&$$) l0 data l :&&$$ l Source # Instances  Source # Methods type Apply Bool Bool ((:&&$$) l1) l0 Source # type Apply Bool Bool ((:&&$$) l1) l0 = (:&&$$) l1 l0 type (:&&$$$) t t = (:&&) t t Source #

data (:||$) l Source # Instances  Source # Methods type Apply Bool (TyFun Bool Bool -> Type) (:||$) l0 Source # type Apply Bool (TyFun Bool Bool -> Type) (:||$) l0 = (:||$$) l0 data l :||$$ l Source # Instances  Source # Methods type Apply Bool Bool ((:||$$) l1) l0 Source # type Apply Bool Bool ((:||$$) l1) l0 = (:||$$) l1 l0 type (:||$$$) t t = (:||) t t Source #

data JustSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a822083586 (Maybe a822083586) -> *) (JustSym0 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (JustSym0 a822083586) t -> () Source # type Apply a822083586 (Maybe a822083586) (JustSym0 a822083586) l0 Source # type Apply a822083586 (Maybe a822083586) (JustSym0 a822083586) l0 = JustSym1 a822083586 l0

type JustSym1 t = Just t Source #

data Maybe_Sym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun b1627847771 (TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> Type) -> *) (Maybe_Sym0 a1627847772 b1627847771) Source # MethodssuppressUnusedWarnings :: Proxy (Maybe_Sym0 a1627847772 b1627847771) t -> () Source # type Apply b1627847771 (TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> Type) (Maybe_Sym0 a1627847772 b1627847771) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (b1627847771 -> TyFun (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) -> *) (Maybe_Sym1 a1627847772 b1627847771) Source # MethodssuppressUnusedWarnings :: Proxy (Maybe_Sym1 a1627847772 b1627847771) t -> () Source # type Apply (TyFun a1627847772 b1627847771 -> Type) (TyFun (Maybe a1627847772) b1627847771 -> Type) (Maybe_Sym1 a1627847772 b1627847771 l1) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (b1627847771 -> (TyFun a1627847772 b1627847771 -> Type) -> TyFun (Maybe a1627847772) b1627847771 -> *) (Maybe_Sym2 a1627847772 b1627847771) Source # MethodssuppressUnusedWarnings :: Proxy (Maybe_Sym2 a1627847772 b1627847771) t -> () Source # type Apply (Maybe a1627847772) b1627847771 (Maybe_Sym2 a1627847772 b1627847771 l1 l2) l0 Source # 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 Source #

data LeftSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a1627437720 (Either a1627437720 b1627437721) -> *) (LeftSym0 a1627437720 b1627437721) Source # MethodssuppressUnusedWarnings :: Proxy (LeftSym0 a1627437720 b1627437721) t -> () Source # type Apply a1627437720 (Either a1627437720 b1627437721) (LeftSym0 a1627437720 b1627437721) l0 Source # type Apply a1627437720 (Either a1627437720 b1627437721) (LeftSym0 a1627437720 b1627437721) l0 = LeftSym1 a1627437720 b1627437721 l0

type LeftSym1 t = Left t Source #

data RightSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun b1627437721 (Either a1627437720 b1627437721) -> *) (RightSym0 a1627437720 b1627437721) Source # MethodssuppressUnusedWarnings :: Proxy (RightSym0 a1627437720 b1627437721) t -> () Source # type Apply b1627437721 (Either a1627437720 b1627437721) (RightSym0 a1627437720 b1627437721) l0 Source # type Apply b1627437721 (Either a1627437720 b1627437721) (RightSym0 a1627437720 b1627437721) l0 = RightSym1 b1627437721 a1627437720 l0

type RightSym1 t = Right t Source #

data Either_Sym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (TyFun a1627829180 c1627829181 -> Type) (TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> Type) -> *) (Either_Sym0 a1627829180 b1627829182 c1627829181) Source # MethodssuppressUnusedWarnings :: Proxy (Either_Sym0 a1627829180 b1627829182 c1627829181) t -> () Source # type Apply (TyFun a1627829180 c1627829181 -> Type) (TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> Type) (Either_Sym0 a1627829180 b1627829182 c1627829181) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings ((TyFun a1627829180 c1627829181 -> Type) -> TyFun (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) -> *) (Either_Sym1 b1627829182 a1627829180 c1627829181) Source # MethodssuppressUnusedWarnings :: Proxy (Either_Sym1 b1627829182 a1627829180 c1627829181) t -> () Source # type Apply (TyFun b1627829182 c1627829181 -> Type) (TyFun (Either a1627829180 b1627829182) c1627829181 -> Type) (Either_Sym1 b1627829182 a1627829180 c1627829181 l1) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings ((TyFun a1627829180 c1627829181 -> Type) -> (TyFun b1627829182 c1627829181 -> Type) -> TyFun (Either a1627829180 b1627829182) c1627829181 -> *) (Either_Sym2 b1627829182 a1627829180 c1627829181) Source # MethodssuppressUnusedWarnings :: Proxy (Either_Sym2 b1627829182 a1627829180 c1627829181) t -> () Source # type Apply (Either a1627829180 b1627829182) c1627829181 (Either_Sym2 b1627829182 a1627829180 c1627829181 l1 l2) l0 Source # 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 Source #

type Tuple0Sym0 = '() Source #

data Tuple2Sym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (a822083586, b822083587) -> Type) -> *) (Tuple2Sym0 a822083586 b822083587) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple2Sym0 a822083586 b822083587) t -> () Source # type Apply a822083586 (TyFun b822083587 (a822083586, b822083587) -> Type) (Tuple2Sym0 a822083586 b822083587) l0 Source # type Apply a822083586 (TyFun b822083587 (a822083586, b822083587) -> Type) (Tuple2Sym0 a822083586 b822083587) l0 = Tuple2Sym1 b822083587 a822083586 l0

data Tuple2Sym1 l l Source #

Instances

 SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (a822083586, b822083587) -> *) (Tuple2Sym1 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple2Sym1 b822083587 a822083586) t -> () Source # type Apply b822083587 (a822083586, b822083587) (Tuple2Sym1 b822083587 a822083586 l1) l0 Source # type Apply b822083587 (a822083586, b822083587) (Tuple2Sym1 b822083587 a822083586 l1) l0 = Tuple2Sym2 a822083586 b822083587 l1 l0

type Tuple2Sym2 t t = '(t, t) Source #

data Tuple3Sym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> Type) -> *) (Tuple3Sym0 a822083586 b822083587 c822083588) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple3Sym0 a822083586 b822083587 c822083588) t -> () Source # type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> Type) (Tuple3Sym0 a822083586 b822083587 c822083588) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) -> *) (Tuple3Sym1 b822083587 c822083588 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple3Sym1 b822083587 c822083588 a822083586) t -> () Source # type Apply b822083587 (TyFun c822083588 (a822083586, b822083587, c822083588) -> Type) (Tuple3Sym1 b822083587 c822083588 a822083586 l1) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (a822083586, b822083587, c822083588) -> *) (Tuple3Sym2 c822083588 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple3Sym2 c822083588 b822083587 a822083586) t -> () Source # type Apply c822083588 (a822083586, b822083587, c822083588) (Tuple3Sym2 c822083588 b822083587 a822083586 l1 l2) l0 Source # 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) Source #

data Tuple4Sym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589) t -> () Source # type Apply a822083586 (TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083586 b822083587 c822083588 d822083589) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> TyFun b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) -> *) (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586) t -> () Source # type Apply b822083587 (TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> Type) (Tuple4Sym1 b822083587 c822083588 d822083589 a822083586 l1) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) -> *) (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586) t -> () Source # type Apply c822083588 (TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> Type) (Tuple4Sym2 c822083588 d822083589 b822083587 a822083586 l1 l2) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> TyFun d822083589 (a822083586, b822083587, c822083588, d822083589) -> *) (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586) t -> () Source # type Apply d822083589 (a822083586, b822083587, c822083588, d822083589) (Tuple4Sym3 d822083589 c822083588 b822083587 a822083586 l1 l2 l3) l0 Source # 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) Source #

data Tuple5Sym0 l Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple5Sym0 a822083586 b822083587 c822083588 d822083589 e822083590) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple5Sym1 b822083587 c822083588 d822083589 e822083590 a822083586) t -> () Source # 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 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> TyFun c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) -> *) (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586) t -> () Source # type Apply c822083588 (TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> Type) (Tuple5Sym2 c822083588 d822083589 e822083590 b822083587 a822083586 l1 l2) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> TyFun d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) -> *) (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586) t -> () Source # type Apply d822083589 (TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> Type) (Tuple5Sym3 d822083589 e822083590 c822083588 b822083587 a822083586 l1 l2 l3) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> TyFun e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) -> *) (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586) t -> () Source # type Apply e822083590 (a822083586, b822083587, c822083588, d822083589, e822083590) (Tuple5Sym4 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0 Source # 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) Source #

data Tuple6Sym0 l Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple6Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple6Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple6Sym2 c822083588 d822083589 e822083590 f822083591 b822083587 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple6Sym3 d822083589 e822083590 f822083591 c822083588 b822083587 a822083586) t -> () Source # 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 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> TyFun e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) -> *) (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586) t -> () Source # type Apply e822083590 (TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> Type) (Tuple6Sym4 e822083590 f822083591 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings (a822083586 -> b822083587 -> c822083588 -> d822083589 -> e822083590 -> TyFun f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) -> *) (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586) t -> () Source # type Apply f822083591 (a822083586, b822083587, c822083588, d822083589, e822083590, f822083591) (Tuple6Sym5 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586 l1 l2 l3 l4 l5) l0 Source # 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) Source #

data Tuple7Sym0 l Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym0 a822083586 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym1 b822083587 c822083588 d822083589 e822083590 f822083591 g822083592 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym2 c822083588 d822083589 e822083590 f822083591 g822083592 b822083587 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym3 d822083589 e822083590 f822083591 g822083592 c822083588 b822083587 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym4 e822083590 f822083591 g822083592 d822083589 c822083588 b822083587 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym5 f822083591 g822083592 e822083590 d822083589 c822083588 b822083587 a822083586) t -> () Source # 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 Source # 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 Source #

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) Source # MethodssuppressUnusedWarnings :: Proxy (Tuple7Sym6 g822083592 f822083591 e822083590 d822083589 c822083588 b822083587 a822083586) t -> () Source # 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 Source # 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) Source #

data FstSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (a1627840729, b1627840730) a1627840729 -> *) (FstSym0 b1627840730 a1627840729) Source # MethodssuppressUnusedWarnings :: Proxy (FstSym0 b1627840730 a1627840729) t -> () Source # type Apply (a1627840729, b1627840730) a1627840729 (FstSym0 b1627840730 a1627840729) l0 Source # type Apply (a1627840729, b1627840730) a1627840729 (FstSym0 b1627840730 a1627840729) l0 = FstSym1 a1627840729 b1627840730 l0

type FstSym1 t = Fst t Source #

data SndSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (a1627840727, b1627840728) b1627840728 -> *) (SndSym0 a1627840727 b1627840728) Source # MethodssuppressUnusedWarnings :: Proxy (SndSym0 a1627840727 b1627840728) t -> () Source # type Apply (a1627840727, b1627840728) b1627840728 (SndSym0 a1627840727 b1627840728) l0 Source # type Apply (a1627840727, b1627840728) b1627840728 (SndSym0 a1627840727 b1627840728) l0 = SndSym1 a1627840727 b1627840728 l0

type SndSym1 t = Snd t Source #

data CurrySym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (TyFun (a1627840724, b1627840725) c1627840726 -> Type) (TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> Type) -> *) (CurrySym0 a1627840724 b1627840725 c1627840726) Source # MethodssuppressUnusedWarnings :: Proxy (CurrySym0 a1627840724 b1627840725 c1627840726) t -> () Source # type Apply (TyFun (a1627840724, b1627840725) c1627840726 -> Type) (TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> Type) (CurrySym0 a1627840724 b1627840725 c1627840726) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings ((TyFun (a1627840724, b1627840725) c1627840726 -> Type) -> TyFun a1627840724 (TyFun b1627840725 c1627840726 -> Type) -> *) (CurrySym1 a1627840724 b1627840725 c1627840726) Source # MethodssuppressUnusedWarnings :: Proxy (CurrySym1 a1627840724 b1627840725 c1627840726) t -> () Source # type Apply a1627840724 (TyFun b1627840725 c1627840726 -> Type) (CurrySym1 a1627840724 b1627840725 c1627840726 l1) l0 Source # type Apply a1627840724 (TyFun b1627840725 c1627840726 -> Type) (CurrySym1 a1627840724 b1627840725 c1627840726 l1) l0 = CurrySym2 a1627840724 b1627840725 c1627840726 l1 l0

data CurrySym2 l l l Source #

Instances

 SuppressUnusedWarnings ((TyFun (a1627840724, b1627840725) c1627840726 -> Type) -> a1627840724 -> TyFun b1627840725 c1627840726 -> *) (CurrySym2 a1627840724 b1627840725 c1627840726) Source # MethodssuppressUnusedWarnings :: Proxy (CurrySym2 a1627840724 b1627840725 c1627840726) t -> () Source # type Apply b1627840725 c1627840726 (CurrySym2 a1627840724 b1627840725 c1627840726 l1 l2) l0 Source # 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 Source #

data UncurrySym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) (TyFun (a1627840721, b1627840722) c1627840723 -> Type) -> *) (UncurrySym0 a1627840721 b1627840722 c1627840723) Source # MethodssuppressUnusedWarnings :: Proxy (UncurrySym0 a1627840721 b1627840722 c1627840723) t -> () Source # type Apply (TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) (TyFun (a1627840721, b1627840722) c1627840723 -> Type) (UncurrySym0 a1627840721 b1627840722 c1627840723) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings ((TyFun a1627840721 (TyFun b1627840722 c1627840723 -> Type) -> Type) -> TyFun (a1627840721, b1627840722) c1627840723 -> *) (UncurrySym1 a1627840721 b1627840722 c1627840723) Source # MethodssuppressUnusedWarnings :: Proxy (UncurrySym1 a1627840721 b1627840722 c1627840723) t -> () Source # type Apply (a1627840721, b1627840722) c1627840723 (UncurrySym1 a1627840721 b1627840722 c1627840723 l1) l0 Source # type Apply (a1627840721, b1627840722) c1627840723 (UncurrySym1 a1627840721 b1627840722 c1627840723 l1) l0 = UncurrySym2 a1627840721 b1627840722 c1627840723 l1 l0

type UncurrySym2 t t = Uncurry t t Source #

data (:^$) l Source # Instances  Source # Methods type Apply Nat (TyFun Nat Nat -> *) (:^$) l0 Source # type Apply Nat (TyFun Nat Nat -> *) (:^$) l0 = (:^$$) l0 data l :^$$ l Source # Instances  Source # Methods type Apply Nat Nat ((:^$$) l1) l0 Source # type Apply Nat Nat ((:^$$) l1) l0 = (:^$$) l1 l0 data IdSym0 l Source # Instances  SuppressUnusedWarnings (TyFun a1627796653 a1627796653 -> *) (IdSym0 a1627796653) Source # MethodssuppressUnusedWarnings :: Proxy (IdSym0 a1627796653) t -> () Source # type Apply a1627796653 a1627796653 (IdSym0 a1627796653) l0 Source # type Apply a1627796653 a1627796653 (IdSym0 a1627796653) l0 = IdSym1 a1627796653 l0 type IdSym1 t = Id t Source # data ConstSym0 l Source # Instances  SuppressUnusedWarnings (TyFun a1627796651 (TyFun b1627796652 a1627796651 -> Type) -> *) (ConstSym0 b1627796652 a1627796651) Source # MethodssuppressUnusedWarnings :: Proxy (ConstSym0 b1627796652 a1627796651) t -> () Source # type Apply a1627796651 (TyFun b1627796652 a1627796651 -> Type) (ConstSym0 b1627796652 a1627796651) l0 Source # type Apply a1627796651 (TyFun b1627796652 a1627796651 -> Type) (ConstSym0 b1627796652 a1627796651) l0 = ConstSym1 b1627796652 a1627796651 l0 data ConstSym1 l l Source # Instances  SuppressUnusedWarnings (a1627796651 -> TyFun b1627796652 a1627796651 -> *) (ConstSym1 b1627796652 a1627796651) Source # MethodssuppressUnusedWarnings :: Proxy (ConstSym1 b1627796652 a1627796651) t -> () Source # type Apply b1627796652 a1627796651 (ConstSym1 b1627796652 a1627796651 l1) l0 Source # type Apply b1627796652 a1627796651 (ConstSym1 b1627796652 a1627796651 l1) l0 = ConstSym2 a1627796651 b1627796652 l1 l0 type ConstSym2 t t = Const t t Source # data (:.) l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun b1627796648 c1627796649 -> Type) (TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> Type) -> *) ((:.) b1627796648 a1627796650 c1627796649) Source # MethodssuppressUnusedWarnings :: Proxy ((b1627796648 :. a1627796650) c1627796649) t -> () Source # type Apply (TyFun b1627796648 c1627796649 -> Type) (TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> Type) ((:.) b1627796648 a1627796650 c1627796649) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun b1627796648 c1627796649 -> Type) -> TyFun (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) -> *) ((:.$$) a1627796650 b1627796648 c1627796649) Source # MethodssuppressUnusedWarnings :: Proxy ((a1627796650 :.$$b1627796648) c1627796649) t -> () Source # type Apply (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) ((:.$$) a1627796650 b1627796648 c1627796649 l1) l0 Source # type Apply (TyFun a1627796650 b1627796648 -> Type) (TyFun a1627796650 c1627796649 -> Type) ((:.$$) a1627796650 b1627796648 c1627796649 l1) l0 = (:.$$$) a1627796650 b1627796648 c1627796649 l1 l0

data (l :.$$l) l Source # Instances  SuppressUnusedWarnings ((TyFun b1627796648 c1627796649 -> Type) -> (TyFun a1627796650 b1627796648 -> Type) -> TyFun a1627796650 c1627796649 -> *) ((:.$$$) a1627796650 b1627796648 c1627796649) Source # MethodssuppressUnusedWarnings :: Proxy ((a1627796650 :.$$b1627796648) c1627796649) t -> () Source # type Apply a1627796650 c1627796649 ((:.$$$) a1627796650 b1627796648 c1627796649 l1 l2) l0 Source # type Apply a1627796650 c1627796649 ((:.$$) a1627796650 b1627796648 c1627796649 l1 l2) l0 = (:.$$$$) b1627796648 c1627796649 a1627796650 l1 l2 l0 data ($$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source #

Instances

 type Apply (TyFun a b -> *) (TyFun a b -> *) (($$) a b) arg Source # type Apply (TyFun a b -> *) (TyFun a b -> *) (($$) a b) arg = ($$) a b arg data ($$$) :: (TyFun a b -> *) -> TyFun a b -> * Source # Instances  type Apply a b (($$) a b f) arg Source # type Apply a b (($$$) a b f) arg = () a b f arg

type () a b = ($) a b Source # data ($!$) :: TyFun (TyFun a b -> *) (TyFun a b -> *) -> * Source # Instances  type Apply (TyFun a b -> *) (TyFun a b -> *) (($!$) a b) arg Source # type Apply (TyFun a b -> *) (TyFun a b -> *) (($!$) a b) arg = ($!$$) a b arg data (!$$) :: (TyFun a b -> *) -> TyFun a b -> * Source #

Instances

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

data FlipSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) (TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> Type) -> *) (FlipSym0 b1627796646 a1627796645 c1627796647) Source # MethodssuppressUnusedWarnings :: Proxy (FlipSym0 b1627796646 a1627796645 c1627796647) t -> () Source # type Apply (TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) (TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> Type) (FlipSym0 b1627796646 a1627796645 c1627796647) l0 Source # 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 Source #

Instances

 SuppressUnusedWarnings ((TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) -> TyFun b1627796646 (TyFun a1627796645 c1627796647 -> Type) -> *) (FlipSym1 a1627796645 b1627796646 c1627796647) Source # MethodssuppressUnusedWarnings :: Proxy (FlipSym1 a1627796645 b1627796646 c1627796647) t -> () Source # type Apply b1627796646 (TyFun a1627796645 c1627796647 -> Type) (FlipSym1 a1627796645 b1627796646 c1627796647 l1) l0 Source # type Apply b1627796646 (TyFun a1627796645 c1627796647 -> Type) (FlipSym1 a1627796645 b1627796646 c1627796647 l1) l0 = FlipSym2 a1627796645 b1627796646 c1627796647 l1 l0

data FlipSym2 l l l Source #

Instances

 SuppressUnusedWarnings ((TyFun a1627796645 (TyFun b1627796646 c1627796647 -> Type) -> Type) -> b1627796646 -> TyFun a1627796645 c1627796647 -> *) (FlipSym2 a1627796645 b1627796646 c1627796647) Source # MethodssuppressUnusedWarnings :: Proxy (FlipSym2 a1627796645 b1627796646 c1627796647) t -> () Source # type Apply a1627796645 c1627796647 (FlipSym2 a1627796645 b1627796646 c1627796647 l1 l2) l0 Source # type Apply a1627796645 c1627796647 (FlipSym2 a1627796645 b1627796646 c1627796647 l1 l2) l0 = FlipSym3 a1627796645 b1627796646 c1627796647 l1 l2 l0

data AsTypeOfSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a1627796644 (TyFun a1627796644 a1627796644 -> Type) -> *) (AsTypeOfSym0 a1627796644) Source # MethodssuppressUnusedWarnings :: Proxy (AsTypeOfSym0 a1627796644) t -> () Source # type Apply a1627796644 (TyFun a1627796644 a1627796644 -> Type) (AsTypeOfSym0 a1627796644) l0 Source # type Apply a1627796644 (TyFun a1627796644 a1627796644 -> Type) (AsTypeOfSym0 a1627796644) l0 = AsTypeOfSym1 a1627796644 l0

data AsTypeOfSym1 l l Source #

Instances

 SuppressUnusedWarnings (a1627796644 -> TyFun a1627796644 a1627796644 -> *) (AsTypeOfSym1 a1627796644) Source # MethodssuppressUnusedWarnings :: Proxy (AsTypeOfSym1 a1627796644) t -> () Source # type Apply a1627796644 a1627796644 (AsTypeOfSym1 a1627796644 l1) l0 Source # type Apply a1627796644 a1627796644 (AsTypeOfSym1 a1627796644 l1) l0 = AsTypeOfSym2 a1627796644 l1 l0

type AsTypeOfSym2 t t = AsTypeOf t t Source #

data SeqSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun a1627796642 (TyFun b1627796643 b1627796643 -> Type) -> *) (SeqSym0 a1627796642 b1627796643) Source # MethodssuppressUnusedWarnings :: Proxy (SeqSym0 a1627796642 b1627796643) t -> () Source # type Apply a1627796642 (TyFun b1627796643 b1627796643 -> Type) (SeqSym0 a1627796642 b1627796643) l0 Source # type Apply a1627796642 (TyFun b1627796643 b1627796643 -> Type) (SeqSym0 a1627796642 b1627796643) l0 = SeqSym1 b1627796643 a1627796642 l0

data SeqSym1 l l Source #

Instances

 SuppressUnusedWarnings (a1627796642 -> TyFun b1627796643 b1627796643 -> *) (SeqSym1 b1627796643 a1627796642) Source # MethodssuppressUnusedWarnings :: Proxy (SeqSym1 b1627796643 a1627796642) t -> () Source # type Apply b1627796643 b1627796643 (SeqSym1 b1627796643 a1627796642 l1) l0 Source # type Apply b1627796643 b1627796643 (SeqSym1 b1627796643 a1627796642 l1) l0 = SeqSym2 a1627796642 b1627796643 l1 l0

type SeqSym2 t t = Seq t t Source #

data (:$) l Source # Instances  SuppressUnusedWarnings (TyFun a822083586 (TyFun [a822083586] [a822083586] -> Type) -> *) ((:$) a822083586) Source # MethodssuppressUnusedWarnings :: Proxy ((:$) a822083586) t -> () Source # type Apply a822083586 (TyFun [a822083586] [a822083586] -> Type) ((:$) a822083586) l0 Source # type Apply a822083586 (TyFun [a822083586] [a822083586] -> Type) ((:$) a822083586) l0 = (:$$) a822083586 l0 data l :$$ l Source # Instances  SuppressUnusedWarnings (a822083586 -> TyFun [a822083586] [a822083586] -> *) ((:$$) a822083586) Source # MethodssuppressUnusedWarnings :: Proxy ((:$$) a822083586) t -> () Source # type Apply [a822083586] [a822083586] ((:$$) a822083586 l1) l0 Source # type Apply [a822083586] [a822083586] ((:$$) a822083586 l1) l0 = (:$$) a822083586 l1 l0 type (:$$$) t t = (:) t t Source #

type NilSym0 = '[] Source #

data MapSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun (TyFun a1627796655 b1627796656 -> Type) (TyFun [a1627796655] [b1627796656] -> Type) -> *) (MapSym0 a1627796655 b1627796656) Source # MethodssuppressUnusedWarnings :: Proxy (MapSym0 a1627796655 b1627796656) t -> () Source # type Apply (TyFun a1627796655 b1627796656 -> Type) (TyFun [a1627796655] [b1627796656] -> Type) (MapSym0 a1627796655 b1627796656) l0 Source # type Apply (TyFun a1627796655 b1627796656 -> Type) (TyFun [a1627796655] [b1627796656] -> Type) (MapSym0 a1627796655 b1627796656) l0 = MapSym1 a1627796655 b1627796656 l0

data MapSym1 l l Source #

Instances

 SuppressUnusedWarnings ((TyFun a1627796655 b1627796656 -> Type) -> TyFun [a1627796655] [b1627796656] -> *) (MapSym1 a1627796655 b1627796656) Source # MethodssuppressUnusedWarnings :: Proxy (MapSym1 a1627796655 b1627796656) t -> () Source # type Apply [a1627796655] [b1627796656] (MapSym1 a1627796655 b1627796656 l1) l0 Source # type Apply [a1627796655] [b1627796656] (MapSym1 a1627796655 b1627796656 l1) l0 = MapSym2 a1627796655 b1627796656 l1 l0

type MapSym2 t t = Map t t Source #

data ReverseSym0 l Source #

Instances

 SuppressUnusedWarnings (TyFun [a1627953404] [a1627953404] -> *) (ReverseSym0 a1627953404) Source # MethodssuppressUnusedWarnings :: Proxy (ReverseSym0 a1627953404) t -> () Source # type Apply [a1627953404] [a1627953404] (ReverseSym0 a1627953404) l0 Source # type Apply [a1627953404] [a1627953404] (ReverseSym0 a1627953404) l0 = ReverseSym1 a1627953404 l0

data l :++$$l Source # Instances  SuppressUnusedWarnings ([a1627796654] -> TyFun [a1627796654] [a1627796654] -> *) ((:++$$) a1627796654) Source # MethodssuppressUnusedWarnings :: Proxy ((:++$$) a1627796654) t -> () Source # type Apply [a1627796654] [a1627796654] ((:++$$) a1627796654 l1) l0 Source # type Apply [a1627796654] [a1627796654] ((:++$$) a1627796654 l1) l0 = (:++$$$) a1627796654 l1 l0 data (:++$) l Source #

Instances

 SuppressUnusedWarnings (TyFun [a1627796654] (TyFun [a1627796654] [a1627796654] -> Type) -> *) ((:++$) a1627796654) Source # MethodssuppressUnusedWarnings :: Proxy ((:++$) a1627796654) t -> () Source # type Apply [a1627796654] (TyFun [a1627796654] [a1627796654] -> Type) ((:++$) a1627796654) l0 Source # type Apply [a1627796654] (TyFun [a1627796654] [a1627796654] -> Type) ((:++$) a1627796654) l0 = (:++$$) a1627796654 l0 data HeadSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953409] a1627953409 -> *) (HeadSym0 a1627953409) Source # MethodssuppressUnusedWarnings :: Proxy (HeadSym0 a1627953409) t -> () Source # type Apply [a1627953409] a1627953409 (HeadSym0 a1627953409) l0 Source # type Apply [a1627953409] a1627953409 (HeadSym0 a1627953409) l0 = HeadSym1 a1627953409 l0 type HeadSym1 t = Head t Source # data LastSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953408] a1627953408 -> *) (LastSym0 a1627953408) Source # MethodssuppressUnusedWarnings :: Proxy (LastSym0 a1627953408) t -> () Source # type Apply [a1627953408] a1627953408 (LastSym0 a1627953408) l0 Source # type Apply [a1627953408] a1627953408 (LastSym0 a1627953408) l0 = LastSym1 a1627953408 l0 type LastSym1 t = Last t Source # data TailSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953407] [a1627953407] -> *) (TailSym0 a1627953407) Source # MethodssuppressUnusedWarnings :: Proxy (TailSym0 a1627953407) t -> () Source # type Apply [a1627953407] [a1627953407] (TailSym0 a1627953407) l0 Source # type Apply [a1627953407] [a1627953407] (TailSym0 a1627953407) l0 = TailSym1 a1627953407 l0 type TailSym1 t = Tail t Source # data InitSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953406] [a1627953406] -> *) (InitSym0 a1627953406) Source # MethodssuppressUnusedWarnings :: Proxy (InitSym0 a1627953406) t -> () Source # type Apply [a1627953406] [a1627953406] (InitSym0 a1627953406) l0 Source # type Apply [a1627953406] [a1627953406] (InitSym0 a1627953406) l0 = InitSym1 a1627953406 l0 type InitSym1 t = Init t Source # data NullSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953405] Bool -> *) (NullSym0 a1627953405) Source # MethodssuppressUnusedWarnings :: Proxy (NullSym0 a1627953405) t -> () Source # type Apply [a1627953405] Bool (NullSym0 a1627953405) l0 Source # type Apply [a1627953405] Bool (NullSym0 a1627953405) l0 = NullSym1 a1627953405 l0 type NullSym1 t = Null t Source # data FoldlSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) (TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> Type) -> *) (FoldlSym0 a1627619912 b1627619913) Source # MethodssuppressUnusedWarnings :: Proxy (FoldlSym0 a1627619912 b1627619913) t -> () Source # type Apply (TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) (TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> Type) (FoldlSym0 a1627619912 b1627619913) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) -> TyFun b1627619913 (TyFun [a1627619912] b1627619913 -> Type) -> *) (FoldlSym1 a1627619912 b1627619913) Source # MethodssuppressUnusedWarnings :: Proxy (FoldlSym1 a1627619912 b1627619913) t -> () Source # type Apply b1627619913 (TyFun [a1627619912] b1627619913 -> Type) (FoldlSym1 a1627619912 b1627619913 l1) l0 Source # type Apply b1627619913 (TyFun [a1627619912] b1627619913 -> Type) (FoldlSym1 a1627619912 b1627619913 l1) l0 = FoldlSym2 a1627619912 b1627619913 l1 l0 data FoldlSym2 l l l Source # Instances  SuppressUnusedWarnings ((TyFun b1627619913 (TyFun a1627619912 b1627619913 -> Type) -> Type) -> b1627619913 -> TyFun [a1627619912] b1627619913 -> *) (FoldlSym2 a1627619912 b1627619913) Source # MethodssuppressUnusedWarnings :: Proxy (FoldlSym2 a1627619912 b1627619913) t -> () Source # type Apply [a1627619912] b1627619913 (FoldlSym2 a1627619912 b1627619913 l1 l2) l0 Source # 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 Source # data Foldl1Sym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) (TyFun [a1627953395] a1627953395 -> Type) -> *) (Foldl1Sym0 a1627953395) Source # MethodssuppressUnusedWarnings :: Proxy (Foldl1Sym0 a1627953395) t -> () Source # type Apply (TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) (TyFun [a1627953395] a1627953395 -> Type) (Foldl1Sym0 a1627953395) l0 Source # type Apply (TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) (TyFun [a1627953395] a1627953395 -> Type) (Foldl1Sym0 a1627953395) l0 = Foldl1Sym1 a1627953395 l0 data Foldl1Sym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953395 (TyFun a1627953395 a1627953395 -> Type) -> Type) -> TyFun [a1627953395] a1627953395 -> *) (Foldl1Sym1 a1627953395) Source # MethodssuppressUnusedWarnings :: Proxy (Foldl1Sym1 a1627953395) t -> () Source # type Apply [a1627953395] a1627953395 (Foldl1Sym1 a1627953395 l1) l0 Source # type Apply [a1627953395] a1627953395 (Foldl1Sym1 a1627953395 l1) l0 = Foldl1Sym2 a1627953395 l1 l0 type Foldl1Sym2 t t = Foldl1 t t Source # data FoldrSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) (TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> Type) -> *) (FoldrSym0 a1627796657 b1627796658) Source # MethodssuppressUnusedWarnings :: Proxy (FoldrSym0 a1627796657 b1627796658) t -> () Source # type Apply (TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) (TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> Type) (FoldrSym0 a1627796657 b1627796658) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) -> TyFun b1627796658 (TyFun [a1627796657] b1627796658 -> Type) -> *) (FoldrSym1 a1627796657 b1627796658) Source # MethodssuppressUnusedWarnings :: Proxy (FoldrSym1 a1627796657 b1627796658) t -> () Source # type Apply b1627796658 (TyFun [a1627796657] b1627796658 -> Type) (FoldrSym1 a1627796657 b1627796658 l1) l0 Source # type Apply b1627796658 (TyFun [a1627796657] b1627796658 -> Type) (FoldrSym1 a1627796657 b1627796658 l1) l0 = FoldrSym2 a1627796657 b1627796658 l1 l0 data FoldrSym2 l l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627796657 (TyFun b1627796658 b1627796658 -> Type) -> Type) -> b1627796658 -> TyFun [a1627796657] b1627796658 -> *) (FoldrSym2 a1627796657 b1627796658) Source # MethodssuppressUnusedWarnings :: Proxy (FoldrSym2 a1627796657 b1627796658) t -> () Source # type Apply [a1627796657] b1627796658 (FoldrSym2 a1627796657 b1627796658 l1 l2) l0 Source # 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 Source # data Foldr1Sym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) (TyFun [a1627953393] a1627953393 -> Type) -> *) (Foldr1Sym0 a1627953393) Source # MethodssuppressUnusedWarnings :: Proxy (Foldr1Sym0 a1627953393) t -> () Source # type Apply (TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) (TyFun [a1627953393] a1627953393 -> Type) (Foldr1Sym0 a1627953393) l0 Source # type Apply (TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) (TyFun [a1627953393] a1627953393 -> Type) (Foldr1Sym0 a1627953393) l0 = Foldr1Sym1 a1627953393 l0 data Foldr1Sym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953393 (TyFun a1627953393 a1627953393 -> Type) -> Type) -> TyFun [a1627953393] a1627953393 -> *) (Foldr1Sym1 a1627953393) Source # MethodssuppressUnusedWarnings :: Proxy (Foldr1Sym1 a1627953393) t -> () Source # type Apply [a1627953393] a1627953393 (Foldr1Sym1 a1627953393 l1) l0 Source # type Apply [a1627953393] a1627953393 (Foldr1Sym1 a1627953393 l1) l0 = Foldr1Sym2 a1627953393 l1 l0 type Foldr1Sym2 t t = Foldr1 t t Source # data ConcatSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [[a1627953392]] [a1627953392] -> *) (ConcatSym0 a1627953392) Source # MethodssuppressUnusedWarnings :: Proxy (ConcatSym0 a1627953392) t -> () Source # type Apply [[a1627953392]] [a1627953392] (ConcatSym0 a1627953392) l0 Source # type Apply [[a1627953392]] [a1627953392] (ConcatSym0 a1627953392) l0 = ConcatSym1 a1627953392 l0 data ConcatMapSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953390 [b1627953391] -> Type) (TyFun [a1627953390] [b1627953391] -> Type) -> *) (ConcatMapSym0 a1627953390 b1627953391) Source # MethodssuppressUnusedWarnings :: Proxy (ConcatMapSym0 a1627953390 b1627953391) t -> () Source # type Apply (TyFun a1627953390 [b1627953391] -> Type) (TyFun [a1627953390] [b1627953391] -> Type) (ConcatMapSym0 a1627953390 b1627953391) l0 Source # type Apply (TyFun a1627953390 [b1627953391] -> Type) (TyFun [a1627953390] [b1627953391] -> Type) (ConcatMapSym0 a1627953390 b1627953391) l0 = ConcatMapSym1 a1627953390 b1627953391 l0 data ConcatMapSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953390 [b1627953391] -> Type) -> TyFun [a1627953390] [b1627953391] -> *) (ConcatMapSym1 a1627953390 b1627953391) Source # MethodssuppressUnusedWarnings :: Proxy (ConcatMapSym1 a1627953390 b1627953391) t -> () Source # type Apply [a1627953390] [b1627953391] (ConcatMapSym1 a1627953390 b1627953391 l1) l0 Source # type Apply [a1627953390] [b1627953391] (ConcatMapSym1 a1627953390 b1627953391 l1) l0 = ConcatMapSym2 a1627953390 b1627953391 l1 l0 data MaximumBySym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) (TyFun [a1627953322] a1627953322 -> Type) -> *) (MaximumBySym0 a1627953322) Source # MethodssuppressUnusedWarnings :: Proxy (MaximumBySym0 a1627953322) t -> () Source # type Apply (TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) (TyFun [a1627953322] a1627953322 -> Type) (MaximumBySym0 a1627953322) l0 Source # type Apply (TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) (TyFun [a1627953322] a1627953322 -> Type) (MaximumBySym0 a1627953322) l0 = MaximumBySym1 a1627953322 l0 data MaximumBySym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953322 (TyFun a1627953322 Ordering -> Type) -> Type) -> TyFun [a1627953322] a1627953322 -> *) (MaximumBySym1 a1627953322) Source # MethodssuppressUnusedWarnings :: Proxy (MaximumBySym1 a1627953322) t -> () Source # type Apply [a1627953322] a1627953322 (MaximumBySym1 a1627953322 l1) l0 Source # type Apply [a1627953322] a1627953322 (MaximumBySym1 a1627953322 l1) l0 = MaximumBySym2 a1627953322 l1 l0 data MinimumBySym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) (TyFun [a1627953321] a1627953321 -> Type) -> *) (MinimumBySym0 a1627953321) Source # MethodssuppressUnusedWarnings :: Proxy (MinimumBySym0 a1627953321) t -> () Source # type Apply (TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) (TyFun [a1627953321] a1627953321 -> Type) (MinimumBySym0 a1627953321) l0 Source # type Apply (TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) (TyFun [a1627953321] a1627953321 -> Type) (MinimumBySym0 a1627953321) l0 = MinimumBySym1 a1627953321 l0 data MinimumBySym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953321 (TyFun a1627953321 Ordering -> Type) -> Type) -> TyFun [a1627953321] a1627953321 -> *) (MinimumBySym1 a1627953321) Source # MethodssuppressUnusedWarnings :: Proxy (MinimumBySym1 a1627953321) t -> () Source # type Apply [a1627953321] a1627953321 (MinimumBySym1 a1627953321 l1) l0 Source # type Apply [a1627953321] a1627953321 (MinimumBySym1 a1627953321 l1) l0 = MinimumBySym2 a1627953321 l1 l0 data AndSym0 l Source # Instances  Source # Methods type Apply [Bool] Bool AndSym0 l0 Source # type Apply [Bool] Bool AndSym0 l0 = AndSym1 l0 type AndSym1 t = And t Source # data OrSym0 l Source # Instances  Source # Methods type Apply [Bool] Bool OrSym0 l0 Source # type Apply [Bool] Bool OrSym0 l0 = OrSym1 l0 type OrSym1 t = Or t Source # data Any_Sym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627942712 Bool -> Type) (TyFun [a1627942712] Bool -> Type) -> *) (Any_Sym0 a1627942712) Source # MethodssuppressUnusedWarnings :: Proxy (Any_Sym0 a1627942712) t -> () Source # type Apply (TyFun a1627942712 Bool -> Type) (TyFun [a1627942712] Bool -> Type) (Any_Sym0 a1627942712) l0 Source # type Apply (TyFun a1627942712 Bool -> Type) (TyFun [a1627942712] Bool -> Type) (Any_Sym0 a1627942712) l0 = Any_Sym1 a1627942712 l0 data Any_Sym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627942712 Bool -> Type) -> TyFun [a1627942712] Bool -> *) (Any_Sym1 a1627942712) Source # MethodssuppressUnusedWarnings :: Proxy (Any_Sym1 a1627942712) t -> () Source # type Apply [a1627942712] Bool (Any_Sym1 a1627942712 l1) l0 Source # type Apply [a1627942712] Bool (Any_Sym1 a1627942712 l1) l0 = Any_Sym2 a1627942712 l1 l0 type Any_Sym2 t t = Any_ t t Source # data AllSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953389 Bool -> Type) (TyFun [a1627953389] Bool -> Type) -> *) (AllSym0 a1627953389) Source # MethodssuppressUnusedWarnings :: Proxy (AllSym0 a1627953389) t -> () Source # type Apply (TyFun a1627953389 Bool -> Type) (TyFun [a1627953389] Bool -> Type) (AllSym0 a1627953389) l0 Source # type Apply (TyFun a1627953389 Bool -> Type) (TyFun [a1627953389] Bool -> Type) (AllSym0 a1627953389) l0 = AllSym1 a1627953389 l0 data AllSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953389 Bool -> Type) -> TyFun [a1627953389] Bool -> *) (AllSym1 a1627953389) Source # MethodssuppressUnusedWarnings :: Proxy (AllSym1 a1627953389) t -> () Source # type Apply [a1627953389] Bool (AllSym1 a1627953389 l1) l0 Source # type Apply [a1627953389] Bool (AllSym1 a1627953389 l1) l0 = AllSym2 a1627953389 l1 l0 type AllSym2 t t = All t t Source # data ScanlSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) (TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> Type) -> *) (ScanlSym0 a1627953388 b1627953387) Source # MethodssuppressUnusedWarnings :: Proxy (ScanlSym0 a1627953388 b1627953387) t -> () Source # type Apply (TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) (TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> Type) (ScanlSym0 a1627953388 b1627953387) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) -> TyFun b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) -> *) (ScanlSym1 a1627953388 b1627953387) Source # MethodssuppressUnusedWarnings :: Proxy (ScanlSym1 a1627953388 b1627953387) t -> () Source # type Apply b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) (ScanlSym1 a1627953388 b1627953387 l1) l0 Source # type Apply b1627953387 (TyFun [a1627953388] [b1627953387] -> Type) (ScanlSym1 a1627953388 b1627953387 l1) l0 = ScanlSym2 a1627953388 b1627953387 l1 l0 data ScanlSym2 l l l Source # Instances  SuppressUnusedWarnings ((TyFun b1627953387 (TyFun a1627953388 b1627953387 -> Type) -> Type) -> b1627953387 -> TyFun [a1627953388] [b1627953387] -> *) (ScanlSym2 a1627953388 b1627953387) Source # MethodssuppressUnusedWarnings :: Proxy (ScanlSym2 a1627953388 b1627953387) t -> () Source # type Apply [a1627953388] [b1627953387] (ScanlSym2 a1627953388 b1627953387 l1 l2) l0 Source # 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 Source # data Scanl1Sym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) (TyFun [a1627953386] [a1627953386] -> Type) -> *) (Scanl1Sym0 a1627953386) Source # MethodssuppressUnusedWarnings :: Proxy (Scanl1Sym0 a1627953386) t -> () Source # type Apply (TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) (TyFun [a1627953386] [a1627953386] -> Type) (Scanl1Sym0 a1627953386) l0 Source # type Apply (TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) (TyFun [a1627953386] [a1627953386] -> Type) (Scanl1Sym0 a1627953386) l0 = Scanl1Sym1 a1627953386 l0 data Scanl1Sym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953386 (TyFun a1627953386 a1627953386 -> Type) -> Type) -> TyFun [a1627953386] [a1627953386] -> *) (Scanl1Sym1 a1627953386) Source # MethodssuppressUnusedWarnings :: Proxy (Scanl1Sym1 a1627953386) t -> () Source # type Apply [a1627953386] [a1627953386] (Scanl1Sym1 a1627953386 l1) l0 Source # type Apply [a1627953386] [a1627953386] (Scanl1Sym1 a1627953386 l1) l0 = Scanl1Sym2 a1627953386 l1 l0 type Scanl1Sym2 t t = Scanl1 t t Source # data ScanrSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) (TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> Type) -> *) (ScanrSym0 a1627953384 b1627953385) Source # MethodssuppressUnusedWarnings :: Proxy (ScanrSym0 a1627953384 b1627953385) t -> () Source # type Apply (TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) (TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> Type) (ScanrSym0 a1627953384 b1627953385) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) -> TyFun b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) -> *) (ScanrSym1 a1627953384 b1627953385) Source # MethodssuppressUnusedWarnings :: Proxy (ScanrSym1 a1627953384 b1627953385) t -> () Source # type Apply b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) (ScanrSym1 a1627953384 b1627953385 l1) l0 Source # type Apply b1627953385 (TyFun [a1627953384] [b1627953385] -> Type) (ScanrSym1 a1627953384 b1627953385 l1) l0 = ScanrSym2 a1627953384 b1627953385 l1 l0 data ScanrSym2 l l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953384 (TyFun b1627953385 b1627953385 -> Type) -> Type) -> b1627953385 -> TyFun [a1627953384] [b1627953385] -> *) (ScanrSym2 a1627953384 b1627953385) Source # MethodssuppressUnusedWarnings :: Proxy (ScanrSym2 a1627953384 b1627953385) t -> () Source # type Apply [a1627953384] [b1627953385] (ScanrSym2 a1627953384 b1627953385 l1 l2) l0 Source # 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 Source # data Scanr1Sym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) (TyFun [a1627953383] [a1627953383] -> Type) -> *) (Scanr1Sym0 a1627953383) Source # MethodssuppressUnusedWarnings :: Proxy (Scanr1Sym0 a1627953383) t -> () Source # type Apply (TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) (TyFun [a1627953383] [a1627953383] -> Type) (Scanr1Sym0 a1627953383) l0 Source # type Apply (TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) (TyFun [a1627953383] [a1627953383] -> Type) (Scanr1Sym0 a1627953383) l0 = Scanr1Sym1 a1627953383 l0 data Scanr1Sym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953383 (TyFun a1627953383 a1627953383 -> Type) -> Type) -> TyFun [a1627953383] [a1627953383] -> *) (Scanr1Sym1 a1627953383) Source # MethodssuppressUnusedWarnings :: Proxy (Scanr1Sym1 a1627953383) t -> () Source # type Apply [a1627953383] [a1627953383] (Scanr1Sym1 a1627953383 l1) l0 Source # type Apply [a1627953383] [a1627953383] (Scanr1Sym1 a1627953383 l1) l0 = Scanr1Sym2 a1627953383 l1 l0 type Scanr1Sym2 t t = Scanr1 t t Source # data ElemSym0 l Source # Instances  SuppressUnusedWarnings (TyFun a1627953369 (TyFun [a1627953369] Bool -> Type) -> *) (ElemSym0 a1627953369) Source # MethodssuppressUnusedWarnings :: Proxy (ElemSym0 a1627953369) t -> () Source # type Apply a1627953369 (TyFun [a1627953369] Bool -> Type) (ElemSym0 a1627953369) l0 Source # type Apply a1627953369 (TyFun [a1627953369] Bool -> Type) (ElemSym0 a1627953369) l0 = ElemSym1 a1627953369 l0 data ElemSym1 l l Source # Instances  SuppressUnusedWarnings (a1627953369 -> TyFun [a1627953369] Bool -> *) (ElemSym1 a1627953369) Source # MethodssuppressUnusedWarnings :: Proxy (ElemSym1 a1627953369) t -> () Source # type Apply [a1627953369] Bool (ElemSym1 a1627953369 l1) l0 Source # type Apply [a1627953369] Bool (ElemSym1 a1627953369 l1) l0 = ElemSym2 a1627953369 l1 l0 type ElemSym2 t t = Elem t t Source # data NotElemSym0 l Source # Instances  SuppressUnusedWarnings (TyFun a1627953368 (TyFun [a1627953368] Bool -> Type) -> *) (NotElemSym0 a1627953368) Source # MethodssuppressUnusedWarnings :: Proxy (NotElemSym0 a1627953368) t -> () Source # type Apply a1627953368 (TyFun [a1627953368] Bool -> Type) (NotElemSym0 a1627953368) l0 Source # type Apply a1627953368 (TyFun [a1627953368] Bool -> Type) (NotElemSym0 a1627953368) l0 = NotElemSym1 a1627953368 l0 data NotElemSym1 l l Source # Instances  SuppressUnusedWarnings (a1627953368 -> TyFun [a1627953368] Bool -> *) (NotElemSym1 a1627953368) Source # MethodssuppressUnusedWarnings :: Proxy (NotElemSym1 a1627953368) t -> () Source # type Apply [a1627953368] Bool (NotElemSym1 a1627953368 l1) l0 Source # type Apply [a1627953368] Bool (NotElemSym1 a1627953368 l1) l0 = NotElemSym2 a1627953368 l1 l0 type NotElemSym2 t t = NotElem t t Source # data ZipSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953366] (TyFun [b1627953367] [(a1627953366, b1627953367)] -> Type) -> *) (ZipSym0 a1627953366 b1627953367) Source # MethodssuppressUnusedWarnings :: Proxy (ZipSym0 a1627953366 b1627953367) t -> () Source # type Apply [a1627953366] (TyFun [b1627953367] [(a1627953366, b1627953367)] -> Type) (ZipSym0 a1627953366 b1627953367) l0 Source # type Apply [a1627953366] (TyFun [b1627953367] [(a1627953366, b1627953367)] -> Type) (ZipSym0 a1627953366 b1627953367) l0 = ZipSym1 b1627953367 a1627953366 l0 data ZipSym1 l l Source # Instances  SuppressUnusedWarnings ([a1627953366] -> TyFun [b1627953367] [(a1627953366, b1627953367)] -> *) (ZipSym1 b1627953367 a1627953366) Source # MethodssuppressUnusedWarnings :: Proxy (ZipSym1 b1627953367 a1627953366) t -> () Source # type Apply [b1627953367] [(a1627953366, b1627953367)] (ZipSym1 b1627953367 a1627953366 l1) l0 Source # type Apply [b1627953367] [(a1627953366, b1627953367)] (ZipSym1 b1627953367 a1627953366 l1) l0 = ZipSym2 a1627953366 b1627953367 l1 l0 type ZipSym2 t t = Zip t t Source # data Zip3Sym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953363] (TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> Type) -> *) (Zip3Sym0 a1627953363 b1627953364 c1627953365) Source # MethodssuppressUnusedWarnings :: Proxy (Zip3Sym0 a1627953363 b1627953364 c1627953365) t -> () Source # type Apply [a1627953363] (TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> Type) (Zip3Sym0 a1627953363 b1627953364 c1627953365) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ([a1627953363] -> TyFun [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) -> *) (Zip3Sym1 b1627953364 c1627953365 a1627953363) Source # MethodssuppressUnusedWarnings :: Proxy (Zip3Sym1 b1627953364 c1627953365 a1627953363) t -> () Source # type Apply [b1627953364] (TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> Type) (Zip3Sym1 b1627953364 c1627953365 a1627953363 l1) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ([a1627953363] -> [b1627953364] -> TyFun [c1627953365] [(a1627953363, b1627953364, c1627953365)] -> *) (Zip3Sym2 c1627953365 b1627953364 a1627953363) Source # MethodssuppressUnusedWarnings :: Proxy (Zip3Sym2 c1627953365 b1627953364 a1627953363) t -> () Source # type Apply [c1627953365] [(a1627953363, b1627953364, c1627953365)] (Zip3Sym2 c1627953365 b1627953364 a1627953363 l1 l2) l0 Source # 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 Source # data ZipWithSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) (TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> Type) -> *) (ZipWithSym0 a1627953360 b1627953361 c1627953362) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWithSym0 a1627953360 b1627953361 c1627953362) t -> () Source # type Apply (TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) (TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> Type) (ZipWithSym0 a1627953360 b1627953361 c1627953362) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) -> TyFun [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) -> *) (ZipWithSym1 a1627953360 b1627953361 c1627953362) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWithSym1 a1627953360 b1627953361 c1627953362) t -> () Source # type Apply [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) (ZipWithSym1 a1627953360 b1627953361 c1627953362 l1) l0 Source # type Apply [a1627953360] (TyFun [b1627953361] [c1627953362] -> Type) (ZipWithSym1 a1627953360 b1627953361 c1627953362 l1) l0 = ZipWithSym2 a1627953360 b1627953361 c1627953362 l1 l0 data ZipWithSym2 l l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953360 (TyFun b1627953361 c1627953362 -> Type) -> Type) -> [a1627953360] -> TyFun [b1627953361] [c1627953362] -> *) (ZipWithSym2 a1627953360 b1627953361 c1627953362) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWithSym2 a1627953360 b1627953361 c1627953362) t -> () Source # type Apply [b1627953361] [c1627953362] (ZipWithSym2 a1627953360 b1627953361 c1627953362 l1 l2) l0 Source # 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 Source # data ZipWith3Sym0 l Source # 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) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWith3Sym0 a1627953356 b1627953357 c1627953358 d1627953359) t -> () Source # 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 Source # 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 Source # 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) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359) t -> () Source # type Apply [a1627953356] (TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> Type) (ZipWith3Sym1 a1627953356 b1627953357 c1627953358 d1627953359 l1) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) -> [a1627953356] -> TyFun [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) -> *) (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359) t -> () Source # type Apply [b1627953357] (TyFun [c1627953358] [d1627953359] -> Type) (ZipWith3Sym2 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun a1627953356 (TyFun b1627953357 (TyFun c1627953358 d1627953359 -> Type) -> Type) -> Type) -> [a1627953356] -> [b1627953357] -> TyFun [c1627953358] [d1627953359] -> *) (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359) Source # MethodssuppressUnusedWarnings :: Proxy (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359) t -> () Source # type Apply [c1627953358] [d1627953359] (ZipWith3Sym3 a1627953356 b1627953357 c1627953358 d1627953359 l1 l2 l3) l0 Source # 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 Source # Instances  SuppressUnusedWarnings (TyFun [(a1627953354, b1627953355)] ([a1627953354], [b1627953355]) -> *) (UnzipSym0 a1627953354 b1627953355) Source # MethodssuppressUnusedWarnings :: Proxy (UnzipSym0 a1627953354 b1627953355) t -> () Source # type Apply [(a1627953354, b1627953355)] ([a1627953354], [b1627953355]) (UnzipSym0 a1627953354 b1627953355) l0 Source # type Apply [(a1627953354, b1627953355)] ([a1627953354], [b1627953355]) (UnzipSym0 a1627953354 b1627953355) l0 = UnzipSym1 a1627953354 b1627953355 l0 type UnzipSym1 t = Unzip t Source # data UntilSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627845465 Bool -> Type) (TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> Type) -> *) (UntilSym0 a1627845465) Source # MethodssuppressUnusedWarnings :: Proxy (UntilSym0 a1627845465) t -> () Source # type Apply (TyFun a1627845465 Bool -> Type) (TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> Type) (UntilSym0 a1627845465) l0 Source # 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 Source # Instances  SuppressUnusedWarnings ((TyFun a1627845465 Bool -> Type) -> TyFun (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) -> *) (UntilSym1 a1627845465) Source # MethodssuppressUnusedWarnings :: Proxy (UntilSym1 a1627845465) t -> () Source # type Apply (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) (UntilSym1 a1627845465 l1) l0 Source # type Apply (TyFun a1627845465 a1627845465 -> Type) (TyFun a1627845465 a1627845465 -> Type) (UntilSym1 a1627845465 l1) l0 = UntilSym2 a1627845465 l1 l0 data UntilSym2 l l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627845465 Bool -> Type) -> (TyFun a1627845465 a1627845465 -> Type) -> TyFun a1627845465 a1627845465 -> *) (UntilSym2 a1627845465) Source # MethodssuppressUnusedWarnings :: Proxy (UntilSym2 a1627845465) t -> () Source # type Apply a1627845465 a1627845465 (UntilSym2 a1627845465 l1 l2) l0 Source # type Apply a1627845465 a1627845465 (UntilSym2 a1627845465 l1 l2) l0 = UntilSym3 a1627845465 l1 l2 l0 type UntilSym3 t t t = Until t t t Source # data LengthSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953292] Nat -> *) (LengthSym0 a1627953292) Source # MethodssuppressUnusedWarnings :: Proxy (LengthSym0 a1627953292) t -> () Source # type Apply [a1627953292] Nat (LengthSym0 a1627953292) l0 Source # type Apply [a1627953292] Nat (LengthSym0 a1627953292) l0 = LengthSym1 a1627953292 l0 data SumSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953294] a1627953294 -> *) (SumSym0 a1627953294) Source # MethodssuppressUnusedWarnings :: Proxy (SumSym0 a1627953294) t -> () Source # type Apply [a1627953294] a1627953294 (SumSym0 a1627953294) l0 Source # type Apply [a1627953294] a1627953294 (SumSym0 a1627953294) l0 = SumSym1 a1627953294 l0 type SumSym1 t = Sum t Source # data ProductSym0 l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953293] a1627953293 -> *) (ProductSym0 a1627953293) Source # MethodssuppressUnusedWarnings :: Proxy (ProductSym0 a1627953293) t -> () Source # type Apply [a1627953293] a1627953293 (ProductSym0 a1627953293) l0 Source # type Apply [a1627953293] a1627953293 (ProductSym0 a1627953293) l0 = ProductSym1 a1627953293 l0 data ReplicateSym0 l Source # Instances  SuppressUnusedWarnings (TyFun Nat (TyFun a1627953291 [a1627953291] -> Type) -> *) (ReplicateSym0 a1627953291) Source # MethodssuppressUnusedWarnings :: Proxy (ReplicateSym0 a1627953291) t -> () Source # type Apply Nat (TyFun a1627953291 [a1627953291] -> Type) (ReplicateSym0 a1627953291) l0 Source # type Apply Nat (TyFun a1627953291 [a1627953291] -> Type) (ReplicateSym0 a1627953291) l0 = ReplicateSym1 a1627953291 l0 data ReplicateSym1 l l Source # Instances  SuppressUnusedWarnings (Nat -> TyFun a1627953291 [a1627953291] -> *) (ReplicateSym1 a1627953291) Source # MethodssuppressUnusedWarnings :: Proxy (ReplicateSym1 a1627953291) t -> () Source # type Apply a1627953291 [a1627953291] (ReplicateSym1 a1627953291 l1) l0 Source # type Apply a1627953291 [a1627953291] (ReplicateSym1 a1627953291 l1) l0 = ReplicateSym2 a1627953291 l1 l0 data TakeSym0 l Source # Instances  SuppressUnusedWarnings (TyFun Nat (TyFun [a1627953307] [a1627953307] -> Type) -> *) (TakeSym0 a1627953307) Source # MethodssuppressUnusedWarnings :: Proxy (TakeSym0 a1627953307) t -> () Source # type Apply Nat (TyFun [a1627953307] [a1627953307] -> Type) (TakeSym0 a1627953307) l0 Source # type Apply Nat (TyFun [a1627953307] [a1627953307] -> Type) (TakeSym0 a1627953307) l0 = TakeSym1 a1627953307 l0 data TakeSym1 l l Source # Instances  SuppressUnusedWarnings (Nat -> TyFun [a1627953307] [a1627953307] -> *) (TakeSym1 a1627953307) Source # MethodssuppressUnusedWarnings :: Proxy (TakeSym1 a1627953307) t -> () Source # type Apply [a1627953307] [a1627953307] (TakeSym1 a1627953307 l1) l0 Source # type Apply [a1627953307] [a1627953307] (TakeSym1 a1627953307 l1) l0 = TakeSym2 a1627953307 l1 l0 type TakeSym2 t t = Take t t Source # data DropSym0 l Source # Instances  SuppressUnusedWarnings (TyFun Nat (TyFun [a1627953306] [a1627953306] -> Type) -> *) (DropSym0 a1627953306) Source # MethodssuppressUnusedWarnings :: Proxy (DropSym0 a1627953306) t -> () Source # type Apply Nat (TyFun [a1627953306] [a1627953306] -> Type) (DropSym0 a1627953306) l0 Source # type Apply Nat (TyFun [a1627953306] [a1627953306] -> Type) (DropSym0 a1627953306) l0 = DropSym1 a1627953306 l0 data DropSym1 l l Source # Instances  SuppressUnusedWarnings (Nat -> TyFun [a1627953306] [a1627953306] -> *) (DropSym1 a1627953306) Source # MethodssuppressUnusedWarnings :: Proxy (DropSym1 a1627953306) t -> () Source # type Apply [a1627953306] [a1627953306] (DropSym1 a1627953306 l1) l0 Source # type Apply [a1627953306] [a1627953306] (DropSym1 a1627953306 l1) l0 = DropSym2 a1627953306 l1 l0 type DropSym2 t t = Drop t t Source # data SplitAtSym0 l Source # Instances  SuppressUnusedWarnings (TyFun Nat (TyFun [a1627953305] ([a1627953305], [a1627953305]) -> Type) -> *) (SplitAtSym0 a1627953305) Source # MethodssuppressUnusedWarnings :: Proxy (SplitAtSym0 a1627953305) t -> () Source # type Apply Nat (TyFun [a1627953305] ([a1627953305], [a1627953305]) -> Type) (SplitAtSym0 a1627953305) l0 Source # type Apply Nat (TyFun [a1627953305] ([a1627953305], [a1627953305]) -> Type) (SplitAtSym0 a1627953305) l0 = SplitAtSym1 a1627953305 l0 data SplitAtSym1 l l Source # Instances  SuppressUnusedWarnings (Nat -> TyFun [a1627953305] ([a1627953305], [a1627953305]) -> *) (SplitAtSym1 a1627953305) Source # MethodssuppressUnusedWarnings :: Proxy (SplitAtSym1 a1627953305) t -> () Source # type Apply [a1627953305] ([a1627953305], [a1627953305]) (SplitAtSym1 a1627953305 l1) l0 Source # type Apply [a1627953305] ([a1627953305], [a1627953305]) (SplitAtSym1 a1627953305 l1) l0 = SplitAtSym2 a1627953305 l1 l0 type SplitAtSym2 t t = SplitAt t t Source # data TakeWhileSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953312 Bool -> Type) (TyFun [a1627953312] [a1627953312] -> Type) -> *) (TakeWhileSym0 a1627953312) Source # MethodssuppressUnusedWarnings :: Proxy (TakeWhileSym0 a1627953312) t -> () Source # type Apply (TyFun a1627953312 Bool -> Type) (TyFun [a1627953312] [a1627953312] -> Type) (TakeWhileSym0 a1627953312) l0 Source # type Apply (TyFun a1627953312 Bool -> Type) (TyFun [a1627953312] [a1627953312] -> Type) (TakeWhileSym0 a1627953312) l0 = TakeWhileSym1 a1627953312 l0 data TakeWhileSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953312 Bool -> Type) -> TyFun [a1627953312] [a1627953312] -> *) (TakeWhileSym1 a1627953312) Source # MethodssuppressUnusedWarnings :: Proxy (TakeWhileSym1 a1627953312) t -> () Source # type Apply [a1627953312] [a1627953312] (TakeWhileSym1 a1627953312 l1) l0 Source # type Apply [a1627953312] [a1627953312] (TakeWhileSym1 a1627953312 l1) l0 = TakeWhileSym2 a1627953312 l1 l0 data DropWhileSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953311 Bool -> Type) (TyFun [a1627953311] [a1627953311] -> Type) -> *) (DropWhileSym0 a1627953311) Source # MethodssuppressUnusedWarnings :: Proxy (DropWhileSym0 a1627953311) t -> () Source # type Apply (TyFun a1627953311 Bool -> Type) (TyFun [a1627953311] [a1627953311] -> Type) (DropWhileSym0 a1627953311) l0 Source # type Apply (TyFun a1627953311 Bool -> Type) (TyFun [a1627953311] [a1627953311] -> Type) (DropWhileSym0 a1627953311) l0 = DropWhileSym1 a1627953311 l0 data DropWhileSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953311 Bool -> Type) -> TyFun [a1627953311] [a1627953311] -> *) (DropWhileSym1 a1627953311) Source # MethodssuppressUnusedWarnings :: Proxy (DropWhileSym1 a1627953311) t -> () Source # type Apply [a1627953311] [a1627953311] (DropWhileSym1 a1627953311 l1) l0 Source # type Apply [a1627953311] [a1627953311] (DropWhileSym1 a1627953311 l1) l0 = DropWhileSym2 a1627953311 l1 l0 data SpanSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953309 Bool -> Type) (TyFun [a1627953309] ([a1627953309], [a1627953309]) -> Type) -> *) (SpanSym0 a1627953309) Source # MethodssuppressUnusedWarnings :: Proxy (SpanSym0 a1627953309) t -> () Source # type Apply (TyFun a1627953309 Bool -> Type) (TyFun [a1627953309] ([a1627953309], [a1627953309]) -> Type) (SpanSym0 a1627953309) l0 Source # type Apply (TyFun a1627953309 Bool -> Type) (TyFun [a1627953309] ([a1627953309], [a1627953309]) -> Type) (SpanSym0 a1627953309) l0 = SpanSym1 a1627953309 l0 data SpanSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953309 Bool -> Type) -> TyFun [a1627953309] ([a1627953309], [a1627953309]) -> *) (SpanSym1 a1627953309) Source # MethodssuppressUnusedWarnings :: Proxy (SpanSym1 a1627953309) t -> () Source # type Apply [a1627953309] ([a1627953309], [a1627953309]) (SpanSym1 a1627953309 l1) l0 Source # type Apply [a1627953309] ([a1627953309], [a1627953309]) (SpanSym1 a1627953309 l1) l0 = SpanSym2 a1627953309 l1 l0 type SpanSym2 t t = Span t t Source # data BreakSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953308 Bool -> Type) (TyFun [a1627953308] ([a1627953308], [a1627953308]) -> Type) -> *) (BreakSym0 a1627953308) Source # MethodssuppressUnusedWarnings :: Proxy (BreakSym0 a1627953308) t -> () Source # type Apply (TyFun a1627953308 Bool -> Type) (TyFun [a1627953308] ([a1627953308], [a1627953308]) -> Type) (BreakSym0 a1627953308) l0 Source # type Apply (TyFun a1627953308 Bool -> Type) (TyFun [a1627953308] ([a1627953308], [a1627953308]) -> Type) (BreakSym0 a1627953308) l0 = BreakSym1 a1627953308 l0 data BreakSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953308 Bool -> Type) -> TyFun [a1627953308] ([a1627953308], [a1627953308]) -> *) (BreakSym1 a1627953308) Source # MethodssuppressUnusedWarnings :: Proxy (BreakSym1 a1627953308) t -> () Source # type Apply [a1627953308] ([a1627953308], [a1627953308]) (BreakSym1 a1627953308 l1) l0 Source # type Apply [a1627953308] ([a1627953308], [a1627953308]) (BreakSym1 a1627953308 l1) l0 = BreakSym2 a1627953308 l1 l0 type BreakSym2 t t = Break t t Source # data LookupSym0 l Source # Instances  SuppressUnusedWarnings (TyFun a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) -> *) (LookupSym0 a1627953297 b1627953298) Source # MethodssuppressUnusedWarnings :: Proxy (LookupSym0 a1627953297 b1627953298) t -> () Source # type Apply a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) (LookupSym0 a1627953297 b1627953298) l0 Source # type Apply a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) (LookupSym0 a1627953297 b1627953298) l0 = LookupSym1 b1627953298 a1627953297 l0 data LookupSym1 l l Source # Instances  SuppressUnusedWarnings (a1627953297 -> TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> *) (LookupSym1 b1627953298 a1627953297) Source # MethodssuppressUnusedWarnings :: Proxy (LookupSym1 b1627953298 a1627953297) t -> () Source # type Apply [(a1627953297, b1627953298)] (Maybe b1627953298) (LookupSym1 b1627953298 a1627953297 l1) l0 Source # type Apply [(a1627953297, b1627953298)] (Maybe b1627953298) (LookupSym1 b1627953298 a1627953297 l1) l0 = LookupSym2 a1627953297 b1627953298 l1 l0 type LookupSym2 t t = Lookup t t Source # data FilterSym0 l Source # Instances  SuppressUnusedWarnings (TyFun (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) -> *) (FilterSym0 a1627953320) Source # MethodssuppressUnusedWarnings :: Proxy (FilterSym0 a1627953320) t -> () Source # type Apply (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) (FilterSym0 a1627953320) l0 Source # type Apply (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) (FilterSym0 a1627953320) l0 = FilterSym1 a1627953320 l0 data FilterSym1 l l Source # Instances  SuppressUnusedWarnings ((TyFun a1627953320 Bool -> Type) -> TyFun [a1627953320] [a1627953320] -> *) (FilterSym1 a1627953320) Source # MethodssuppressUnusedWarnings :: Proxy (FilterSym1 a1627953320) t -> () Source # type Apply [a1627953320] [a1627953320] (FilterSym1 a1627953320 l1) l0 Source # type Apply [a1627953320] [a1627953320] (FilterSym1 a1627953320 l1) l0 = FilterSym2 a1627953320 l1 l0 type FilterSym2 t t = Filter t t Source # data (:!!) l Source # Instances  SuppressUnusedWarnings (TyFun [a1627953289] (TyFun Nat a1627953289 -> Type) -> *) ((:!!) a1627953289) Source # MethodssuppressUnusedWarnings :: Proxy ((:!!) a1627953289) t -> () Source # type Apply [a1627953289] (TyFun Nat a1627953289 -> Type) ((:!!) a1627953289) l0 Source # type Apply [a1627953289] (TyFun Nat a1627953289 -> Type) ((:!!) a1627953289) l0 = (:!!$$) a1627953289 l0

data l :!!$$l Source # Instances  SuppressUnusedWarnings ([a1627953289] -> TyFun Nat a1627953289 -> *) ((:!!$$) a1627953289) Source # MethodssuppressUnusedWarnings :: Proxy ((:!!$$) a1627953289) t -> () Source # type Apply Nat a1627953289 ((:!!$$) a1627953289 l1) l0 Source # type Apply Nat a1627953289 ((:!!$$) a1627953289 l1) l0 = (:!!$$$) a1627953289 l1 l0 type (:!!$) t t = (:!!) t t Source #