Data.Singletons.Prelude.List

Defines functions and datatypes relating to the singleton for '[]', including a singletons version of a few of the definitions in Data.List.

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

The singleton for lists

data family Sing (a :: k)

The singleton kind-indexed data family.

Instances

data Sing Bool

data Sing Bool where

• SFalse :: Sing Bool z
• STrue :: Sing Bool z

data Sing Ordering

data Sing Ordering where

• SLT :: Sing Ordering z
• SEQ :: Sing Ordering z
• SGT :: Sing Ordering z

data Sing *

data Sing * where

• STypeRep :: Sing * a

data Sing Nat

data Sing Nat where

• SNat :: Sing Nat n

data Sing Symbol

data Sing Symbol where

• SSym :: Sing Symbol n

data Sing ()

data Sing () where

• STuple0 :: Sing () z

data Sing [a0]

data Sing [a0] where

• SNil :: Sing [a] z
• SCons :: Sing [a] z

data Sing (Maybe a0)

data Sing (Maybe a0) where

• SNothing :: Sing (Maybe a) z
• SJust :: Sing (Maybe a) z

data Sing (NonEmpty a0)

data Sing (NonEmpty a0) where

• (:%|) :: Sing (NonEmpty a) z

data Sing (Either a0 b0)

data Sing (Either a0 b0) where

• SLeft :: Sing (Either a b) z
• SRight :: Sing (Either a b) z

data Sing (a0, b0)

data Sing (a0, b0) where

• STuple2 :: Sing (a, b) z

data Sing ((~>) k1 k2)

data Sing ((~>) k1 k2) = SLambda {

• applySing :: forall t. Sing k1 t -> Sing k2 ((@@) k1 k2 f t)

}

data Sing (a0, b0, c0)

data Sing (a0, b0, c0) where

• STuple3 :: Sing (a, b, c) z

data Sing (a0, b0, c0, d0)

data Sing (a0, b0, c0, d0) where

• STuple4 :: Sing (a, b, c, d) z

data Sing (a0, b0, c0, d0, e0)

data Sing (a0, b0, c0, d0, e0) where

• STuple5 :: Sing (a, b, c, d, e) z

data Sing (a0, b0, c0, d0, e0, f0)

data Sing (a0, b0, c0, d0, e0, f0) where

• STuple6 :: Sing (a, b, c, d, e, f) z

data Sing (a0, b0, c0, d0, e0, f0, g0)

data Sing (a0, b0, c0, d0, e0, f0, g0) where

• STuple7 :: Sing (a, b, c, d, e, f, g) z

Though Haddock doesn't show it, the Sing instance above declares constructors

SNil  :: Sing '[]
SCons :: Sing (h :: k) -> Sing (t :: [k]) -> Sing (h ': t)

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

SList is a kind-restricted synonym for Sing: type SList (a :: [k]) = Sing a

Basic functions

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

Equations

'[] :++ ys = ys

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

(%:++) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:++$) t) t :: [a]) infixr 5

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

Equations

Head ((:) a _z_1627957326) = a

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

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

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

Equations

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

Last '[x] = x

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

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

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

Equations

Tail ((:) _z_1627957307 t) = t

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

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

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

Equations

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

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

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

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

Equations

Null '[] = TrueSym0

Null ((:) _z_1627957205 _z_1627957208) = FalseSym0

sNull :: forall t. Sing t -> Sing (Apply NullSym0 t :: Bool)

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

Equations

Length '[] = FromInteger 0

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

sLength :: forall t. Sing t -> Sing (Apply LengthSym0 t :: Nat)

List transformations

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

Equations

Map _z_1627796817 '[] = '[]

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

sMap :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MapSym0 t) t :: [b])

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

Equations

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

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

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

Equations

Intersperse _z_1627957149 '[] = '[]

Intersperse sep ((:) x xs) = Apply (Apply (:$) x) (Apply (Apply PrependToAllSym0 sep) xs)

sIntersperse :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply IntersperseSym0 t) t :: [a])

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

Equations

Intercalate xs xss = Apply ConcatSym0 (Apply (Apply IntersperseSym0 xs) xss)

sIntercalate :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply IntercalateSym0 t) t :: [a])

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

Equations

Transpose '[] = '[]

Transpose ((:) '[] xss) = Apply TransposeSym0 xss

Transpose ((:) ((:) x xs) xss) = Apply (Apply (:$) (Apply (Apply (:$) x) (Apply (Apply MapSym0 HeadSym0) xss))) (Apply TransposeSym0 (Apply (Apply (:$) xs) (Apply (Apply MapSym0 TailSym0) xss)))

sTranspose :: forall t. Sing t -> Sing (Apply TransposeSym0 t :: [[a]])

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

Equations

Subsequences xs = Apply (Apply (:$) '[]) (Apply NonEmptySubsequencesSym0 xs)

sSubsequences :: forall t. Sing t -> Sing (Apply SubsequencesSym0 t :: [[a]])

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

Equations

Permutations xs0 = Apply (Apply (:$) xs0) (Apply (Apply (Let1627956724PermsSym1 xs0) xs0) '[])

sPermutations :: forall t. Sing t -> Sing (Apply PermutationsSym0 t :: [[a]])

Reducing lists (folds)

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

Equations

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

sFoldl :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b)

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

Equations

Foldl' f z0 xs0 = Apply (Apply (Let1627956638LgoSym3 f z0 xs0) z0) xs0

sFoldl' :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply Foldl'Sym0 t) t) t :: b)

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

Equations

Foldl1 f ((:) x xs) = Apply (Apply (Apply FoldlSym0 f) x) xs

Foldl1 _z_1627956415 '[] = Apply ErrorSym0 "Data.Singletons.List.foldl1: empty list"

sFoldl1 :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply Foldl1Sym0 t) t :: a)

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

Equations

Foldl1' f ((:) x xs) = Apply (Apply (Apply Foldl'Sym0 f) x) xs

Foldl1' _z_1627956716 '[] = Apply ErrorSym0 "Data.Singletons.List.foldl1': empty list"

sFoldl1' :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply Foldl1'Sym0 t) t :: a)

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

Equations

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

sFoldr :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldrSym0 t) t) t :: b)

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

Equations

Foldr1 _z_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"

sFoldr1 :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply Foldr1Sym0 t) t :: a)

Special folds

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

Equations

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

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

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

Equations

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

sConcatMap :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply ConcatMapSym0 t) t :: [b])

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

Equations

And '[] = TrueSym0

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

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

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

Equations

Or '[] = FalseSym0

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

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

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

Equations

Any_ _z_1627942726 '[] = FalseSym0

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

sAny_ :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply Any_Sym0 t) t :: Bool)

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

Equations

All _z_1627956326 '[] = TrueSym0

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

sAll :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply AllSym0 t) t :: Bool)

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

Equations

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

sSum :: forall t. SNum a => Sing t -> Sing (Apply SumSym0 t :: a)

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

Equations

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

sProduct :: forall t. SNum a => Sing t -> Sing (Apply ProductSym0 t :: a)

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

Equations

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

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

sMaximum :: forall t. SOrd a => Sing t -> Sing (Apply MaximumSym0 t :: a)

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

Equations

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

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

sMinimum :: forall t. SOrd a => Sing t -> Sing (Apply MinimumSym0 t :: a)

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

Building lists

Scans

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

Equations

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

sScanl :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanlSym0 t) t) t :: [b])

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

Equations

Scanl1 f ((:) x xs) = Apply (Apply (Apply ScanlSym0 f) x) xs

Scanl1 _z_1627956314 '[] = '[]

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

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

Equations

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

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

sScanr :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ScanrSym0 t) t) t :: [b])

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

Equations

Scanr1 _z_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)

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

Accumulating maps

type family MapAccumL (a :: TyFun acc (TyFun x (acc, y) -> Type) -> Type) (a :: acc) (a :: [x]) :: (acc, [y]) where ...

Equations

MapAccumL _z_1627956012 s '[] = Apply (Apply Tuple2Sym0 s) '[]

MapAccumL f s ((:) x xs) = Apply (Apply Tuple2Sym0 (Let1627956020S''Sym4 f s x xs)) (Apply (Apply (:$) (Let1627956020YSym4 f s x xs)) (Let1627956020YsSym4 f s x xs))

sMapAccumL :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MapAccumLSym0 t) t) t :: (acc, [y]))

type family MapAccumR (a :: TyFun acc (TyFun x (acc, y) -> Type) -> Type) (a :: acc) (a :: [x]) :: (acc, [y]) where ...

Equations

MapAccumR _z_1627955840 s '[] = Apply (Apply Tuple2Sym0 s) '[]

MapAccumR f s ((:) x xs) = Apply (Apply Tuple2Sym0 (Let1627955848S''Sym4 f s x xs)) (Apply (Apply (:$) (Let1627955848YSym4 f s x xs)) (Let1627955848YsSym4 f s x xs))

sMapAccumR :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply MapAccumRSym0 t) t) t :: (acc, [y]))

Cyclical lists

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

Equations

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

sReplicate :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply ReplicateSym0 t) t :: [a])

Unfolding

type family Unfoldr (a :: TyFun b (Maybe (a, b)) -> Type) (a :: b) :: [a] where ...

Equations

Unfoldr f b = Case_1627955820 f b (Let1627955812Scrutinee_1627953868Sym2 f b)

sUnfoldr :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply UnfoldrSym0 t) t :: [a])

Sublists

Extracting sublists

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

Equations

Take _z_1627954300 '[] = '[]

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

sTake :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply TakeSym0 t) t :: [a])

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

Equations

Drop _z_1627954269 '[] = '[]

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

sDrop :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply DropSym0 t) t :: [a])

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

Equations

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

sSplitAt :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply SplitAtSym0 t) t :: ([a], [a]))

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

Equations

TakeWhile _z_1627954673 '[] = '[]

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

sTakeWhile :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply TakeWhileSym0 t) t :: [a])

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

Equations

DropWhile _z_1627954629 '[] = '[]

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

sDropWhile :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply DropWhileSym0 t) t :: [a])

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

Equations

DropWhileEnd p a_1627957220 = Apply (Apply (Apply FoldrSym0 (Apply (Apply Lambda_1627957224Sym0 p) a_1627957220)) '[]) a_1627957220

sDropWhileEnd :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply DropWhileEndSym0 t) t :: [a])

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

Equations

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

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

sSpan :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply SpanSym0 t) t :: ([a], [a]))

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

Equations

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

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

sBreak :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply BreakSym0 t) t :: ([a], [a]))

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

Equations

Group xs = Apply (Apply GroupBySym0 (:==$)) xs

sGroup :: forall t. SEq a => Sing t -> Sing (Apply GroupSym0 t :: [[a]])

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

Equations

Inits xs = Apply (Apply (:$) '[]) (Case_1627955796 xs xs)

sInits :: forall t. Sing t -> Sing (Apply InitsSym0 t :: [[a]])

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

Equations

Tails xs = Apply (Apply (:$) xs) (Case_1627955773 xs xs)

sTails :: forall t. Sing t -> Sing (Apply TailsSym0 t :: [[a]])

Predicates

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

Equations

IsPrefixOf '[] '[] = TrueSym0

IsPrefixOf '[] ((:) _z_1627955752 _z_1627955755) = TrueSym0

IsPrefixOf ((:) _z_1627955758 _z_1627955761) '[] = FalseSym0

IsPrefixOf ((:) x xs) ((:) y ys) = Apply (Apply (:&&$) (Apply (Apply (:==$) x) y)) (Apply (Apply IsPrefixOfSym0 xs) ys)

sIsPrefixOf :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsPrefixOfSym0 t) t :: Bool)

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

Equations

