Copyright | (C) 2014 Jan Stolarek |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Jan Stolarek (jan.stolarek@p.lodz.pl) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Defines promoted functions and datatypes relating to List
,
including a promoted version of all 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.
- type family a :++ a :: [a]
- type family Head a :: a
- type family Last a :: a
- type family Tail a :: [a]
- type family Init a :: [a]
- type family Null a :: Bool
- type family Length a :: Nat
- type family Map a a :: [b]
- type family Reverse a :: [a]
- type family Intersperse a a :: [a]
- type family Intercalate a a :: [a]
- type family Transpose a :: [[a]]
- type family Subsequences a :: [[a]]
- type family Permutations a :: [[a]]
- type family Foldl a a a :: b
- type family Foldl' a a a :: b
- type family Foldl1 a a :: a
- type family Foldl1' a a :: a
- type family Foldr a a a :: b
- type family Foldr1 a a :: a
- type family Concat a :: [a]
- type family ConcatMap a a :: [b]
- type family And a :: Bool
- type family Or a :: Bool
- type family Any_ a a :: Bool
- type family All a a :: Bool
- type family Sum a :: a
- type family Product a :: a
- type family Maximum a :: a
- type family Minimum a :: a
- any_ :: forall a. (a -> Bool) -> [a] -> Bool
- type family Scanl a a a :: [b]
- type family Scanl1 a a :: [a]
- type family Scanr a a a :: [b]
- type family Scanr1 a a :: [a]
- type family MapAccumL a a a :: (acc, [y])
- type family MapAccumR a a a :: (acc, [y])
- type family Replicate a a :: [a]
- type family Unfoldr a a :: [a]
- type family Take a a :: [a]
- type family Drop a a :: [a]
- type family SplitAt a a :: ([a], [a])
- type family TakeWhile a a :: [a]
- type family DropWhile a a :: [a]
- type family DropWhileEnd a a :: [a]
- type family Span a a :: ([a], [a])
- type family Break a a :: ([a], [a])
- type family StripPrefix a a :: Maybe [a]
- type family Group a :: [[a]]
- type family Inits a :: [[a]]
- type family Tails a :: [[a]]
- type family IsPrefixOf a a :: Bool
- type family IsSuffixOf a a :: Bool
- type family IsInfixOf a a :: Bool
- type family Elem a a :: Bool
- type family NotElem a a :: Bool
- type family Lookup a a :: Maybe b
- type family Find a a :: Maybe a
- type family Filter a a :: [a]
- type family Partition a a :: ([a], [a])
- type family a :!! a :: a
- type family ElemIndex a a :: Maybe Nat
- type family ElemIndices a a :: [Nat]
- type family FindIndex a a :: Maybe Nat
- type family FindIndices a a :: [Nat]
- type family Zip a a :: [(a, b)]
- type family Zip3 a a a :: [(a, b, c)]
- type family Zip4 a a a a :: [(a, b, c, d)]
- type family Zip5 a a a a a :: [(a, b, c, d, e)]
- type family Zip6 a a a a a a :: [(a, b, c, d, e, f)]
- type family Zip7 a a a a a a a :: [(a, b, c, d, e, f, g)]
- type family ZipWith a a a :: [c]
- type family ZipWith3 a a a a :: [d]
- type family ZipWith4 a a a a a :: [e]
- type family ZipWith5 a a a a a a :: [f]
- type family ZipWith6 a a a a a a a :: [g]
- type family ZipWith7 a a a a a a a a :: [h]
- type family Unzip a :: ([a], [b])
- type family Unzip3 a :: ([a], [b], [c])
- type family Unzip4 a :: ([a], [b], [c], [d])
- type family Unzip5 a :: ([a], [b], [c], [d], [e])
- type family Unzip6 a :: ([a], [b], [c], [d], [e], [f])
- type family Unzip7 a :: ([a], [b], [c], [d], [e], [f], [g])
- type family Nub a :: [a]
- type family Delete a a :: [a]
- type family a :\\ a :: [a]
- type family Union a a :: [a]
- type family Intersect a a :: [a]
- type family Sort a :: [a]
- type family Insert a a :: [a]
- type family NubBy a a :: [a]
- type family DeleteBy a a a :: [a]
- type family DeleteFirstsBy a a a :: [a]
- type family UnionBy a a a :: [a]
- type family GroupBy a a :: [[a]]
- type family IntersectBy a a a :: [a]
- type family SortBy a a :: [a]
- type family InsertBy a a a :: [a]
- type family MaximumBy a a :: a
- type family MinimumBy a a :: a
- type family GenericLength a :: i
- type family GenericTake a a :: [a]
- type family GenericDrop a a :: [a]
- type family GenericSplitAt a a :: ([a], [a])
- type family GenericIndex a a :: a
- type family GenericReplicate a a :: [a]
- type NilSym0 = `[]`
- data (:$) l
- data l :$$ l
- type (:$$$) t t = (:) t t
- type (:++$$$) t t = (:++) t t
- data l :++$$ l
- data (:++$) l
- data HeadSym0 l
- type HeadSym1 t = Head t
- data LastSym0 l
- type LastSym1 t = Last t
- data TailSym0 l
- type TailSym1 t = Tail t
- data InitSym0 l
- type InitSym1 t = Init t
- data NullSym0 l
- type NullSym1 t = Null t
- data MapSym0 l
- data MapSym1 l l
- type MapSym2 t t = Map t t
- data ReverseSym0 l
- type ReverseSym1 t = Reverse t
- data IntersperseSym0 l
- data IntersperseSym1 l l
- type IntersperseSym2 t t = Intersperse t t
- data IntercalateSym0 l
- data IntercalateSym1 l l
- type IntercalateSym2 t t = Intercalate t t
- data SubsequencesSym0 l
- type SubsequencesSym1 t = Subsequences t
- data PermutationsSym0 l
- type PermutationsSym1 t = Permutations t
- data FoldlSym0 l
- data FoldlSym1 l l
- data FoldlSym2 l l l
- type FoldlSym3 t t t = Foldl t t t
- data Foldl'Sym0 l
- data Foldl'Sym1 l l
- data Foldl'Sym2 l l l
- type Foldl'Sym3 t t t = Foldl' t t t
- data Foldl1Sym0 l
- data Foldl1Sym1 l l
- type Foldl1Sym2 t t = Foldl1 t t
- data Foldl1'Sym0 l
- data Foldl1'Sym1 l l
- type Foldl1'Sym2 t t = Foldl1' t t
- data FoldrSym0 l
- data FoldrSym1 l l
- data FoldrSym2 l l l
- type FoldrSym3 t t t = Foldr t t t
- data Foldr1Sym0 l
- data Foldr1Sym1 l l
- type Foldr1Sym2 t t = Foldr1 t t
- data ConcatSym0 l
- type ConcatSym1 t = Concat t
- data ConcatMapSym0 l
- data ConcatMapSym1 l l
- type ConcatMapSym2 t t = ConcatMap t t
- data AndSym0 l
- type AndSym1 t = And t
- data OrSym0 l
- type OrSym1 t = Or t
- data Any_Sym0 l
- data Any_Sym1 l l
- type Any_Sym2 t t = Any_ t t
- data AllSym0 l
- data AllSym1 l l
- type AllSym2 t t = All t t
- data ScanlSym0 l
- data ScanlSym1 l l
- data ScanlSym2 l l l
- type ScanlSym3 t t t = Scanl t t t
- data Scanl1Sym0 l
- data Scanl1Sym1 l l
- type Scanl1Sym2 t t = Scanl1 t t
- data ScanrSym0 l
- data ScanrSym1 l l
- data ScanrSym2 l l l
- type ScanrSym3 t t t = Scanr t t t
- data Scanr1Sym0 l
- data Scanr1Sym1 l l
- type Scanr1Sym2 t t = Scanr1 t t
- data MapAccumLSym0 l
- data MapAccumLSym1 l l
- data MapAccumLSym2 l l l
- type MapAccumLSym3 t t t = MapAccumL t t t
- data MapAccumRSym0 l
- data MapAccumRSym1 l l
- data MapAccumRSym2 l l l
- type MapAccumRSym3 t t t = MapAccumR t t t
- data UnfoldrSym0 l
- data UnfoldrSym1 l l
- type UnfoldrSym2 t t = Unfoldr t t
- data InitsSym0 l
- type InitsSym1 t = Inits t
- data TailsSym0 l
- type TailsSym1 t = Tails t
- data IsPrefixOfSym0 l
- data IsPrefixOfSym1 l l
- type IsPrefixOfSym2 t t = IsPrefixOf t t
- data IsSuffixOfSym0 l
- data IsSuffixOfSym1 l l
- type IsSuffixOfSym2 t t = IsSuffixOf t t
- data IsInfixOfSym0 l
- data IsInfixOfSym1 l l
- type IsInfixOfSym2 t t = IsInfixOf t t
- data ElemSym0 l
- data ElemSym1 l l
- type ElemSym2 t t = Elem t t
- data NotElemSym0 l
- data NotElemSym1 l l
- type NotElemSym2 t t = NotElem t t
- data ZipSym0 l
- data ZipSym1 l l
- type ZipSym2 t t = Zip t t
- data Zip3Sym0 l
- data Zip3Sym1 l l
- data Zip3Sym2 l l l
- type Zip3Sym3 t t t = Zip3 t t t
- data ZipWithSym0 l
- data ZipWithSym1 l l
- data ZipWithSym2 l l l
- type ZipWithSym3 t t t = ZipWith t t t
- data ZipWith3Sym0 l
- data ZipWith3Sym1 l l
- data ZipWith3Sym2 l l l
- data ZipWith3Sym3 l l l l
- type ZipWith3Sym4 t t t t = ZipWith3 t t t t
- data UnzipSym0 l
- type UnzipSym1 t = Unzip t
- data Unzip3Sym0 l
- type Unzip3Sym1 t = Unzip3 t
- data Unzip4Sym0 l
- type Unzip4Sym1 t = Unzip4 t
- data Unzip5Sym0 l
- type Unzip5Sym1 t = Unzip5 t
- data Unzip6Sym0 l
- type Unzip6Sym1 t = Unzip6 t
- data Unzip7Sym0 l
- type Unzip7Sym1 t = Unzip7 t
- data DeleteSym0 l
- data DeleteSym1 l l
- type DeleteSym2 t t = Delete t t
- data (:\\$) l
- data l :\\$$ l
- type (:\\$$$) t t = (:\\) t t
- data IntersectSym0 l
- data IntersectSym1 l l
- type IntersectSym2 t t = Intersect t t
- data InsertSym0 l
- data InsertSym1 l l
- type InsertSym2 t t = Insert t t
- data SortSym0 l
- type SortSym1 t = Sort t
- data DeleteBySym0 l
- data DeleteBySym1 l l
- data DeleteBySym2 l l l
- type DeleteBySym3 t t t = DeleteBy t t t
- data DeleteFirstsBySym0 l
- data DeleteFirstsBySym1 l l
- data DeleteFirstsBySym2 l l l
- type DeleteFirstsBySym3 t t t = DeleteFirstsBy t t t
- data IntersectBySym0 l
- data IntersectBySym1 l l
- data IntersectBySym2 l l l
- data SortBySym0 l
- data SortBySym1 l l
- type SortBySym2 t t = SortBy t t
- data InsertBySym0 l
- data InsertBySym1 l l
- data InsertBySym2 l l l
- type InsertBySym3 t t t = InsertBy t t t
- data MaximumBySym0 l
- data MaximumBySym1 l l
- type MaximumBySym2 t t = MaximumBy t t
- data MinimumBySym0 l
- data MinimumBySym1 l l
- type MinimumBySym2 t t = MinimumBy t t
- data LengthSym0 l
- type LengthSym1 t = Length t
- data SumSym0 l
- type SumSym1 t = Sum t
- data ProductSym0 l
- type ProductSym1 t = Product t
- data ReplicateSym0 l
- data ReplicateSym1 l l
- type ReplicateSym2 t t = Replicate t t
- data TransposeSym0 l
- type TransposeSym1 t = Transpose t
- data TakeSym0 l
- data TakeSym1 l l
- type TakeSym2 t t = Take t t
- data DropSym0 l
- data DropSym1 l l
- type DropSym2 t t = Drop t t
- data SplitAtSym0 l
- data SplitAtSym1 l l
- type SplitAtSym2 t t = SplitAt t t
- data TakeWhileSym0 l
- data TakeWhileSym1 l l
- type TakeWhileSym2 t t = TakeWhile t t
- data DropWhileSym0 l
- data DropWhileSym1 l l
- type DropWhileSym2 t t = DropWhile t t
- data DropWhileEndSym0 l
- data DropWhileEndSym1 l l
- type DropWhileEndSym2 t t = DropWhileEnd t t
- data SpanSym0 l
- data SpanSym1 l l
- type SpanSym2 t t = Span t t
- data BreakSym0 l
- data BreakSym1 l l
- type BreakSym2 t t = Break t t
- data StripPrefixSym0 l
- data StripPrefixSym1 l l
- type StripPrefixSym2 t t = StripPrefix t t
- data MaximumSym0 l
- type MaximumSym1 t = Maximum t
- data MinimumSym0 l
- type MinimumSym1 t = Minimum t
- data GroupSym0 l
- type GroupSym1 t = Group t
- data GroupBySym0 l
- data GroupBySym1 l l
- type GroupBySym2 t t = GroupBy t t
- data LookupSym0 l
- data LookupSym1 l l
- type LookupSym2 t t = Lookup t t
- data FindSym0 l
- data FindSym1 l l
- type FindSym2 t t = Find t t
- data FilterSym0 l
- data FilterSym1 l l
- type FilterSym2 t t = Filter t t
- data PartitionSym0 l
- data PartitionSym1 l l
- type PartitionSym2 t t = Partition t t
- data (:!!$) l
- data l :!!$$ l
- type (:!!$$$) t t = (:!!) t t
- data ElemIndexSym0 l
- data ElemIndexSym1 l l
- type ElemIndexSym2 t t = ElemIndex t t
- data ElemIndicesSym0 l
- data ElemIndicesSym1 l l
- type ElemIndicesSym2 t t = ElemIndices t t
- data FindIndexSym0 l
- data FindIndexSym1 l l
- type FindIndexSym2 t t = FindIndex t t
- data FindIndicesSym0 l
- data FindIndicesSym1 l l
- type FindIndicesSym2 t t = FindIndices t t
- data Zip4Sym0 l
- data Zip4Sym1 l l
- data Zip4Sym2 l l l
- data Zip4Sym3 l l l l
- type Zip4Sym4 t t t t = Zip4 t t t t
- data Zip5Sym0 l
- data Zip5Sym1 l l
- data Zip5Sym2 l l l
- data Zip5Sym3 l l l l
- data Zip5Sym4 l l l l l
- type Zip5Sym5 t t t t t = Zip5 t t t t t
- data Zip6Sym0 l
- data Zip6Sym1 l l
- data Zip6Sym2 l l l
- data Zip6Sym3 l l l l
- data Zip6Sym4 l l l l l
- data Zip6Sym5 l l l l l l
- type Zip6Sym6 t t t t t t = Zip6 t t t t t t
- data Zip7Sym0 l
- data Zip7Sym1 l l
- data Zip7Sym2 l l l
- data Zip7Sym3 l l l l
- data Zip7Sym4 l l l l l
- data Zip7Sym5 l l l l l l
- data Zip7Sym6 l l l l l l l
- type Zip7Sym7 t t t t t t t = Zip7 t t t t t t t
- data ZipWith4Sym0 l
- data ZipWith4Sym1 l l
- data ZipWith4Sym2 l l l
- data ZipWith4Sym3 l l l l
- data ZipWith4Sym4 l l l l l
- type ZipWith4Sym5 t t t t t = ZipWith4 t t t t t
- data ZipWith5Sym0 l
- data ZipWith5Sym1 l l
- data ZipWith5Sym2 l l l
- data ZipWith5Sym3 l l l l
- data ZipWith5Sym4 l l l l l
- data ZipWith5Sym5 l l l l l l
- type ZipWith5Sym6 t t t t t t = ZipWith5 t t t t t t
- data ZipWith6Sym0 l
- data ZipWith6Sym1 l l
- data ZipWith6Sym2 l l l
- data ZipWith6Sym3 l l l l
- data ZipWith6Sym4 l l l l l
- data ZipWith6Sym5 l l l l l l
- data ZipWith6Sym6 l l l l l l l
- type ZipWith6Sym7 t t t t t t t = ZipWith6 t t t t t t t
- data ZipWith7Sym0 l
- data ZipWith7Sym1 l l
- data ZipWith7Sym2 l l l
- data ZipWith7Sym3 l l l l
- data ZipWith7Sym4 l l l l l
- data ZipWith7Sym5 l l l l l l
- data ZipWith7Sym6 l l l l l l l
- data ZipWith7Sym7 l l l l l l l l
- type ZipWith7Sym8 t t t t t t t t = ZipWith7 t t t t t t t t
- data NubSym0 l
- type NubSym1 t = Nub t
- data NubBySym0 l
- data NubBySym1 l l
- type NubBySym2 t t = NubBy t t
- data UnionSym0 l
- data UnionSym1 l l
- type UnionSym2 t t = Union t t
- data UnionBySym0 l
- data UnionBySym1 l l
- data UnionBySym2 l l l
- type UnionBySym3 t t t = UnionBy t t t
- data GenericLengthSym0 l
- type GenericLengthSym1 t = GenericLength t
- data GenericTakeSym0 l
- data GenericTakeSym1 l l
- type GenericTakeSym2 t t = GenericTake t t
- data GenericDropSym0 l
- data GenericDropSym1 l l
- type GenericDropSym2 t t = GenericDrop t t
- data GenericSplitAtSym0 l
- data GenericSplitAtSym1 l l
- type GenericSplitAtSym2 t t = GenericSplitAt t t
- data GenericIndexSym0 l
- data GenericIndexSym1 l l
- type GenericIndexSym2 t t = GenericIndex t t
- data GenericReplicateSym0 l
- data GenericReplicateSym1 l l
- type GenericReplicateSym2 t t = GenericReplicate t t
Basic functions
type family Length a :: Nat Source
Length `[]` = FromInteger 0 | |
Length ((:) _z_1627749408 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply LengthSym0 xs) |
List transformations
type family Intersperse a a :: [a] Source
Intersperse _z_1627752458 `[]` = `[]` | |
Intersperse sep ((:) x xs) = Apply (Apply (:$) x) (Apply (Apply PrependToAllSym0 sep) xs) |
type family Intercalate a a :: [a] Source
Intercalate xs xss = Apply ConcatSym0 (Apply (Apply IntersperseSym0 xs) xss) |
type family Subsequences a :: [[a]] Source
Subsequences xs = Apply (Apply (:$) `[]`) (Apply NonEmptySubsequencesSym0 xs) |
type family Permutations a :: [[a]] Source
Reducing lists (folds)
Special folds
type family Product a :: a Source
Product l = Apply (Apply (Let1627749417ProdSym1 l) l) (FromInteger 1) |
Building lists
Scans
Accumulating maps
Infinite lists
type family Replicate a a :: [a] Source
Replicate n x = Case_1627749401 n x (Let1627749393Scrutinee_1627749237Sym2 n x) |
Unfolding
type family Unfoldr a a :: [a] Source
Unfoldr f b = Case_1627751116 f b (Let1627751108Scrutinee_1627749153Sym2 f b) |
Sublists
Extracting sublists
type family DropWhileEnd a a :: [a] Source
type family Span a a :: ([a], [a]) Source
Span _z_1627749735 `[]` = Apply (Apply Tuple2Sym0 (Let1627749738XsSym1 _z_1627749735)) (Let1627749738XsSym1 _z_1627749735) | |
Span p ((:) x xs') = Case_1627749771 p x xs' (Let1627749758Scrutinee_1627749217Sym3 p x xs') |
type family Break a a :: ([a], [a]) Source
Break _z_1627749630 `[]` = Apply (Apply Tuple2Sym0 (Let1627749633XsSym1 _z_1627749630)) (Let1627749633XsSym1 _z_1627749630) | |
Break p ((:) x xs') = Case_1627749666 p x xs' (Let1627749653Scrutinee_1627749219Sym3 p x xs') |
type family StripPrefix a a :: Maybe [a] Source
StripPrefix `[]` ys = Apply JustSym0 ys | |
StripPrefix arg_1627971870 arg_1627971872 = Case_1627972479 arg_1627971870 arg_1627971872 (Apply (Apply Tuple2Sym0 arg_1627971870) arg_1627971872) |
Predicates
type family IsPrefixOf a a :: Bool Source
IsPrefixOf `[]` `[]` = TrueSym0 | |
IsPrefixOf `[]` ((:) _z_1627751040 _z_1627751043) = TrueSym0 | |
IsPrefixOf ((:) _z_1627751046 _z_1627751049) `[]` = FalseSym0 | |
IsPrefixOf ((:) x xs) ((:) y ys) = Apply (Apply (:&&$) (Apply (Apply (:==$) x) y)) (Apply (Apply IsPrefixOfSym0 xs) ys) |
type family IsSuffixOf a a :: Bool Source
IsSuffixOf x y = Apply (Apply IsPrefixOfSym0 (Apply ReverseSym0 x)) (Apply ReverseSym0 y) |
Searching lists
Searching by equality
type family Lookup a a :: Maybe b Source
Lookup _key `[]` = NothingSym0 | |
Lookup key ((:) `(x, y)` xys) = Case_1627749545 key x y xys (Let1627749526Scrutinee_1627749233Sym4 key x y xys) |
Searching with a predicate
type family Find a a :: Maybe a Source
Find p a_1627750021 = Apply (Apply (Apply (:.$) ListToMaybeSym0) (Apply FilterSym0 p)) a_1627750021 |
Indexing lists
type family ElemIndices a a :: [Nat] Source
ElemIndices x a_1627750923 = Apply (Apply FindIndicesSym0 (Apply (:==$) x)) a_1627750923 |
type family FindIndex a a :: Maybe Nat Source
FindIndex p a_1627750936 = Apply (Apply (Apply (:.$) ListToMaybeSym0) (Apply FindIndicesSym0 p)) a_1627750936 |
type family FindIndices a a :: [Nat] Source
Zipping and unzipping lists
type family Zip3 a a a :: [(a, b, c)] Source
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_1627750772 _z_1627750775) = `[]` | |
Zip3 `[]` ((:) _z_1627750778 _z_1627750781) `[]` = `[]` | |
Zip3 `[]` ((:) _z_1627750784 _z_1627750787) ((:) _z_1627750790 _z_1627750793) = `[]` | |
Zip3 ((:) _z_1627750796 _z_1627750799) `[]` `[]` = `[]` | |
Zip3 ((:) _z_1627750802 _z_1627750805) `[]` ((:) _z_1627750808 _z_1627750811) = `[]` | |
Zip3 ((:) _z_1627750814 _z_1627750817) ((:) _z_1627750820 _z_1627750823) `[]` = `[]` |
type family Zip4 a a a a :: [(a, b, c, d)] Source
Zip4 a_1627972433 a_1627972435 a_1627972437 a_1627972439 = Apply (Apply (Apply (Apply (Apply ZipWith4Sym0 Tuple4Sym0) a_1627972433) a_1627972435) a_1627972437) a_1627972439 |
type family Zip5 a a a a a :: [(a, b, c, d, e)] Source
Zip5 a_1627972388 a_1627972390 a_1627972392 a_1627972394 a_1627972396 = Apply (Apply (Apply (Apply (Apply (Apply ZipWith5Sym0 Tuple5Sym0) a_1627972388) a_1627972390) a_1627972392) a_1627972394) a_1627972396 |
type family Zip6 a a a a a a :: [(a, b, c, d, e, f)] Source
Zip6 a_1627972331 a_1627972333 a_1627972335 a_1627972337 a_1627972339 a_1627972341 = Apply (Apply (Apply (Apply (Apply (Apply (Apply ZipWith6Sym0 Tuple6Sym0) a_1627972331) a_1627972333) a_1627972335) a_1627972337) a_1627972339) a_1627972341 |
type family ZipWith3 a a a a :: [d] Source
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_1627750635 `[]` `[]` `[]` = `[]` | |
ZipWith3 _z_1627750638 `[]` `[]` ((:) _z_1627750641 _z_1627750644) = `[]` | |
ZipWith3 _z_1627750647 `[]` ((:) _z_1627750650 _z_1627750653) `[]` = `[]` | |
ZipWith3 _z_1627750656 `[]` ((:) _z_1627750659 _z_1627750662) ((:) _z_1627750665 _z_1627750668) = `[]` | |
ZipWith3 _z_1627750671 ((:) _z_1627750674 _z_1627750677) `[]` `[]` = `[]` | |
ZipWith3 _z_1627750680 ((:) _z_1627750683 _z_1627750686) `[]` ((:) _z_1627750689 _z_1627750692) = `[]` | |
ZipWith3 _z_1627750695 ((:) _z_1627750698 _z_1627750701) ((:) _z_1627750704 _z_1627750707) `[]` = `[]` |
type family ZipWith5 a a a a a a :: [f] Source
ZipWith5 z ((:) a as) ((:) b bs) ((:) c cs) ((:) d ds) ((:) e es) = Apply (Apply (:$) (Apply (Apply (Apply (Apply (Apply z a) b) c) d) e)) (Apply (Apply (Apply (Apply (Apply (Apply ZipWith5Sym0 z) as) bs) cs) ds) es) | |
ZipWith5 _z_1627972189 _z_1627972192 _z_1627972195 _z_1627972198 _z_1627972201 _z_1627972204 = `[]` |
type family ZipWith6 a a a a a a a :: [g] Source
ZipWith6 z ((:) a as) ((:) b bs) ((:) c cs) ((:) d ds) ((:) e es) ((:) f fs) = Apply (Apply (:$) (Apply (Apply (Apply (Apply (Apply (Apply z a) b) c) d) e) f)) (Apply (Apply (Apply (Apply (Apply (Apply (Apply ZipWith6Sym0 z) as) bs) cs) ds) es) fs) | |
ZipWith6 _z_1627972118 _z_1627972121 _z_1627972124 _z_1627972127 _z_1627972130 _z_1627972133 _z_1627972136 = `[]` |
type family ZipWith7 a a a a a a a a :: [h] Source
ZipWith7 z ((:) a as) ((:) b bs) ((:) c cs) ((:) d ds) ((:) e es) ((:) f fs) ((:) g gs) = Apply (Apply (:$) (Apply (Apply (Apply (Apply (Apply (Apply (Apply z a) b) c) d) e) f) g)) (Apply (Apply (Apply (Apply (Apply (Apply (Apply (Apply ZipWith7Sym0 z) as) bs) cs) ds) es) fs) gs) | |
ZipWith7 _z_1627972032 _z_1627972035 _z_1627972038 _z_1627972041 _z_1627972044 _z_1627972047 _z_1627972050 _z_1627972053 = `[]` |
Special lists
"Set" operations
Ordered lists
type family Sort a :: [a] Source
Sort a_1627750257 = Apply (Apply SortBySym0 CompareSym0) a_1627750257 |
type family Insert a a :: [a] Source
Insert e ls = Apply (Apply (Apply InsertBySym0 CompareSym0) e) ls |
Generalized functions
The "By
" operations
User-supplied equality (replacing an Eq
context)
type family DeleteFirstsBy a a a :: [a] Source
DeleteFirstsBy eq a_1627750326 a_1627750328 = Apply (Apply (Apply FoldlSym0 (Apply FlipSym0 (Apply DeleteBySym0 eq))) a_1627750326) a_1627750328 |
type family IntersectBy a a a :: [a] Source
IntersectBy _z_1627750040 `[]` `[]` = `[]` | |
IntersectBy _z_1627750043 `[]` ((:) _z_1627750046 _z_1627750049) = `[]` | |
IntersectBy _z_1627750052 ((:) _z_1627750055 _z_1627750058) `[]` = `[]` | |
IntersectBy eq ((:) wild_1627749203 wild_1627749205) ((:) wild_1627749207 wild_1627749209) = Apply (Apply FilterSym0 (Apply (Apply (Apply (Apply (Apply Lambda_1627750117Sym0 eq) wild_1627749203) wild_1627749205) wild_1627749207) wild_1627749209)) (Let1627750066XsSym5 eq wild_1627749203 wild_1627749205 wild_1627749207 wild_1627749209) |
User-supplied comparison (replacing an Ord
context)
The "generic
" operations
type family GenericLength a :: i Source
GenericLength `[]` = FromInteger 0 | |
GenericLength ((:) _z_1627749255 xs) = Apply (Apply (:+$) (FromInteger 1)) (Apply GenericLengthSym0 xs) |
type family GenericTake a a :: [a] Source
GenericTake a_1627971942 a_1627971944 = Apply (Apply TakeSym0 a_1627971942) a_1627971944 |
type family GenericDrop a a :: [a] Source
GenericDrop a_1627971927 a_1627971929 = Apply (Apply DropSym0 a_1627971927) a_1627971929 |
type family GenericSplitAt a a :: ([a], [a]) Source
GenericSplitAt a_1627971912 a_1627971914 = Apply (Apply SplitAtSym0 a_1627971912) a_1627971914 |
type family GenericIndex a a :: a Source
GenericIndex a_1627971897 a_1627971899 = Apply (Apply (:!!$) a_1627971897) a_1627971899 |
type family GenericReplicate a a :: [a] Source
GenericReplicate a_1627971882 a_1627971884 = Apply (Apply ReplicateSym0 a_1627971882) a_1627971884 |
Defunctionalization symbols
data ReverseSym0 l Source
SuppressUnusedWarnings (TyFun [k] [k] -> *) (ReverseSym0 k) Source | |
type Apply [k] [k] (ReverseSym0 k) l0 = ReverseSym1 k l0 Source |
type ReverseSym1 t = Reverse t Source
data IntersperseSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> *) -> *) (IntersperseSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) k (IntersperseSym0 k) l0 = IntersperseSym1 k l0 Source |
data IntersperseSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (IntersperseSym1 k) Source | |
type Apply [k] [k] (IntersperseSym1 k l1) l0 = IntersperseSym2 k l1 l0 Source |
type IntersperseSym2 t t = Intersperse t t Source
data IntercalateSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun [[k]] [k] -> *) -> *) (IntercalateSym0 k) Source | |
type Apply (TyFun [[k]] [k] -> *) [k] (IntercalateSym0 k) l0 = IntercalateSym1 k l0 Source |
data IntercalateSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun [[k]] [k] -> *) (IntercalateSym1 k) Source | |
type Apply [k] [[k]] (IntercalateSym1 k l1) l0 = IntercalateSym2 k l1 l0 Source |
type IntercalateSym2 t t = Intercalate t t Source
data SubsequencesSym0 l Source
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (SubsequencesSym0 k) Source | |
type Apply [[k]] [k] (SubsequencesSym0 k) l0 = SubsequencesSym1 k l0 Source |
type SubsequencesSym1 t = Subsequences t Source
data PermutationsSym0 l Source
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (PermutationsSym0 k) Source | |
type Apply [[k]] [k] (PermutationsSym0 k) l0 = PermutationsSym1 k l0 Source |
type PermutationsSym1 t = Permutations t Source
data Foldl'Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun k (TyFun [k] k -> *) -> *) -> *) (Foldl'Sym0 k k) Source | |
type Apply (TyFun k1 (TyFun [k] k1 -> *) -> *) (TyFun k1 (TyFun k k1 -> *) -> *) (Foldl'Sym0 k k1) l0 = Foldl'Sym1 k k1 l0 Source |
data Foldl'Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun k (TyFun [k] k -> *) -> *) (Foldl'Sym1 k k) Source | |
type Apply (TyFun [k1] k -> *) k (Foldl'Sym1 k1 k l1) l0 = Foldl'Sym2 k1 k l1 l0 Source |
data Foldl'Sym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> k -> TyFun [k] k -> *) (Foldl'Sym2 k k) Source | |
type Apply k1 [k] (Foldl'Sym2 k k1 l1 l2) l0 = Foldl'Sym3 k1 k l1 l2 l0 Source |
type Foldl'Sym3 t t t = Foldl' t t t Source
data Foldl1Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] k -> *) -> *) (Foldl1Sym0 k) Source | |
type Apply (TyFun [k] k -> *) (TyFun k (TyFun k k -> *) -> *) (Foldl1Sym0 k) l0 = Foldl1Sym1 k l0 Source |
data Foldl1Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] k -> *) (Foldl1Sym1 k) Source | |
type Apply k [k] (Foldl1Sym1 k l1) l0 = Foldl1Sym2 k l1 l0 Source |
type Foldl1Sym2 t t = Foldl1 t t Source
data Foldl1'Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] k -> *) -> *) (Foldl1'Sym0 k) Source | |
type Apply (TyFun [k] k -> *) (TyFun k (TyFun k k -> *) -> *) (Foldl1'Sym0 k) l0 = Foldl1'Sym1 k l0 Source |
data Foldl1'Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] k -> *) (Foldl1'Sym1 k) Source | |
type Apply k [k] (Foldl1'Sym1 k l1) l0 = Foldl1'Sym2 k l1 l0 Source |
type Foldl1'Sym2 t t = Foldl1' t t Source
data Foldr1Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] k -> *) -> *) (Foldr1Sym0 k) Source | |
type Apply (TyFun [k] k -> *) (TyFun k (TyFun k k -> *) -> *) (Foldr1Sym0 k) l0 = Foldr1Sym1 k l0 Source |
data Foldr1Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] k -> *) (Foldr1Sym1 k) Source | |
type Apply k [k] (Foldr1Sym1 k l1) l0 = Foldr1Sym2 k l1 l0 Source |
type Foldr1Sym2 t t = Foldr1 t t Source
data ConcatSym0 l Source
SuppressUnusedWarnings (TyFun [[k]] [k] -> *) (ConcatSym0 k) Source | |
type Apply [k] [[k]] (ConcatSym0 k) l0 = ConcatSym1 k l0 Source |
type ConcatSym1 t = Concat t Source
data ConcatMapSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k [k] -> *) (TyFun [k] [k] -> *) -> *) (ConcatMapSym0 k k) Source | |
type Apply (TyFun [k] [k1] -> *) (TyFun k [k1] -> *) (ConcatMapSym0 k k1) l0 = ConcatMapSym1 k k1 l0 Source |
data ConcatMapSym1 l l Source
SuppressUnusedWarnings ((TyFun k [k] -> *) -> TyFun [k] [k] -> *) (ConcatMapSym1 k k) Source | |
type Apply [k1] [k] (ConcatMapSym1 k k1 l1) l0 = ConcatMapSym2 k k1 l1 l0 Source |
type ConcatMapSym2 t t = ConcatMap t t Source
data Scanl1Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] [k] -> *) -> *) (Scanl1Sym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k (TyFun k k -> *) -> *) (Scanl1Sym0 k) l0 = Scanl1Sym1 k l0 Source |
data Scanl1Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] [k] -> *) (Scanl1Sym1 k) Source | |
type Apply [k] [k] (Scanl1Sym1 k l1) l0 = Scanl1Sym2 k l1 l0 Source |
type Scanl1Sym2 t t = Scanl1 t t Source
data Scanr1Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] [k] -> *) -> *) (Scanr1Sym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k (TyFun k k -> *) -> *) (Scanr1Sym0 k) l0 = Scanr1Sym1 k l0 Source |
data Scanr1Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] [k] -> *) (Scanr1Sym1 k) Source | |
type Apply [k] [k] (Scanr1Sym1 k l1) l0 = Scanr1Sym2 k l1 l0 Source |
type Scanr1Sym2 t t = Scanr1 t t Source
data MapAccumLSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k ((,) k k) -> *) -> *) (TyFun k (TyFun [k] ((,) k [k]) -> *) -> *) -> *) (MapAccumLSym0 k k k) Source | |
type Apply (TyFun k (TyFun [k1] ((,) k [k2]) -> *) -> *) (TyFun k (TyFun k1 ((,) k k2) -> *) -> *) (MapAccumLSym0 k k1 k2) l0 = MapAccumLSym1 k k1 k2 l0 Source |
data MapAccumLSym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> *) -> *) -> TyFun k (TyFun [k] ((,) k [k]) -> *) -> *) (MapAccumLSym1 k k k) Source | |
type Apply (TyFun [k1] ((,) k [k2]) -> *) k (MapAccumLSym1 k k1 k2 l1) l0 = MapAccumLSym2 k k1 k2 l1 l0 Source |
data MapAccumLSym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> *) -> *) -> k -> TyFun [k] ((,) k [k]) -> *) (MapAccumLSym2 k k k) Source | |
type Apply ((,) k [k2]) [k1] (MapAccumLSym2 k k1 k2 l1 l2) l0 = MapAccumLSym3 k k1 k2 l1 l2 l0 Source |
type MapAccumLSym3 t t t = MapAccumL t t t Source
data MapAccumRSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k ((,) k k) -> *) -> *) (TyFun k (TyFun [k] ((,) k [k]) -> *) -> *) -> *) (MapAccumRSym0 k k k) Source | |
type Apply (TyFun k (TyFun [k1] ((,) k [k2]) -> *) -> *) (TyFun k (TyFun k1 ((,) k k2) -> *) -> *) (MapAccumRSym0 k k1 k2) l0 = MapAccumRSym1 k k1 k2 l0 Source |
data MapAccumRSym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> *) -> *) -> TyFun k (TyFun [k] ((,) k [k]) -> *) -> *) (MapAccumRSym1 k k k) Source | |
type Apply (TyFun [k1] ((,) k [k2]) -> *) k (MapAccumRSym1 k k1 k2 l1) l0 = MapAccumRSym2 k k1 k2 l1 l0 Source |
data MapAccumRSym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> *) -> *) -> k -> TyFun [k] ((,) k [k]) -> *) (MapAccumRSym2 k k k) Source | |
type Apply ((,) k [k2]) [k1] (MapAccumRSym2 k k1 k2 l1 l2) l0 = MapAccumRSym3 k k1 k2 l1 l2 l0 Source |
type MapAccumRSym3 t t t = MapAccumR t t t Source
data UnfoldrSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (Maybe ((,) k k)) -> *) (TyFun k [k] -> *) -> *) (UnfoldrSym0 k k) Source | |
type Apply (TyFun k [k1] -> *) (TyFun k (Maybe ((,) k1 k)) -> *) (UnfoldrSym0 k k1) l0 = UnfoldrSym1 k k1 l0 Source |
data UnfoldrSym1 l l Source
SuppressUnusedWarnings ((TyFun k (Maybe ((,) k k)) -> *) -> TyFun k [k] -> *) (UnfoldrSym1 k k) Source | |
type Apply [k1] k (UnfoldrSym1 k k1 l1) l0 = UnfoldrSym2 k k1 l1 l0 Source |
type UnfoldrSym2 t t = Unfoldr t t Source
data IsPrefixOfSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> *) -> *) (IsPrefixOfSym0 k) Source | |
type Apply (TyFun [k] Bool -> *) [k] (IsPrefixOfSym0 k) l0 = IsPrefixOfSym1 k l0 Source |
data IsPrefixOfSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsPrefixOfSym1 k) Source | |
type Apply Bool [k] (IsPrefixOfSym1 k l1) l0 = IsPrefixOfSym2 k l1 l0 Source |
type IsPrefixOfSym2 t t = IsPrefixOf t t Source
data IsSuffixOfSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> *) -> *) (IsSuffixOfSym0 k) Source | |
type Apply (TyFun [k] Bool -> *) [k] (IsSuffixOfSym0 k) l0 = IsSuffixOfSym1 k l0 Source |
data IsSuffixOfSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsSuffixOfSym1 k) Source | |
type Apply Bool [k] (IsSuffixOfSym1 k l1) l0 = IsSuffixOfSym2 k l1 l0 Source |
type IsSuffixOfSym2 t t = IsSuffixOf t t Source
data IsInfixOfSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> *) -> *) (IsInfixOfSym0 k) Source | |
type Apply (TyFun [k] Bool -> *) [k] (IsInfixOfSym0 k) l0 = IsInfixOfSym1 k l0 Source |
data IsInfixOfSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsInfixOfSym1 k) Source | |
type Apply Bool [k] (IsInfixOfSym1 k l1) l0 = IsInfixOfSym2 k l1 l0 Source |
type IsInfixOfSym2 t t = IsInfixOf t t Source
data NotElemSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> *) -> *) (NotElemSym0 k) Source | |
type Apply (TyFun [k] Bool -> *) k (NotElemSym0 k) l0 = NotElemSym1 k l0 Source |
data NotElemSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (NotElemSym1 k) Source | |
type Apply Bool [k] (NotElemSym1 k l1) l0 = NotElemSym2 k l1 l0 Source |
type NotElemSym2 t t = NotElem t t Source
data ZipWithSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> *) -> *) (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWithSym0 k k k) Source | |
type Apply (TyFun [k] (TyFun [k1] [k2] -> *) -> *) (TyFun k (TyFun k1 k2 -> *) -> *) (ZipWithSym0 k k1 k2) l0 = ZipWithSym1 k k1 k2 l0 Source |
data ZipWithSym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWithSym1 k k k) Source | |
type Apply (TyFun [k1] [k2] -> *) [k] (ZipWithSym1 k k1 k2 l1) l0 = ZipWithSym2 k k1 k2 l1 l0 Source |
data ZipWithSym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k k -> *) -> *) -> [k] -> TyFun [k] [k] -> *) (ZipWithSym2 k k k) Source | |
type Apply [k2] [k1] (ZipWithSym2 k k1 k2 l1 l2) l0 = ZipWithSym3 k k1 k2 l1 l2 l0 Source |
type ZipWithSym3 t t t = ZipWith t t t Source
data ZipWith3Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) (ZipWith3Sym0 k k k k) Source | |
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] [k3] -> *) -> *) -> *) (TyFun k (TyFun k1 (TyFun k2 k3 -> *) -> *) -> *) (ZipWith3Sym0 k k1 k2 k3) l0 = ZipWith3Sym1 k k1 k2 k3 l0 Source |
data ZipWith3Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWith3Sym1 k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] [k3] -> *) -> *) [k] (ZipWith3Sym1 k k1 k2 k3 l1) l0 = ZipWith3Sym2 k k1 k2 k3 l1 l0 Source |
data ZipWith3Sym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> [k] -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWith3Sym2 k k k k) Source | |
type Apply (TyFun [k2] [k3] -> *) [k1] (ZipWith3Sym2 k k1 k2 k3 l1 l2) l0 = ZipWith3Sym3 k k1 k2 k3 l1 l2 l0 Source |
data ZipWith3Sym3 l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith3Sym3 k k k k) Source | |
type Apply [k3] [k2] (ZipWith3Sym3 k k1 k2 k3 l1 l2 l3) l0 = ZipWith3Sym4 k k1 k2 k3 l1 l2 l3 l0 Source |
type ZipWith3Sym4 t t t t = ZipWith3 t t t t Source
data Unzip3Sym0 l Source
SuppressUnusedWarnings (TyFun [(,,) k k k] ((,,) [k] [k] [k]) -> *) (Unzip3Sym0 k k k) Source | |
type Apply ((,,) [k] [k1] [k2]) [(,,) k k1 k2] (Unzip3Sym0 k k1 k2) l0 = Unzip3Sym1 k k1 k2 l0 Source |
type Unzip3Sym1 t = Unzip3 t Source
data Unzip4Sym0 l Source
SuppressUnusedWarnings (TyFun [(,,,) k k k k] ((,,,) [k] [k] [k] [k]) -> *) (Unzip4Sym0 k k k k) Source | |
type Apply ((,,,) [k] [k1] [k2] [k3]) [(,,,) k k1 k2 k3] (Unzip4Sym0 k k1 k2 k3) l0 = Unzip4Sym1 k k1 k2 k3 l0 Source |
type Unzip4Sym1 t = Unzip4 t Source
data Unzip5Sym0 l Source
SuppressUnusedWarnings (TyFun [(,,,,) k k k k k] ((,,,,) [k] [k] [k] [k] [k]) -> *) (Unzip5Sym0 k k k k k) Source | |
type Apply ((,,,,) [k] [k1] [k2] [k3] [k4]) [(,,,,) k k1 k2 k3 k4] (Unzip5Sym0 k k1 k2 k3 k4) l0 = Unzip5Sym1 k k1 k2 k3 k4 l0 Source |
type Unzip5Sym1 t = Unzip5 t Source
data Unzip6Sym0 l Source
SuppressUnusedWarnings (TyFun [(,,,,,) k k k k k k] ((,,,,,) [k] [k] [k] [k] [k] [k]) -> *) (Unzip6Sym0 k k k k k k) Source | |
type Apply ((,,,,,) [k] [k1] [k2] [k3] [k4] [k5]) [(,,,,,) k k1 k2 k3 k4 k5] (Unzip6Sym0 k k1 k2 k3 k4 k5) l0 = Unzip6Sym1 k k1 k2 k3 k4 k5 l0 Source |
type Unzip6Sym1 t = Unzip6 t Source
data Unzip7Sym0 l Source
SuppressUnusedWarnings (TyFun [(,,,,,,) k k k k k k k] ((,,,,,,) [k] [k] [k] [k] [k] [k] [k]) -> *) (Unzip7Sym0 k k k k k k k) Source | |
type Apply ((,,,,,,) [k] [k1] [k2] [k3] [k4] [k5] [k6]) [(,,,,,,) k k1 k2 k3 k4 k5 k6] (Unzip7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Unzip7Sym1 k k1 k2 k3 k4 k5 k6 l0 Source |
type Unzip7Sym1 t = Unzip7 t Source
data DeleteSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> *) -> *) (DeleteSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) k (DeleteSym0 k) l0 = DeleteSym1 k l0 Source |
data DeleteSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (DeleteSym1 k) Source | |
type Apply [k] [k] (DeleteSym1 k l1) l0 = DeleteSym2 k l1 l0 Source |
type DeleteSym2 t t = Delete t t Source
data IntersectSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> *) -> *) (IntersectSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) [k] (IntersectSym0 k) l0 = IntersectSym1 k l0 Source |
data IntersectSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) (IntersectSym1 k) Source | |
type Apply [k] [k] (IntersectSym1 k l1) l0 = IntersectSym2 k l1 l0 Source |
type IntersectSym2 t t = Intersect t t Source
data InsertSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> *) -> *) (InsertSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) k (InsertSym0 k) l0 = InsertSym1 k l0 Source |
data InsertSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (InsertSym1 k) Source | |
type Apply [k] [k] (InsertSym1 k l1) l0 = InsertSym2 k l1 l0 Source |
type InsertSym2 t t = Insert t t Source
data DeleteBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> *) -> *) (TyFun k (TyFun [k] [k] -> *) -> *) -> *) (DeleteBySym0 k) Source | |
type Apply (TyFun k (TyFun [k] [k] -> *) -> *) (TyFun k (TyFun k Bool -> *) -> *) (DeleteBySym0 k) l0 = DeleteBySym1 k l0 Source |
data DeleteBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> TyFun k (TyFun [k] [k] -> *) -> *) (DeleteBySym1 k) Source | |
type Apply (TyFun [k] [k] -> *) k (DeleteBySym1 k l1) l0 = DeleteBySym2 k l1 l0 Source |
data DeleteBySym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> k -> TyFun [k] [k] -> *) (DeleteBySym2 k) Source | |
type Apply [k] [k] (DeleteBySym2 k l1 l2) l0 = DeleteBySym3 k l1 l2 l0 Source |
type DeleteBySym3 t t t = DeleteBy t t t Source
data DeleteFirstsBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> *) -> *) (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (DeleteFirstsBySym0 k) Source | |
type Apply (TyFun [k] (TyFun [k] [k] -> *) -> *) (TyFun k (TyFun k Bool -> *) -> *) (DeleteFirstsBySym0 k) l0 = DeleteFirstsBySym1 k l0 Source |
data DeleteFirstsBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> TyFun [k] (TyFun [k] [k] -> *) -> *) (DeleteFirstsBySym1 k) Source | |
type Apply (TyFun [k] [k] -> *) [k] (DeleteFirstsBySym1 k l1) l0 = DeleteFirstsBySym2 k l1 l0 Source |
data DeleteFirstsBySym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> [k] -> TyFun [k] [k] -> *) (DeleteFirstsBySym2 k) Source | |
type Apply [k] [k] (DeleteFirstsBySym2 k l1 l2) l0 = DeleteFirstsBySym3 k l1 l2 l0 Source |
type DeleteFirstsBySym3 t t t = DeleteFirstsBy t t t Source
data IntersectBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> *) -> *) (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (IntersectBySym0 k) Source | |
type Apply (TyFun [k] (TyFun [k] [k] -> *) -> *) (TyFun k (TyFun k Bool -> *) -> *) (IntersectBySym0 k) l0 = IntersectBySym1 k l0 Source |
data IntersectBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> TyFun [k] (TyFun [k] [k] -> *) -> *) (IntersectBySym1 k) Source | |
type Apply (TyFun [k] [k] -> *) [k] (IntersectBySym1 k l1) l0 = IntersectBySym2 k l1 l0 Source |
data IntersectBySym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> [k] -> TyFun [k] [k] -> *) (IntersectBySym2 k) Source | |
type Apply [k] [k] (IntersectBySym2 k l1 l2) l0 = IntersectBySym3 k l1 l2 l0 Source |
data SortBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> *) -> *) (TyFun [k] [k] -> *) -> *) (SortBySym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k (TyFun k Ordering -> *) -> *) (SortBySym0 k) l0 = SortBySym1 k l0 Source |
data SortBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> TyFun [k] [k] -> *) (SortBySym1 k) Source | |
type Apply [k] [k] (SortBySym1 k l1) l0 = SortBySym2 k l1 l0 Source |
type SortBySym2 t t = SortBy t t Source
data InsertBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> *) -> *) (TyFun k (TyFun [k] [k] -> *) -> *) -> *) (InsertBySym0 k) Source | |
type Apply (TyFun k (TyFun [k] [k] -> *) -> *) (TyFun k (TyFun k Ordering -> *) -> *) (InsertBySym0 k) l0 = InsertBySym1 k l0 Source |
data InsertBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> TyFun k (TyFun [k] [k] -> *) -> *) (InsertBySym1 k) Source | |
type Apply (TyFun [k] [k] -> *) k (InsertBySym1 k l1) l0 = InsertBySym2 k l1 l0 Source |
data InsertBySym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> k -> TyFun [k] [k] -> *) (InsertBySym2 k) Source | |
type Apply [k] [k] (InsertBySym2 k l1 l2) l0 = InsertBySym3 k l1 l2 l0 Source |
type InsertBySym3 t t t = InsertBy t t t Source
data MaximumBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> *) -> *) (TyFun [k] k -> *) -> *) (MaximumBySym0 k) Source | |
type Apply (TyFun [k] k -> *) (TyFun k (TyFun k Ordering -> *) -> *) (MaximumBySym0 k) l0 = MaximumBySym1 k l0 Source |
data MaximumBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> TyFun [k] k -> *) (MaximumBySym1 k) Source | |
type Apply k [k] (MaximumBySym1 k l1) l0 = MaximumBySym2 k l1 l0 Source |
type MaximumBySym2 t t = MaximumBy t t Source
data MinimumBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> *) -> *) (TyFun [k] k -> *) -> *) (MinimumBySym0 k) Source | |
type Apply (TyFun [k] k -> *) (TyFun k (TyFun k Ordering -> *) -> *) (MinimumBySym0 k) l0 = MinimumBySym1 k l0 Source |
data MinimumBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> *) -> *) -> TyFun [k] k -> *) (MinimumBySym1 k) Source | |
type Apply k [k] (MinimumBySym1 k l1) l0 = MinimumBySym2 k l1 l0 Source |
type MinimumBySym2 t t = MinimumBy t t Source
data LengthSym0 l Source
SuppressUnusedWarnings (TyFun [k] Nat -> *) (LengthSym0 k) Source | |
type Apply Nat [k] (LengthSym0 k) l0 = LengthSym1 k l0 Source |
type LengthSym1 t = Length t Source
data ProductSym0 l Source
SuppressUnusedWarnings (TyFun [k] k -> *) (ProductSym0 k) Source | |
type Apply k [k] (ProductSym0 k) l0 = ProductSym1 k l0 Source |
type ProductSym1 t = Product t Source
data ReplicateSym0 l Source
SuppressUnusedWarnings (TyFun Nat (TyFun k [k] -> *) -> *) (ReplicateSym0 k) Source | |
type Apply (TyFun k [k] -> *) Nat (ReplicateSym0 k) l0 = ReplicateSym1 k l0 Source |
data ReplicateSym1 l l Source
SuppressUnusedWarnings (Nat -> TyFun k [k] -> *) (ReplicateSym1 k) Source | |
type Apply [k] k (ReplicateSym1 k l1) l0 = ReplicateSym2 k l1 l0 Source |
type ReplicateSym2 t t = Replicate t t Source
data TransposeSym0 l Source
SuppressUnusedWarnings (TyFun [[k]] [[k]] -> *) (TransposeSym0 k) Source | |
type Apply [[k]] [[k]] (TransposeSym0 k) l0 = TransposeSym1 k l0 Source |
type TransposeSym1 t = Transpose t Source
data SplitAtSym0 l Source
SuppressUnusedWarnings (TyFun Nat (TyFun [k] ((,) [k] [k]) -> *) -> *) (SplitAtSym0 k) Source | |
type Apply (TyFun [k] ((,) [k] [k]) -> *) Nat (SplitAtSym0 k) l0 = SplitAtSym1 k l0 Source |
data SplitAtSym1 l l Source
SuppressUnusedWarnings (Nat -> TyFun [k] ((,) [k] [k]) -> *) (SplitAtSym1 k) Source | |
type Apply ((,) [k] [k]) [k] (SplitAtSym1 k l1) l0 = SplitAtSym2 k l1 l0 Source |
type SplitAtSym2 t t = SplitAt t t Source
data TakeWhileSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (TakeWhileSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (TakeWhileSym0 k) l0 = TakeWhileSym1 k l0 Source |
data TakeWhileSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (TakeWhileSym1 k) Source | |
type Apply [k] [k] (TakeWhileSym1 k l1) l0 = TakeWhileSym2 k l1 l0 Source |
type TakeWhileSym2 t t = TakeWhile t t Source
data DropWhileSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (DropWhileSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (DropWhileSym0 k) l0 = DropWhileSym1 k l0 Source |
data DropWhileSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (DropWhileSym1 k) Source | |
type Apply [k] [k] (DropWhileSym1 k l1) l0 = DropWhileSym2 k l1 l0 Source |
type DropWhileSym2 t t = DropWhile t t Source
data DropWhileEndSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (DropWhileEndSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (DropWhileEndSym0 k) l0 = DropWhileEndSym1 k l0 Source |
data DropWhileEndSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (DropWhileEndSym1 k) Source | |
type Apply [k] [k] (DropWhileEndSym1 k l1) l0 = DropWhileEndSym2 k l1 l0 Source |
type DropWhileEndSym2 t t = DropWhileEnd t t Source
data StripPrefixSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (Maybe [k]) -> *) -> *) (StripPrefixSym0 k) Source | |
type Apply (TyFun [k] (Maybe [k]) -> *) [k] (StripPrefixSym0 k) l0 = StripPrefixSym1 k l0 Source |
data StripPrefixSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun [k] (Maybe [k]) -> *) (StripPrefixSym1 k) Source | |
type Apply (Maybe [k]) [k] (StripPrefixSym1 k l1) l0 = StripPrefixSym2 k l1 l0 Source |
type StripPrefixSym2 t t = StripPrefix t t Source
data MaximumSym0 l Source
SuppressUnusedWarnings (TyFun [k] k -> *) (MaximumSym0 k) Source | |
type Apply k [k] (MaximumSym0 k) l0 = MaximumSym1 k l0 Source |
type MaximumSym1 t = Maximum t Source
data MinimumSym0 l Source
SuppressUnusedWarnings (TyFun [k] k -> *) (MinimumSym0 k) Source | |
type Apply k [k] (MinimumSym0 k) l0 = MinimumSym1 k l0 Source |
type MinimumSym1 t = Minimum t Source
data GroupBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> *) -> *) (TyFun [k] [[k]] -> *) -> *) (GroupBySym0 k) Source | |
type Apply (TyFun [k] [[k]] -> *) (TyFun k (TyFun k Bool -> *) -> *) (GroupBySym0 k) l0 = GroupBySym1 k l0 Source |
data GroupBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> TyFun [k] [[k]] -> *) (GroupBySym1 k) Source | |
type Apply [[k]] [k] (GroupBySym1 k l1) l0 = GroupBySym2 k l1 l0 Source |
type GroupBySym2 t t = GroupBy t t Source
data LookupSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [(,) k k] (Maybe k) -> *) -> *) (LookupSym0 k k) Source | |
type Apply (TyFun [(,) k k1] (Maybe k1) -> *) k (LookupSym0 k k1) l0 = LookupSym1 k k1 l0 Source |
data LookupSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [(,) k k] (Maybe k) -> *) (LookupSym1 k k) Source | |
type Apply (Maybe k) [(,) k1 k] (LookupSym1 k1 k l1) l0 = LookupSym2 k1 k l1 l0 Source |
type LookupSym2 t t = Lookup t t Source
data FilterSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [k] -> *) -> *) (FilterSym0 k) Source | |
type Apply (TyFun [k] [k] -> *) (TyFun k Bool -> *) (FilterSym0 k) l0 = FilterSym1 k l0 Source |
data FilterSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [k] -> *) (FilterSym1 k) Source | |
type Apply [k] [k] (FilterSym1 k l1) l0 = FilterSym2 k l1 l0 Source |
type FilterSym2 t t = Filter t t Source
data PartitionSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] ((,) [k] [k]) -> *) -> *) (PartitionSym0 k) Source | |
type Apply (TyFun [k] ((,) [k] [k]) -> *) (TyFun k Bool -> *) (PartitionSym0 k) l0 = PartitionSym1 k l0 Source |
data PartitionSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] ((,) [k] [k]) -> *) (PartitionSym1 k) Source | |
type Apply ((,) [k] [k]) [k] (PartitionSym1 k l1) l0 = PartitionSym2 k l1 l0 Source |
type PartitionSym2 t t = Partition t t Source
data ElemIndexSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] (Maybe Nat) -> *) -> *) (ElemIndexSym0 k) Source | |
type Apply (TyFun [k] (Maybe Nat) -> *) k (ElemIndexSym0 k) l0 = ElemIndexSym1 k l0 Source |
data ElemIndexSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] (Maybe Nat) -> *) (ElemIndexSym1 k) Source | |
type Apply (Maybe Nat) [k] (ElemIndexSym1 k l1) l0 = ElemIndexSym2 k l1 l0 Source |
type ElemIndexSym2 t t = ElemIndex t t Source
data ElemIndicesSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] [Nat] -> *) -> *) (ElemIndicesSym0 k) Source | |
type Apply (TyFun [k] [Nat] -> *) k (ElemIndicesSym0 k) l0 = ElemIndicesSym1 k l0 Source |
data ElemIndicesSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] [Nat] -> *) (ElemIndicesSym1 k) Source | |
type Apply [Nat] [k] (ElemIndicesSym1 k l1) l0 = ElemIndicesSym2 k l1 l0 Source |
type ElemIndicesSym2 t t = ElemIndices t t Source
data FindIndexSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] (Maybe Nat) -> *) -> *) (FindIndexSym0 k) Source | |
type Apply (TyFun [k] (Maybe Nat) -> *) (TyFun k Bool -> *) (FindIndexSym0 k) l0 = FindIndexSym1 k l0 Source |
data FindIndexSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] (Maybe Nat) -> *) (FindIndexSym1 k) Source | |
type Apply (Maybe Nat) [k] (FindIndexSym1 k l1) l0 = FindIndexSym2 k l1 l0 Source |
type FindIndexSym2 t t = FindIndex t t Source
data FindIndicesSym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k Bool -> *) (TyFun [k] [Nat] -> *) -> *) (FindIndicesSym0 k) Source | |
type Apply (TyFun [k] [Nat] -> *) (TyFun k Bool -> *) (FindIndicesSym0 k) l0 = FindIndicesSym1 k l0 Source |
data FindIndicesSym1 l l Source
SuppressUnusedWarnings ((TyFun k Bool -> *) -> TyFun [k] [Nat] -> *) (FindIndicesSym1 k) Source | |
type Apply [Nat] [k] (FindIndicesSym1 k l1) l0 = FindIndicesSym2 k l1 l0 Source |
type FindIndicesSym2 t t = FindIndices t t Source
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> *) -> *) -> *) -> *) -> *) (Zip5Sym0 k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,) k k1 k2 k3 k4] -> *) -> *) -> *) -> *) [k] (Zip5Sym0 k k1 k2 k3 k4) l0 = Zip5Sym1 k k1 k2 k3 k4 l0 Source |
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> *) -> *) -> *) -> *) (Zip5Sym1 k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,) k4 k k1 k2 k3] -> *) -> *) -> *) [k] (Zip5Sym1 k4 k k1 k2 k3 l1) l0 = Zip5Sym2 k4 k k1 k2 k3 l1 l0 Source |
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> *) -> *) -> *) -> *) -> *) -> *) (Zip6Sym0 k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [(,,,,,) k k1 k2 k3 k4 k5] -> *) -> *) -> *) -> *) -> *) [k] (Zip6Sym0 k k1 k2 k3 k4 k5) l0 = Zip6Sym1 k k1 k2 k3 k4 k5 l0 Source |
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> *) -> *) -> *) -> *) -> *) (Zip6Sym1 k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,,) k5 k k1 k2 k3 k4] -> *) -> *) -> *) -> *) [k] (Zip6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Zip6Sym2 k5 k k1 k2 k3 k4 l1 l0 Source |
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> *) -> *) -> *) -> *) (Zip6Sym2 k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,,) k4 k5 k k1 k2 k3] -> *) -> *) -> *) [k] (Zip6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Zip6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0 Source |
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> *) -> *) -> *) (Zip6Sym3 k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] [(,,,,,) k3 k4 k5 k k1 k2] -> *) -> *) [k] (Zip6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Zip6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0 Source |
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> *) -> *) -> *) -> *) -> *) -> *) -> *) (Zip7Sym0 k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [(,,,,,,) k k1 k2 k3 k4 k5 k6] -> *) -> *) -> *) -> *) -> *) -> *) [k] (Zip7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Zip7Sym1 k k1 k2 k3 k4 k5 k6 l0 Source |
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> *) -> *) -> *) -> *) -> *) -> *) (Zip7Sym1 k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [(,,,,,,) k6 k k1 k2 k3 k4 k5] -> *) -> *) -> *) -> *) -> *) [k] (Zip7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Zip7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0 Source |
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> *) -> *) -> *) -> *) -> *) (Zip7Sym2 k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,,,) k5 k6 k k1 k2 k3 k4] -> *) -> *) -> *) -> *) [k] (Zip7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Zip7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0 Source |
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> *) -> *) -> *) -> *) (Zip7Sym3 k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,,,) k4 k5 k6 k k1 k2 k3] -> *) -> *) -> *) [k] (Zip7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Zip7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0 Source |
data Zip7Sym4 l l l l l Source
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> *) -> *) -> *) (Zip7Sym4 k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] [(,,,,,,) k3 k4 k5 k6 k k1 k2] -> *) -> *) [k] (Zip7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Zip7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0 Source |
data Zip7Sym5 l l l l l l Source
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> *) -> *) (Zip7Sym5 k k k k k k k) Source | |
type Apply (TyFun [k1] [(,,,,,,) k2 k3 k4 k5 k6 k k1] -> *) [k] (Zip7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Zip7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0 Source |
data ZipWith4Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) (ZipWith4Sym0 k k k k k) Source | |
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] [k4] -> *) -> *) -> *) -> *) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 k4 -> *) -> *) -> *) -> *) (ZipWith4Sym0 k k1 k2 k3 k4) l0 = ZipWith4Sym1 k k1 k2 k3 k4 l0 Source |
data ZipWith4Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) (ZipWith4Sym1 k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [k4] -> *) -> *) -> *) [k] (ZipWith4Sym1 k k1 k2 k3 k4 l1) l0 = ZipWith4Sym2 k k1 k2 k3 k4 l1 l0 Source |
data ZipWith4Sym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWith4Sym2 k k k k k) Source | |
type Apply (TyFun [k2] (TyFun [k3] [k4] -> *) -> *) [k1] (ZipWith4Sym2 k k1 k2 k3 k4 l1 l2) l0 = ZipWith4Sym3 k k1 k2 k3 k4 l1 l2 l0 Source |
data ZipWith4Sym3 l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWith4Sym3 k k k k k) Source | |
type Apply (TyFun [k3] [k4] -> *) [k2] (ZipWith4Sym3 k k1 k2 k3 k4 l1 l2 l3) l0 = ZipWith4Sym4 k k1 k2 k3 k4 l1 l2 l3 l0 Source |
data ZipWith4Sym4 l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith4Sym4 k k k k k) Source | |
type Apply [k4] [k3] (ZipWith4Sym4 k k1 k2 k3 k4 l1 l2 l3 l4) l0 = ZipWith4Sym5 k k1 k2 k3 k4 l1 l2 l3 l4 l0 Source |
type ZipWith4Sym5 t t t t t = ZipWith4 t t t t t Source
data ZipWith5Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith5Sym0 k k k k k k) Source | |
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> *) -> *) -> *) -> *) -> *) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 k5 -> *) -> *) -> *) -> *) -> *) (ZipWith5Sym0 k k1 k2 k3 k4 k5) l0 = ZipWith5Sym1 k k1 k2 k3 k4 k5 l0 Source |
data ZipWith5Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) (ZipWith5Sym1 k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> *) -> *) -> *) -> *) [k] (ZipWith5Sym1 k k1 k2 k3 k4 k5 l1) l0 = ZipWith5Sym2 k k1 k2 k3 k4 k5 l1 l0 Source |
data ZipWith5Sym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) (ZipWith5Sym2 k k k k k k) Source | |
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> *) -> *) -> *) [k1] (ZipWith5Sym2 k k1 k2 k3 k4 k5 l1 l2) l0 = ZipWith5Sym3 k k1 k2 k3 k4 k5 l1 l2 l0 Source |
data ZipWith5Sym3 l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWith5Sym3 k k k k k k) Source | |
type Apply (TyFun [k3] (TyFun [k4] [k5] -> *) -> *) [k2] (ZipWith5Sym3 k k1 k2 k3 k4 k5 l1 l2 l3) l0 = ZipWith5Sym4 k k1 k2 k3 k4 k5 l1 l2 l3 l0 Source |
data ZipWith5Sym4 l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWith5Sym4 k k k k k k) Source | |
type Apply (TyFun [k4] [k5] -> *) [k3] (ZipWith5Sym4 k k1 k2 k3 k4 k5 l1 l2 l3 l4) l0 = ZipWith5Sym5 k k1 k2 k3 k4 k5 l1 l2 l3 l4 l0 Source |
data ZipWith5Sym5 l l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith5Sym5 k k k k k k) Source | |
type Apply [k5] [k4] (ZipWith5Sym5 k k1 k2 k3 k4 k5 l1 l2 l3 l4 l5) l0 = ZipWith5Sym6 k k1 k2 k3 k4 k5 l1 l2 l3 l4 l5 l0 Source |
type ZipWith5Sym6 t t t t t t = ZipWith5 t t t t t t Source
data ZipWith6Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith6Sym0 k k k k k k k) Source | |
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> *) -> *) -> *) -> *) -> *) -> *) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 k6 -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith6Sym0 k k1 k2 k3 k4 k5 k6) l0 = ZipWith6Sym1 k k1 k2 k3 k4 k5 k6 l0 Source |
data ZipWith6Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith6Sym1 k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> *) -> *) -> *) -> *) -> *) [k] (ZipWith6Sym1 k k1 k2 k3 k4 k5 k6 l1) l0 = ZipWith6Sym2 k k1 k2 k3 k4 k5 k6 l1 l0 Source |
data ZipWith6Sym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) (ZipWith6Sym2 k k k k k k k) Source | |
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> *) -> *) -> *) -> *) [k1] (ZipWith6Sym2 k k1 k2 k3 k4 k5 k6 l1 l2) l0 = ZipWith6Sym3 k k1 k2 k3 k4 k5 k6 l1 l2 l0 Source |
data ZipWith6Sym3 l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) (ZipWith6Sym3 k k k k k k k) Source | |
type Apply (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> *) -> *) -> *) [k2] (ZipWith6Sym3 k k1 k2 k3 k4 k5 k6 l1 l2 l3) l0 = ZipWith6Sym4 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l0 Source |
data ZipWith6Sym4 l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWith6Sym4 k k k k k k k) Source | |
type Apply (TyFun [k4] (TyFun [k5] [k6] -> *) -> *) [k3] (ZipWith6Sym4 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4) l0 = ZipWith6Sym5 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l0 Source |
data ZipWith6Sym5 l l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWith6Sym5 k k k k k k k) Source | |
type Apply (TyFun [k5] [k6] -> *) [k4] (ZipWith6Sym5 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5) l0 = ZipWith6Sym6 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5 l0 Source |
data ZipWith6Sym6 l l l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith6Sym6 k k k k k k k) Source | |
type Apply [k6] [k5] (ZipWith6Sym6 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6) l0 = ZipWith6Sym7 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6 l0 Source |
type ZipWith6Sym7 t t t t t t t = ZipWith6 t t t t t t t Source
data ZipWith7Sym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith7Sym0 k k k k k k k k) Source | |
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> *) -> *) -> *) -> *) -> *) -> *) -> *) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 k7 -> *) -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith7Sym0 k k1 k2 k3 k4 k5 k6 k7) l0 = ZipWith7Sym1 k k1 k2 k3 k4 k5 k6 k7 l0 Source |
data ZipWith7Sym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith7Sym1 k k k k k k k k) Source | |
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> *) -> *) -> *) -> *) -> *) -> *) [k] (ZipWith7Sym1 k k1 k2 k3 k4 k5 k6 k7 l1) l0 = ZipWith7Sym2 k k1 k2 k3 k4 k5 k6 k7 l1 l0 Source |
data ZipWith7Sym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) -> *) (ZipWith7Sym2 k k k k k k k k) Source | |
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> *) -> *) -> *) -> *) -> *) [k1] (ZipWith7Sym2 k k1 k2 k3 k4 k5 k6 k7 l1 l2) l0 = ZipWith7Sym3 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l0 Source |
data ZipWith7Sym3 l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) -> *) (ZipWith7Sym3 k k k k k k k k) Source | |
type Apply (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> *) -> *) -> *) -> *) [k2] (ZipWith7Sym3 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3) l0 = ZipWith7Sym4 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l0 Source |
data ZipWith7Sym4 l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) -> *) (ZipWith7Sym4 k k k k k k k k) Source | |
type Apply (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> *) -> *) -> *) [k3] (ZipWith7Sym4 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4) l0 = ZipWith7Sym5 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l0 Source |
data ZipWith7Sym5 l l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (ZipWith7Sym5 k k k k k k k k) Source | |
type Apply (TyFun [k5] (TyFun [k6] [k7] -> *) -> *) [k4] (ZipWith7Sym5 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5) l0 = ZipWith7Sym6 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l0 Source |
data ZipWith7Sym6 l l l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> *) -> *) (ZipWith7Sym6 k k k k k k k k) Source | |
type Apply (TyFun [k6] [k7] -> *) [k5] (ZipWith7Sym6 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l0 = ZipWith7Sym7 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l0 Source |
data ZipWith7Sym7 l l l l l l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> *) -> *) -> *) -> *) -> *) -> *) -> *) -> [k] -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith7Sym7 k k k k k k k k) Source | |
type Apply [k7] [k6] (ZipWith7Sym7 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7) l0 = ZipWith7Sym8 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7 l0 Source |
type ZipWith7Sym8 t t t t t t t t = ZipWith7 t t t t t t t t Source
data UnionBySym0 l Source
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> *) -> *) (TyFun [k] (TyFun [k] [k] -> *) -> *) -> *) (UnionBySym0 k) Source | |
type Apply (TyFun [k] (TyFun [k] [k] -> *) -> *) (TyFun k (TyFun k Bool -> *) -> *) (UnionBySym0 k) l0 = UnionBySym1 k l0 Source |
data UnionBySym1 l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> TyFun [k] (TyFun [k] [k] -> *) -> *) (UnionBySym1 k) Source | |
type Apply (TyFun [k] [k] -> *) [k] (UnionBySym1 k l1) l0 = UnionBySym2 k l1 l0 Source |
data UnionBySym2 l l l Source
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> *) -> *) -> [k] -> TyFun [k] [k] -> *) (UnionBySym2 k) Source | |
type Apply [k] [k] (UnionBySym2 k l1 l2) l0 = UnionBySym3 k l1 l2 l0 Source |
type UnionBySym3 t t t = UnionBy t t t Source
data GenericLengthSym0 l Source
SuppressUnusedWarnings (TyFun [k] k -> *) (GenericLengthSym0 k k) Source | |
type Apply k [k1] (GenericLengthSym0 k1 k) l0 = GenericLengthSym1 k1 k l0 Source |
type GenericLengthSym1 t = GenericLength t Source
data GenericTakeSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> *) -> *) (GenericTakeSym0 k k) Source | |
type Apply (TyFun [k1] [k1] -> *) k (GenericTakeSym0 k k1) l0 = GenericTakeSym1 k k1 l0 Source |
data GenericTakeSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (GenericTakeSym1 k k) Source | |
type Apply [k] [k] (GenericTakeSym1 k1 k l1) l0 = GenericTakeSym2 k1 k l1 l0 Source |
type GenericTakeSym2 t t = GenericTake t t Source
data GenericDropSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> *) -> *) (GenericDropSym0 k k) Source | |
type Apply (TyFun [k1] [k1] -> *) k (GenericDropSym0 k k1) l0 = GenericDropSym1 k k1 l0 Source |
data GenericDropSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (GenericDropSym1 k k) Source | |
type Apply [k] [k] (GenericDropSym1 k1 k l1) l0 = GenericDropSym2 k1 k l1 l0 Source |
type GenericDropSym2 t t = GenericDrop t t Source
data GenericSplitAtSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun [k] ((,) [k] [k]) -> *) -> *) (GenericSplitAtSym0 k k) Source | |
type Apply (TyFun [k1] ((,) [k1] [k1]) -> *) k (GenericSplitAtSym0 k k1) l0 = GenericSplitAtSym1 k k1 l0 Source |
data GenericSplitAtSym1 l l Source
SuppressUnusedWarnings (k -> TyFun [k] ((,) [k] [k]) -> *) (GenericSplitAtSym1 k k) Source | |
type Apply ((,) [k] [k]) [k] (GenericSplitAtSym1 k1 k l1) l0 = GenericSplitAtSym2 k1 k l1 l0 Source |
type GenericSplitAtSym2 t t = GenericSplitAt t t Source
data GenericIndexSym0 l Source
SuppressUnusedWarnings (TyFun [k] (TyFun k k -> *) -> *) (GenericIndexSym0 k k) Source | |
type Apply (TyFun k1 k -> *) [k] (GenericIndexSym0 k k1) l0 = GenericIndexSym1 k k1 l0 Source |
data GenericIndexSym1 l l Source
SuppressUnusedWarnings ([k] -> TyFun k k -> *) (GenericIndexSym1 k k) Source | |
type Apply k1 k (GenericIndexSym1 k1 k l1) l0 = GenericIndexSym2 k1 k l1 l0 Source |
type GenericIndexSym2 t t = GenericIndex t t Source
data GenericReplicateSym0 l Source
SuppressUnusedWarnings (TyFun k (TyFun k [k] -> *) -> *) (GenericReplicateSym0 k k) Source | |
type Apply (TyFun k1 [k1] -> *) k (GenericReplicateSym0 k k1) l0 = GenericReplicateSym1 k k1 l0 Source |
data GenericReplicateSym1 l l Source
SuppressUnusedWarnings (k -> TyFun k [k] -> *) (GenericReplicateSym1 k k) Source | |
type Apply [k] k (GenericReplicateSym1 k1 k l1) l0 = GenericReplicateSym2 k1 k l1 l0 Source |
type GenericReplicateSym2 t t = GenericReplicate t t Source