| Copyright | (C) 2013 Richard Eisenberg |
|---|---|
| License | BSD-style (see LICENSE) |
| Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Singletons.TH
Contents
Description
This module contains everything you need to derive your own singletons via Template Haskell.
TURN ON -XScopedTypeVariables IN YOUR MODULE IF YOU WANT THIS TO WORK.
- singletons :: DsMonad q => q [Dec] -> q [Dec]
- singletonsOnly :: DsMonad q => q [Dec] -> q [Dec]
- genSingletons :: DsMonad q => [Name] -> q [Dec]
- promote :: DsMonad q => q [Dec] -> q [Dec]
- promoteOnly :: DsMonad q => q [Dec] -> q [Dec]
- genDefunSymbols :: DsMonad q => [Name] -> q [Dec]
- genPromotions :: DsMonad q => [Name] -> q [Dec]
- promoteEqInstances :: DsMonad q => [Name] -> q [Dec]
- promoteEqInstance :: DsMonad q => Name -> q [Dec]
- singEqInstances :: DsMonad q => [Name] -> q [Dec]
- singEqInstance :: DsMonad q => Name -> q [Dec]
- singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec]
- singEqInstanceOnly :: DsMonad q => Name -> q [Dec]
- singDecideInstances :: DsMonad q => [Name] -> q [Dec]
- singDecideInstance :: DsMonad q => Name -> q [Dec]
- promoteOrdInstances :: DsMonad q => [Name] -> q [Dec]
- promoteOrdInstance :: DsMonad q => Name -> q [Dec]
- singOrdInstances :: DsMonad q => [Name] -> q [Dec]
- singOrdInstance :: DsMonad q => Name -> q [Dec]
- promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec]
- promoteBoundedInstance :: DsMonad q => Name -> q [Dec]
- singBoundedInstances :: DsMonad q => [Name] -> q [Dec]
- singBoundedInstance :: DsMonad q => Name -> q [Dec]
- promoteEnumInstances :: DsMonad q => [Name] -> q [Dec]
- promoteEnumInstance :: DsMonad q => Name -> q [Dec]
- singEnumInstances :: DsMonad q => [Name] -> q [Dec]
- singEnumInstance :: DsMonad q => Name -> q [Dec]
- cases :: DsMonad q => Name -> q Exp -> q Exp -> q Exp
- sCases :: DsMonad q => Name -> q Exp -> q Exp -> q Exp
- data family Sing (a :: k)
- module Data.Singletons
- class PEq a where
- type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
- sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c)
- type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
- class SEq k where
- class PEq a => POrd (a :: Type) where
- class SEq a => SOrd a where
- type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ...
- sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering)
- type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b)
- type family Any k0 :: k0 where ...
- class SDecide k where
- data (k :~: (a :: k)) (b :: k) :: forall k. k -> k -> * where
- data Void :: *
- type Refuted a = a -> Void
- data Decision a
- data SomeSing k where
- type family Error (str :: k0) :: k
- data ErrorSym0 (l :: TyFun k06989586621679402464 k6989586621679402466)
- type TrueSym0 = True
- type FalseSym0 = False
- type LTSym0 = LT
- type EQSym0 = EQ
- type GTSym0 = GT
- type Tuple0Sym0 = '()
- data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type))
- data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866))
- type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t)
- data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type))
- data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type))
- data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867))
- type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t)
- data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type))
- data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type))
- data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type))
- data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868))
- type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t)
- data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type))
- data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type))
- data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type))
- data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type))
- data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869))
- type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t)
- data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type))
- data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type))
- data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type))
- data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type))
- data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type))
- data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870))
- type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t)
- data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type))
- data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type))
- data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type))
- data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type))
- data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type))
- data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type))
- data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871))
- type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t)
- data CompareSym0 (l :: TyFun a6989586621679312550 (TyFun a6989586621679312550 Ordering -> Type))
- data ThenCmpSym0 (l :: TyFun Ordering (TyFun Ordering Ordering -> Type))
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type))
- class SuppressUnusedWarnings (t :: k) where
Primary Template Haskell generation functions
singletons :: DsMonad q => q [Dec] -> q [Dec] Source #
Make promoted and singleton versions of all declarations given, retaining the original declarations. See https://github.com/goldfirere/singletons/blob/master/README.md for further explanation.
singletonsOnly :: DsMonad q => q [Dec] -> q [Dec] Source #
Make promoted and singleton versions of all declarations given, discarding the original declarations. Note that a singleton based on a datatype needs the original datatype, so this will fail if it sees any datatype declarations. Classes, instances, and functions are all fine.
genSingletons :: DsMonad q => [Name] -> q [Dec] Source #
Generate singleton definitions from a type that is already defined. For example, the singletons package itself uses
$(genSingletons [''Bool, ''Maybe, ''Either, ''[]])
to generate singletons for Prelude types.
promote :: DsMonad q => q [Dec] -> q [Dec] Source #
Promote every declaration given to the type level, retaining the originals.
promoteOnly :: DsMonad q => q [Dec] -> q [Dec] Source #
Promote each declaration, discarding the originals. Note that a promoted datatype uses the same definition as an original datatype, so this will not work with datatypes. Classes, instances, and functions are all fine.
genDefunSymbols :: DsMonad q => [Name] -> q [Dec] Source #
Generate defunctionalization symbols for existing type family
genPromotions :: DsMonad q => [Name] -> q [Dec] Source #
Generate promoted definitions from a type that is already defined. This is generally only useful with classes.
Functions to generate equality instances
promoteEqInstances :: DsMonad q => [Name] -> q [Dec] Source #
Produce instances for '(:==)' (type-level equality) from the given types
promoteEqInstance :: DsMonad q => Name -> q [Dec] Source #
Produce an instance for '(:==)' (type-level equality) from the given type
singEqInstances :: DsMonad q => [Name] -> q [Dec] Source #
Create instances of SEq and type-level '(:==)' for each type in the list
singEqInstance :: DsMonad q => Name -> q [Dec] Source #
Create instance of SEq and type-level '(:==)' for the given type
singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec] Source #
Create instances of SEq (only -- no instance for '(:==)', which SEq generally
relies on) for each type in the list
singEqInstanceOnly :: DsMonad q => Name -> q [Dec] Source #
Create instances of SEq (only -- no instance for '(:==)', which SEq generally
relies on) for the given type
singDecideInstances :: DsMonad q => [Name] -> q [Dec] Source #
Create instances of SDecide for each type in the list.
singDecideInstance :: DsMonad q => Name -> q [Dec] Source #
Create instance of SDecide for the given type.
Functions to generate Ord instances
promoteOrdInstances :: DsMonad q => [Name] -> q [Dec] Source #
Produce instances for POrd from the given types
promoteOrdInstance :: DsMonad q => Name -> q [Dec] Source #
Produce an instance for POrd from the given type
singOrdInstances :: DsMonad q => [Name] -> q [Dec] Source #
Create instances of SOrd for the given types
Functions to generate Bounded instances
promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec] Source #
Produce instances for PBounded from the given types
promoteBoundedInstance :: DsMonad q => Name -> q [Dec] Source #
Produce an instance for PBounded from the given type
singBoundedInstances :: DsMonad q => [Name] -> q [Dec] Source #
Create instances of SBounded for the given types
singBoundedInstance :: DsMonad q => Name -> q [Dec] Source #
Create instance of SBounded for the given type
Functions to generate Enum instances
promoteEnumInstances :: DsMonad q => [Name] -> q [Dec] Source #
Produce instances for PEnum from the given types
promoteEnumInstance :: DsMonad q => Name -> q [Dec] Source #
Produce an instance for PEnum from the given type
singEnumInstances :: DsMonad q => [Name] -> q [Dec] Source #
Create instances of SEnum for the given types
singEnumInstance :: DsMonad q => Name -> q [Dec] Source #
Create instance of SEnum for the given type
Utility functions
Arguments
| :: DsMonad q | |
| => Name | The head of the type of the scrutinee. (Like |
| -> q Exp | The scrutinee, in a Template Haskell quote |
| -> q Exp | The body, in a Template Haskell quote |
| -> q Exp |
The function cases generates a case expression where each right-hand side
is identical. This may be useful if the type-checker requires knowledge of which
constructor is used to satisfy equality or type-class constraints, but where
each constructor is treated the same.
Arguments
| :: DsMonad q | |
| => Name | The head of the type the scrutinee's type is based on.
(Like |
| -> q Exp | The scrutinee, in a Template Haskell quote |
| -> q Exp | The body, in a Template Haskell quote |
| -> q Exp |
The function sCases generates a case expression where each right-hand side
is identical. This may be useful if the type-checker requires knowledge of which
constructor is used to satisfy equality or type-class constraints, but where
each constructor is treated the same. For sCases, unlike cases, the
scrutinee is a singleton. But make sure to pass in the name of the original
datatype, preferring ''Maybe over ''SMaybe.
Basic singleton definitions
data family Sing (a :: k) Source #
The singleton kind-indexed data family.
Instances
| data Sing Bool Source # | |
| data Sing Ordering Source # | |
| data Sing * Source # | |
| data Sing Nat Source # | |
| data Sing Symbol Source # | |
| data Sing () Source # | |
| data Sing [a] Source # | |
| data Sing (Maybe a) Source # | |
| data Sing (NonEmpty a) Source # | |
| data Sing (Either a b) Source # | |
| data Sing (a, b) Source # | |
| data Sing ((~>) k1 k2) Source # | |
| data Sing (a, b, c) Source # | |
| data Sing (a, b, c, d) Source # | |
| data Sing (a, b, c, d, e) Source # | |
| data Sing (a, b, c, d, e, f) Source # | |
| data Sing (a, b, c, d, e, f, g) Source # | |
module Data.Singletons
Auxiliary definitions
These definitions might be mentioned in code generated by Template Haskell, so they must be in scope.
The promoted analogue of Eq. If you supply no definition for '(:==)',
then it defaults to a use of '(==)', from Data.Type.Equality.
Instances
| PEq Bool Source # | |
| PEq Ordering Source # | |
| PEq () Source # | |
| PEq [k] Source # | |
| PEq (Maybe k) Source # | |
| PEq (NonEmpty k) Source # | |
| PEq (Either k1 k2) Source # | |
| PEq (k1, k2) Source # | |
| PEq (k1, k2, k3) Source # | |
| PEq (k1, k2, k3, k4) Source # | |
| PEq (k1, k2, k3, k4, k5) Source # | |
| PEq (k1, k2, k3, k4, k5, k6) Source # | |
| PEq (k1, k2, k3, k4, k5, k6, k7) Source # | |
type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b ==> a; If False a b ==> b
The singleton analogue of Eq. Unlike the definition for Eq, it is required
that instances define a body for '(%:==)'. You may also supply a body for '(%:/=)'.
Minimal complete definition
Methods
(%:==) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Sing (a :== b) infix 4 Source #
Boolean equality on singletons
(%:/=) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Sing (a :/= b) infix 4 Source #
Boolean disequality on singletons
(%:/=) :: forall (a :: k) (b :: k). (a :/= b) ~ Not (a :== b) => Sing a -> Sing b -> Sing (a :/= b) infix 4 Source #
Boolean disequality on singletons
Instances
| SEq Bool Source # | |
| SEq Ordering Source # | |
| SEq () Source # | |
| SEq a => SEq [a] Source # | |
| SEq a => SEq (Maybe a) Source # | |
| SEq a => SEq (NonEmpty a) Source # | |
| (SEq a, SEq b) => SEq (Either a b) Source # | |
| (SEq a, SEq b) => SEq (a, b) Source # | |
| (SEq a, SEq b, SEq c) => SEq (a, b, c) Source # | |
| (SEq a, SEq b, SEq c, SEq d) => SEq (a, b, c, d) Source # | |
| (SEq a, SEq b, SEq c, SEq d, SEq e) => SEq (a, b, c, d, e) Source # | |
| (SEq a, SEq b, SEq c, SEq d, SEq e, SEq f) => SEq (a, b, c, d, e, f) Source # | |
| (SEq a, SEq b, SEq c, SEq d, SEq e, SEq f, SEq g) => SEq (a, b, c, d, e, f, g) Source # | |
class PEq a => POrd (a :: Type) Source #
Associated Types
type Compare (arg :: a) (arg :: a) :: Ordering Source #
type (arg :: a) :< (arg :: a) :: Bool infix 4 Source #
type (arg :: a) :<= (arg :: a) :: Bool infix 4 Source #
type (arg :: a) :> (arg :: a) :: Bool infix 4 Source #
type (arg :: a) :>= (arg :: a) :: Bool infix 4 Source #
Instances
| POrd Bool Source # | |
| POrd Ordering Source # | |
| POrd () Source # | |
| POrd [a] Source # | |
| POrd (Maybe a) Source # | |
| POrd (NonEmpty a) Source # | |
| POrd (Either a b) Source # | |
| POrd (a, b) Source # | |
| POrd (a, b, c) Source # | |
| POrd (a, b, c, d) Source # | |
| POrd (a, b, c, d, e) Source # | |
| POrd (a, b, c, d, e, f) Source # | |
| POrd (a, b, c, d, e, f, g) Source # | |
class SEq a => SOrd a where Source #
Methods
sCompare :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #
(%:<) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 Source #
(%:<=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 Source #
(%:>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 Source #
(%:>=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 Source #
sMax :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #
sMin :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #
sCompare :: forall (t :: a) (t :: a). ((Apply (Apply CompareSym0 t) t :: Ordering) ~ Apply (Apply Compare_6989586621679313968Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #
(%:<) :: forall (t :: a) (t :: a). ((Apply (Apply (:<$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679314001Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 Source #
(%:<=) :: forall (t :: a) (t :: a). ((Apply (Apply (:<=$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679314034Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 Source #
(%:>) :: forall (t :: a) (t :: a). ((Apply (Apply (:>$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679314067Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 Source #
(%:>=) :: forall (t :: a) (t :: a). ((Apply (Apply (:>=$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679314100Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 Source #
sMax :: forall (t :: a) (t :: a). ((Apply (Apply MaxSym0 t) t :: a) ~ Apply (Apply Max_6989586621679314133Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #
sMin :: forall (t :: a) (t :: a). ((Apply (Apply MinSym0 t) t :: a) ~ Apply (Apply Min_6989586621679314166Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #
Instances
| SOrd Bool Source # | |
| SOrd Ordering Source # | |
| SOrd () Source # | |
| (SOrd a, SOrd [a]) => SOrd [a] Source # | |
| SOrd a => SOrd (Maybe a) Source # | |
| (SOrd a, SOrd [a]) => SOrd (NonEmpty a) Source # | |
| (SOrd a, SOrd b) => SOrd (Either a b) Source # | |
| (SOrd a, SOrd b) => SOrd (a, b) Source # | |
| (SOrd a, SOrd b, SOrd c) => SOrd (a, b, c) Source # | |
| (SOrd a, SOrd b, SOrd c, SOrd d) => SOrd (a, b, c, d) Source # | |
| (SOrd a, SOrd b, SOrd c, SOrd d, SOrd e) => SOrd (a, b, c, d, e) Source # | |
| (SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f) => SOrd (a, b, c, d, e, f) Source # | |
| (SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f, SOrd g) => SOrd (a, b, c, d, e, f, g) Source # | |
sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering) Source #
type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #
sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) Source #
type family Any k0 :: k0 where ... #
The type constructor Any is type to which you can unsafely coerce any
lifted type, and back. More concretely, for a lifted type t and
value x :: t, -- unsafeCoerce (unsafeCoerce x :: Any) :: t is equivalent
to x.
class SDecide k where Source #
Members of the SDecide "kind" class support decidable equality. Instances
of this class are generated alongside singleton definitions for datatypes that
derive an Eq instance.
Minimal complete definition
data (k :~: (a :: k)) (b :: k) :: forall k. k -> k -> * where infix 4 #
Propositional equality. If a :~: b is inhabited by some terminating
value, then the type a is the same as the type b. To use this equality
in practice, pattern-match on the a :~: b to get out the Refl constructor;
in the body of the pattern-match, the compiler knows that a ~ b.
Since: 4.7.0.0
Instances
| TestCoercion k ((:~:) k a) | Since: 4.7.0.0 |
| TestEquality k ((:~:) k a) | Since: 4.7.0.0 |
| (~) k a b => Bounded ((:~:) k a b) | Since: 4.7.0.0 |
| (~) k a b => Enum ((:~:) k a b) | Since: 4.7.0.0 |
| Eq ((:~:) k a b) | |
| ((~) * a b, Data a) => Data ((:~:) * a b) | Since: 4.7.0.0 |
| Ord ((:~:) k a b) | |
| (~) k a b => Read ((:~:) k a b) | Since: 4.7.0.0 |
| Show ((:~:) k a b) | |
Uninhabited data type
Since: 4.8.0.0
Instances
| Eq Void | Since: 4.8.0.0 |
| Data Void | |
| Ord Void | Since: 4.8.0.0 |
| Read Void | Reading a |
| Show Void | Since: 4.8.0.0 |
| Ix Void | Since: 4.8.0.0 |
| Generic Void | |
| Semigroup Void | Since: 4.9.0.0 |
| Exception Void | Since: 4.8.0.0 |
| type Rep Void | |
A Decision about a type a is either a proof of existence or a proof that a
cannot exist.
data SomeSing k where Source #
An existentially-quantified singleton. This type is useful when you want a singleton type, but there is no way of knowing, at compile-time, what the type index will be. To make use of this type, you will generally have to use a pattern-match:
foo :: Bool -> ...
foo b = case toSing b of
SomeSing sb -> {- fancy dependently-typed code with sb -}An example like the one above may be easier to write using withSomeSing.
type family Error (str :: k0) :: k Source #
The promotion of error. This version is more poly-kinded for
easier use.
type Tuple0Sym0 = '() Source #
data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # | |
| type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l Source # | |
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # | |
| type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 Source # | |
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) Source #
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
| type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l Source # | |
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
| type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 Source # | |
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
| type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 Source # | |
type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t) Source #
data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l Source # | |
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 Source # | |
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 Source # | |
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 Source # | |
type Tuple4Sym4 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t) Source #
data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l Source # | |
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 Source # | |
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 Source # | |
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 Source # | |
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 Source # | |
type Tuple5Sym5 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t) Source #
data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l Source # | |
data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 Source # | |
data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 Source # | |
data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 Source # | |
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 Source # | |
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 Source # | |
type Tuple6Sym6 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) Source #
data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l Source # | |
data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 Source # | |
data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 Source # | |
data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 Source # | |
data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 Source # | |
data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 Source # | |
data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) Source #
Instances
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 Source # | |
type Tuple7Sym7 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) Source #
data CompareSym0 (l :: TyFun a6989586621679312550 (TyFun a6989586621679312550 Ordering -> Type)) Source #
data FoldlSym0 (l :: TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type)) Source #
Instances
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679242245 b6989586621679242246) Source # | |
| type Apply (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type) (FoldlSym0 a6989586621679242245 b6989586621679242246) l Source # | |
class SuppressUnusedWarnings (t :: k) where Source #
This class (which users should never see) is to be instantiated in order to use an otherwise-unused data constructor, such as the "kind-inference" data constructor for defunctionalization symbols.
Minimal complete definition
Methods
suppressUnusedWarnings :: Proxy t -> () Source #
Instances
| SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) Source # | |
| SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:||$$) Source # | |
| SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 Source # | |
| SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) Source # | |
| SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 Source # | |
| SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) Source # | |
| SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:||$) Source # | |
| SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 Source # | |
| SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 Source # | |
| SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^$) Source # | |
| SuppressUnusedWarnings (TyFun Nat Constraint -> *) KnownNatSym0 Source # | |
| SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty Bool) Bool -> *) XorSym0 Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679445674 Bool -> Type) -> (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> TyFun a6989586621679445674 a6989586621679445674 -> *) (UntilSym2 a6989586621679445674) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679445674 Bool -> Type) -> TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> *) (UntilSym1 a6989586621679445674) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679447960 Bool -> Type) -> TyFun [a6989586621679447960] Bool -> *) (Any_Sym1 a6989586621679447960) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458074 (TyFun a6989586621679458074 Bool -> Type) -> Type) -> TyFun [a6989586621679458074] [a6989586621679458074] -> *) (NubBySym1 a6989586621679458074) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458083 Bool -> Type) -> TyFun [a6989586621679458083] ([a6989586621679458083], [a6989586621679458083]) -> *) (PartitionSym1 a6989586621679458083) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458095 Bool -> Type) -> TyFun [a6989586621679458095] ([a6989586621679458095], [a6989586621679458095]) -> *) (BreakSym1 a6989586621679458095) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458096 Bool -> Type) -> TyFun [a6989586621679458096] ([a6989586621679458096], [a6989586621679458096]) -> *) (SpanSym1 a6989586621679458096) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458086 (TyFun a6989586621679458086 Bool -> Type) -> Type) -> TyFun [a6989586621679458086] [[a6989586621679458086]] -> *) (GroupBySym1 a6989586621679458086) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458098 Bool -> Type) -> TyFun [a6989586621679458098] [a6989586621679458098] -> *) (DropWhileSym1 a6989586621679458098) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458099 Bool -> Type) -> TyFun [a6989586621679458099] [a6989586621679458099] -> *) (TakeWhileSym1 a6989586621679458099) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458107 Bool -> Type) -> TyFun [a6989586621679458107] [a6989586621679458107] -> *) (FilterSym1 a6989586621679458107) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458106 Bool -> Type) -> TyFun [a6989586621679458106] (Maybe a6989586621679458106) -> *) (FindSym1 a6989586621679458106) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458100 (TyFun a6989586621679458100 Bool -> Type) -> Type) -> [a6989586621679458100] -> TyFun [a6989586621679458100] [a6989586621679458100] -> *) (IntersectBySym2 a6989586621679458100) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458100 (TyFun a6989586621679458100 Bool -> Type) -> Type) -> TyFun [a6989586621679458100] (TyFun [a6989586621679458100] [a6989586621679458100] -> Type) -> *) (IntersectBySym1 a6989586621679458100) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458110 (TyFun a6989586621679458110 Ordering -> Type) -> Type) -> TyFun a6989586621679458110 (TyFun [a6989586621679458110] [a6989586621679458110] -> Type) -> *) (InsertBySym1 a6989586621679458110) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458110 (TyFun a6989586621679458110 Ordering -> Type) -> Type) -> a6989586621679458110 -> TyFun [a6989586621679458110] [a6989586621679458110] -> *) (InsertBySym2 a6989586621679458110) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458111 (TyFun a6989586621679458111 Ordering -> Type) -> Type) -> TyFun [a6989586621679458111] [a6989586621679458111] -> *) (SortBySym1 a6989586621679458111) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458113 (TyFun a6989586621679458113 Bool -> Type) -> Type) -> TyFun a6989586621679458113 (TyFun [a6989586621679458113] [a6989586621679458113] -> Type) -> *) (DeleteBySym1 a6989586621679458113) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458113 (TyFun a6989586621679458113 Bool -> Type) -> Type) -> a6989586621679458113 -> TyFun [a6989586621679458113] [a6989586621679458113] -> *) (DeleteBySym2 a6989586621679458113) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458112 (TyFun a6989586621679458112 Bool -> Type) -> Type) -> [a6989586621679458112] -> TyFun [a6989586621679458112] [a6989586621679458112] -> *) (DeleteFirstsBySym2 a6989586621679458112) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458112 (TyFun a6989586621679458112 Bool -> Type) -> Type) -> TyFun [a6989586621679458112] (TyFun [a6989586621679458112] [a6989586621679458112] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679458112) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458072 (TyFun a6989586621679458072 Bool -> Type) -> Type) -> [a6989586621679458072] -> TyFun [a6989586621679458072] [a6989586621679458072] -> *) (UnionBySym2 a6989586621679458072) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458072 (TyFun a6989586621679458072 Bool -> Type) -> Type) -> TyFun [a6989586621679458072] (TyFun [a6989586621679458072] [a6989586621679458072] -> Type) -> *) (UnionBySym1 a6989586621679458072) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458102 Bool -> Type) -> TyFun [a6989586621679458102] [Nat] -> *) (FindIndicesSym1 a6989586621679458102) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458103 Bool -> Type) -> TyFun [a6989586621679458103] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679458103) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) -> TyFun [a6989586621679458170] [a6989586621679458170] -> *) (Scanr1Sym1 a6989586621679458170) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) -> TyFun [a6989586621679458173] [a6989586621679458173] -> *) (Scanl1Sym1 a6989586621679458173) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458176 Bool -> Type) -> TyFun [a6989586621679458176] Bool -> *) (AllSym1 a6989586621679458176) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) -> TyFun [a6989586621679458180] a6989586621679458180 -> *) (Foldr1Sym1 a6989586621679458180) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) -> TyFun [a6989586621679458182] a6989586621679458182 -> *) (Foldl1Sym1 a6989586621679458182) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458109 (TyFun a6989586621679458109 Ordering -> Type) -> Type) -> TyFun [a6989586621679458109] a6989586621679458109 -> *) (MaximumBySym1 a6989586621679458109) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458108 (TyFun a6989586621679458108 Ordering -> Type) -> Type) -> TyFun [a6989586621679458108] a6989586621679458108 -> *) (MinimumBySym1 a6989586621679458108) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458181 (TyFun a6989586621679458181 a6989586621679458181 -> Type) -> Type) -> TyFun [a6989586621679458181] a6989586621679458181 -> *) (Foldl1'Sym1 a6989586621679458181) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458097 Bool -> Type) -> TyFun [a6989586621679458097] [a6989586621679458097] -> *) (DropWhileEndSym1 a6989586621679458097) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729602 (TyFun a6989586621679729602 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679729602) (NonEmpty a6989586621679729602) -> *) (NubBySym1 a6989586621679729602) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729623 (TyFun a6989586621679729623 Bool -> Type) -> Type) -> TyFun [a6989586621679729623] [NonEmpty a6989586621679729623] -> *) (GroupBySym1 a6989586621679729623) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729617 (TyFun a6989586621679729617 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679729617) (NonEmpty (NonEmpty a6989586621679729617)) -> *) (GroupBy1Sym1 a6989586621679729617) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729630 Bool -> Type) -> TyFun (NonEmpty a6989586621679729630) [a6989586621679729630] -> *) (TakeWhileSym1 a6989586621679729630) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729629 Bool -> Type) -> TyFun (NonEmpty a6989586621679729629) [a6989586621679729629] -> *) (DropWhileSym1 a6989586621679729629) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729628 Bool -> Type) -> TyFun (NonEmpty a6989586621679729628) ([a6989586621679729628], [a6989586621679729628]) -> *) (SpanSym1 a6989586621679729628) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729627 Bool -> Type) -> TyFun (NonEmpty a6989586621679729627) ([a6989586621679729627], [a6989586621679729627]) -> *) (BreakSym1 a6989586621679729627) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729626 Bool -> Type) -> TyFun (NonEmpty a6989586621679729626) [a6989586621679729626] -> *) (FilterSym1 a6989586621679729626) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729625 Bool -> Type) -> TyFun (NonEmpty a6989586621679729625) ([a6989586621679729625], [a6989586621679729625]) -> *) (PartitionSym1 a6989586621679729625) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729600 (TyFun a6989586621679729600 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679729600) (NonEmpty a6989586621679729600) -> *) (SortBySym1 a6989586621679729600) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729637 (TyFun a6989586621679729637 a6989586621679729637 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679729637) (NonEmpty a6989586621679729637) -> *) (Scanl1Sym1 a6989586621679729637) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729636 (TyFun a6989586621679729636 a6989586621679729636 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679729636) (NonEmpty a6989586621679729636) -> *) (Scanr1Sym1 a6989586621679729636) Source # | |
| SuppressUnusedWarnings ([a6989586621679281045] -> TyFun [a6989586621679281045] [a6989586621679281045] -> *) ((:++$$) a6989586621679281045) Source # | |
| SuppressUnusedWarnings ([a6989586621679458076] -> TyFun Nat a6989586621679458076 -> *) ((:!!$$) a6989586621679458076) Source # | |
| SuppressUnusedWarnings ([a6989586621679458101] -> TyFun [a6989586621679458101] [a6989586621679458101] -> *) (IntersectSym1 a6989586621679458101) Source # | |
| SuppressUnusedWarnings ([a6989586621679458071] -> TyFun [a6989586621679458071] [a6989586621679458071] -> *) (UnionSym1 a6989586621679458071) Source # | |
| SuppressUnusedWarnings ([a6989586621679458114] -> TyFun [a6989586621679458114] [a6989586621679458114] -> *) ((:\\$$) a6989586621679458114) Source # | |
| SuppressUnusedWarnings ([a6989586621679458159] -> TyFun [a6989586621679458159] Bool -> *) (IsPrefixOfSym1 a6989586621679458159) Source # | |
| SuppressUnusedWarnings ([a6989586621679458157] -> TyFun [a6989586621679458157] Bool -> *) (IsInfixOfSym1 a6989586621679458157) Source # | |
| SuppressUnusedWarnings ([a6989586621679458189] -> TyFun [[a6989586621679458189]] [a6989586621679458189] -> *) (IntercalateSym1 a6989586621679458189) Source # | |
| SuppressUnusedWarnings ([a6989586621679458158] -> TyFun [a6989586621679458158] Bool -> *) (IsSuffixOfSym1 a6989586621679458158) Source # | |
| SuppressUnusedWarnings ([a6989586621679729612] -> TyFun (NonEmpty a6989586621679729612) Bool -> *) (IsPrefixOfSym1 a6989586621679729612) Source # | |
| SuppressUnusedWarnings ([a6989586621679876709] -> TyFun [a6989586621679876709] (Maybe [a6989586621679876709]) -> *) (StripPrefixSym1 a6989586621679876709) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679458093] [a6989586621679458093] -> *) (DropSym1 a6989586621679458093) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679458094] [a6989586621679458094] -> *) (TakeSym1 a6989586621679458094) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679458092] ([a6989586621679458092], [a6989586621679458092]) -> *) (SplitAtSym1 a6989586621679458092) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun a6989586621679458078 [a6989586621679458078] -> *) (ReplicateSym1 a6989586621679458078) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679729633) [a6989586621679729633] -> *) (TakeSym1 a6989586621679729633) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679729632) [a6989586621679729632] -> *) (DropSym1 a6989586621679729632) Source # | |
| SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679729631) ([a6989586621679729631], [a6989586621679729631]) -> *) (SplitAtSym1 a6989586621679729631) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) ((:$$) a3530822107858468865) Source # | |
| SuppressUnusedWarnings (a6989586621679075408 -> TyFun [a6989586621679075408] (NonEmpty a6989586621679075408) -> *) ((:|$$) a6989586621679075408) Source # | |
| SuppressUnusedWarnings (a6989586621679277161 -> a6989586621679277161 -> TyFun Bool a6989586621679277161 -> *) (Bool_Sym2 a6989586621679277161) Source # | |
| SuppressUnusedWarnings (a6989586621679277161 -> TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type) -> *) (Bool_Sym1 a6989586621679277161) Source # | |
| SuppressUnusedWarnings (a6989586621679281035 -> TyFun a6989586621679281035 a6989586621679281035 -> *) (AsTypeOfSym1 a6989586621679281035) Source # | |
| SuppressUnusedWarnings (a6989586621679297822 -> TyFun a6989586621679297822 Bool -> *) ((:==$$) a6989586621679297822) Source # | |
| SuppressUnusedWarnings (a6989586621679297822 -> TyFun a6989586621679297822 Bool -> *) ((:/=$$) a6989586621679297822) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 Bool -> *) ((:<=$$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 Ordering -> *) (CompareSym1 a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 a6989586621679312550 -> *) (MinSym1 a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 a6989586621679312550 -> *) (MaxSym1 a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 Bool -> *) ((:>=$$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 Bool -> *) ((:>$$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679312550 -> TyFun a6989586621679312550 Bool -> *) ((:<$$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (a6989586621679410509 -> TyFun a6989586621679410509 a6989586621679410509 -> *) ((:-$$) a6989586621679410509) Source # | |
| SuppressUnusedWarnings (a6989586621679410509 -> TyFun a6989586621679410509 a6989586621679410509 -> *) ((:+$$) a6989586621679410509) Source # | |
| SuppressUnusedWarnings (a6989586621679410509 -> TyFun a6989586621679410509 a6989586621679410509 -> *) ((:*$$) a6989586621679410509) Source # | |
| SuppressUnusedWarnings (a6989586621679412800 -> TyFun a6989586621679412800 a6989586621679412800 -> *) (SubtractSym1 a6989586621679412800) Source # | |
| SuppressUnusedWarnings (a6989586621679427554 -> TyFun (Maybe a6989586621679427554) a6989586621679427554 -> *) (FromMaybeSym1 a6989586621679427554) Source # | |
| SuppressUnusedWarnings (a6989586621679458088 -> TyFun [a6989586621679458088] [a6989586621679458088] -> *) (InsertSym1 a6989586621679458088) Source # | |
| SuppressUnusedWarnings (a6989586621679458115 -> TyFun [a6989586621679458115] [a6989586621679458115] -> *) (DeleteSym1 a6989586621679458115) Source # | |
| SuppressUnusedWarnings (a6989586621679458104 -> TyFun [a6989586621679458104] [Nat] -> *) (ElemIndicesSym1 a6989586621679458104) Source # | |
| SuppressUnusedWarnings (a6989586621679458105 -> TyFun [a6989586621679458105] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679458105) Source # | |
| SuppressUnusedWarnings (a6989586621679458155 -> TyFun [a6989586621679458155] Bool -> *) (NotElemSym1 a6989586621679458155) Source # | |
| SuppressUnusedWarnings (a6989586621679458156 -> TyFun [a6989586621679458156] Bool -> *) (ElemSym1 a6989586621679458156) Source # | |
| SuppressUnusedWarnings (a6989586621679458190 -> TyFun [a6989586621679458190] [a6989586621679458190] -> *) (IntersperseSym1 a6989586621679458190) Source # | |
| SuppressUnusedWarnings (a6989586621679729635 -> TyFun (NonEmpty a6989586621679729635) (NonEmpty a6989586621679729635) -> *) (IntersperseSym1 a6989586621679729635) Source # | |
| SuppressUnusedWarnings (a6989586621679729642 -> TyFun [a6989586621679729642] (NonEmpty a6989586621679729642) -> *) (InsertSym1 a6989586621679729642) Source # | |
| SuppressUnusedWarnings (a6989586621679729653 -> TyFun (NonEmpty a6989586621679729653) (NonEmpty a6989586621679729653) -> *) ((:<|$$) a6989586621679729653) Source # | |
| SuppressUnusedWarnings (a6989586621679729652 -> TyFun (NonEmpty a6989586621679729652) (NonEmpty a6989586621679729652) -> *) (ConsSym1 a6989586621679729652) Source # | |
| SuppressUnusedWarnings (a6989586621679809090 -> TyFun a6989586621679809090 (TyFun a6989586621679809090 [a6989586621679809090] -> Type) -> *) (EnumFromThenToSym1 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (a6989586621679809090 -> a6989586621679809090 -> TyFun a6989586621679809090 [a6989586621679809090] -> *) (EnumFromThenToSym2 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (a6989586621679809090 -> TyFun a6989586621679809090 [a6989586621679809090] -> *) (EnumFromToSym1 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (NonEmpty a6989586621679729611 -> TyFun Nat a6989586621679729611 -> *) ((:!!$$) a6989586621679729611) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679445674 Bool -> Type) (TyFun (TyFun a6989586621679445674 a6989586621679445674 -> Type) (TyFun a6989586621679445674 a6989586621679445674 -> Type) -> Type) -> *) (UntilSym0 a6989586621679445674) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679447960 Bool -> Type) (TyFun [a6989586621679447960] Bool -> Type) -> *) (Any_Sym0 a6989586621679447960) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458074 (TyFun a6989586621679458074 Bool -> Type) -> Type) (TyFun [a6989586621679458074] [a6989586621679458074] -> Type) -> *) (NubBySym0 a6989586621679458074) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458083 Bool -> Type) (TyFun [a6989586621679458083] ([a6989586621679458083], [a6989586621679458083]) -> Type) -> *) (PartitionSym0 a6989586621679458083) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458095 Bool -> Type) (TyFun [a6989586621679458095] ([a6989586621679458095], [a6989586621679458095]) -> Type) -> *) (BreakSym0 a6989586621679458095) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458096 Bool -> Type) (TyFun [a6989586621679458096] ([a6989586621679458096], [a6989586621679458096]) -> Type) -> *) (SpanSym0 a6989586621679458096) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458086 (TyFun a6989586621679458086 Bool -> Type) -> Type) (TyFun [a6989586621679458086] [[a6989586621679458086]] -> Type) -> *) (GroupBySym0 a6989586621679458086) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458098 Bool -> Type) (TyFun [a6989586621679458098] [a6989586621679458098] -> Type) -> *) (DropWhileSym0 a6989586621679458098) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458099 Bool -> Type) (TyFun [a6989586621679458099] [a6989586621679458099] -> Type) -> *) (TakeWhileSym0 a6989586621679458099) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458107 Bool -> Type) (TyFun [a6989586621679458107] [a6989586621679458107] -> Type) -> *) (FilterSym0 a6989586621679458107) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458106 Bool -> Type) (TyFun [a6989586621679458106] (Maybe a6989586621679458106) -> Type) -> *) (FindSym0 a6989586621679458106) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458100 (TyFun a6989586621679458100 Bool -> Type) -> Type) (TyFun [a6989586621679458100] (TyFun [a6989586621679458100] [a6989586621679458100] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679458100) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458110 (TyFun a6989586621679458110 Ordering -> Type) -> Type) (TyFun a6989586621679458110 (TyFun [a6989586621679458110] [a6989586621679458110] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679458110) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458111 (TyFun a6989586621679458111 Ordering -> Type) -> Type) (TyFun [a6989586621679458111] [a6989586621679458111] -> Type) -> *) (SortBySym0 a6989586621679458111) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458113 (TyFun a6989586621679458113 Bool -> Type) -> Type) (TyFun a6989586621679458113 (TyFun [a6989586621679458113] [a6989586621679458113] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679458113) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458112 (TyFun a6989586621679458112 Bool -> Type) -> Type) (TyFun [a6989586621679458112] (TyFun [a6989586621679458112] [a6989586621679458112] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679458112) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458072 (TyFun a6989586621679458072 Bool -> Type) -> Type) (TyFun [a6989586621679458072] (TyFun [a6989586621679458072] [a6989586621679458072] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679458072) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458102 Bool -> Type) (TyFun [a6989586621679458102] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679458102) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458103 Bool -> Type) (TyFun [a6989586621679458103] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679458103) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458170 (TyFun a6989586621679458170 a6989586621679458170 -> Type) -> Type) (TyFun [a6989586621679458170] [a6989586621679458170] -> Type) -> *) (Scanr1Sym0 a6989586621679458170) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458173 (TyFun a6989586621679458173 a6989586621679458173 -> Type) -> Type) (TyFun [a6989586621679458173] [a6989586621679458173] -> Type) -> *) (Scanl1Sym0 a6989586621679458173) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458176 Bool -> Type) (TyFun [a6989586621679458176] Bool -> Type) -> *) (AllSym0 a6989586621679458176) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458180 (TyFun a6989586621679458180 a6989586621679458180 -> Type) -> Type) (TyFun [a6989586621679458180] a6989586621679458180 -> Type) -> *) (Foldr1Sym0 a6989586621679458180) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458182 (TyFun a6989586621679458182 a6989586621679458182 -> Type) -> Type) (TyFun [a6989586621679458182] a6989586621679458182 -> Type) -> *) (Foldl1Sym0 a6989586621679458182) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458109 (TyFun a6989586621679458109 Ordering -> Type) -> Type) (TyFun [a6989586621679458109] a6989586621679458109 -> Type) -> *) (MaximumBySym0 a6989586621679458109) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458108 (TyFun a6989586621679458108 Ordering -> Type) -> Type) (TyFun [a6989586621679458108] a6989586621679458108 -> Type) -> *) (MinimumBySym0 a6989586621679458108) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458181 (TyFun a6989586621679458181 a6989586621679458181 -> Type) -> Type) (TyFun [a6989586621679458181] a6989586621679458181 -> Type) -> *) (Foldl1'Sym0 a6989586621679458181) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458097 Bool -> Type) (TyFun [a6989586621679458097] [a6989586621679458097] -> Type) -> *) (DropWhileEndSym0 a6989586621679458097) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729602 (TyFun a6989586621679729602 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679729602) (NonEmpty a6989586621679729602) -> Type) -> *) (NubBySym0 a6989586621679729602) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729623 (TyFun a6989586621679729623 Bool -> Type) -> Type) (TyFun [a6989586621679729623] [NonEmpty a6989586621679729623] -> Type) -> *) (GroupBySym0 a6989586621679729623) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729617 (TyFun a6989586621679729617 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679729617) (NonEmpty (NonEmpty a6989586621679729617)) -> Type) -> *) (GroupBy1Sym0 a6989586621679729617) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729630 Bool -> Type) (TyFun (NonEmpty a6989586621679729630) [a6989586621679729630] -> Type) -> *) (TakeWhileSym0 a6989586621679729630) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729629 Bool -> Type) (TyFun (NonEmpty a6989586621679729629) [a6989586621679729629] -> Type) -> *) (DropWhileSym0 a6989586621679729629) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729628 Bool -> Type) (TyFun (NonEmpty a6989586621679729628) ([a6989586621679729628], [a6989586621679729628]) -> Type) -> *) (SpanSym0 a6989586621679729628) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729627 Bool -> Type) (TyFun (NonEmpty a6989586621679729627) ([a6989586621679729627], [a6989586621679729627]) -> Type) -> *) (BreakSym0 a6989586621679729627) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729626 Bool -> Type) (TyFun (NonEmpty a6989586621679729626) [a6989586621679729626] -> Type) -> *) (FilterSym0 a6989586621679729626) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729625 Bool -> Type) (TyFun (NonEmpty a6989586621679729625) ([a6989586621679729625], [a6989586621679729625]) -> Type) -> *) (PartitionSym0 a6989586621679729625) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729600 (TyFun a6989586621679729600 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679729600) (NonEmpty a6989586621679729600) -> Type) -> *) (SortBySym0 a6989586621679729600) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729637 (TyFun a6989586621679729637 a6989586621679729637 -> Type) -> Type) (TyFun (NonEmpty a6989586621679729637) (NonEmpty a6989586621679729637) -> Type) -> *) (Scanl1Sym0 a6989586621679729637) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729636 (TyFun a6989586621679729636 a6989586621679729636 -> Type) -> Type) (TyFun (NonEmpty a6989586621679729636) (NonEmpty a6989586621679729636) -> Type) -> *) (Scanr1Sym0 a6989586621679729636) Source # | |
| SuppressUnusedWarnings (TyFun [[a6989586621679458179]] [a6989586621679458179] -> *) (ConcatSym0 a6989586621679458179) Source # | |
| SuppressUnusedWarnings (TyFun [[a6989586621679458077]] [[a6989586621679458077]] -> *) (TransposeSym0 a6989586621679458077) Source # | |
| SuppressUnusedWarnings (TyFun [Maybe a6989586621679427551] [a6989586621679427551] -> *) (CatMaybesSym0 a6989586621679427551) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679281045] (TyFun [a6989586621679281045] [a6989586621679281045] -> Type) -> *) ((:++$) a6989586621679281045) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679427552] (Maybe a6989586621679427552) -> *) (ListToMaybeSym0 a6989586621679427552) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458076] (TyFun Nat a6989586621679458076 -> Type) -> *) ((:!!$) a6989586621679458076) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458079] Nat -> *) (LengthSym0 a6989586621679458079) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458080] a6989586621679458080 -> *) (ProductSym0 a6989586621679458080) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458081] a6989586621679458081 -> *) (SumSym0 a6989586621679458081) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458091] [[a6989586621679458091]] -> *) (GroupSym0 a6989586621679458091) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458101] (TyFun [a6989586621679458101] [a6989586621679458101] -> Type) -> *) (IntersectSym0 a6989586621679458101) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458087] [a6989586621679458087] -> *) (SortSym0 a6989586621679458087) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458071] (TyFun [a6989586621679458071] [a6989586621679458071] -> Type) -> *) (UnionSym0 a6989586621679458071) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458114] (TyFun [a6989586621679458114] [a6989586621679458114] -> Type) -> *) ((:\\$) a6989586621679458114) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458075] [a6989586621679458075] -> *) (NubSym0 a6989586621679458075) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458159] (TyFun [a6989586621679458159] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679458159) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458160] [[a6989586621679458160]] -> *) (TailsSym0 a6989586621679458160) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458157] (TyFun [a6989586621679458157] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679458157) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458161] [[a6989586621679458161]] -> *) (InitsSym0 a6989586621679458161) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458090] a6989586621679458090 -> *) (MaximumSym0 a6989586621679458090) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458089] a6989586621679458089 -> *) (MinimumSym0 a6989586621679458089) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458185] [[a6989586621679458185]] -> *) (PermutationsSym0 a6989586621679458185) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458188] [[a6989586621679458188]] -> *) (SubsequencesSym0 a6989586621679458188) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458189] (TyFun [[a6989586621679458189]] [a6989586621679458189] -> Type) -> *) (IntercalateSym0 a6989586621679458189) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458191] [a6989586621679458191] -> *) (ReverseSym0 a6989586621679458191) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458158] (TyFun [a6989586621679458158] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679458158) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458192] Bool -> *) (NullSym0 a6989586621679458192) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458193] [a6989586621679458193] -> *) (InitSym0 a6989586621679458193) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458194] [a6989586621679458194] -> *) (TailSym0 a6989586621679458194) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458195] a6989586621679458195 -> *) (LastSym0 a6989586621679458195) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458196] a6989586621679458196 -> *) (HeadSym0 a6989586621679458196) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679729612] (TyFun (NonEmpty a6989586621679729612) Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679729612) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679729624] [NonEmpty a6989586621679729624] -> *) (GroupSym0 a6989586621679729624) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679729650] (NonEmpty a6989586621679729650) -> *) (FromListSym0 a6989586621679729650) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679729644] (NonEmpty [a6989586621679729644]) -> *) (InitsSym0 a6989586621679729644) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679729643] (NonEmpty [a6989586621679729643]) -> *) (TailsSym0 a6989586621679729643) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679729661] (Maybe (NonEmpty a6989586621679729661)) -> *) (NonEmpty_Sym0 a6989586621679729661) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679876709] (TyFun [a6989586621679876709] (Maybe [a6989586621679876709]) -> Type) -> *) (StripPrefixSym0 a6989586621679876709) Source # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679427553) [a6989586621679427553] -> *) (MaybeToListSym0 a6989586621679427553) Source # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679427555) a6989586621679427555 -> *) (FromJustSym0 a6989586621679427555) Source # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679427556) Bool -> *) (IsNothingSym0 a6989586621679427556) Source # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679427557) Bool -> *) (IsJustSym0 a6989586621679427557) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679458093] [a6989586621679458093] -> Type) -> *) (DropSym0 a6989586621679458093) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679458094] [a6989586621679458094] -> Type) -> *) (TakeSym0 a6989586621679458094) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679458092] ([a6989586621679458092], [a6989586621679458092]) -> Type) -> *) (SplitAtSym0 a6989586621679458092) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679458078 [a6989586621679458078] -> Type) -> *) (ReplicateSym0 a6989586621679458078) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679729633) [a6989586621679729633] -> Type) -> *) (TakeSym0 a6989586621679729633) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679729632) [a6989586621679729632] -> Type) -> *) (DropSym0 a6989586621679729632) Source # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679729631) ([a6989586621679729631], [a6989586621679729631]) -> Type) -> *) (SplitAtSym0 a6989586621679729631) Source # | |
| SuppressUnusedWarnings (TyFun Nat a6989586621679410509 -> *) (FromIntegerSym0 a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun Nat a6989586621679809090 -> *) (ToEnumSym0 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) ((:$) a3530822107858468865) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679075408 (TyFun [a6989586621679075408] (NonEmpty a6989586621679075408) -> Type) -> *) ((:|$) a6989586621679075408) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679277161 (TyFun a6989586621679277161 (TyFun Bool a6989586621679277161 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679277161) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679281035 (TyFun a6989586621679281035 a6989586621679281035 -> Type) -> *) (AsTypeOfSym0 a6989586621679281035) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679281044 a6989586621679281044 -> *) (IdSym0 a6989586621679281044) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679297822 (TyFun a6989586621679297822 Bool -> Type) -> *) ((:==$) a6989586621679297822) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679297822 (TyFun a6989586621679297822 Bool -> Type) -> *) ((:/=$) a6989586621679297822) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 Bool -> Type) -> *) ((:<=$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 Ordering -> Type) -> *) (CompareSym0 a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 a6989586621679312550 -> Type) -> *) (MinSym0 a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 a6989586621679312550 -> Type) -> *) (MaxSym0 a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 Bool -> Type) -> *) ((:>=$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 Bool -> Type) -> *) ((:>$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679312550 (TyFun a6989586621679312550 Bool -> Type) -> *) ((:<$) a6989586621679312550) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679410509 a6989586621679410509 -> *) (NegateSym0 a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679410509 (TyFun a6989586621679410509 a6989586621679410509 -> Type) -> *) ((:-$) a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679410509 (TyFun a6989586621679410509 a6989586621679410509 -> Type) -> *) ((:+$) a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679410509 a6989586621679410509 -> *) (SignumSym0 a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679410509 a6989586621679410509 -> *) (AbsSym0 a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679410509 (TyFun a6989586621679410509 a6989586621679410509 -> Type) -> *) ((:*$) a6989586621679410509) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679412800 (TyFun a6989586621679412800 a6989586621679412800 -> Type) -> *) (SubtractSym0 a6989586621679412800) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679427554 (TyFun (Maybe a6989586621679427554) a6989586621679427554 -> Type) -> *) (FromMaybeSym0 a6989586621679427554) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458088 (TyFun [a6989586621679458088] [a6989586621679458088] -> Type) -> *) (InsertSym0 a6989586621679458088) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458115 (TyFun [a6989586621679458115] [a6989586621679458115] -> Type) -> *) (DeleteSym0 a6989586621679458115) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458104 (TyFun [a6989586621679458104] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679458104) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458105 (TyFun [a6989586621679458105] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679458105) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458155 (TyFun [a6989586621679458155] Bool -> Type) -> *) (NotElemSym0 a6989586621679458155) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458156 (TyFun [a6989586621679458156] Bool -> Type) -> *) (ElemSym0 a6989586621679458156) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458190 (TyFun [a6989586621679458190] [a6989586621679458190] -> Type) -> *) (IntersperseSym0 a6989586621679458190) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679729635 (TyFun (NonEmpty a6989586621679729635) (NonEmpty a6989586621679729635) -> Type) -> *) (IntersperseSym0 a6989586621679729635) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679729642 (TyFun [a6989586621679729642] (NonEmpty a6989586621679729642) -> Type) -> *) (InsertSym0 a6989586621679729642) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679729653 (TyFun (NonEmpty a6989586621679729653) (NonEmpty a6989586621679729653) -> Type) -> *) ((:<|$) a6989586621679729653) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679729652 (TyFun (NonEmpty a6989586621679729652) (NonEmpty a6989586621679729652) -> Type) -> *) (ConsSym0 a6989586621679729652) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679809090 (TyFun a6989586621679809090 (TyFun a6989586621679809090 [a6989586621679809090] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679809090 (TyFun a6989586621679809090 [a6989586621679809090] -> Type) -> *) (EnumFromToSym0 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679809090 Nat -> *) (FromEnumSym0 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679809090 a6989586621679809090 -> *) (PredSym0 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679809090 a6989586621679809090 -> *) (SuccSym0 a6989586621679809090) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729603) (NonEmpty a6989586621679729603) -> *) (NubSym0 a6989586621679729603) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729611) (TyFun Nat a6989586621679729611 -> Type) -> *) ((:!!$) a6989586621679729611) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729618) (NonEmpty (NonEmpty a6989586621679729618)) -> *) (Group1Sym0 a6989586621679729618) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729649) [a6989586621679729649] -> *) (ToListSym0 a6989586621679729649) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729634) (NonEmpty a6989586621679729634) -> *) (ReverseSym0 a6989586621679729634) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729651) (NonEmpty a6989586621679729651) -> *) (SortSym0 a6989586621679729651) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729654) [a6989586621679729654] -> *) (InitSym0 a6989586621679729654) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729655) a6989586621679729655 -> *) (LastSym0 a6989586621679729655) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729656) [a6989586621679729656] -> *) (TailSym0 a6989586621679729656) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729657) a6989586621679729657 -> *) (HeadSym0 a6989586621679729657) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729660) (a6989586621679729660, Maybe (NonEmpty a6989586621679729660)) -> *) (UnconsSym0 a6989586621679729660) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729664) Nat -> *) (LengthSym0 a6989586621679729664) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a6989586621679729601)) (NonEmpty (NonEmpty a6989586621679729601)) -> *) (TransposeSym0 a6989586621679729601) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) -> b6989586621679242246 -> TyFun [a6989586621679242245] b6989586621679242246 -> *) (FoldlSym2 a6989586621679242245 b6989586621679242246) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) -> TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> *) (FoldlSym1 a6989586621679242245 b6989586621679242246) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679281046 b6989586621679281047 -> Type) -> TyFun [a6989586621679281046] [b6989586621679281047] -> *) (MapSym1 a6989586621679281046 b6989586621679281047) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) -> b6989586621679281049 -> TyFun [a6989586621679281048] b6989586621679281049 -> *) (FoldrSym2 a6989586621679281048 b6989586621679281049) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) -> TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> *) (FoldrSym1 a6989586621679281048 b6989586621679281049) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679312540 a6989586621679312539 -> Type) -> b6989586621679312540 -> TyFun b6989586621679312540 Ordering -> *) (ComparingSym2 a6989586621679312539 b6989586621679312540) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679312540 a6989586621679312539 -> Type) -> TyFun b6989586621679312540 (TyFun b6989586621679312540 Ordering -> Type) -> *) (ComparingSym1 a6989586621679312539 b6989586621679312540) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679427549 (Maybe b6989586621679427550) -> Type) -> TyFun [a6989586621679427549] [b6989586621679427550] -> *) (MapMaybeSym1 a6989586621679427549 b6989586621679427550) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679458162 (Maybe (a6989586621679458163, b6989586621679458162)) -> Type) -> TyFun b6989586621679458162 [a6989586621679458163] -> *) (UnfoldrSym1 b6989586621679458162 a6989586621679458163) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) -> TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> *) (ScanrSym1 a6989586621679458171 b6989586621679458172) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) -> b6989586621679458172 -> TyFun [a6989586621679458171] [b6989586621679458172] -> *) (ScanrSym2 a6989586621679458171 b6989586621679458172) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) -> TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> *) (ScanlSym1 a6989586621679458175 b6989586621679458174) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) -> b6989586621679458174 -> TyFun [a6989586621679458175] [b6989586621679458174] -> *) (ScanlSym2 a6989586621679458175 b6989586621679458174) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458177 [b6989586621679458178] -> Type) -> TyFun [a6989586621679458177] [b6989586621679458178] -> *) (ConcatMapSym1 a6989586621679458177 b6989586621679458178) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679458184 (TyFun a6989586621679458183 b6989586621679458184 -> Type) -> Type) -> b6989586621679458184 -> TyFun [a6989586621679458183] b6989586621679458184 -> *) (Foldl'Sym2 a6989586621679458183 b6989586621679458184) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679458184 (TyFun a6989586621679458183 b6989586621679458184 -> Type) -> Type) -> TyFun b6989586621679458184 (TyFun [a6989586621679458183] b6989586621679458184 -> Type) -> *) (Foldl'Sym1 a6989586621679458183 b6989586621679458184) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729622 b6989586621679729621 -> Type) -> TyFun [a6989586621679729622] [NonEmpty a6989586621679729622] -> *) (GroupWithSym1 b6989586621679729621 a6989586621679729622) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729620 b6989586621679729619 -> Type) -> TyFun [a6989586621679729620] [NonEmpty a6989586621679729620] -> *) (GroupAllWithSym1 b6989586621679729619 a6989586621679729620) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729616 b6989586621679729615 -> Type) -> TyFun (NonEmpty a6989586621679729616) (NonEmpty (NonEmpty a6989586621679729616)) -> *) (GroupWith1Sym1 b6989586621679729615 a6989586621679729616) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729645 b6989586621679729646 -> Type) -> TyFun (NonEmpty a6989586621679729645) (NonEmpty b6989586621679729646) -> *) (MapSym1 a6989586621679729645 b6989586621679729646) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729599 o6989586621679729598 -> Type) -> TyFun (NonEmpty a6989586621679729599) (NonEmpty a6989586621679729599) -> *) (SortWithSym1 o6989586621679729598 a6989586621679729599) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729614 b6989586621679729613 -> Type) -> TyFun (NonEmpty a6989586621679729614) (NonEmpty (NonEmpty a6989586621679729614)) -> *) (GroupAllWith1Sym1 b6989586621679729613 a6989586621679729614) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679729640 (TyFun a6989586621679729641 b6989586621679729640 -> Type) -> Type) -> b6989586621679729640 -> TyFun [a6989586621679729641] (NonEmpty b6989586621679729640) -> *) (ScanlSym2 a6989586621679729641 b6989586621679729640) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679729640 (TyFun a6989586621679729641 b6989586621679729640 -> Type) -> Type) -> TyFun b6989586621679729640 (TyFun [a6989586621679729641] (NonEmpty b6989586621679729640) -> Type) -> *) (ScanlSym1 a6989586621679729641 b6989586621679729640) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729638 (TyFun b6989586621679729639 b6989586621679729639 -> Type) -> Type) -> b6989586621679729639 -> TyFun [a6989586621679729638] (NonEmpty b6989586621679729639) -> *) (ScanrSym2 a6989586621679729638 b6989586621679729639) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729638 (TyFun b6989586621679729639 b6989586621679729639 -> Type) -> Type) -> TyFun b6989586621679729639 (TyFun [a6989586621679729638] (NonEmpty b6989586621679729639) -> Type) -> *) (ScanrSym1 a6989586621679729638 b6989586621679729639) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729658 (b6989586621679729659, Maybe a6989586621679729658) -> Type) -> TyFun a6989586621679729658 (NonEmpty b6989586621679729659) -> *) (UnfoldrSym1 a6989586621679729658 b6989586621679729659) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729662 (b6989586621679729663, Maybe a6989586621679729662) -> Type) -> TyFun a6989586621679729662 (NonEmpty b6989586621679729663) -> *) (UnfoldSym1 a6989586621679729662 b6989586621679729663) Source # | |
| SuppressUnusedWarnings ([a6989586621679458153] -> TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> *) (ZipSym1 a6989586621679458153 b6989586621679458154) Source # | |
| SuppressUnusedWarnings ([a6989586621679876654] -> TyFun i6989586621679876653 a6989586621679876654 -> *) (GenericIndexSym1 i6989586621679876653 a6989586621679876654) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # | |
| SuppressUnusedWarnings (a6989586621679281033 -> TyFun b6989586621679281034 b6989586621679281034 -> *) (SeqSym1 a6989586621679281033 b6989586621679281034) Source # | |
| SuppressUnusedWarnings (a6989586621679281042 -> TyFun b6989586621679281043 a6989586621679281042 -> *) (ConstSym1 b6989586621679281043 a6989586621679281042) Source # | |
| SuppressUnusedWarnings (a6989586621679292901 -> TyFun (TyFun a6989586621679292901 b6989586621679292902 -> Type) b6989586621679292902 -> *) ((:&$$) a6989586621679292901 b6989586621679292902) Source # | |
| SuppressUnusedWarnings (b6989586621679426444 -> (TyFun a6989586621679426445 b6989586621679426444 -> Type) -> TyFun (Maybe a6989586621679426445) b6989586621679426444 -> *) (Maybe_Sym2 a6989586621679426445 b6989586621679426444) Source # | |
| SuppressUnusedWarnings (b6989586621679426444 -> TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> *) (Maybe_Sym1 a6989586621679426445 b6989586621679426444) Source # | |
| SuppressUnusedWarnings (a6989586621679458084 -> TyFun [(a6989586621679458084, b6989586621679458085)] (Maybe b6989586621679458085) -> *) (LookupSym1 a6989586621679458084 b6989586621679458085) Source # | |
| SuppressUnusedWarnings (i6989586621679876651 -> TyFun a6989586621679876652 [a6989586621679876652] -> *) (GenericReplicateSym1 i6989586621679876651 a6989586621679876652) Source # | |
| SuppressUnusedWarnings (i6989586621679876655 -> TyFun [a6989586621679876656] ([a6989586621679876656], [a6989586621679876656]) -> *) (GenericSplitAtSym1 i6989586621679876655 a6989586621679876656) Source # | |
| SuppressUnusedWarnings (i6989586621679876657 -> TyFun [a6989586621679876658] [a6989586621679876658] -> *) (GenericDropSym1 i6989586621679876657 a6989586621679876658) Source # | |
| SuppressUnusedWarnings (i6989586621679876659 -> TyFun [a6989586621679876660] [a6989586621679876660] -> *) (GenericTakeSym1 i6989586621679876659 a6989586621679876660) Source # | |
| SuppressUnusedWarnings (NonEmpty a6989586621679729609 -> TyFun (NonEmpty b6989586621679729610) (NonEmpty (a6989586621679729609, b6989586621679729610)) -> *) (ZipSym1 a6989586621679729609 b6989586621679729610) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679242246 (TyFun a6989586621679242245 b6989586621679242246 -> Type) -> Type) (TyFun b6989586621679242246 (TyFun [a6989586621679242245] b6989586621679242246 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679242245 b6989586621679242246) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679281046 b6989586621679281047 -> Type) (TyFun [a6989586621679281046] [b6989586621679281047] -> Type) -> *) (MapSym0 a6989586621679281046 b6989586621679281047) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679281048 (TyFun b6989586621679281049 b6989586621679281049 -> Type) -> Type) (TyFun b6989586621679281049 (TyFun [a6989586621679281048] b6989586621679281049 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679281048 b6989586621679281049) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679312540 a6989586621679312539 -> Type) (TyFun b6989586621679312540 (TyFun b6989586621679312540 Ordering -> Type) -> Type) -> *) (ComparingSym0 a6989586621679312539 b6989586621679312540) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679427549 (Maybe b6989586621679427550) -> Type) (TyFun [a6989586621679427549] [b6989586621679427550] -> Type) -> *) (MapMaybeSym0 a6989586621679427549 b6989586621679427550) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679458162 (Maybe (a6989586621679458163, b6989586621679458162)) -> Type) (TyFun b6989586621679458162 [a6989586621679458163] -> Type) -> *) (UnfoldrSym0 b6989586621679458162 a6989586621679458163) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458171 (TyFun b6989586621679458172 b6989586621679458172 -> Type) -> Type) (TyFun b6989586621679458172 (TyFun [a6989586621679458171] [b6989586621679458172] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679458171 b6989586621679458172) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679458174 (TyFun a6989586621679458175 b6989586621679458174 -> Type) -> Type) (TyFun b6989586621679458174 (TyFun [a6989586621679458175] [b6989586621679458174] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679458175 b6989586621679458174) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458177 [b6989586621679458178] -> Type) (TyFun [a6989586621679458177] [b6989586621679458178] -> Type) -> *) (ConcatMapSym0 a6989586621679458177 b6989586621679458178) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679458184 (TyFun a6989586621679458183 b6989586621679458184 -> Type) -> Type) (TyFun b6989586621679458184 (TyFun [a6989586621679458183] b6989586621679458184 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679458183 b6989586621679458184) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729622 b6989586621679729621 -> Type) (TyFun [a6989586621679729622] [NonEmpty a6989586621679729622] -> Type) -> *) (GroupWithSym0 b6989586621679729621 a6989586621679729622) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729620 b6989586621679729619 -> Type) (TyFun [a6989586621679729620] [NonEmpty a6989586621679729620] -> Type) -> *) (GroupAllWithSym0 b6989586621679729619 a6989586621679729620) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729616 b6989586621679729615 -> Type) (TyFun (NonEmpty a6989586621679729616) (NonEmpty (NonEmpty a6989586621679729616)) -> Type) -> *) (GroupWith1Sym0 b6989586621679729615 a6989586621679729616) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729645 b6989586621679729646 -> Type) (TyFun (NonEmpty a6989586621679729645) (NonEmpty b6989586621679729646) -> Type) -> *) (MapSym0 a6989586621679729645 b6989586621679729646) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729599 o6989586621679729598 -> Type) (TyFun (NonEmpty a6989586621679729599) (NonEmpty a6989586621679729599) -> Type) -> *) (SortWithSym0 o6989586621679729598 a6989586621679729599) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729614 b6989586621679729613 -> Type) (TyFun (NonEmpty a6989586621679729614) (NonEmpty (NonEmpty a6989586621679729614)) -> Type) -> *) (GroupAllWith1Sym0 b6989586621679729613 a6989586621679729614) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679729640 (TyFun a6989586621679729641 b6989586621679729640 -> Type) -> Type) (TyFun b6989586621679729640 (TyFun [a6989586621679729641] (NonEmpty b6989586621679729640) -> Type) -> Type) -> *) (ScanlSym0 a6989586621679729641 b6989586621679729640) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729638 (TyFun b6989586621679729639 b6989586621679729639 -> Type) -> Type) (TyFun b6989586621679729639 (TyFun [a6989586621679729638] (NonEmpty b6989586621679729639) -> Type) -> Type) -> *) (ScanrSym0 a6989586621679729638 b6989586621679729639) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729658 (b6989586621679729659, Maybe a6989586621679729658) -> Type) (TyFun a6989586621679729658 (NonEmpty b6989586621679729659) -> Type) -> *) (UnfoldrSym0 a6989586621679729658 b6989586621679729659) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729662 (b6989586621679729663, Maybe a6989586621679729662) -> Type) (TyFun a6989586621679729662 (NonEmpty b6989586621679729663) -> Type) -> *) (UnfoldSym0 a6989586621679729662 b6989586621679729663) Source # | |
| SuppressUnusedWarnings (TyFun [Either a6989586621679437399 b6989586621679437400] [b6989586621679437400] -> *) (RightsSym0 a6989586621679437399 b6989586621679437400) Source # | |
| SuppressUnusedWarnings (TyFun [Either a6989586621679437401 b6989586621679437402] [a6989586621679437401] -> *) (LeftsSym0 b6989586621679437402 a6989586621679437401) Source # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679458141, b6989586621679458142)] ([a6989586621679458141], [b6989586621679458142]) -> *) (UnzipSym0 a6989586621679458141 b6989586621679458142) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458070] i6989586621679458069 -> *) (GenericLengthSym0 a6989586621679458070 i6989586621679458069) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458153] (TyFun [b6989586621679458154] [(a6989586621679458153, b6989586621679458154)] -> Type) -> *) (ZipSym0 a6989586621679458153 b6989586621679458154) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679876654] (TyFun i6989586621679876653 a6989586621679876654 -> Type) -> *) (GenericIndexSym0 i6989586621679876653 a6989586621679876654) Source # | |
| SuppressUnusedWarnings (TyFun (Either a6989586621679437393 b6989586621679437394) Bool -> *) (IsRightSym0 a6989586621679437393 b6989586621679437394) Source # | |
| SuppressUnusedWarnings (TyFun (Either a6989586621679437395 b6989586621679437396) Bool -> *) (IsLeftSym0 a6989586621679437395 b6989586621679437396) Source # | |
| SuppressUnusedWarnings (TyFun (a6989586621679422498, b6989586621679422499) (b6989586621679422499, a6989586621679422498) -> *) (SwapSym0 b6989586621679422499 a6989586621679422498) Source # | |
| SuppressUnusedWarnings (TyFun (a6989586621679422506, b6989586621679422507) b6989586621679422507 -> *) (SndSym0 a6989586621679422506 b6989586621679422507) Source # | |
| SuppressUnusedWarnings (TyFun (a6989586621679422508, b6989586621679422509) a6989586621679422508 -> *) (FstSym0 b6989586621679422509 a6989586621679422508) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679075399 (Either a6989586621679075399 b6989586621679075400) -> *) (LeftSym0 a6989586621679075399 b6989586621679075400) Source # | |
| SuppressUnusedWarnings (TyFun b6989586621679075400 (Either a6989586621679075399 b6989586621679075400) -> *) (RightSym0 a6989586621679075399 b6989586621679075400) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679281033 (TyFun b6989586621679281034 b6989586621679281034 -> Type) -> *) (SeqSym0 a6989586621679281033 b6989586621679281034) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679281042 (TyFun b6989586621679281043 a6989586621679281042 -> Type) -> *) (ConstSym0 b6989586621679281043 a6989586621679281042) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679292901 (TyFun (TyFun a6989586621679292901 b6989586621679292902 -> Type) b6989586621679292902 -> Type) -> *) ((:&$) a6989586621679292901 b6989586621679292902) Source # | |
| SuppressUnusedWarnings (TyFun k06989586621679402464 k6989586621679402466 -> *) (ErrorSym0 k06989586621679402464 k6989586621679402466) Source # | |
| SuppressUnusedWarnings (TyFun b6989586621679426444 (TyFun (TyFun a6989586621679426445 b6989586621679426444 -> Type) (TyFun (Maybe a6989586621679426445) b6989586621679426444 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679426445 b6989586621679426444) Source # | |
| SuppressUnusedWarnings (TyFun a6989586621679458084 (TyFun [(a6989586621679458084, b6989586621679458085)] (Maybe b6989586621679458085) -> Type) -> *) (LookupSym0 a6989586621679458084 b6989586621679458085) Source # | |
| SuppressUnusedWarnings (TyFun i6989586621679876651 (TyFun a6989586621679876652 [a6989586621679876652] -> Type) -> *) (GenericReplicateSym0 i6989586621679876651 a6989586621679876652) Source # | |
| SuppressUnusedWarnings (TyFun i6989586621679876655 (TyFun [a6989586621679876656] ([a6989586621679876656], [a6989586621679876656]) -> Type) -> *) (GenericSplitAtSym0 i6989586621679876655 a6989586621679876656) Source # | |
| SuppressUnusedWarnings (TyFun i6989586621679876657 (TyFun [a6989586621679876658] [a6989586621679876658] -> Type) -> *) (GenericDropSym0 i6989586621679876657 a6989586621679876658) Source # | |
| SuppressUnusedWarnings (TyFun i6989586621679876659 (TyFun [a6989586621679876660] [a6989586621679876660] -> Type) -> *) (GenericTakeSym0 i6989586621679876659 a6989586621679876660) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty (a6989586621679729604, b6989586621679729605)) (NonEmpty a6989586621679729604, NonEmpty b6989586621679729605) -> *) (UnzipSym0 a6989586621679729604 b6989586621679729605) Source # | |
| SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679729609) (TyFun (NonEmpty b6989586621679729610) (NonEmpty (a6989586621679729609, b6989586621679729610)) -> Type) -> *) (ZipSym0 a6989586621679729609 b6989586621679729610) Source # | |
| SuppressUnusedWarnings ((TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) -> a6989586621679422503 -> TyFun b6989586621679422504 c6989586621679422505 -> *) (CurrySym2 a6989586621679422503 b6989586621679422504 c6989586621679422505) Source # | |
| SuppressUnusedWarnings ((TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) -> TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> *) (CurrySym1 a6989586621679422503 b6989586621679422504 c6989586621679422505) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) -> b6989586621679281037 -> TyFun a6989586621679281036 c6989586621679281038 -> *) (FlipSym2 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) -> TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> *) (FlipSym1 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679281039 c6989586621679281040 -> Type) -> (TyFun a6989586621679281041 b6989586621679281039 -> Type) -> TyFun a6989586621679281041 c6989586621679281040 -> *) ((:.$$$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679281039 c6989586621679281040 -> Type) -> TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> *) ((:.$$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679292903 (TyFun b6989586621679292903 c6989586621679292904 -> Type) -> Type) -> (TyFun a6989586621679292905 b6989586621679292903 -> Type) -> a6989586621679292905 -> TyFun a6989586621679292905 c6989586621679292904 -> *) (OnSym3 b6989586621679292903 a6989586621679292905 c6989586621679292904) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679292903 (TyFun b6989586621679292903 c6989586621679292904 -> Type) -> Type) -> (TyFun a6989586621679292905 b6989586621679292903 -> Type) -> TyFun a6989586621679292905 (TyFun a6989586621679292905 c6989586621679292904 -> Type) -> *) (OnSym2 b6989586621679292903 a6989586621679292905 c6989586621679292904) Source # | |
| SuppressUnusedWarnings ((TyFun b6989586621679292903 (TyFun b6989586621679292903 c6989586621679292904 -> Type) -> Type) -> TyFun (TyFun a6989586621679292905 b6989586621679292903 -> Type) (TyFun a6989586621679292905 (TyFun a6989586621679292905 c6989586621679292904 -> Type) -> Type) -> *) (OnSym1 b6989586621679292903 a6989586621679292905 c6989586621679292904) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) -> TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> *) (UncurrySym1 a6989586621679422500 b6989586621679422501 c6989586621679422502) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679436289 c6989586621679436290 -> Type) -> (TyFun b6989586621679436291 c6989586621679436290 -> Type) -> TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> *) (Either_Sym2 a6989586621679436289 b6989586621679436291 c6989586621679436290) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679436289 c6989586621679436290 -> Type) -> TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> *) (Either_Sym1 a6989586621679436289 b6989586621679436291 c6989586621679436290) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) -> TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> *) (ZipWithSym1 a6989586621679458147 b6989586621679458148 c6989586621679458149) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) -> [a6989586621679458147] -> TyFun [b6989586621679458148] [c6989586621679458149] -> *) (ZipWithSym2 a6989586621679458147 b6989586621679458148 c6989586621679458149) Source # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679458164 (TyFun x6989586621679458165 (acc6989586621679458164, y6989586621679458166) -> Type) -> Type) -> TyFun acc6989586621679458164 (TyFun [x6989586621679458165] (acc6989586621679458164, [y6989586621679458166]) -> Type) -> *) (MapAccumRSym1 x6989586621679458165 acc6989586621679458164 y6989586621679458166) Source # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679458164 (TyFun x6989586621679458165 (acc6989586621679458164, y6989586621679458166) -> Type) -> Type) -> acc6989586621679458164 -> TyFun [x6989586621679458165] (acc6989586621679458164, [y6989586621679458166]) -> *) (MapAccumRSym2 x6989586621679458165 acc6989586621679458164 y6989586621679458166) Source # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679458167 (TyFun x6989586621679458168 (acc6989586621679458167, y6989586621679458169) -> Type) -> Type) -> TyFun acc6989586621679458167 (TyFun [x6989586621679458168] (acc6989586621679458167, [y6989586621679458169]) -> Type) -> *) (MapAccumLSym1 x6989586621679458168 acc6989586621679458167 y6989586621679458169) Source # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679458167 (TyFun x6989586621679458168 (acc6989586621679458167, y6989586621679458169) -> Type) -> Type) -> acc6989586621679458167 -> TyFun [x6989586621679458168] (acc6989586621679458167, [y6989586621679458169]) -> *) (MapAccumLSym2 x6989586621679458168 acc6989586621679458167 y6989586621679458169) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729606 (TyFun b6989586621679729607 c6989586621679729608 -> Type) -> Type) -> NonEmpty a6989586621679729606 -> TyFun (NonEmpty b6989586621679729607) (NonEmpty c6989586621679729608) -> *) (ZipWithSym2 a6989586621679729606 b6989586621679729607 c6989586621679729608) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679729606 (TyFun b6989586621679729607 c6989586621679729608 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679729606) (TyFun (NonEmpty b6989586621679729607) (NonEmpty c6989586621679729608) -> Type) -> *) (ZipWithSym1 a6989586621679729606 b6989586621679729607 c6989586621679729608) Source # | |
| SuppressUnusedWarnings ([a6989586621679458150] -> TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> *) (Zip3Sym1 a6989586621679458150 b6989586621679458151 c6989586621679458152) Source # | |
| SuppressUnusedWarnings ([a6989586621679458150] -> [b6989586621679458151] -> TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> *) (Zip3Sym2 a6989586621679458150 b6989586621679458151 c6989586621679458152) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun (a6989586621679422503, b6989586621679422504) c6989586621679422505 -> Type) (TyFun a6989586621679422503 (TyFun b6989586621679422504 c6989586621679422505 -> Type) -> Type) -> *) (CurrySym0 a6989586621679422503 b6989586621679422504 c6989586621679422505) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679281036 (TyFun b6989586621679281037 c6989586621679281038 -> Type) -> Type) (TyFun b6989586621679281037 (TyFun a6989586621679281036 c6989586621679281038 -> Type) -> Type) -> *) (FlipSym0 b6989586621679281037 a6989586621679281036 c6989586621679281038) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679281039 c6989586621679281040 -> Type) (TyFun (TyFun a6989586621679281041 b6989586621679281039 -> Type) (TyFun a6989586621679281041 c6989586621679281040 -> Type) -> Type) -> *) ((:.$) b6989586621679281039 a6989586621679281041 c6989586621679281040) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679292903 (TyFun b6989586621679292903 c6989586621679292904 -> Type) -> Type) (TyFun (TyFun a6989586621679292905 b6989586621679292903 -> Type) (TyFun a6989586621679292905 (TyFun a6989586621679292905 c6989586621679292904 -> Type) -> Type) -> Type) -> *) (OnSym0 b6989586621679292903 a6989586621679292905 c6989586621679292904) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679422500 (TyFun b6989586621679422501 c6989586621679422502 -> Type) -> Type) (TyFun (a6989586621679422500, b6989586621679422501) c6989586621679422502 -> Type) -> *) (UncurrySym0 a6989586621679422500 b6989586621679422501 c6989586621679422502) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679436289 c6989586621679436290 -> Type) (TyFun (TyFun b6989586621679436291 c6989586621679436290 -> Type) (TyFun (Either a6989586621679436289 b6989586621679436291) c6989586621679436290 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679436289 b6989586621679436291 c6989586621679436290) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458147 (TyFun b6989586621679458148 c6989586621679458149 -> Type) -> Type) (TyFun [a6989586621679458147] (TyFun [b6989586621679458148] [c6989586621679458149] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679458147 b6989586621679458148 c6989586621679458149) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun acc6989586621679458164 (TyFun x6989586621679458165 (acc6989586621679458164, y6989586621679458166) -> Type) -> Type) (TyFun acc6989586621679458164 (TyFun [x6989586621679458165] (acc6989586621679458164, [y6989586621679458166]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679458165 acc6989586621679458164 y6989586621679458166) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun acc6989586621679458167 (TyFun x6989586621679458168 (acc6989586621679458167, y6989586621679458169) -> Type) -> Type) (TyFun acc6989586621679458167 (TyFun [x6989586621679458168] (acc6989586621679458167, [y6989586621679458169]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679458168 acc6989586621679458167 y6989586621679458169) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679729606 (TyFun b6989586621679729607 c6989586621679729608 -> Type) -> Type) (TyFun (NonEmpty a6989586621679729606) (TyFun (NonEmpty b6989586621679729607) (NonEmpty c6989586621679729608) -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679729606 b6989586621679729607 c6989586621679729608) Source # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679458138, b6989586621679458139, c6989586621679458140)] ([a6989586621679458138], [b6989586621679458139], [c6989586621679458140]) -> *) (Unzip3Sym0 a6989586621679458138 b6989586621679458139 c6989586621679458140) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679458150] (TyFun [b6989586621679458151] (TyFun [c6989586621679458152] [(a6989586621679458150, b6989586621679458151, c6989586621679458152)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679458150 b6989586621679458151 c6989586621679458152) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) -> TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) -> [a6989586621679458143] -> TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> *) (ZipWith3Sym2 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) -> [a6989586621679458143] -> [b6989586621679458144] -> TyFun [c6989586621679458145] [d6989586621679458146] -> *) (ZipWith3Sym3 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source # | |
| SuppressUnusedWarnings ([a6989586621679876705] -> [b6989586621679876706] -> [c6989586621679876707] -> TyFun [d6989586621679876708] [(a6989586621679876705, b6989586621679876706, c6989586621679876707, d6989586621679876708)] -> *) (Zip4Sym3 a6989586621679876705 b6989586621679876706 c6989586621679876707 d6989586621679876708) Source # | |
| SuppressUnusedWarnings ([a6989586621679876705] -> [b6989586621679876706] -> TyFun [c6989586621679876707] (TyFun [d6989586621679876708] [(a6989586621679876705, b6989586621679876706, c6989586621679876707, d6989586621679876708)] -> Type) -> *) (Zip4Sym2 a6989586621679876705 b6989586621679876706 c6989586621679876707 d6989586621679876708) Source # | |
| SuppressUnusedWarnings ([a6989586621679876705] -> TyFun [b6989586621679876706] (TyFun [c6989586621679876707] (TyFun [d6989586621679876708] [(a6989586621679876705, b6989586621679876706, c6989586621679876707, d6989586621679876708)] -> Type) -> Type) -> *) (Zip4Sym1 a6989586621679876705 b6989586621679876706 c6989586621679876707 d6989586621679876708) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679458143 (TyFun b6989586621679458144 (TyFun c6989586621679458145 d6989586621679458146 -> Type) -> Type) -> Type) (TyFun [a6989586621679458143] (TyFun [b6989586621679458144] (TyFun [c6989586621679458145] [d6989586621679458146] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679458143 b6989586621679458144 c6989586621679458145 d6989586621679458146) Source # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679458134, b6989586621679458135, c6989586621679458136, d6989586621679458137)] ([a6989586621679458134], [b6989586621679458135], [c6989586621679458136], [d6989586621679458137]) -> *) (Unzip4Sym0 a6989586621679458134 b6989586621679458135 c6989586621679458136 d6989586621679458137) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679876705] (TyFun [b6989586621679876706] (TyFun [c6989586621679876707] (TyFun [d6989586621679876708] [(a6989586621679876705, b6989586621679876706, c6989586621679876707, d6989586621679876708)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621679876705 b6989586621679876706 c6989586621679876707 d6989586621679876708) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876682 (TyFun b6989586621679876683 (TyFun c6989586621679876684 (TyFun d6989586621679876685 e6989586621679876686 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679876682] (TyFun [b6989586621679876683] (TyFun [c6989586621679876684] (TyFun [d6989586621679876685] [e6989586621679876686] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621679876682 b6989586621679876683 c6989586621679876684 d6989586621679876685 e6989586621679876686) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876682 (TyFun b6989586621679876683 (TyFun c6989586621679876684 (TyFun d6989586621679876685 e6989586621679876686 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876682] -> TyFun [b6989586621679876683] (TyFun [c6989586621679876684] (TyFun [d6989586621679876685] [e6989586621679876686] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621679876682 b6989586621679876683 c6989586621679876684 d6989586621679876685 e6989586621679876686) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876682 (TyFun b6989586621679876683 (TyFun c6989586621679876684 (TyFun d6989586621679876685 e6989586621679876686 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876682] -> [b6989586621679876683] -> TyFun [c6989586621679876684] (TyFun [d6989586621679876685] [e6989586621679876686] -> Type) -> *) (ZipWith4Sym3 a6989586621679876682 b6989586621679876683 c6989586621679876684 d6989586621679876685 e6989586621679876686) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876682 (TyFun b6989586621679876683 (TyFun c6989586621679876684 (TyFun d6989586621679876685 e6989586621679876686 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876682] -> [b6989586621679876683] -> [c6989586621679876684] -> TyFun [d6989586621679876685] [e6989586621679876686] -> *) (ZipWith4Sym4 a6989586621679876682 b6989586621679876683 c6989586621679876684 d6989586621679876685 e6989586621679876686) Source # | |
| SuppressUnusedWarnings ([a6989586621679876700] -> [b6989586621679876701] -> [c6989586621679876702] -> [d6989586621679876703] -> TyFun [e6989586621679876704] [(a6989586621679876700, b6989586621679876701, c6989586621679876702, d6989586621679876703, e6989586621679876704)] -> *) (Zip5Sym4 a6989586621679876700 b6989586621679876701 c6989586621679876702 d6989586621679876703 e6989586621679876704) Source # | |
| SuppressUnusedWarnings ([a6989586621679876700] -> [b6989586621679876701] -> [c6989586621679876702] -> TyFun [d6989586621679876703] (TyFun [e6989586621679876704] [(a6989586621679876700, b6989586621679876701, c6989586621679876702, d6989586621679876703, e6989586621679876704)] -> Type) -> *) (Zip5Sym3 a6989586621679876700 b6989586621679876701 c6989586621679876702 d6989586621679876703 e6989586621679876704) Source # | |
| SuppressUnusedWarnings ([a6989586621679876700] -> [b6989586621679876701] -> TyFun [c6989586621679876702] (TyFun [d6989586621679876703] (TyFun [e6989586621679876704] [(a6989586621679876700, b6989586621679876701, c6989586621679876702, d6989586621679876703, e6989586621679876704)] -> Type) -> Type) -> *) (Zip5Sym2 a6989586621679876700 b6989586621679876701 c6989586621679876702 d6989586621679876703 e6989586621679876704) Source # | |
| SuppressUnusedWarnings ([a6989586621679876700] -> TyFun [b6989586621679876701] (TyFun [c6989586621679876702] (TyFun [d6989586621679876703] (TyFun [e6989586621679876704] [(a6989586621679876700, b6989586621679876701, c6989586621679876702, d6989586621679876703, e6989586621679876704)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 a6989586621679876700 b6989586621679876701 c6989586621679876702 d6989586621679876703 e6989586621679876704) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679876682 (TyFun b6989586621679876683 (TyFun c6989586621679876684 (TyFun d6989586621679876685 e6989586621679876686 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679876682] (TyFun [b6989586621679876683] (TyFun [c6989586621679876684] (TyFun [d6989586621679876685] [e6989586621679876686] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621679876682 b6989586621679876683 c6989586621679876684 d6989586621679876685 e6989586621679876686) Source # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679458129, b6989586621679458130, c6989586621679458131, d6989586621679458132, e6989586621679458133)] ([a6989586621679458129], [b6989586621679458130], [c6989586621679458131], [d6989586621679458132], [e6989586621679458133]) -> *) (Unzip5Sym0 a6989586621679458129 b6989586621679458130 c6989586621679458131 d6989586621679458132 e6989586621679458133) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679876700] (TyFun [b6989586621679876701] (TyFun [c6989586621679876702] (TyFun [d6989586621679876703] (TyFun [e6989586621679876704] [(a6989586621679876700, b6989586621679876701, c6989586621679876702, d6989586621679876703, e6989586621679876704)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621679876700 b6989586621679876701 c6989586621679876702 d6989586621679876703 e6989586621679876704) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876676 (TyFun b6989586621679876677 (TyFun c6989586621679876678 (TyFun d6989586621679876679 (TyFun e6989586621679876680 f6989586621679876681 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679876676] (TyFun [b6989586621679876677] (TyFun [c6989586621679876678] (TyFun [d6989586621679876679] (TyFun [e6989586621679876680] [f6989586621679876681] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621679876676 b6989586621679876677 c6989586621679876678 d6989586621679876679 e6989586621679876680 f6989586621679876681) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876676 (TyFun b6989586621679876677 (TyFun c6989586621679876678 (TyFun d6989586621679876679 (TyFun e6989586621679876680 f6989586621679876681 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876676] -> TyFun [b6989586621679876677] (TyFun [c6989586621679876678] (TyFun [d6989586621679876679] (TyFun [e6989586621679876680] [f6989586621679876681] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621679876676 b6989586621679876677 c6989586621679876678 d6989586621679876679 e6989586621679876680 f6989586621679876681) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876676 (TyFun b6989586621679876677 (TyFun c6989586621679876678 (TyFun d6989586621679876679 (TyFun e6989586621679876680 f6989586621679876681 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876676] -> [b6989586621679876677] -> TyFun [c6989586621679876678] (TyFun [d6989586621679876679] (TyFun [e6989586621679876680] [f6989586621679876681] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621679876676 b6989586621679876677 c6989586621679876678 d6989586621679876679 e6989586621679876680 f6989586621679876681) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876676 (TyFun b6989586621679876677 (TyFun c6989586621679876678 (TyFun d6989586621679876679 (TyFun e6989586621679876680 f6989586621679876681 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876676] -> [b6989586621679876677] -> [c6989586621679876678] -> TyFun [d6989586621679876679] (TyFun [e6989586621679876680] [f6989586621679876681] -> Type) -> *) (ZipWith5Sym4 a6989586621679876676 b6989586621679876677 c6989586621679876678 d6989586621679876679 e6989586621679876680 f6989586621679876681) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876676 (TyFun b6989586621679876677 (TyFun c6989586621679876678 (TyFun d6989586621679876679 (TyFun e6989586621679876680 f6989586621679876681 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876676] -> [b6989586621679876677] -> [c6989586621679876678] -> [d6989586621679876679] -> TyFun [e6989586621679876680] [f6989586621679876681] -> *) (ZipWith5Sym5 a6989586621679876676 b6989586621679876677 c6989586621679876678 d6989586621679876679 e6989586621679876680 f6989586621679876681) Source # | |
| SuppressUnusedWarnings ([a6989586621679876694] -> [b6989586621679876695] -> [c6989586621679876696] -> [d6989586621679876697] -> [e6989586621679876698] -> TyFun [f6989586621679876699] [(a6989586621679876694, b6989586621679876695, c6989586621679876696, d6989586621679876697, e6989586621679876698, f6989586621679876699)] -> *) (Zip6Sym5 a6989586621679876694 b6989586621679876695 c6989586621679876696 d6989586621679876697 e6989586621679876698 f6989586621679876699) Source # | |
| SuppressUnusedWarnings ([a6989586621679876694] -> [b6989586621679876695] -> [c6989586621679876696] -> [d6989586621679876697] -> TyFun [e6989586621679876698] (TyFun [f6989586621679876699] [(a6989586621679876694, b6989586621679876695, c6989586621679876696, d6989586621679876697, e6989586621679876698, f6989586621679876699)] -> Type) -> *) (Zip6Sym4 a6989586621679876694 b6989586621679876695 c6989586621679876696 d6989586621679876697 e6989586621679876698 f6989586621679876699) Source # | |
| SuppressUnusedWarnings ([a6989586621679876694] -> [b6989586621679876695] -> [c6989586621679876696] -> TyFun [d6989586621679876697] (TyFun [e6989586621679876698] (TyFun [f6989586621679876699] [(a6989586621679876694, b6989586621679876695, c6989586621679876696, d6989586621679876697, e6989586621679876698, f6989586621679876699)] -> Type) -> Type) -> *) (Zip6Sym3 a6989586621679876694 b6989586621679876695 c6989586621679876696 d6989586621679876697 e6989586621679876698 f6989586621679876699) Source # | |
| SuppressUnusedWarnings ([a6989586621679876694] -> [b6989586621679876695] -> TyFun [c6989586621679876696] (TyFun [d6989586621679876697] (TyFun [e6989586621679876698] (TyFun [f6989586621679876699] [(a6989586621679876694, b6989586621679876695, c6989586621679876696, d6989586621679876697, e6989586621679876698, f6989586621679876699)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 a6989586621679876694 b6989586621679876695 c6989586621679876696 d6989586621679876697 e6989586621679876698 f6989586621679876699) Source # | |
| SuppressUnusedWarnings ([a6989586621679876694] -> TyFun [b6989586621679876695] (TyFun [c6989586621679876696] (TyFun [d6989586621679876697] (TyFun [e6989586621679876698] (TyFun [f6989586621679876699] [(a6989586621679876694, b6989586621679876695, c6989586621679876696, d6989586621679876697, e6989586621679876698, f6989586621679876699)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 a6989586621679876694 b6989586621679876695 c6989586621679876696 d6989586621679876697 e6989586621679876698 f6989586621679876699) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679876676 (TyFun b6989586621679876677 (TyFun c6989586621679876678 (TyFun d6989586621679876679 (TyFun e6989586621679876680 f6989586621679876681 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679876676] (TyFun [b6989586621679876677] (TyFun [c6989586621679876678] (TyFun [d6989586621679876679] (TyFun [e6989586621679876680] [f6989586621679876681] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621679876676 b6989586621679876677 c6989586621679876678 d6989586621679876679 e6989586621679876680 f6989586621679876681) Source # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679458123, b6989586621679458124, c6989586621679458125, d6989586621679458126, e6989586621679458127, f6989586621679458128)] ([a6989586621679458123], [b6989586621679458124], [c6989586621679458125], [d6989586621679458126], [e6989586621679458127], [f6989586621679458128]) -> *) (Unzip6Sym0 a6989586621679458123 b6989586621679458124 c6989586621679458125 d6989586621679458126 e6989586621679458127 f6989586621679458128) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679876694] (TyFun [b6989586621679876695] (TyFun [c6989586621679876696] (TyFun [d6989586621679876697] (TyFun [e6989586621679876698] (TyFun [f6989586621679876699] [(a6989586621679876694, b6989586621679876695, c6989586621679876696, d6989586621679876697, e6989586621679876698, f6989586621679876699)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621679876694 b6989586621679876695 c6989586621679876696 d6989586621679876697 e6989586621679876698 f6989586621679876699) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679876669] (TyFun [b6989586621679876670] (TyFun [c6989586621679876671] (TyFun [d6989586621679876672] (TyFun [e6989586621679876673] (TyFun [f6989586621679876674] [g6989586621679876675] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876669] -> TyFun [b6989586621679876670] (TyFun [c6989586621679876671] (TyFun [d6989586621679876672] (TyFun [e6989586621679876673] (TyFun [f6989586621679876674] [g6989586621679876675] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876669] -> [b6989586621679876670] -> TyFun [c6989586621679876671] (TyFun [d6989586621679876672] (TyFun [e6989586621679876673] (TyFun [f6989586621679876674] [g6989586621679876675] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876669] -> [b6989586621679876670] -> [c6989586621679876671] -> TyFun [d6989586621679876672] (TyFun [e6989586621679876673] (TyFun [f6989586621679876674] [g6989586621679876675] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876669] -> [b6989586621679876670] -> [c6989586621679876671] -> [d6989586621679876672] -> TyFun [e6989586621679876673] (TyFun [f6989586621679876674] [g6989586621679876675] -> Type) -> *) (ZipWith6Sym5 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876669] -> [b6989586621679876670] -> [c6989586621679876671] -> [d6989586621679876672] -> [e6989586621679876673] -> TyFun [f6989586621679876674] [g6989586621679876675] -> *) (ZipWith6Sym6 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings ([a6989586621679876687] -> [b6989586621679876688] -> [c6989586621679876689] -> [d6989586621679876690] -> [e6989586621679876691] -> [f6989586621679876692] -> TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> *) (Zip7Sym6 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings ([a6989586621679876687] -> [b6989586621679876688] -> [c6989586621679876689] -> [d6989586621679876690] -> [e6989586621679876691] -> TyFun [f6989586621679876692] (TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> Type) -> *) (Zip7Sym5 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings ([a6989586621679876687] -> [b6989586621679876688] -> [c6989586621679876689] -> [d6989586621679876690] -> TyFun [e6989586621679876691] (TyFun [f6989586621679876692] (TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> Type) -> Type) -> *) (Zip7Sym4 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings ([a6989586621679876687] -> [b6989586621679876688] -> [c6989586621679876689] -> TyFun [d6989586621679876690] (TyFun [e6989586621679876691] (TyFun [f6989586621679876692] (TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings ([a6989586621679876687] -> [b6989586621679876688] -> TyFun [c6989586621679876689] (TyFun [d6989586621679876690] (TyFun [e6989586621679876691] (TyFun [f6989586621679876692] (TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings ([a6989586621679876687] -> TyFun [b6989586621679876688] (TyFun [c6989586621679876689] (TyFun [d6989586621679876690] (TyFun [e6989586621679876691] (TyFun [f6989586621679876692] (TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679876669 (TyFun b6989586621679876670 (TyFun c6989586621679876671 (TyFun d6989586621679876672 (TyFun e6989586621679876673 (TyFun f6989586621679876674 g6989586621679876675 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679876669] (TyFun [b6989586621679876670] (TyFun [c6989586621679876671] (TyFun [d6989586621679876672] (TyFun [e6989586621679876673] (TyFun [f6989586621679876674] [g6989586621679876675] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621679876669 b6989586621679876670 c6989586621679876671 d6989586621679876672 e6989586621679876673 f6989586621679876674 g6989586621679876675) Source # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679458116, b6989586621679458117, c6989586621679458118, d6989586621679458119, e6989586621679458120, f6989586621679458121, g6989586621679458122)] ([a6989586621679458116], [b6989586621679458117], [c6989586621679458118], [d6989586621679458119], [e6989586621679458120], [f6989586621679458121], [g6989586621679458122]) -> *) (Unzip7Sym0 a6989586621679458116 b6989586621679458117 c6989586621679458118 d6989586621679458119 e6989586621679458120 f6989586621679458121 g6989586621679458122) Source # | |
| SuppressUnusedWarnings (TyFun [a6989586621679876687] (TyFun [b6989586621679876688] (TyFun [c6989586621679876689] (TyFun [d6989586621679876690] (TyFun [e6989586621679876691] (TyFun [f6989586621679876692] (TyFun [g6989586621679876693] [(a6989586621679876687, b6989586621679876688, c6989586621679876689, d6989586621679876690, e6989586621679876691, f6989586621679876692, g6989586621679876693)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621679876687 b6989586621679876688 c6989586621679876689 d6989586621679876690 e6989586621679876691 f6989586621679876692 g6989586621679876693) Source # | |
| SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679876661] (TyFun [b6989586621679876662] (TyFun [c6989586621679876663] (TyFun [d6989586621679876664] (TyFun [e6989586621679876665] (TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876661] -> TyFun [b6989586621679876662] (TyFun [c6989586621679876663] (TyFun [d6989586621679876664] (TyFun [e6989586621679876665] (TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876661] -> [b6989586621679876662] -> TyFun [c6989586621679876663] (TyFun [d6989586621679876664] (TyFun [e6989586621679876665] (TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876661] -> [b6989586621679876662] -> [c6989586621679876663] -> TyFun [d6989586621679876664] (TyFun [e6989586621679876665] (TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876661] -> [b6989586621679876662] -> [c6989586621679876663] -> [d6989586621679876664] -> TyFun [e6989586621679876665] (TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876661] -> [b6989586621679876662] -> [c6989586621679876663] -> [d6989586621679876664] -> [e6989586621679876665] -> TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> *) (ZipWith7Sym6 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings ((TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679876661] -> [b6989586621679876662] -> [c6989586621679876663] -> [d6989586621679876664] -> [e6989586621679876665] -> [f6989586621679876666] -> TyFun [g6989586621679876667] [h6989586621679876668] -> *) (ZipWith7Sym7 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679876661 (TyFun b6989586621679876662 (TyFun c6989586621679876663 (TyFun d6989586621679876664 (TyFun e6989586621679876665 (TyFun f6989586621679876666 (TyFun g6989586621679876667 h6989586621679876668 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679876661] (TyFun [b6989586621679876662] (TyFun [c6989586621679876663] (TyFun [d6989586621679876664] (TyFun [e6989586621679876665] (TyFun [f6989586621679876666] (TyFun [g6989586621679876667] [h6989586621679876668] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621679876661 b6989586621679876662 c6989586621679876663 d6989586621679876664 e6989586621679876665 f6989586621679876666 g6989586621679876667 h6989586621679876668) Source # | |