IsSuffixOf x y = Apply (Apply IsPrefixOfSym0 (Apply ReverseSym0 x)) (Apply ReverseSym0 y)

sIsSuffixOf :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsSuffixOfSym0 t) t :: Bool)

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

Equations

IsInfixOf needle haystack = Apply (Apply Any_Sym0 (Apply IsPrefixOfSym0 needle)) (Apply TailsSym0 haystack)

sIsInfixOf :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply IsInfixOfSym0 t) t :: Bool)

Searching lists

Searching by equality

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

Equations

Elem _z_1627955689 '[] = FalseSym0

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

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

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

Equations

NotElem _z_1627955674 '[] = TrueSym0

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

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

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

Equations

Lookup _key '[] = NothingSym0

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

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

Searching with a predicate

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

Equations

Find p a_1627954733 = Apply (Apply (Apply (:.$) ListToMaybeSym0) (Apply FilterSym0 p)) a_1627954733

sFind :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply FindSym0 t) t :: Maybe a)

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

Equations

Filter _p '[] = '[]

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

sFilter :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply FilterSym0 t) t :: [a])

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

Equations

Partition p xs = Apply (Apply (Apply FoldrSym0 (Apply SelectSym0 p)) (Apply (Apply Tuple2Sym0 '[]) '[])) xs

sPartition :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply PartitionSym0 t) t :: ([a], [a]))

Indexing lists

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

Equations

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

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

(%:!!) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:!!$) t) t :: a)

type family ElemIndex (a :: a) (a :: [a]) :: Maybe Nat where ...

Equations

ElemIndex x a_1627955661 = Apply (Apply FindIndexSym0 (Apply (:==$) x)) a_1627955661

sElemIndex :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemIndexSym0 t) t :: Maybe Nat)

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

Equations

ElemIndices x a_1627955635 = Apply (Apply FindIndicesSym0 (Apply (:==$) x)) a_1627955635

sElemIndices :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply ElemIndicesSym0 t) t :: [Nat])

type family FindIndex (a :: TyFun a Bool -> Type) (a :: [a]) :: Maybe Nat where ...

Equations

FindIndex p a_1627955648 = Apply (Apply (Apply (:.$) ListToMaybeSym0) (Apply FindIndicesSym0 p)) a_1627955648

sFindIndex :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply FindIndexSym0 t) t :: Maybe Nat)

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

Equations

FindIndices p xs = Apply (Apply MapSym0 SndSym0) (Apply (Apply FilterSym0 (Apply (Apply Lambda_1627955603Sym0 p) xs)) (Apply (Apply ZipSym0 xs) (Apply (Apply (Let1627955574BuildListSym2 p xs) (FromInteger 0)) xs)))

sFindIndices :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply FindIndicesSym0 t) t :: [Nat])

Zipping and unzipping lists

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

Equations

Zip ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply Tuple2Sym0 x) y)) (Apply (Apply ZipSym0 xs) ys)

Zip '[] '[] = '[]

Zip ((:) _z_1627955551 _z_1627955554) '[] = '[]

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

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

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

Equations

Zip3 ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply Tuple3Sym0 a) b) c)) (Apply (Apply (Apply Zip3Sym0 as) bs) cs)

Zip3 '[] '[] '[] = '[]

Zip3 '[] '[] ((:) _z_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) '[] = '[]

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

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

Equations

ZipWith f ((:) x xs) ((:) y ys) = Apply (Apply (:$) (Apply (Apply f x) y)) (Apply (Apply (Apply ZipWithSym0 f) xs) ys)

ZipWith _z_1627955442 '[] '[] = '[]

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

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

sZipWith :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply ZipWithSym0 t) t) t :: [c])

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

Equations

ZipWith3 z ((:) a as) ((:) b bs) ((:) c cs) = Apply (Apply (:$) (Apply (Apply (Apply z a) b) c)) (Apply (Apply (Apply (Apply ZipWith3Sym0 z) as) bs) cs)

ZipWith3 _z_1627955347 '[] '[] '[] = '[]

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

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

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

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

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

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

sZipWith3 :: forall t t t t. Sing t -> Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply (Apply ZipWith3Sym0 t) t) t) t :: [d])

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

Equations

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

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

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

Equations

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

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

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

Equations

Unzip4 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627955227Sym0 xs)) (Apply (Apply (Apply (Apply Tuple4Sym0 '[]) '[]) '[]) '[])) xs

sUnzip4 :: forall t. Sing t -> Sing (Apply Unzip4Sym0 t :: ([a], [b], [c], [d]))

type family Unzip5 (a :: [(a, b, c, d, e)]) :: ([a], [b], [c], [d], [e]) where ...

Equations

Unzip5 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627955191Sym0 xs)) (Apply (Apply (Apply (Apply (Apply Tuple5Sym0 '[]) '[]) '[]) '[]) '[])) xs

sUnzip5 :: forall t. Sing t -> Sing (Apply Unzip5Sym0 t :: ([a], [b], [c], [d], [e]))

type family Unzip6 (a :: [(a, b, c, d, e, f)]) :: ([a], [b], [c], [d], [e], [f]) where ...

Equations

Unzip6 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627955153Sym0 xs)) (Apply (Apply (Apply (Apply (Apply (Apply Tuple6Sym0 '[]) '[]) '[]) '[]) '[]) '[])) xs

sUnzip6 :: forall t. Sing t -> Sing (Apply Unzip6Sym0 t :: ([a], [b], [c], [d], [e], [f]))

type family Unzip7 (a :: [(a, b, c, d, e, f, g)]) :: ([a], [b], [c], [d], [e], [f], [g]) where ...

Equations

Unzip7 xs = Apply (Apply (Apply FoldrSym0 (Apply Lambda_1627955113Sym0 xs)) (Apply (Apply (Apply (Apply (Apply (Apply (Apply Tuple7Sym0 '[]) '[]) '[]) '[]) '[]) '[]) '[])) xs

sUnzip7 :: forall t. Sing t -> Sing (Apply Unzip7Sym0 t :: ([a], [b], [c], [d], [e], [f], [g]))

Special lists

"Set" operations

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

Equations

Nub l = Apply (Apply (Let1627955700Nub'Sym1 l) l) '[]

sNub :: forall t. SEq a => Sing t -> Sing (Apply NubSym0 t :: [a])

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

Equations

Delete a_1627955078 a_1627955080 = Apply (Apply (Apply DeleteBySym0 (:==$)) a_1627955078) a_1627955080

sDelete :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply DeleteSym0 t) t :: [a])

type family (a :: [a]) :\\ (a :: [a]) :: [a] where ... infix 5

Equations

a_1627955093 :\\ a_1627955095 = Apply (Apply (Apply FoldlSym0 (Apply FlipSym0 DeleteSym0)) a_1627955093) a_1627955095

(%:\\) :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply (:\\$) t) t :: [a]) infix 5

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

Equations

Union a_1627955063 a_1627955065 = Apply (Apply (Apply UnionBySym0 (:==$)) a_1627955063) a_1627955065

sUnion :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply UnionSym0 t) t :: [a])

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

Equations

Intersect a_1627954866 a_1627954868 = Apply (Apply (Apply IntersectBySym0 (:==$)) a_1627954866) a_1627954868

sIntersect :: forall t t. SEq a => Sing t -> Sing t -> Sing (Apply (Apply IntersectSym0 t) t :: [a])

Ordered lists

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

Equations

Insert e ls = Apply (Apply (Apply InsertBySym0 CompareSym0) e) ls

sInsert :: forall t t. SOrd a => Sing t -> Sing t -> Sing (Apply (Apply InsertSym0 t) t :: [a])

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

Equations

Sort a_1627954969 = Apply (Apply SortBySym0 CompareSym0) a_1627954969

sSort :: forall t. SOrd a => Sing t -> Sing (Apply SortSym0 t :: [a])

Generalized functions

The "By" operations

User-supplied equality (replacing an Eq context)

The predicate is assumed to define an equivalence.

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

Equations

NubBy eq l = Apply (Apply (Let1627954007NubBy'Sym2 eq l) l) '[]

sNubBy :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply NubBySym0 t) t :: [a])

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

Equations

DeleteBy _z_1627954991 _z_1627954994 '[] = '[]

DeleteBy eq x ((:) y ys) = Case_1627955020 eq x y ys (Let1627955001Scrutinee_1627953894Sym4 eq x y ys)

sDeleteBy :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply DeleteBySym0 t) t) t :: [a])

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

Equations

DeleteFirstsBy eq a_1627955038 a_1627955040 = Apply (Apply (Apply FoldlSym0 (Apply FlipSym0 (Apply DeleteBySym0 eq))) a_1627955038) a_1627955040

sDeleteFirstsBy :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply DeleteFirstsBySym0 t) t) t :: [a])

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

Equations

UnionBy eq xs ys = Apply (Apply (:++$) xs) (Apply (Apply (Apply FoldlSym0 (Apply FlipSym0 (Apply DeleteBySym0 eq))) (Apply (Apply NubBySym0 eq) ys)) xs)

sUnionBy :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply UnionBySym0 t) t) t :: [a])

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

Equations

IntersectBy _z_1627954752 '[] '[] = '[]

IntersectBy _z_1627954755 '[] ((:) _z_1627954758 _z_1627954761) = '[]

IntersectBy _z_1627954764 ((:) _z_1627954767 _z_1627954770) '[] = '[]

IntersectBy eq ((:) wild_1627953914 wild_1627953916) ((:) wild_1627953918 wild_1627953920) = Apply (Apply FilterSym0 (Apply (Apply (Apply (Apply (Apply Lambda_1627954829Sym0 eq) wild_1627953914) wild_1627953916) wild_1627953918) wild_1627953920)) (Let1627954778XsSym5 eq wild_1627953914 wild_1627953916 wild_1627953918 wild_1627953920)

sIntersectBy :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply IntersectBySym0 t) t) t :: [a])

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

Equations

GroupBy _z_1627954552 '[] = '[]

GroupBy eq ((:) x xs) = Apply (Apply (:$) (Apply (Apply (:$) x) (Let1627954558YsSym3 eq x xs))) (Apply (Apply GroupBySym0 eq) (Let1627954558ZsSym3 eq x xs))

sGroupBy :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply GroupBySym0 t) t :: [[a]])

User-supplied comparison (replacing an Ord context)

The function is assumed to define a total ordering.

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

Equations

SortBy cmp a_1627954965 = Apply (Apply (Apply FoldrSym0 (Apply InsertBySym0 cmp)) '[]) a_1627954965

sSortBy :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply SortBySym0 t) t :: [a])

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

Equations

InsertBy _z_1627954896 x '[] = Apply (Apply (:$) x) '[]

InsertBy cmp x ((:) y ys') = Case_1627954942 cmp x y ys' (Let1627954923Scrutinee_1627953896Sym4 cmp x y ys')

sInsertBy :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply InsertBySym0 t) t) t :: [a])

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

Equations

MaximumBy _z_1627956427 '[] = Apply ErrorSym0 "Data.Singletons.List.maximumBy: empty list"

MaximumBy cmp ((:) wild_1627953900 wild_1627953902) = Apply (Apply Foldl1Sym0 (Let1627956446MaxBySym3 cmp wild_1627953900 wild_1627953902)) (Let1627956433XsSym3 cmp wild_1627953900 wild_1627953902)

sMaximumBy :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MaximumBySym0 t) t :: a)

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

Equations

MinimumBy _z_1627956514 '[] = Apply ErrorSym0 "Data.Singletons.List.minimumBy: empty list"

MinimumBy cmp ((:) wild_1627953906 wild_1627953908) = Apply (Apply Foldl1Sym0 (Let1627956533MinBySym3 cmp wild_1627953906 wild_1627953908)) (Let1627956520XsSym3 cmp wild_1627953906 wild_1627953908)

sMinimumBy :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MinimumBySym0 t) t :: a)

The "generic" operations

The prefix `generic' indicates an overloaded function that is a generalized version of a Prelude function.

type family GenericLength (a :: [a]) :: i where ...

Equations

GenericLength '[] = FromInteger 0

GenericLength ((:) _z_1627953967 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply GenericLengthSym0 xs)

sGenericLength :: forall t. SNum i => Sing t -> Sing (Apply GenericLengthSym0 t :: i)

Defunctionalization symbols

type NilSym0 = '[]

data (:$) l

Instances

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

Methods

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

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

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

data l :$$ l

Instances

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

Methods

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

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

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

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

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

data l :++$$ l

Instances

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

Methods

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

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

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

data (:++$) l

Instances

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

Methods

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

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

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

data HeadSym0 l

Instances

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

Methods

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

type Apply [a1627953409] a1627953409 (HeadSym0 a1627953409) l0

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

type HeadSym1 t = Head t

data LastSym0 l

Instances

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

Methods

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

type Apply [a1627953408] a1627953408 (LastSym0 a1627953408) l0

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

type LastSym1 t = Last t

data TailSym0 l

Instances

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

Methods

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

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

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

type TailSym1 t = Tail t

data InitSym0 l

Instances

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

Methods

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

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

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

type InitSym1 t = Init t

data NullSym0 l

Instances

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

Methods

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

type Apply [a1627953405] Bool (NullSym0 a1627953405) l0

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

type NullSym1 t = Null t

data LengthSym0 l

Instances

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

Methods

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

type Apply [a1627953292] Nat (LengthSym0 a1627953292) l0

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

type LengthSym1 t = Length t

data MapSym0 l

Instances

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

Methods

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

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

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

data MapSym1 l l

Instances

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

Methods

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

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

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

type MapSym2 t t = Map t t

data ReverseSym0 l

Instances

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

Methods

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

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

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

type ReverseSym1 t = Reverse t

data IntersperseSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953403 (TyFun [a1627953403] [a1627953403] -> Type) -> *) (IntersperseSym0 a1627953403)

Methods

suppressUnusedWarnings :: Proxy (IntersperseSym0 a1627953403) t -> ()

type Apply a1627953403 (TyFun [a1627953403] [a1627953403] -> Type) (IntersperseSym0 a1627953403) l0

type Apply a1627953403 (TyFun [a1627953403] [a1627953403] -> Type) (IntersperseSym0 a1627953403) l0 = IntersperseSym1 a1627953403 l0

data IntersperseSym1 l l

Instances

SuppressUnusedWarnings (a1627953403 -> TyFun [a1627953403] [a1627953403] -> *) (IntersperseSym1 a1627953403)

Methods

suppressUnusedWarnings :: Proxy (IntersperseSym1 a1627953403) t -> ()

type Apply [a1627953403] [a1627953403] (IntersperseSym1 a1627953403 l1) l0

type Apply [a1627953403] [a1627953403] (IntersperseSym1 a1627953403 l1) l0 = IntersperseSym2 a1627953403 l1 l0

type IntersperseSym2 t t = Intersperse t t

data IntercalateSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953402] (TyFun [[a1627953402]] [a1627953402] -> Type) -> *) (IntercalateSym0 a1627953402)

Methods

suppressUnusedWarnings :: Proxy (IntercalateSym0 a1627953402) t -> ()

type Apply [a1627953402] (TyFun [[a1627953402]] [a1627953402] -> Type) (IntercalateSym0 a1627953402) l0

type Apply [a1627953402] (TyFun [[a1627953402]] [a1627953402] -> Type) (IntercalateSym0 a1627953402) l0 = IntercalateSym1 a1627953402 l0

data IntercalateSym1 l l

Instances

SuppressUnusedWarnings ([a1627953402] -> TyFun [[a1627953402]] [a1627953402] -> *) (IntercalateSym1 a1627953402)

Methods

suppressUnusedWarnings :: Proxy (IntercalateSym1 a1627953402) t -> ()

type Apply [[a1627953402]] [a1627953402] (IntercalateSym1 a1627953402 l1) l0

type Apply [[a1627953402]] [a1627953402] (IntercalateSym1 a1627953402 l1) l0 = IntercalateSym2 a1627953402 l1 l0

type IntercalateSym2 t t = Intercalate t t

data TransposeSym0 l

Instances

SuppressUnusedWarnings (TyFun [[a1627953290]] [[a1627953290]] -> *) (TransposeSym0 a1627953290)

Methods

suppressUnusedWarnings :: Proxy (TransposeSym0 a1627953290) t -> ()

type Apply [[a1627953290]] [[a1627953290]] (TransposeSym0 a1627953290) l0

type Apply [[a1627953290]] [[a1627953290]] (TransposeSym0 a1627953290) l0 = TransposeSym1 a1627953290 l0

type TransposeSym1 t = Transpose t

data SubsequencesSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953401] [[a1627953401]] -> *) (SubsequencesSym0 a1627953401)

Methods

suppressUnusedWarnings :: Proxy (SubsequencesSym0 a1627953401) t -> ()

type Apply [a1627953401] [[a1627953401]] (SubsequencesSym0 a1627953401) l0

type Apply [a1627953401] [[a1627953401]] (SubsequencesSym0 a1627953401) l0 = SubsequencesSym1 a1627953401 l0

type SubsequencesSym1 t = Subsequences t

data PermutationsSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953398] [[a1627953398]] -> *) (PermutationsSym0 a1627953398)

Methods

suppressUnusedWarnings :: Proxy (PermutationsSym0 a1627953398) t -> ()

type Apply [a1627953398] [[a1627953398]] (PermutationsSym0 a1627953398) l0

type Apply [a1627953398] [[a1627953398]] (PermutationsSym0 a1627953398) l0 = PermutationsSym1 a1627953398 l0

type PermutationsSym1 t = Permutations t

data FoldlSym0 l

Instances

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

Methods

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

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

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

data FoldlSym1 l l

Instances

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

Methods

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

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

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

data FoldlSym2 l l l

Instances

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

Methods

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

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

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

type FoldlSym3 t t t = Foldl t t t

data Foldl'Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627953397 (TyFun a1627953396 b1627953397 -> Type) -> Type) (TyFun b1627953397 (TyFun [a1627953396] b1627953397 -> Type) -> Type) -> *) (Foldl'Sym0 a1627953396 b1627953397)

Methods

suppressUnusedWarnings :: Proxy (Foldl'Sym0 a1627953396 b1627953397) t -> ()

type Apply (TyFun b1627953397 (TyFun a1627953396 b1627953397 -> Type) -> Type) (TyFun b1627953397 (TyFun [a1627953396] b1627953397 -> Type) -> Type) (Foldl'Sym0 a1627953396 b1627953397) l0

type Apply (TyFun b1627953397 (TyFun a1627953396 b1627953397 -> Type) -> Type) (TyFun b1627953397 (TyFun [a1627953396] b1627953397 -> Type) -> Type) (Foldl'Sym0 a1627953396 b1627953397) l0 = Foldl'Sym1 a1627953396 b1627953397 l0

data Foldl'Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun b1627953397 (TyFun a1627953396 b1627953397 -> Type) -> Type) -> TyFun b1627953397 (TyFun [a1627953396] b1627953397 -> Type) -> *) (Foldl'Sym1 a1627953396 b1627953397)

Methods

suppressUnusedWarnings :: Proxy (Foldl'Sym1 a1627953396 b1627953397) t -> ()

type Apply b1627953397 (TyFun [a1627953396] b1627953397 -> Type) (Foldl'Sym1 a1627953396 b1627953397 l1) l0

type Apply b1627953397 (TyFun [a1627953396] b1627953397 -> Type) (Foldl'Sym1 a1627953396 b1627953397 l1) l0 = Foldl'Sym2 a1627953396 b1627953397 l1 l0

data Foldl'Sym2 l l l

Instances

SuppressUnusedWarnings ((TyFun b1627953397 (TyFun a1627953396 b1627953397 -> Type) -> Type) -> b1627953397 -> TyFun [a1627953396] b1627953397 -> *) (Foldl'Sym2 a1627953396 b1627953397)

Methods

suppressUnusedWarnings :: Proxy (Foldl'Sym2 a1627953396 b1627953397) t -> ()

type Apply [a1627953396] b1627953397 (Foldl'Sym2 a1627953396 b1627953397 l1 l2) l0

type Apply [a1627953396] b1627953397 (Foldl'Sym2 a1627953396 b1627953397 l1 l2) l0 = Foldl'Sym3 b1627953397 a1627953396 l1 l2 l0

type Foldl'Sym3 t t t = Foldl' t t t

data Foldl1Sym0 l

Instances

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

Methods

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

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

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

data Foldl1Sym1 l l

Instances

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

Methods

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

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

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

type Foldl1Sym2 t t = Foldl1 t t

data Foldl1'Sym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953394 (TyFun a1627953394 a1627953394 -> Type) -> Type) (TyFun [a1627953394] a1627953394 -> Type) -> *) (Foldl1'Sym0 a1627953394)

Methods

suppressUnusedWarnings :: Proxy (Foldl1'Sym0 a1627953394) t -> ()

type Apply (TyFun a1627953394 (TyFun a1627953394 a1627953394 -> Type) -> Type) (TyFun [a1627953394] a1627953394 -> Type) (Foldl1'Sym0 a1627953394) l0

type Apply (TyFun a1627953394 (TyFun a1627953394 a1627953394 -> Type) -> Type) (TyFun [a1627953394] a1627953394 -> Type) (Foldl1'Sym0 a1627953394) l0 = Foldl1'Sym1 a1627953394 l0

data Foldl1'Sym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953394 (TyFun a1627953394 a1627953394 -> Type) -> Type) -> TyFun [a1627953394] a1627953394 -> *) (Foldl1'Sym1 a1627953394)

Methods

suppressUnusedWarnings :: Proxy (Foldl1'Sym1 a1627953394) t -> ()

type Apply [a1627953394] a1627953394 (Foldl1'Sym1 a1627953394 l1) l0

type Apply [a1627953394] a1627953394 (Foldl1'Sym1 a1627953394 l1) l0 = Foldl1'Sym2 a1627953394 l1 l0

type Foldl1'Sym2 t t = Foldl1' t t

data FoldrSym0 l

Instances

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

Methods

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

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

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

data FoldrSym1 l l

Instances

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

Methods

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

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

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

data FoldrSym2 l l l

Instances

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

Methods

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

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

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

type FoldrSym3 t t t = Foldr t t t

data Foldr1Sym0 l

Instances

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

Methods

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

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

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

data Foldr1Sym1 l l

Instances

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

Methods

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

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

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

type Foldr1Sym2 t t = Foldr1 t t

data ConcatSym0 l

Instances

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

Methods

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

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

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

type ConcatSym1 t = Concat t

data ConcatMapSym0 l

Instances

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

Methods

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

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

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

data ConcatMapSym1 l l

Instances

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

Methods

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

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

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

type ConcatMapSym2 t t = ConcatMap t t

data AndSym0 l

Instances

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

Methods

suppressUnusedWarnings :: Proxy AndSym0 t -> ()

type Apply [Bool] Bool AndSym0 l0

type Apply [Bool] Bool AndSym0 l0 = AndSym1 l0

type AndSym1 t = And t

data OrSym0 l

Instances

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

Methods

suppressUnusedWarnings :: Proxy OrSym0 t -> ()

type Apply [Bool] Bool OrSym0 l0

type Apply [Bool] Bool OrSym0 l0 = OrSym1 l0

type OrSym1 t = Or t

data Any_Sym0 l

Instances

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

Methods

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

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

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

data Any_Sym1 l l

Instances

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

Methods

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

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

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

type Any_Sym2 t t = Any_ t t

data AllSym0 l

Instances

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

Methods

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

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

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

data AllSym1 l l

Instances

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

Methods

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

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

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

type AllSym2 t t = All t t

data SumSym0 l

Instances

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

Methods

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

type Apply [a1627953294] a1627953294 (SumSym0 a1627953294) l0

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

type SumSym1 t = Sum t

data ProductSym0 l

Instances

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

Methods

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

type Apply [a1627953293] a1627953293 (ProductSym0 a1627953293) l0

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

type ProductSym1 t = Product t

data MaximumSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953303] a1627953303 -> *) (MaximumSym0 a1627953303)

Methods

suppressUnusedWarnings :: Proxy (MaximumSym0 a1627953303) t -> ()

type Apply [a1627953303] a1627953303 (MaximumSym0 a1627953303) l0

type Apply [a1627953303] a1627953303 (MaximumSym0 a1627953303) l0 = MaximumSym1 a1627953303 l0

type MaximumSym1 t = Maximum t

data MinimumSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953302] a1627953302 -> *) (MinimumSym0 a1627953302)

Methods

suppressUnusedWarnings :: Proxy (MinimumSym0 a1627953302) t -> ()

type Apply [a1627953302] a1627953302 (MinimumSym0 a1627953302) l0

type Apply [a1627953302] a1627953302 (MinimumSym0 a1627953302) l0 = MinimumSym1 a1627953302 l0

type MinimumSym1 t = Minimum t

data ScanlSym0 l

Instances

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

Methods

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

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

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

data ScanlSym1 l l

Instances

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

Methods

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

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

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

data ScanlSym2 l l l

Instances

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

Methods

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

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

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

type ScanlSym3 t t t = Scanl t t t

data Scanl1Sym0 l

Instances

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

Methods

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

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

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

data Scanl1Sym1 l l

Instances

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

Methods

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

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

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

type Scanl1Sym2 t t = Scanl1 t t

data ScanrSym0 l

Instances

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

Methods

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

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

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

data ScanrSym1 l l

Instances

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

Methods

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

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

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

data ScanrSym2 l l l

Instances

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

Methods

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

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

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

type ScanrSym3 t t t = Scanr t t t

data Scanr1Sym0 l

Instances

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

Methods

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

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

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

data Scanr1Sym1 l l

Instances

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

Methods

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

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

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

type Scanr1Sym2 t t = Scanr1 t t

data MapAccumLSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun acc1627953380 (TyFun x1627953381 (acc1627953380, y1627953382) -> Type) -> Type) (TyFun acc1627953380 (TyFun [x1627953381] (acc1627953380, [y1627953382]) -> Type) -> Type) -> *) (MapAccumLSym0 x1627953381 acc1627953380 y1627953382)

Methods

suppressUnusedWarnings :: Proxy (MapAccumLSym0 x1627953381 acc1627953380 y1627953382) t -> ()

type Apply (TyFun acc1627953380 (TyFun x1627953381 (acc1627953380, y1627953382) -> Type) -> Type) (TyFun acc1627953380 (TyFun [x1627953381] (acc1627953380, [y1627953382]) -> Type) -> Type) (MapAccumLSym0 x1627953381 acc1627953380 y1627953382) l0

type Apply (TyFun acc1627953380 (TyFun x1627953381 (acc1627953380, y1627953382) -> Type) -> Type) (TyFun acc1627953380 (TyFun [x1627953381] (acc1627953380, [y1627953382]) -> Type) -> Type) (MapAccumLSym0 x1627953381 acc1627953380 y1627953382) l0 = MapAccumLSym1 x1627953381 acc1627953380 y1627953382 l0

data MapAccumLSym1 l l

Instances

SuppressUnusedWarnings ((TyFun acc1627953380 (TyFun x1627953381 (acc1627953380, y1627953382) -> Type) -> Type) -> TyFun acc1627953380 (TyFun [x1627953381] (acc1627953380, [y1627953382]) -> Type) -> *) (MapAccumLSym1 x1627953381 acc1627953380 y1627953382)

Methods

suppressUnusedWarnings :: Proxy (MapAccumLSym1 x1627953381 acc1627953380 y1627953382) t -> ()

type Apply acc1627953380 (TyFun [x1627953381] (acc1627953380, [y1627953382]) -> Type) (MapAccumLSym1 x1627953381 acc1627953380 y1627953382 l1) l0

type Apply acc1627953380 (TyFun [x1627953381] (acc1627953380, [y1627953382]) -> Type) (MapAccumLSym1 x1627953381 acc1627953380 y1627953382 l1) l0 = MapAccumLSym2 x1627953381 acc1627953380 y1627953382 l1 l0

data MapAccumLSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun acc1627953380 (TyFun x1627953381 (acc1627953380, y1627953382) -> Type) -> Type) -> acc1627953380 -> TyFun [x1627953381] (acc1627953380, [y1627953382]) -> *) (MapAccumLSym2 x1627953381 acc1627953380 y1627953382)

Methods

suppressUnusedWarnings :: Proxy (MapAccumLSym2 x1627953381 acc1627953380 y1627953382) t -> ()

type Apply [x1627953381] (acc1627953380, [y1627953382]) (MapAccumLSym2 x1627953381 acc1627953380 y1627953382 l1 l2) l0

type Apply [x1627953381] (acc1627953380, [y1627953382]) (MapAccumLSym2 x1627953381 acc1627953380 y1627953382 l1 l2) l0 = MapAccumLSym3 acc1627953380 x1627953381 y1627953382 l1 l2 l0

type MapAccumLSym3 t t t = MapAccumL t t t

data MapAccumRSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun acc1627953377 (TyFun x1627953378 (acc1627953377, y1627953379) -> Type) -> Type) (TyFun acc1627953377 (TyFun [x1627953378] (acc1627953377, [y1627953379]) -> Type) -> Type) -> *) (MapAccumRSym0 x1627953378 acc1627953377 y1627953379)

Methods

suppressUnusedWarnings :: Proxy (MapAccumRSym0 x1627953378 acc1627953377 y1627953379) t -> ()

type Apply (TyFun acc1627953377 (TyFun x1627953378 (acc1627953377, y1627953379) -> Type) -> Type) (TyFun acc1627953377 (TyFun [x1627953378] (acc1627953377, [y1627953379]) -> Type) -> Type) (MapAccumRSym0 x1627953378 acc1627953377 y1627953379) l0

type Apply (TyFun acc1627953377 (TyFun x1627953378 (acc1627953377, y1627953379) -> Type) -> Type) (TyFun acc1627953377 (TyFun [x1627953378] (acc1627953377, [y1627953379]) -> Type) -> Type) (MapAccumRSym0 x1627953378 acc1627953377 y1627953379) l0 = MapAccumRSym1 x1627953378 acc1627953377 y1627953379 l0

data MapAccumRSym1 l l

Instances

SuppressUnusedWarnings ((TyFun acc1627953377 (TyFun x1627953378 (acc1627953377, y1627953379) -> Type) -> Type) -> TyFun acc1627953377 (TyFun [x1627953378] (acc1627953377, [y1627953379]) -> Type) -> *) (MapAccumRSym1 x1627953378 acc1627953377 y1627953379)

Methods

suppressUnusedWarnings :: Proxy (MapAccumRSym1 x1627953378 acc1627953377 y1627953379) t -> ()

type Apply acc1627953377 (TyFun [x1627953378] (acc1627953377, [y1627953379]) -> Type) (MapAccumRSym1 x1627953378 acc1627953377 y1627953379 l1) l0

type Apply acc1627953377 (TyFun [x1627953378] (acc1627953377, [y1627953379]) -> Type) (MapAccumRSym1 x1627953378 acc1627953377 y1627953379 l1) l0 = MapAccumRSym2 x1627953378 acc1627953377 y1627953379 l1 l0

data MapAccumRSym2 l l l

Instances

SuppressUnusedWarnings ((TyFun acc1627953377 (TyFun x1627953378 (acc1627953377, y1627953379) -> Type) -> Type) -> acc1627953377 -> TyFun [x1627953378] (acc1627953377, [y1627953379]) -> *) (MapAccumRSym2 x1627953378 acc1627953377 y1627953379)

Methods

suppressUnusedWarnings :: Proxy (MapAccumRSym2 x1627953378 acc1627953377 y1627953379) t -> ()

type Apply [x1627953378] (acc1627953377, [y1627953379]) (MapAccumRSym2 x1627953378 acc1627953377 y1627953379 l1 l2) l0

type Apply [x1627953378] (acc1627953377, [y1627953379]) (MapAccumRSym2 x1627953378 acc1627953377 y1627953379 l1 l2) l0 = MapAccumRSym3 acc1627953377 x1627953378 y1627953379 l1 l2 l0

type MapAccumRSym3 t t t = MapAccumR t t t

data ReplicateSym0 l

Instances

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

Methods

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

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

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

data ReplicateSym1 l l

Instances

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

Methods

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

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

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

type ReplicateSym2 t t = Replicate t t

data UnfoldrSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627953375 (Maybe (a1627953376, b1627953375)) -> Type) (TyFun b1627953375 [a1627953376] -> Type) -> *) (UnfoldrSym0 b1627953375 a1627953376)

Methods

suppressUnusedWarnings :: Proxy (UnfoldrSym0 b1627953375 a1627953376) t -> ()

type Apply (TyFun b1627953375 (Maybe (a1627953376, b1627953375)) -> Type) (TyFun b1627953375 [a1627953376] -> Type) (UnfoldrSym0 b1627953375 a1627953376) l0

type Apply (TyFun b1627953375 (Maybe (a1627953376, b1627953375)) -> Type) (TyFun b1627953375 [a1627953376] -> Type) (UnfoldrSym0 b1627953375 a1627953376) l0 = UnfoldrSym1 a1627953376 b1627953375 l0

data UnfoldrSym1 l l

Instances

SuppressUnusedWarnings ((TyFun b1627953375 (Maybe (a1627953376, b1627953375)) -> Type) -> TyFun b1627953375 [a1627953376] -> *) (UnfoldrSym1 a1627953376 b1627953375)

Methods

suppressUnusedWarnings :: Proxy (UnfoldrSym1 a1627953376 b1627953375) t -> ()

type Apply b1627953375 [a1627953376] (UnfoldrSym1 a1627953376 b1627953375 l1) l0

type Apply b1627953375 [a1627953376] (UnfoldrSym1 a1627953376 b1627953375 l1) l0 = UnfoldrSym2 b1627953375 a1627953376 l1 l0

type UnfoldrSym2 t t = Unfoldr t t

data TakeSym0 l

Instances

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

Methods

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

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

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

data TakeSym1 l l

Instances

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

Methods

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

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

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

type TakeSym2 t t = Take t t

data DropSym0 l

Instances

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

Methods

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

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

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

data DropSym1 l l

Instances

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

Methods

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

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

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

type DropSym2 t t = Drop t t

data SplitAtSym0 l

Instances

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

Methods

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

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

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

data SplitAtSym1 l l

Instances

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

Methods

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

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

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

type SplitAtSym2 t t = SplitAt t t

data TakeWhileSym0 l

Instances

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

Methods

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

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

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

data TakeWhileSym1 l l

Instances

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

Methods

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

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

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

type TakeWhileSym2 t t = TakeWhile t t

data DropWhileSym0 l

Instances

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

Methods

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

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

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

data DropWhileSym1 l l

Instances

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

Methods

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

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

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

type DropWhileSym2 t t = DropWhile t t

data DropWhileEndSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953310 Bool -> Type) (TyFun [a1627953310] [a1627953310] -> Type) -> *) (DropWhileEndSym0 a1627953310)

Methods

suppressUnusedWarnings :: Proxy (DropWhileEndSym0 a1627953310) t -> ()

type Apply (TyFun a1627953310 Bool -> Type) (TyFun [a1627953310] [a1627953310] -> Type) (DropWhileEndSym0 a1627953310) l0

type Apply (TyFun a1627953310 Bool -> Type) (TyFun [a1627953310] [a1627953310] -> Type) (DropWhileEndSym0 a1627953310) l0 = DropWhileEndSym1 a1627953310 l0

data DropWhileEndSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953310 Bool -> Type) -> TyFun [a1627953310] [a1627953310] -> *) (DropWhileEndSym1 a1627953310)

Methods

suppressUnusedWarnings :: Proxy (DropWhileEndSym1 a1627953310) t -> ()

type Apply [a1627953310] [a1627953310] (DropWhileEndSym1 a1627953310 l1) l0

type Apply [a1627953310] [a1627953310] (DropWhileEndSym1 a1627953310 l1) l0 = DropWhileEndSym2 a1627953310 l1 l0

type DropWhileEndSym2 t t = DropWhileEnd t t

data SpanSym0 l

Instances

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

Methods

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

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

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

data SpanSym1 l l

Instances

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

Methods

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

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

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

type SpanSym2 t t = Span t t

data BreakSym0 l

Instances

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

Methods

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

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

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

data BreakSym1 l l

Instances

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

Methods

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

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

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

type BreakSym2 t t = Break t t

data GroupSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953304] [[a1627953304]] -> *) (GroupSym0 a1627953304)

Methods

suppressUnusedWarnings :: Proxy (GroupSym0 a1627953304) t -> ()

type Apply [a1627953304] [[a1627953304]] (GroupSym0 a1627953304) l0

type Apply [a1627953304] [[a1627953304]] (GroupSym0 a1627953304) l0 = GroupSym1 a1627953304 l0

type GroupSym1 t = Group t

data InitsSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953374] [[a1627953374]] -> *) (InitsSym0 a1627953374)

Methods

suppressUnusedWarnings :: Proxy (InitsSym0 a1627953374) t -> ()

type Apply [a1627953374] [[a1627953374]] (InitsSym0 a1627953374) l0

type Apply [a1627953374] [[a1627953374]] (InitsSym0 a1627953374) l0 = InitsSym1 a1627953374 l0

type InitsSym1 t = Inits t

data TailsSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953373] [[a1627953373]] -> *) (TailsSym0 a1627953373)

Methods

suppressUnusedWarnings :: Proxy (TailsSym0 a1627953373) t -> ()

type Apply [a1627953373] [[a1627953373]] (TailsSym0 a1627953373) l0

type Apply [a1627953373] [[a1627953373]] (TailsSym0 a1627953373) l0 = TailsSym1 a1627953373 l0

type TailsSym1 t = Tails t

data IsPrefixOfSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953372] (TyFun [a1627953372] Bool -> Type) -> *) (IsPrefixOfSym0 a1627953372)

Methods

suppressUnusedWarnings :: Proxy (IsPrefixOfSym0 a1627953372) t -> ()

type Apply [a1627953372] (TyFun [a1627953372] Bool -> Type) (IsPrefixOfSym0 a1627953372) l0

type Apply [a1627953372] (TyFun [a1627953372] Bool -> Type) (IsPrefixOfSym0 a1627953372) l0 = IsPrefixOfSym1 a1627953372 l0

data IsPrefixOfSym1 l l

Instances

SuppressUnusedWarnings ([a1627953372] -> TyFun [a1627953372] Bool -> *) (IsPrefixOfSym1 a1627953372)

Methods

suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a1627953372) t -> ()

type Apply [a1627953372] Bool (IsPrefixOfSym1 a1627953372 l1) l0

type Apply [a1627953372] Bool (IsPrefixOfSym1 a1627953372 l1) l0 = IsPrefixOfSym2 a1627953372 l1 l0

type IsPrefixOfSym2 t t = IsPrefixOf t t

data IsSuffixOfSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953371] (TyFun [a1627953371] Bool -> Type) -> *) (IsSuffixOfSym0 a1627953371)

Methods

suppressUnusedWarnings :: Proxy (IsSuffixOfSym0 a1627953371) t -> ()

type Apply [a1627953371] (TyFun [a1627953371] Bool -> Type) (IsSuffixOfSym0 a1627953371) l0

type Apply [a1627953371] (TyFun [a1627953371] Bool -> Type) (IsSuffixOfSym0 a1627953371) l0 = IsSuffixOfSym1 a1627953371 l0

data IsSuffixOfSym1 l l

Instances

SuppressUnusedWarnings ([a1627953371] -> TyFun [a1627953371] Bool -> *) (IsSuffixOfSym1 a1627953371)

Methods

suppressUnusedWarnings :: Proxy (IsSuffixOfSym1 a1627953371) t -> ()

type Apply [a1627953371] Bool (IsSuffixOfSym1 a1627953371 l1) l0

type Apply [a1627953371] Bool (IsSuffixOfSym1 a1627953371 l1) l0 = IsSuffixOfSym2 a1627953371 l1 l0

type IsSuffixOfSym2 t t = IsSuffixOf t t

data IsInfixOfSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953370] (TyFun [a1627953370] Bool -> Type) -> *) (IsInfixOfSym0 a1627953370)

Methods

suppressUnusedWarnings :: Proxy (IsInfixOfSym0 a1627953370) t -> ()

type Apply [a1627953370] (TyFun [a1627953370] Bool -> Type) (IsInfixOfSym0 a1627953370) l0

type Apply [a1627953370] (TyFun [a1627953370] Bool -> Type) (IsInfixOfSym0 a1627953370) l0 = IsInfixOfSym1 a1627953370 l0

data IsInfixOfSym1 l l

Instances

SuppressUnusedWarnings ([a1627953370] -> TyFun [a1627953370] Bool -> *) (IsInfixOfSym1 a1627953370)

Methods

suppressUnusedWarnings :: Proxy (IsInfixOfSym1 a1627953370) t -> ()

type Apply [a1627953370] Bool (IsInfixOfSym1 a1627953370 l1) l0

type Apply [a1627953370] Bool (IsInfixOfSym1 a1627953370 l1) l0 = IsInfixOfSym2 a1627953370 l1 l0

type IsInfixOfSym2 t t = IsInfixOf t t

data ElemSym0 l

Instances

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

Methods

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

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

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

data ElemSym1 l l

Instances

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

Methods

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

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

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

type ElemSym2 t t = Elem t t

data NotElemSym0 l

Instances

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

Methods

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

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

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

data NotElemSym1 l l

Instances

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

Methods

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

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

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

type NotElemSym2 t t = NotElem t t

data LookupSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) -> *) (LookupSym0 a1627953297 b1627953298)

Methods

suppressUnusedWarnings :: Proxy (LookupSym0 a1627953297 b1627953298) t -> ()

type Apply a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) (LookupSym0 a1627953297 b1627953298) l0

type Apply a1627953297 (TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> Type) (LookupSym0 a1627953297 b1627953298) l0 = LookupSym1 b1627953298 a1627953297 l0

data LookupSym1 l l

Instances

SuppressUnusedWarnings (a1627953297 -> TyFun [(a1627953297, b1627953298)] (Maybe b1627953298) -> *) (LookupSym1 b1627953298 a1627953297)

Methods

suppressUnusedWarnings :: Proxy (LookupSym1 b1627953298 a1627953297) t -> ()

type Apply [(a1627953297, b1627953298)] (Maybe b1627953298) (LookupSym1 b1627953298 a1627953297 l1) l0

type Apply [(a1627953297, b1627953298)] (Maybe b1627953298) (LookupSym1 b1627953298 a1627953297 l1) l0 = LookupSym2 a1627953297 b1627953298 l1 l0

type LookupSym2 t t = Lookup t t

data FindSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953319 Bool -> Type) (TyFun [a1627953319] (Maybe a1627953319) -> Type) -> *) (FindSym0 a1627953319)

Methods

suppressUnusedWarnings :: Proxy (FindSym0 a1627953319) t -> ()

type Apply (TyFun a1627953319 Bool -> Type) (TyFun [a1627953319] (Maybe a1627953319) -> Type) (FindSym0 a1627953319) l0

type Apply (TyFun a1627953319 Bool -> Type) (TyFun [a1627953319] (Maybe a1627953319) -> Type) (FindSym0 a1627953319) l0 = FindSym1 a1627953319 l0

data FindSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953319 Bool -> Type) -> TyFun [a1627953319] (Maybe a1627953319) -> *) (FindSym1 a1627953319)

Methods

suppressUnusedWarnings :: Proxy (FindSym1 a1627953319) t -> ()

type Apply [a1627953319] (Maybe a1627953319) (FindSym1 a1627953319 l1) l0

type Apply [a1627953319] (Maybe a1627953319) (FindSym1 a1627953319 l1) l0 = FindSym2 a1627953319 l1 l0

type FindSym2 t t = Find t t

data FilterSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) -> *) (FilterSym0 a1627953320)

Methods

suppressUnusedWarnings :: Proxy (FilterSym0 a1627953320) t -> ()

type Apply (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) (FilterSym0 a1627953320) l0

type Apply (TyFun a1627953320 Bool -> Type) (TyFun [a1627953320] [a1627953320] -> Type) (FilterSym0 a1627953320) l0 = FilterSym1 a1627953320 l0

data FilterSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953320 Bool -> Type) -> TyFun [a1627953320] [a1627953320] -> *) (FilterSym1 a1627953320)

Methods

suppressUnusedWarnings :: Proxy (FilterSym1 a1627953320) t -> ()

type Apply [a1627953320] [a1627953320] (FilterSym1 a1627953320 l1) l0

type Apply [a1627953320] [a1627953320] (FilterSym1 a1627953320 l1) l0 = FilterSym2 a1627953320 l1 l0

type FilterSym2 t t = Filter t t

data PartitionSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953296 Bool -> Type) (TyFun [a1627953296] ([a1627953296], [a1627953296]) -> Type) -> *) (PartitionSym0 a1627953296)

Methods

suppressUnusedWarnings :: Proxy (PartitionSym0 a1627953296) t -> ()

type Apply (TyFun a1627953296 Bool -> Type) (TyFun [a1627953296] ([a1627953296], [a1627953296]) -> Type) (PartitionSym0 a1627953296) l0

type Apply (TyFun a1627953296 Bool -> Type) (TyFun [a1627953296] ([a1627953296], [a1627953296]) -> Type) (PartitionSym0 a1627953296) l0 = PartitionSym1 a1627953296 l0

data PartitionSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953296 Bool -> Type) -> TyFun [a1627953296] ([a1627953296], [a1627953296]) -> *) (PartitionSym1 a1627953296)

Methods

suppressUnusedWarnings :: Proxy (PartitionSym1 a1627953296) t -> ()

type Apply [a1627953296] ([a1627953296], [a1627953296]) (PartitionSym1 a1627953296 l1) l0

type Apply [a1627953296] ([a1627953296], [a1627953296]) (PartitionSym1 a1627953296 l1) l0 = PartitionSym2 a1627953296 l1 l0

type PartitionSym2 t t = Partition t t

data (:!!$) l

Instances

SuppressUnusedWarnings (TyFun [a1627953289] (TyFun Nat a1627953289 -> Type) -> *) ((:!!$) a1627953289)

Methods

suppressUnusedWarnings :: Proxy ((:!!$) a1627953289) t -> ()

type Apply [a1627953289] (TyFun Nat a1627953289 -> Type) ((:!!$) a1627953289) l0

type Apply [a1627953289] (TyFun Nat a1627953289 -> Type) ((:!!$) a1627953289) l0 = (:!!$$) a1627953289 l0

data l :!!$$ l

Instances

SuppressUnusedWarnings ([a1627953289] -> TyFun Nat a1627953289 -> *) ((:!!$$) a1627953289)

Methods

suppressUnusedWarnings :: Proxy ((:!!$$) a1627953289) t -> ()

type Apply Nat a1627953289 ((:!!$$) a1627953289 l1) l0

type Apply Nat a1627953289 ((:!!$$) a1627953289 l1) l0 = (:!!$$$) a1627953289 l1 l0

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

data ElemIndexSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953318 (TyFun [a1627953318] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a1627953318)

Methods

suppressUnusedWarnings :: Proxy (ElemIndexSym0 a1627953318) t -> ()

type Apply a1627953318 (TyFun [a1627953318] (Maybe Nat) -> Type) (ElemIndexSym0 a1627953318) l0

type Apply a1627953318 (TyFun [a1627953318] (Maybe Nat) -> Type) (ElemIndexSym0 a1627953318) l0 = ElemIndexSym1 a1627953318 l0

data ElemIndexSym1 l l

Instances

SuppressUnusedWarnings (a1627953318 -> TyFun [a1627953318] (Maybe Nat) -> *) (ElemIndexSym1 a1627953318)

Methods

suppressUnusedWarnings :: Proxy (ElemIndexSym1 a1627953318) t -> ()

type Apply [a1627953318] (Maybe Nat) (ElemIndexSym1 a1627953318 l1) l0

type Apply [a1627953318] (Maybe Nat) (ElemIndexSym1 a1627953318 l1) l0 = ElemIndexSym2 a1627953318 l1 l0

type ElemIndexSym2 t t = ElemIndex t t

data ElemIndicesSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953317 (TyFun [a1627953317] [Nat] -> Type) -> *) (ElemIndicesSym0 a1627953317)

Methods

suppressUnusedWarnings :: Proxy (ElemIndicesSym0 a1627953317) t -> ()

type Apply a1627953317 (TyFun [a1627953317] [Nat] -> Type) (ElemIndicesSym0 a1627953317) l0

type Apply a1627953317 (TyFun [a1627953317] [Nat] -> Type) (ElemIndicesSym0 a1627953317) l0 = ElemIndicesSym1 a1627953317 l0

data ElemIndicesSym1 l l

Instances

SuppressUnusedWarnings (a1627953317 -> TyFun [a1627953317] [Nat] -> *) (ElemIndicesSym1 a1627953317)

Methods

suppressUnusedWarnings :: Proxy (ElemIndicesSym1 a1627953317) t -> ()

type Apply [a1627953317] [Nat] (ElemIndicesSym1 a1627953317 l1) l0

type Apply [a1627953317] [Nat] (ElemIndicesSym1 a1627953317 l1) l0 = ElemIndicesSym2 a1627953317 l1 l0

type ElemIndicesSym2 t t = ElemIndices t t

data FindIndexSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953316 Bool -> Type) (TyFun [a1627953316] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a1627953316)

Methods

suppressUnusedWarnings :: Proxy (FindIndexSym0 a1627953316) t -> ()

type Apply (TyFun a1627953316 Bool -> Type) (TyFun [a1627953316] (Maybe Nat) -> Type) (FindIndexSym0 a1627953316) l0

type Apply (TyFun a1627953316 Bool -> Type) (TyFun [a1627953316] (Maybe Nat) -> Type) (FindIndexSym0 a1627953316) l0 = FindIndexSym1 a1627953316 l0

data FindIndexSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953316 Bool -> Type) -> TyFun [a1627953316] (Maybe Nat) -> *) (FindIndexSym1 a1627953316)

Methods

suppressUnusedWarnings :: Proxy (FindIndexSym1 a1627953316) t -> ()

type Apply [a1627953316] (Maybe Nat) (FindIndexSym1 a1627953316 l1) l0

type Apply [a1627953316] (Maybe Nat) (FindIndexSym1 a1627953316 l1) l0 = FindIndexSym2 a1627953316 l1 l0

type FindIndexSym2 t t = FindIndex t t

data FindIndicesSym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953315 Bool -> Type) (TyFun [a1627953315] [Nat] -> Type) -> *) (FindIndicesSym0 a1627953315)

Methods

suppressUnusedWarnings :: Proxy (FindIndicesSym0 a1627953315) t -> ()

type Apply (TyFun a1627953315 Bool -> Type) (TyFun [a1627953315] [Nat] -> Type) (FindIndicesSym0 a1627953315) l0

type Apply (TyFun a1627953315 Bool -> Type) (TyFun [a1627953315] [Nat] -> Type) (FindIndicesSym0 a1627953315) l0 = FindIndicesSym1 a1627953315 l0

data FindIndicesSym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953315 Bool -> Type) -> TyFun [a1627953315] [Nat] -> *) (FindIndicesSym1 a1627953315)

Methods

suppressUnusedWarnings :: Proxy (FindIndicesSym1 a1627953315) t -> ()

type Apply [a1627953315] [Nat] (FindIndicesSym1 a1627953315 l1) l0

type Apply [a1627953315] [Nat] (FindIndicesSym1 a1627953315 l1) l0 = FindIndicesSym2 a1627953315 l1 l0

type FindIndicesSym2 t t = FindIndices t t

data ZipSym0 l

Instances

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

Methods

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

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

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

data ZipSym1 l l

Instances

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

Methods

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

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

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

type ZipSym2 t t = Zip t t

data Zip3Sym0 l

Instances

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

Methods

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

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

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

data Zip3Sym1 l l

Instances

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

Methods

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

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

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

data Zip3Sym2 l l l

Instances

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

Methods

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

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

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

type Zip3Sym3 t t t = Zip3 t t t

data ZipWithSym0 l

Instances

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

Methods

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

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

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

data ZipWithSym1 l l

Instances

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

Methods

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

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

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

data ZipWithSym2 l l l

Instances

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

Methods

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

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

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

type ZipWithSym3 t t t = ZipWith t t t

data ZipWith3Sym0 l

Instances

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

Methods

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

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

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

data ZipWith3Sym1 l l

Instances

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

Methods

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

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

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

data ZipWith3Sym2 l l l

Instances

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

Methods

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

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

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

data ZipWith3Sym3 l l l l

Instances

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

Methods

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

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

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

type ZipWith3Sym4 t t t t = ZipWith3 t t t t

data UnzipSym0 l

Instances

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

Methods

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

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

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

type UnzipSym1 t = Unzip t

data Unzip3Sym0 l

Instances

SuppressUnusedWarnings (TyFun [(a1627953351, b1627953352, c1627953353)] ([a1627953351], [b1627953352], [c1627953353]) -> *) (Unzip3Sym0 a1627953351 b1627953352 c1627953353)

Methods

suppressUnusedWarnings :: Proxy (Unzip3Sym0 a1627953351 b1627953352 c1627953353) t -> ()

type Apply [(a1627953351, b1627953352, c1627953353)] ([a1627953351], [b1627953352], [c1627953353]) (Unzip3Sym0 a1627953351 b1627953352 c1627953353) l0

type Apply [(a1627953351, b1627953352, c1627953353)] ([a1627953351], [b1627953352], [c1627953353]) (Unzip3Sym0 a1627953351 b1627953352 c1627953353) l0 = Unzip3Sym1 a1627953351 b1627953352 c1627953353 l0

type Unzip3Sym1 t = Unzip3 t

data Unzip4Sym0 l

Instances

SuppressUnusedWarnings (TyFun [(a1627953347, b1627953348, c1627953349, d1627953350)] ([a1627953347], [b1627953348], [c1627953349], [d1627953350]) -> *) (Unzip4Sym0 a1627953347 b1627953348 c1627953349 d1627953350)

Methods

suppressUnusedWarnings :: Proxy (Unzip4Sym0 a1627953347 b1627953348 c1627953349 d1627953350) t -> ()

type Apply [(a1627953347, b1627953348, c1627953349, d1627953350)] ([a1627953347], [b1627953348], [c1627953349], [d1627953350]) (Unzip4Sym0 a1627953347 b1627953348 c1627953349 d1627953350) l0

type Apply [(a1627953347, b1627953348, c1627953349, d1627953350)] ([a1627953347], [b1627953348], [c1627953349], [d1627953350]) (Unzip4Sym0 a1627953347 b1627953348 c1627953349 d1627953350) l0 = Unzip4Sym1 a1627953347 b1627953348 c1627953349 d1627953350 l0

type Unzip4Sym1 t = Unzip4 t

data Unzip5Sym0 l

Instances

SuppressUnusedWarnings (TyFun [(a1627953342, b1627953343, c1627953344, d1627953345, e1627953346)] ([a1627953342], [b1627953343], [c1627953344], [d1627953345], [e1627953346]) -> *) (Unzip5Sym0 a1627953342 b1627953343 c1627953344 d1627953345 e1627953346)

Methods

suppressUnusedWarnings :: Proxy (Unzip5Sym0 a1627953342 b1627953343 c1627953344 d1627953345 e1627953346) t -> ()

type Apply [(a1627953342, b1627953343, c1627953344, d1627953345, e1627953346)] ([a1627953342], [b1627953343], [c1627953344], [d1627953345], [e1627953346]) (Unzip5Sym0 a1627953342 b1627953343 c1627953344 d1627953345 e1627953346) l0

type Apply [(a1627953342, b1627953343, c1627953344, d1627953345, e1627953346)] ([a1627953342], [b1627953343], [c1627953344], [d1627953345], [e1627953346]) (Unzip5Sym0 a1627953342 b1627953343 c1627953344 d1627953345 e1627953346) l0 = Unzip5Sym1 a1627953342 b1627953343 c1627953344 d1627953345 e1627953346 l0

type Unzip5Sym1 t = Unzip5 t

data Unzip6Sym0 l

Instances

SuppressUnusedWarnings (TyFun [(a1627953336, b1627953337, c1627953338, d1627953339, e1627953340, f1627953341)] ([a1627953336], [b1627953337], [c1627953338], [d1627953339], [e1627953340], [f1627953341]) -> *) (Unzip6Sym0 a1627953336 b1627953337 c1627953338 d1627953339 e1627953340 f1627953341)

Methods

suppressUnusedWarnings :: Proxy (Unzip6Sym0 a1627953336 b1627953337 c1627953338 d1627953339 e1627953340 f1627953341) t -> ()

type Apply [(a1627953336, b1627953337, c1627953338, d1627953339, e1627953340, f1627953341)] ([a1627953336], [b1627953337], [c1627953338], [d1627953339], [e1627953340], [f1627953341]) (Unzip6Sym0 a1627953336 b1627953337 c1627953338 d1627953339 e1627953340 f1627953341) l0

type Apply [(a1627953336, b1627953337, c1627953338, d1627953339, e1627953340, f1627953341)] ([a1627953336], [b1627953337], [c1627953338], [d1627953339], [e1627953340], [f1627953341]) (Unzip6Sym0 a1627953336 b1627953337 c1627953338 d1627953339 e1627953340 f1627953341) l0 = Unzip6Sym1 a1627953336 b1627953337 c1627953338 d1627953339 e1627953340 f1627953341 l0

type Unzip6Sym1 t = Unzip6 t

data Unzip7Sym0 l

Instances

SuppressUnusedWarnings (TyFun [(a1627953329, b1627953330, c1627953331, d1627953332, e1627953333, f1627953334, g1627953335)] ([a1627953329], [b1627953330], [c1627953331], [d1627953332], [e1627953333], [f1627953334], [g1627953335]) -> *) (Unzip7Sym0 a1627953329 b1627953330 c1627953331 d1627953332 e1627953333 f1627953334 g1627953335)

Methods

suppressUnusedWarnings :: Proxy (Unzip7Sym0 a1627953329 b1627953330 c1627953331 d1627953332 e1627953333 f1627953334 g1627953335) t -> ()

type Apply [(a1627953329, b1627953330, c1627953331, d1627953332, e1627953333, f1627953334, g1627953335)] ([a1627953329], [b1627953330], [c1627953331], [d1627953332], [e1627953333], [f1627953334], [g1627953335]) (Unzip7Sym0 a1627953329 b1627953330 c1627953331 d1627953332 e1627953333 f1627953334 g1627953335) l0

type Apply [(a1627953329, b1627953330, c1627953331, d1627953332, e1627953333, f1627953334, g1627953335)] ([a1627953329], [b1627953330], [c1627953331], [d1627953332], [e1627953333], [f1627953334], [g1627953335]) (Unzip7Sym0 a1627953329 b1627953330 c1627953331 d1627953332 e1627953333 f1627953334 g1627953335) l0 = Unzip7Sym1 a1627953329 b1627953330 c1627953331 d1627953332 e1627953333 f1627953334 g1627953335 l0

type Unzip7Sym1 t = Unzip7 t

data NubSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953288] [a1627953288] -> *) (NubSym0 a1627953288)

Methods

suppressUnusedWarnings :: Proxy (NubSym0 a1627953288) t -> ()

type Apply [a1627953288] [a1627953288] (NubSym0 a1627953288) l0

type Apply [a1627953288] [a1627953288] (NubSym0 a1627953288) l0 = NubSym1 a1627953288 l0

type NubSym1 t = Nub t

data DeleteSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953328 (TyFun [a1627953328] [a1627953328] -> Type) -> *) (DeleteSym0 a1627953328)

Methods

suppressUnusedWarnings :: Proxy (DeleteSym0 a1627953328) t -> ()

type Apply a1627953328 (TyFun [a1627953328] [a1627953328] -> Type) (DeleteSym0 a1627953328) l0

type Apply a1627953328 (TyFun [a1627953328] [a1627953328] -> Type) (DeleteSym0 a1627953328) l0 = DeleteSym1 a1627953328 l0

data DeleteSym1 l l

Instances

SuppressUnusedWarnings (a1627953328 -> TyFun [a1627953328] [a1627953328] -> *) (DeleteSym1 a1627953328)

Methods

suppressUnusedWarnings :: Proxy (DeleteSym1 a1627953328) t -> ()

type Apply [a1627953328] [a1627953328] (DeleteSym1 a1627953328 l1) l0

type Apply [a1627953328] [a1627953328] (DeleteSym1 a1627953328 l1) l0 = DeleteSym2 a1627953328 l1 l0

type DeleteSym2 t t = Delete t t

data (:\\$) l

Instances

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

Methods

suppressUnusedWarnings :: Proxy ((:\\$) a1627953327) t -> ()

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

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

data l :\\$$ l

Instances

SuppressUnusedWarnings ([a1627953327] -> TyFun [a1627953327] [a1627953327] -> *) ((:\\$$) a1627953327)

Methods

suppressUnusedWarnings :: Proxy ((:\\$$) a1627953327) t -> ()

type Apply [a1627953327] [a1627953327] ((:\\$$) a1627953327 l1) l0

type Apply [a1627953327] [a1627953327] ((:\\$$) a1627953327 l1) l0 = (:\\$$$) a1627953327 l1 l0

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

data UnionSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953284] (TyFun [a1627953284] [a1627953284] -> Type) -> *) (UnionSym0 a1627953284)

Methods

suppressUnusedWarnings :: Proxy (UnionSym0 a1627953284) t -> ()

type Apply [a1627953284] (TyFun [a1627953284] [a1627953284] -> Type) (UnionSym0 a1627953284) l0

type Apply [a1627953284] (TyFun [a1627953284] [a1627953284] -> Type) (UnionSym0 a1627953284) l0 = UnionSym1 a1627953284 l0

data UnionSym1 l l

Instances

SuppressUnusedWarnings ([a1627953284] -> TyFun [a1627953284] [a1627953284] -> *) (UnionSym1 a1627953284)

Methods

suppressUnusedWarnings :: Proxy (UnionSym1 a1627953284) t -> ()

type Apply [a1627953284] [a1627953284] (UnionSym1 a1627953284 l1) l0

type Apply [a1627953284] [a1627953284] (UnionSym1 a1627953284 l1) l0 = UnionSym2 a1627953284 l1 l0

type UnionSym2 t t = Union t t

data IntersectSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953314] (TyFun [a1627953314] [a1627953314] -> Type) -> *) (IntersectSym0 a1627953314)

Methods

suppressUnusedWarnings :: Proxy (IntersectSym0 a1627953314) t -> ()

type Apply [a1627953314] (TyFun [a1627953314] [a1627953314] -> Type) (IntersectSym0 a1627953314) l0

type Apply [a1627953314] (TyFun [a1627953314] [a1627953314] -> Type) (IntersectSym0 a1627953314) l0 = IntersectSym1 a1627953314 l0

data IntersectSym1 l l

Instances

SuppressUnusedWarnings ([a1627953314] -> TyFun [a1627953314] [a1627953314] -> *) (IntersectSym1 a1627953314)

Methods

suppressUnusedWarnings :: Proxy (IntersectSym1 a1627953314) t -> ()

type Apply [a1627953314] [a1627953314] (IntersectSym1 a1627953314 l1) l0

type Apply [a1627953314] [a1627953314] (IntersectSym1 a1627953314 l1) l0 = IntersectSym2 a1627953314 l1 l0

type IntersectSym2 t t = Intersect t t

data InsertSym0 l

Instances

SuppressUnusedWarnings (TyFun a1627953301 (TyFun [a1627953301] [a1627953301] -> Type) -> *) (InsertSym0 a1627953301)

Methods

suppressUnusedWarnings :: Proxy (InsertSym0 a1627953301) t -> ()

type Apply a1627953301 (TyFun [a1627953301] [a1627953301] -> Type) (InsertSym0 a1627953301) l0

type Apply a1627953301 (TyFun [a1627953301] [a1627953301] -> Type) (InsertSym0 a1627953301) l0 = InsertSym1 a1627953301 l0

data InsertSym1 l l

Instances

SuppressUnusedWarnings (a1627953301 -> TyFun [a1627953301] [a1627953301] -> *) (InsertSym1 a1627953301)

Methods

suppressUnusedWarnings :: Proxy (InsertSym1 a1627953301) t -> ()

type Apply [a1627953301] [a1627953301] (InsertSym1 a1627953301 l1) l0

type Apply [a1627953301] [a1627953301] (InsertSym1 a1627953301 l1) l0 = InsertSym2 a1627953301 l1 l0

type InsertSym2 t t = Insert t t

data SortSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953300] [a1627953300] -> *) (SortSym0 a1627953300)

Methods

suppressUnusedWarnings :: Proxy (SortSym0 a1627953300) t -> ()

type Apply [a1627953300] [a1627953300] (SortSym0 a1627953300) l0

type Apply [a1627953300] [a1627953300] (SortSym0 a1627953300) l0 = SortSym1 a1627953300 l0

type SortSym1 t = Sort t

data NubBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953287 (TyFun a1627953287 Bool -> Type) -> Type) (TyFun [a1627953287] [a1627953287] -> Type) -> *) (NubBySym0 a1627953287)

Methods

suppressUnusedWarnings :: Proxy (NubBySym0 a1627953287) t -> ()

type Apply (TyFun a1627953287 (TyFun a1627953287 Bool -> Type) -> Type) (TyFun [a1627953287] [a1627953287] -> Type) (NubBySym0 a1627953287) l0

type Apply (TyFun a1627953287 (TyFun a1627953287 Bool -> Type) -> Type) (TyFun [a1627953287] [a1627953287] -> Type) (NubBySym0 a1627953287) l0 = NubBySym1 a1627953287 l0

data NubBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953287 (TyFun a1627953287 Bool -> Type) -> Type) -> TyFun [a1627953287] [a1627953287] -> *) (NubBySym1 a1627953287)

Methods

suppressUnusedWarnings :: Proxy (NubBySym1 a1627953287) t -> ()

type Apply [a1627953287] [a1627953287] (NubBySym1 a1627953287 l1) l0

type Apply [a1627953287] [a1627953287] (NubBySym1 a1627953287 l1) l0 = NubBySym2 a1627953287 l1 l0

type NubBySym2 t t = NubBy t t

data DeleteBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953326 (TyFun a1627953326 Bool -> Type) -> Type) (TyFun a1627953326 (TyFun [a1627953326] [a1627953326] -> Type) -> Type) -> *) (DeleteBySym0 a1627953326)

Methods

suppressUnusedWarnings :: Proxy (DeleteBySym0 a1627953326) t -> ()

type Apply (TyFun a1627953326 (TyFun a1627953326 Bool -> Type) -> Type) (TyFun a1627953326 (TyFun [a1627953326] [a1627953326] -> Type) -> Type) (DeleteBySym0 a1627953326) l0

type Apply (TyFun a1627953326 (TyFun a1627953326 Bool -> Type) -> Type) (TyFun a1627953326 (TyFun [a1627953326] [a1627953326] -> Type) -> Type) (DeleteBySym0 a1627953326) l0 = DeleteBySym1 a1627953326 l0

data DeleteBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953326 (TyFun a1627953326 Bool -> Type) -> Type) -> TyFun a1627953326 (TyFun [a1627953326] [a1627953326] -> Type) -> *) (DeleteBySym1 a1627953326)

Methods

suppressUnusedWarnings :: Proxy (DeleteBySym1 a1627953326) t -> ()

type Apply a1627953326 (TyFun [a1627953326] [a1627953326] -> Type) (DeleteBySym1 a1627953326 l1) l0

type Apply a1627953326 (TyFun [a1627953326] [a1627953326] -> Type) (DeleteBySym1 a1627953326 l1) l0 = DeleteBySym2 a1627953326 l1 l0

data DeleteBySym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953326 (TyFun a1627953326 Bool -> Type) -> Type) -> a1627953326 -> TyFun [a1627953326] [a1627953326] -> *) (DeleteBySym2 a1627953326)

Methods

suppressUnusedWarnings :: Proxy (DeleteBySym2 a1627953326) t -> ()

type Apply [a1627953326] [a1627953326] (DeleteBySym2 a1627953326 l1 l2) l0

type Apply [a1627953326] [a1627953326] (DeleteBySym2 a1627953326 l1 l2) l0 = DeleteBySym3 a1627953326 l1 l2 l0

type DeleteBySym3 t t t = DeleteBy t t t

data DeleteFirstsBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953325 (TyFun a1627953325 Bool -> Type) -> Type) (TyFun [a1627953325] (TyFun [a1627953325] [a1627953325] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a1627953325)

Methods

suppressUnusedWarnings :: Proxy (DeleteFirstsBySym0 a1627953325) t -> ()

type Apply (TyFun a1627953325 (TyFun a1627953325 Bool -> Type) -> Type) (TyFun [a1627953325] (TyFun [a1627953325] [a1627953325] -> Type) -> Type) (DeleteFirstsBySym0 a1627953325) l0

type Apply (TyFun a1627953325 (TyFun a1627953325 Bool -> Type) -> Type) (TyFun [a1627953325] (TyFun [a1627953325] [a1627953325] -> Type) -> Type) (DeleteFirstsBySym0 a1627953325) l0 = DeleteFirstsBySym1 a1627953325 l0

data DeleteFirstsBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953325 (TyFun a1627953325 Bool -> Type) -> Type) -> TyFun [a1627953325] (TyFun [a1627953325] [a1627953325] -> Type) -> *) (DeleteFirstsBySym1 a1627953325)

Methods

suppressUnusedWarnings :: Proxy (DeleteFirstsBySym1 a1627953325) t -> ()

type Apply [a1627953325] (TyFun [a1627953325] [a1627953325] -> Type) (DeleteFirstsBySym1 a1627953325 l1) l0

type Apply [a1627953325] (TyFun [a1627953325] [a1627953325] -> Type) (DeleteFirstsBySym1 a1627953325 l1) l0 = DeleteFirstsBySym2 a1627953325 l1 l0

data DeleteFirstsBySym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953325 (TyFun a1627953325 Bool -> Type) -> Type) -> [a1627953325] -> TyFun [a1627953325] [a1627953325] -> *) (DeleteFirstsBySym2 a1627953325)

Methods

suppressUnusedWarnings :: Proxy (DeleteFirstsBySym2 a1627953325) t -> ()

type Apply [a1627953325] [a1627953325] (DeleteFirstsBySym2 a1627953325 l1 l2) l0

type Apply [a1627953325] [a1627953325] (DeleteFirstsBySym2 a1627953325 l1 l2) l0 = DeleteFirstsBySym3 a1627953325 l1 l2 l0

type DeleteFirstsBySym3 t t t = DeleteFirstsBy t t t

data UnionBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953285 (TyFun a1627953285 Bool -> Type) -> Type) (TyFun [a1627953285] (TyFun [a1627953285] [a1627953285] -> Type) -> Type) -> *) (UnionBySym0 a1627953285)

Methods

suppressUnusedWarnings :: Proxy (UnionBySym0 a1627953285) t -> ()

type Apply (TyFun a1627953285 (TyFun a1627953285 Bool -> Type) -> Type) (TyFun [a1627953285] (TyFun [a1627953285] [a1627953285] -> Type) -> Type) (UnionBySym0 a1627953285) l0

type Apply (TyFun a1627953285 (TyFun a1627953285 Bool -> Type) -> Type) (TyFun [a1627953285] (TyFun [a1627953285] [a1627953285] -> Type) -> Type) (UnionBySym0 a1627953285) l0 = UnionBySym1 a1627953285 l0

data UnionBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953285 (TyFun a1627953285 Bool -> Type) -> Type) -> TyFun [a1627953285] (TyFun [a1627953285] [a1627953285] -> Type) -> *) (UnionBySym1 a1627953285)

Methods

suppressUnusedWarnings :: Proxy (UnionBySym1 a1627953285) t -> ()

type Apply [a1627953285] (TyFun [a1627953285] [a1627953285] -> Type) (UnionBySym1 a1627953285 l1) l0

type Apply [a1627953285] (TyFun [a1627953285] [a1627953285] -> Type) (UnionBySym1 a1627953285 l1) l0 = UnionBySym2 a1627953285 l1 l0

data UnionBySym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953285 (TyFun a1627953285 Bool -> Type) -> Type) -> [a1627953285] -> TyFun [a1627953285] [a1627953285] -> *) (UnionBySym2 a1627953285)

Methods

suppressUnusedWarnings :: Proxy (UnionBySym2 a1627953285) t -> ()

type Apply [a1627953285] [a1627953285] (UnionBySym2 a1627953285 l1 l2) l0

type Apply [a1627953285] [a1627953285] (UnionBySym2 a1627953285 l1 l2) l0 = UnionBySym3 a1627953285 l1 l2 l0

type UnionBySym3 t t t = UnionBy t t t

data IntersectBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953313 (TyFun a1627953313 Bool -> Type) -> Type) (TyFun [a1627953313] (TyFun [a1627953313] [a1627953313] -> Type) -> Type) -> *) (IntersectBySym0 a1627953313)

Methods

suppressUnusedWarnings :: Proxy (IntersectBySym0 a1627953313) t -> ()

type Apply (TyFun a1627953313 (TyFun a1627953313 Bool -> Type) -> Type) (TyFun [a1627953313] (TyFun [a1627953313] [a1627953313] -> Type) -> Type) (IntersectBySym0 a1627953313) l0

type Apply (TyFun a1627953313 (TyFun a1627953313 Bool -> Type) -> Type) (TyFun [a1627953313] (TyFun [a1627953313] [a1627953313] -> Type) -> Type) (IntersectBySym0 a1627953313) l0 = IntersectBySym1 a1627953313 l0

data IntersectBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953313 (TyFun a1627953313 Bool -> Type) -> Type) -> TyFun [a1627953313] (TyFun [a1627953313] [a1627953313] -> Type) -> *) (IntersectBySym1 a1627953313)

Methods

suppressUnusedWarnings :: Proxy (IntersectBySym1 a1627953313) t -> ()

type Apply [a1627953313] (TyFun [a1627953313] [a1627953313] -> Type) (IntersectBySym1 a1627953313 l1) l0

type Apply [a1627953313] (TyFun [a1627953313] [a1627953313] -> Type) (IntersectBySym1 a1627953313 l1) l0 = IntersectBySym2 a1627953313 l1 l0

data IntersectBySym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953313 (TyFun a1627953313 Bool -> Type) -> Type) -> [a1627953313] -> TyFun [a1627953313] [a1627953313] -> *) (IntersectBySym2 a1627953313)

Methods

suppressUnusedWarnings :: Proxy (IntersectBySym2 a1627953313) t -> ()

type Apply [a1627953313] [a1627953313] (IntersectBySym2 a1627953313 l1 l2) l0

type Apply [a1627953313] [a1627953313] (IntersectBySym2 a1627953313 l1 l2) l0 = IntersectBySym3 a1627953313 l1 l2 l0

type IntersectBySym3 t t t = IntersectBy t t t

data GroupBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953299 (TyFun a1627953299 Bool -> Type) -> Type) (TyFun [a1627953299] [[a1627953299]] -> Type) -> *) (GroupBySym0 a1627953299)

Methods

suppressUnusedWarnings :: Proxy (GroupBySym0 a1627953299) t -> ()

type Apply (TyFun a1627953299 (TyFun a1627953299 Bool -> Type) -> Type) (TyFun [a1627953299] [[a1627953299]] -> Type) (GroupBySym0 a1627953299) l0

type Apply (TyFun a1627953299 (TyFun a1627953299 Bool -> Type) -> Type) (TyFun [a1627953299] [[a1627953299]] -> Type) (GroupBySym0 a1627953299) l0 = GroupBySym1 a1627953299 l0

data GroupBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953299 (TyFun a1627953299 Bool -> Type) -> Type) -> TyFun [a1627953299] [[a1627953299]] -> *) (GroupBySym1 a1627953299)

Methods

suppressUnusedWarnings :: Proxy (GroupBySym1 a1627953299) t -> ()

type Apply [a1627953299] [[a1627953299]] (GroupBySym1 a1627953299 l1) l0

type Apply [a1627953299] [[a1627953299]] (GroupBySym1 a1627953299 l1) l0 = GroupBySym2 a1627953299 l1 l0

type GroupBySym2 t t = GroupBy t t

data SortBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953324 (TyFun a1627953324 Ordering -> Type) -> Type) (TyFun [a1627953324] [a1627953324] -> Type) -> *) (SortBySym0 a1627953324)

Methods

suppressUnusedWarnings :: Proxy (SortBySym0 a1627953324) t -> ()

type Apply (TyFun a1627953324 (TyFun a1627953324 Ordering -> Type) -> Type) (TyFun [a1627953324] [a1627953324] -> Type) (SortBySym0 a1627953324) l0

type Apply (TyFun a1627953324 (TyFun a1627953324 Ordering -> Type) -> Type) (TyFun [a1627953324] [a1627953324] -> Type) (SortBySym0 a1627953324) l0 = SortBySym1 a1627953324 l0

data SortBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953324 (TyFun a1627953324 Ordering -> Type) -> Type) -> TyFun [a1627953324] [a1627953324] -> *) (SortBySym1 a1627953324)

Methods

suppressUnusedWarnings :: Proxy (SortBySym1 a1627953324) t -> ()

type Apply [a1627953324] [a1627953324] (SortBySym1 a1627953324 l1) l0

type Apply [a1627953324] [a1627953324] (SortBySym1 a1627953324 l1) l0 = SortBySym2 a1627953324 l1 l0

type SortBySym2 t t = SortBy t t

data InsertBySym0 l

Instances

SuppressUnusedWarnings (TyFun (TyFun a1627953323 (TyFun a1627953323 Ordering -> Type) -> Type) (TyFun a1627953323 (TyFun [a1627953323] [a1627953323] -> Type) -> Type) -> *) (InsertBySym0 a1627953323)

Methods

suppressUnusedWarnings :: Proxy (InsertBySym0 a1627953323) t -> ()

type Apply (TyFun a1627953323 (TyFun a1627953323 Ordering -> Type) -> Type) (TyFun a1627953323 (TyFun [a1627953323] [a1627953323] -> Type) -> Type) (InsertBySym0 a1627953323) l0

type Apply (TyFun a1627953323 (TyFun a1627953323 Ordering -> Type) -> Type) (TyFun a1627953323 (TyFun [a1627953323] [a1627953323] -> Type) -> Type) (InsertBySym0 a1627953323) l0 = InsertBySym1 a1627953323 l0

data InsertBySym1 l l

Instances

SuppressUnusedWarnings ((TyFun a1627953323 (TyFun a1627953323 Ordering -> Type) -> Type) -> TyFun a1627953323 (TyFun [a1627953323] [a1627953323] -> Type) -> *) (InsertBySym1 a1627953323)

Methods

suppressUnusedWarnings :: Proxy (InsertBySym1 a1627953323) t -> ()

type Apply a1627953323 (TyFun [a1627953323] [a1627953323] -> Type) (InsertBySym1 a1627953323 l1) l0

type Apply a1627953323 (TyFun [a1627953323] [a1627953323] -> Type) (InsertBySym1 a1627953323 l1) l0 = InsertBySym2 a1627953323 l1 l0

data InsertBySym2 l l l

Instances

SuppressUnusedWarnings ((TyFun a1627953323 (TyFun a1627953323 Ordering -> Type) -> Type) -> a1627953323 -> TyFun [a1627953323] [a1627953323] -> *) (InsertBySym2 a1627953323)

Methods

suppressUnusedWarnings :: Proxy (InsertBySym2 a1627953323) t -> ()

type Apply [a1627953323] [a1627953323] (InsertBySym2 a1627953323 l1 l2) l0

type Apply [a1627953323] [a1627953323] (InsertBySym2 a1627953323 l1 l2) l0 = InsertBySym3 a1627953323 l1 l2 l0

type InsertBySym3 t t t = InsertBy t t t

data MaximumBySym0 l

Instances

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

Methods

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

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

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

data MaximumBySym1 l l

Instances

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

Methods

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

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

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

type MaximumBySym2 t t = MaximumBy t t

data MinimumBySym0 l

Instances

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

Methods

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

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

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

data MinimumBySym1 l l

Instances

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

Methods

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

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

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

type MinimumBySym2 t t = MinimumBy t t

data GenericLengthSym0 l

Instances

SuppressUnusedWarnings (TyFun [a1627953283] i1627953282 -> *) (GenericLengthSym0 a1627953283 i1627953282)

Methods

suppressUnusedWarnings :: Proxy (GenericLengthSym0 a1627953283 i1627953282) t -> ()

type Apply [a1627953283] k2 (GenericLengthSym0 a1627953283 k2) l0

type Apply [a1627953283] k2 (GenericLengthSym0 a1627953283 k2) l0 = GenericLengthSym1 a1627953283 k2 l0

type GenericLengthSym1 t = GenericLength t