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 |
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 k06989586621679399311 k6989586621679399313)
- 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 a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type))
- data ThenCmpSym0 (l :: TyFun Ordering (TyFun Ordering Ordering -> Type))
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> 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
singOrdInstance :: DsMonad q => Name -> q [Dec] Source #
Create instance of SOrd
for the given type
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
:: 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.
:: 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.
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
.
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 '(%:/=)'.
(%:==) :: 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
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 #
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 #
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 #
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_6989586621679310815Sym0 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_6989586621679310848Sym0 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_6989586621679310881Sym0 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_6989586621679310914Sym0 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_6989586621679310947Sym0 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_6989586621679310980Sym0 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_6989586621679311013Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #
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
.
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
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
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 #
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 a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type)) Source #
data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type)) Source #
SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source # | |
type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) 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.
suppressUnusedWarnings :: Proxy t -> () Source #
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 a6989586621679442441 Bool -> Type) -> (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> TyFun a6989586621679442441 a6989586621679442441 -> *) (UntilSym2 a6989586621679442441) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679442441 Bool -> Type) -> TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> *) (UntilSym1 a6989586621679442441) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679444727 Bool -> Type) -> TyFun [a6989586621679444727] Bool -> *) (Any_Sym1 a6989586621679444727) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454841 (TyFun a6989586621679454841 Bool -> Type) -> Type) -> TyFun [a6989586621679454841] [a6989586621679454841] -> *) (NubBySym1 a6989586621679454841) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454850 Bool -> Type) -> TyFun [a6989586621679454850] ([a6989586621679454850], [a6989586621679454850]) -> *) (PartitionSym1 a6989586621679454850) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454862 Bool -> Type) -> TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> *) (BreakSym1 a6989586621679454862) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454863 Bool -> Type) -> TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> *) (SpanSym1 a6989586621679454863) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454853 (TyFun a6989586621679454853 Bool -> Type) -> Type) -> TyFun [a6989586621679454853] [[a6989586621679454853]] -> *) (GroupBySym1 a6989586621679454853) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454865 Bool -> Type) -> TyFun [a6989586621679454865] [a6989586621679454865] -> *) (DropWhileSym1 a6989586621679454865) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454866 Bool -> Type) -> TyFun [a6989586621679454866] [a6989586621679454866] -> *) (TakeWhileSym1 a6989586621679454866) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454874 Bool -> Type) -> TyFun [a6989586621679454874] [a6989586621679454874] -> *) (FilterSym1 a6989586621679454874) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454873 Bool -> Type) -> TyFun [a6989586621679454873] (Maybe a6989586621679454873) -> *) (FindSym1 a6989586621679454873) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454867 (TyFun a6989586621679454867 Bool -> Type) -> Type) -> [a6989586621679454867] -> TyFun [a6989586621679454867] [a6989586621679454867] -> *) (IntersectBySym2 a6989586621679454867) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454867 (TyFun a6989586621679454867 Bool -> Type) -> Type) -> TyFun [a6989586621679454867] (TyFun [a6989586621679454867] [a6989586621679454867] -> Type) -> *) (IntersectBySym1 a6989586621679454867) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454877 (TyFun a6989586621679454877 Ordering -> Type) -> Type) -> TyFun a6989586621679454877 (TyFun [a6989586621679454877] [a6989586621679454877] -> Type) -> *) (InsertBySym1 a6989586621679454877) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454877 (TyFun a6989586621679454877 Ordering -> Type) -> Type) -> a6989586621679454877 -> TyFun [a6989586621679454877] [a6989586621679454877] -> *) (InsertBySym2 a6989586621679454877) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454878 (TyFun a6989586621679454878 Ordering -> Type) -> Type) -> TyFun [a6989586621679454878] [a6989586621679454878] -> *) (SortBySym1 a6989586621679454878) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454880 (TyFun a6989586621679454880 Bool -> Type) -> Type) -> TyFun a6989586621679454880 (TyFun [a6989586621679454880] [a6989586621679454880] -> Type) -> *) (DeleteBySym1 a6989586621679454880) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454880 (TyFun a6989586621679454880 Bool -> Type) -> Type) -> a6989586621679454880 -> TyFun [a6989586621679454880] [a6989586621679454880] -> *) (DeleteBySym2 a6989586621679454880) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454879 (TyFun a6989586621679454879 Bool -> Type) -> Type) -> [a6989586621679454879] -> TyFun [a6989586621679454879] [a6989586621679454879] -> *) (DeleteFirstsBySym2 a6989586621679454879) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454879 (TyFun a6989586621679454879 Bool -> Type) -> Type) -> TyFun [a6989586621679454879] (TyFun [a6989586621679454879] [a6989586621679454879] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679454879) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454839 (TyFun a6989586621679454839 Bool -> Type) -> Type) -> [a6989586621679454839] -> TyFun [a6989586621679454839] [a6989586621679454839] -> *) (UnionBySym2 a6989586621679454839) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454839 (TyFun a6989586621679454839 Bool -> Type) -> Type) -> TyFun [a6989586621679454839] (TyFun [a6989586621679454839] [a6989586621679454839] -> Type) -> *) (UnionBySym1 a6989586621679454839) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454869 Bool -> Type) -> TyFun [a6989586621679454869] [Nat] -> *) (FindIndicesSym1 a6989586621679454869) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454870 Bool -> Type) -> TyFun [a6989586621679454870] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679454870) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) -> TyFun [a6989586621679454937] [a6989586621679454937] -> *) (Scanr1Sym1 a6989586621679454937) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) -> TyFun [a6989586621679454940] [a6989586621679454940] -> *) (Scanl1Sym1 a6989586621679454940) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454943 Bool -> Type) -> TyFun [a6989586621679454943] Bool -> *) (AllSym1 a6989586621679454943) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) -> TyFun [a6989586621679454947] a6989586621679454947 -> *) (Foldr1Sym1 a6989586621679454947) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) -> TyFun [a6989586621679454949] a6989586621679454949 -> *) (Foldl1Sym1 a6989586621679454949) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) -> TyFun [a6989586621679454876] a6989586621679454876 -> *) (MaximumBySym1 a6989586621679454876) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) -> TyFun [a6989586621679454875] a6989586621679454875 -> *) (MinimumBySym1 a6989586621679454875) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454948 (TyFun a6989586621679454948 a6989586621679454948 -> Type) -> Type) -> TyFun [a6989586621679454948] a6989586621679454948 -> *) (Foldl1'Sym1 a6989586621679454948) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454864 Bool -> Type) -> TyFun [a6989586621679454864] [a6989586621679454864] -> *) (DropWhileEndSym1 a6989586621679454864) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726369 (TyFun a6989586621679726369 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726369) (NonEmpty a6989586621679726369) -> *) (NubBySym1 a6989586621679726369) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726390 (TyFun a6989586621679726390 Bool -> Type) -> Type) -> TyFun [a6989586621679726390] [NonEmpty a6989586621679726390] -> *) (GroupBySym1 a6989586621679726390) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726384 (TyFun a6989586621679726384 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726384) (NonEmpty (NonEmpty a6989586621679726384)) -> *) (GroupBy1Sym1 a6989586621679726384) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726397 Bool -> Type) -> TyFun (NonEmpty a6989586621679726397) [a6989586621679726397] -> *) (TakeWhileSym1 a6989586621679726397) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726396 Bool -> Type) -> TyFun (NonEmpty a6989586621679726396) [a6989586621679726396] -> *) (DropWhileSym1 a6989586621679726396) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726395 Bool -> Type) -> TyFun (NonEmpty a6989586621679726395) ([a6989586621679726395], [a6989586621679726395]) -> *) (SpanSym1 a6989586621679726395) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726394 Bool -> Type) -> TyFun (NonEmpty a6989586621679726394) ([a6989586621679726394], [a6989586621679726394]) -> *) (BreakSym1 a6989586621679726394) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726393 Bool -> Type) -> TyFun (NonEmpty a6989586621679726393) [a6989586621679726393] -> *) (FilterSym1 a6989586621679726393) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726392 Bool -> Type) -> TyFun (NonEmpty a6989586621679726392) ([a6989586621679726392], [a6989586621679726392]) -> *) (PartitionSym1 a6989586621679726392) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726367 (TyFun a6989586621679726367 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726367) (NonEmpty a6989586621679726367) -> *) (SortBySym1 a6989586621679726367) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726404 (TyFun a6989586621679726404 a6989586621679726404 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726404) (NonEmpty a6989586621679726404) -> *) (Scanl1Sym1 a6989586621679726404) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726403 (TyFun a6989586621679726403 a6989586621679726403 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726403) (NonEmpty a6989586621679726403) -> *) (Scanr1Sym1 a6989586621679726403) Source # | |
SuppressUnusedWarnings ([a6989586621679277916] -> TyFun [a6989586621679277916] [a6989586621679277916] -> *) ((:++$$) a6989586621679277916) Source # | |
SuppressUnusedWarnings ([a6989586621679454843] -> TyFun Nat a6989586621679454843 -> *) ((:!!$$) a6989586621679454843) Source # | |
SuppressUnusedWarnings ([a6989586621679454868] -> TyFun [a6989586621679454868] [a6989586621679454868] -> *) (IntersectSym1 a6989586621679454868) Source # | |
SuppressUnusedWarnings ([a6989586621679454838] -> TyFun [a6989586621679454838] [a6989586621679454838] -> *) (UnionSym1 a6989586621679454838) Source # | |
SuppressUnusedWarnings ([a6989586621679454881] -> TyFun [a6989586621679454881] [a6989586621679454881] -> *) ((:\\$$) a6989586621679454881) Source # | |
SuppressUnusedWarnings ([a6989586621679454926] -> TyFun [a6989586621679454926] Bool -> *) (IsPrefixOfSym1 a6989586621679454926) Source # | |
SuppressUnusedWarnings ([a6989586621679454924] -> TyFun [a6989586621679454924] Bool -> *) (IsInfixOfSym1 a6989586621679454924) Source # | |
SuppressUnusedWarnings ([a6989586621679454956] -> TyFun [[a6989586621679454956]] [a6989586621679454956] -> *) (IntercalateSym1 a6989586621679454956) Source # | |
SuppressUnusedWarnings ([a6989586621679454925] -> TyFun [a6989586621679454925] Bool -> *) (IsSuffixOfSym1 a6989586621679454925) Source # | |
SuppressUnusedWarnings ([a6989586621679726379] -> TyFun (NonEmpty a6989586621679726379) Bool -> *) (IsPrefixOfSym1 a6989586621679726379) Source # | |
SuppressUnusedWarnings ([a6989586621679873476] -> TyFun [a6989586621679873476] (Maybe [a6989586621679873476]) -> *) (StripPrefixSym1 a6989586621679873476) Source # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454860] [a6989586621679454860] -> *) (DropSym1 a6989586621679454860) Source # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454861] [a6989586621679454861] -> *) (TakeSym1 a6989586621679454861) Source # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> *) (SplitAtSym1 a6989586621679454859) Source # | |
SuppressUnusedWarnings (Nat -> TyFun a6989586621679454845 [a6989586621679454845] -> *) (ReplicateSym1 a6989586621679454845) Source # | |
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679726400) [a6989586621679726400] -> *) (TakeSym1 a6989586621679726400) Source # | |
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679726399) [a6989586621679726399] -> *) (DropSym1 a6989586621679726399) Source # | |
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679726398) ([a6989586621679726398], [a6989586621679726398]) -> *) (SplitAtSym1 a6989586621679726398) Source # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) ((:$$) a3530822107858468865) Source # | |
SuppressUnusedWarnings (a6989586621679072810 -> TyFun [a6989586621679072810] (NonEmpty a6989586621679072810) -> *) ((:|$$) a6989586621679072810) Source # | |
SuppressUnusedWarnings (a6989586621679274033 -> a6989586621679274033 -> TyFun Bool a6989586621679274033 -> *) (Bool_Sym2 a6989586621679274033) Source # | |
SuppressUnusedWarnings (a6989586621679274033 -> TyFun a6989586621679274033 (TyFun Bool a6989586621679274033 -> Type) -> *) (Bool_Sym1 a6989586621679274033) Source # | |
SuppressUnusedWarnings (a6989586621679277906 -> TyFun a6989586621679277906 a6989586621679277906 -> *) (AsTypeOfSym1 a6989586621679277906) Source # | |
SuppressUnusedWarnings (a6989586621679294693 -> TyFun a6989586621679294693 Bool -> *) ((:==$$) a6989586621679294693) Source # | |
SuppressUnusedWarnings (a6989586621679294693 -> TyFun a6989586621679294693 Bool -> *) ((:/=$$) a6989586621679294693) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:<=$$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Ordering -> *) (CompareSym1 a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 a6989586621679309377 -> *) (MinSym1 a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 a6989586621679309377 -> *) (MaxSym1 a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:>=$$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:>$$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:<$$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (a6989586621679407276 -> TyFun a6989586621679407276 a6989586621679407276 -> *) ((:-$$) a6989586621679407276) Source # | |
SuppressUnusedWarnings (a6989586621679407276 -> TyFun a6989586621679407276 a6989586621679407276 -> *) ((:+$$) a6989586621679407276) Source # | |
SuppressUnusedWarnings (a6989586621679407276 -> TyFun a6989586621679407276 a6989586621679407276 -> *) ((:*$$) a6989586621679407276) Source # | |
SuppressUnusedWarnings (a6989586621679409567 -> TyFun a6989586621679409567 a6989586621679409567 -> *) (SubtractSym1 a6989586621679409567) Source # | |
SuppressUnusedWarnings (a6989586621679424321 -> TyFun (Maybe a6989586621679424321) a6989586621679424321 -> *) (FromMaybeSym1 a6989586621679424321) Source # | |
SuppressUnusedWarnings (a6989586621679454855 -> TyFun [a6989586621679454855] [a6989586621679454855] -> *) (InsertSym1 a6989586621679454855) Source # | |
SuppressUnusedWarnings (a6989586621679454882 -> TyFun [a6989586621679454882] [a6989586621679454882] -> *) (DeleteSym1 a6989586621679454882) Source # | |
SuppressUnusedWarnings (a6989586621679454871 -> TyFun [a6989586621679454871] [Nat] -> *) (ElemIndicesSym1 a6989586621679454871) Source # | |
SuppressUnusedWarnings (a6989586621679454872 -> TyFun [a6989586621679454872] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679454872) Source # | |
SuppressUnusedWarnings (a6989586621679454922 -> TyFun [a6989586621679454922] Bool -> *) (NotElemSym1 a6989586621679454922) Source # | |
SuppressUnusedWarnings (a6989586621679454923 -> TyFun [a6989586621679454923] Bool -> *) (ElemSym1 a6989586621679454923) Source # | |
SuppressUnusedWarnings (a6989586621679454957 -> TyFun [a6989586621679454957] [a6989586621679454957] -> *) (IntersperseSym1 a6989586621679454957) Source # | |
SuppressUnusedWarnings (a6989586621679726402 -> TyFun (NonEmpty a6989586621679726402) (NonEmpty a6989586621679726402) -> *) (IntersperseSym1 a6989586621679726402) Source # | |
SuppressUnusedWarnings (a6989586621679726409 -> TyFun [a6989586621679726409] (NonEmpty a6989586621679726409) -> *) (InsertSym1 a6989586621679726409) Source # | |
SuppressUnusedWarnings (a6989586621679726420 -> TyFun (NonEmpty a6989586621679726420) (NonEmpty a6989586621679726420) -> *) ((:<|$$) a6989586621679726420) Source # | |
SuppressUnusedWarnings (a6989586621679726419 -> TyFun (NonEmpty a6989586621679726419) (NonEmpty a6989586621679726419) -> *) (ConsSym1 a6989586621679726419) Source # | |
SuppressUnusedWarnings (a6989586621679805857 -> TyFun a6989586621679805857 (TyFun a6989586621679805857 [a6989586621679805857] -> Type) -> *) (EnumFromThenToSym1 a6989586621679805857) Source # | |
SuppressUnusedWarnings (a6989586621679805857 -> a6989586621679805857 -> TyFun a6989586621679805857 [a6989586621679805857] -> *) (EnumFromThenToSym2 a6989586621679805857) Source # | |
SuppressUnusedWarnings (a6989586621679805857 -> TyFun a6989586621679805857 [a6989586621679805857] -> *) (EnumFromToSym1 a6989586621679805857) Source # | |
SuppressUnusedWarnings (NonEmpty a6989586621679726378 -> TyFun Nat a6989586621679726378 -> *) ((:!!$$) a6989586621679726378) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) -> *) (UntilSym0 a6989586621679442441) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) -> *) (Any_Sym0 a6989586621679444727) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454841 (TyFun a6989586621679454841 Bool -> Type) -> Type) (TyFun [a6989586621679454841] [a6989586621679454841] -> Type) -> *) (NubBySym0 a6989586621679454841) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454850 Bool -> Type) (TyFun [a6989586621679454850] ([a6989586621679454850], [a6989586621679454850]) -> Type) -> *) (PartitionSym0 a6989586621679454850) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) -> *) (BreakSym0 a6989586621679454862) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) -> *) (SpanSym0 a6989586621679454863) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454853 (TyFun a6989586621679454853 Bool -> Type) -> Type) (TyFun [a6989586621679454853] [[a6989586621679454853]] -> Type) -> *) (GroupBySym0 a6989586621679454853) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) -> *) (DropWhileSym0 a6989586621679454865) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) -> *) (TakeWhileSym0 a6989586621679454866) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) -> *) (FilterSym0 a6989586621679454874) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454873 Bool -> Type) (TyFun [a6989586621679454873] (Maybe a6989586621679454873) -> Type) -> *) (FindSym0 a6989586621679454873) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454867 (TyFun a6989586621679454867 Bool -> Type) -> Type) (TyFun [a6989586621679454867] (TyFun [a6989586621679454867] [a6989586621679454867] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679454867) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454877 (TyFun a6989586621679454877 Ordering -> Type) -> Type) (TyFun a6989586621679454877 (TyFun [a6989586621679454877] [a6989586621679454877] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679454877) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454878 (TyFun a6989586621679454878 Ordering -> Type) -> Type) (TyFun [a6989586621679454878] [a6989586621679454878] -> Type) -> *) (SortBySym0 a6989586621679454878) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454880 (TyFun a6989586621679454880 Bool -> Type) -> Type) (TyFun a6989586621679454880 (TyFun [a6989586621679454880] [a6989586621679454880] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679454880) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454879 (TyFun a6989586621679454879 Bool -> Type) -> Type) (TyFun [a6989586621679454879] (TyFun [a6989586621679454879] [a6989586621679454879] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679454879) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454839 (TyFun a6989586621679454839 Bool -> Type) -> Type) (TyFun [a6989586621679454839] (TyFun [a6989586621679454839] [a6989586621679454839] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679454839) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454869 Bool -> Type) (TyFun [a6989586621679454869] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679454869) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454870 Bool -> Type) (TyFun [a6989586621679454870] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679454870) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) -> *) (Scanr1Sym0 a6989586621679454937) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) -> *) (Scanl1Sym0 a6989586621679454940) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) -> *) (AllSym0 a6989586621679454943) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) -> *) (Foldr1Sym0 a6989586621679454947) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) -> *) (Foldl1Sym0 a6989586621679454949) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) -> *) (MaximumBySym0 a6989586621679454876) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) -> *) (MinimumBySym0 a6989586621679454875) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454948 (TyFun a6989586621679454948 a6989586621679454948 -> Type) -> Type) (TyFun [a6989586621679454948] a6989586621679454948 -> Type) -> *) (Foldl1'Sym0 a6989586621679454948) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454864 Bool -> Type) (TyFun [a6989586621679454864] [a6989586621679454864] -> Type) -> *) (DropWhileEndSym0 a6989586621679454864) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726369 (TyFun a6989586621679726369 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679726369) (NonEmpty a6989586621679726369) -> Type) -> *) (NubBySym0 a6989586621679726369) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726390 (TyFun a6989586621679726390 Bool -> Type) -> Type) (TyFun [a6989586621679726390] [NonEmpty a6989586621679726390] -> Type) -> *) (GroupBySym0 a6989586621679726390) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726384 (TyFun a6989586621679726384 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679726384) (NonEmpty (NonEmpty a6989586621679726384)) -> Type) -> *) (GroupBy1Sym0 a6989586621679726384) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726397 Bool -> Type) (TyFun (NonEmpty a6989586621679726397) [a6989586621679726397] -> Type) -> *) (TakeWhileSym0 a6989586621679726397) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726396 Bool -> Type) (TyFun (NonEmpty a6989586621679726396) [a6989586621679726396] -> Type) -> *) (DropWhileSym0 a6989586621679726396) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726395 Bool -> Type) (TyFun (NonEmpty a6989586621679726395) ([a6989586621679726395], [a6989586621679726395]) -> Type) -> *) (SpanSym0 a6989586621679726395) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726394 Bool -> Type) (TyFun (NonEmpty a6989586621679726394) ([a6989586621679726394], [a6989586621679726394]) -> Type) -> *) (BreakSym0 a6989586621679726394) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726393 Bool -> Type) (TyFun (NonEmpty a6989586621679726393) [a6989586621679726393] -> Type) -> *) (FilterSym0 a6989586621679726393) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726392 Bool -> Type) (TyFun (NonEmpty a6989586621679726392) ([a6989586621679726392], [a6989586621679726392]) -> Type) -> *) (PartitionSym0 a6989586621679726392) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726367 (TyFun a6989586621679726367 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679726367) (NonEmpty a6989586621679726367) -> Type) -> *) (SortBySym0 a6989586621679726367) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726404 (TyFun a6989586621679726404 a6989586621679726404 -> Type) -> Type) (TyFun (NonEmpty a6989586621679726404) (NonEmpty a6989586621679726404) -> Type) -> *) (Scanl1Sym0 a6989586621679726404) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726403 (TyFun a6989586621679726403 a6989586621679726403 -> Type) -> Type) (TyFun (NonEmpty a6989586621679726403) (NonEmpty a6989586621679726403) -> Type) -> *) (Scanr1Sym0 a6989586621679726403) Source # | |
SuppressUnusedWarnings (TyFun [[a6989586621679454946]] [a6989586621679454946] -> *) (ConcatSym0 a6989586621679454946) Source # | |
SuppressUnusedWarnings (TyFun [[a6989586621679454844]] [[a6989586621679454844]] -> *) (TransposeSym0 a6989586621679454844) Source # | |
SuppressUnusedWarnings (TyFun [Maybe a6989586621679424318] [a6989586621679424318] -> *) (CatMaybesSym0 a6989586621679424318) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type) -> *) ((:++$) a6989586621679277916) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679424319] (Maybe a6989586621679424319) -> *) (ListToMaybeSym0 a6989586621679424319) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type) -> *) ((:!!$) a6989586621679454843) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454846] Nat -> *) (LengthSym0 a6989586621679454846) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454847] a6989586621679454847 -> *) (ProductSym0 a6989586621679454847) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454848] a6989586621679454848 -> *) (SumSym0 a6989586621679454848) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454858] [[a6989586621679454858]] -> *) (GroupSym0 a6989586621679454858) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454868] (TyFun [a6989586621679454868] [a6989586621679454868] -> Type) -> *) (IntersectSym0 a6989586621679454868) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454854] [a6989586621679454854] -> *) (SortSym0 a6989586621679454854) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454838] (TyFun [a6989586621679454838] [a6989586621679454838] -> Type) -> *) (UnionSym0 a6989586621679454838) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454881] (TyFun [a6989586621679454881] [a6989586621679454881] -> Type) -> *) ((:\\$) a6989586621679454881) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454842] [a6989586621679454842] -> *) (NubSym0 a6989586621679454842) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454926] (TyFun [a6989586621679454926] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679454926) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454927] [[a6989586621679454927]] -> *) (TailsSym0 a6989586621679454927) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454924] (TyFun [a6989586621679454924] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679454924) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454928] [[a6989586621679454928]] -> *) (InitsSym0 a6989586621679454928) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454857] a6989586621679454857 -> *) (MaximumSym0 a6989586621679454857) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454856] a6989586621679454856 -> *) (MinimumSym0 a6989586621679454856) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454952] [[a6989586621679454952]] -> *) (PermutationsSym0 a6989586621679454952) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454955] [[a6989586621679454955]] -> *) (SubsequencesSym0 a6989586621679454955) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454956] (TyFun [[a6989586621679454956]] [a6989586621679454956] -> Type) -> *) (IntercalateSym0 a6989586621679454956) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454958] [a6989586621679454958] -> *) (ReverseSym0 a6989586621679454958) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454925] (TyFun [a6989586621679454925] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679454925) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454959] Bool -> *) (NullSym0 a6989586621679454959) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454960] [a6989586621679454960] -> *) (InitSym0 a6989586621679454960) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454961] [a6989586621679454961] -> *) (TailSym0 a6989586621679454961) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454962] a6989586621679454962 -> *) (LastSym0 a6989586621679454962) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454963] a6989586621679454963 -> *) (HeadSym0 a6989586621679454963) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679726379] (TyFun (NonEmpty a6989586621679726379) Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679726379) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679726391] [NonEmpty a6989586621679726391] -> *) (GroupSym0 a6989586621679726391) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679726417] (NonEmpty a6989586621679726417) -> *) (FromListSym0 a6989586621679726417) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679726411] (NonEmpty [a6989586621679726411]) -> *) (InitsSym0 a6989586621679726411) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679726410] (NonEmpty [a6989586621679726410]) -> *) (TailsSym0 a6989586621679726410) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679726428] (Maybe (NonEmpty a6989586621679726428)) -> *) (NonEmpty_Sym0 a6989586621679726428) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679873476] (TyFun [a6989586621679873476] (Maybe [a6989586621679873476]) -> Type) -> *) (StripPrefixSym0 a6989586621679873476) Source # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679424320) [a6989586621679424320] -> *) (MaybeToListSym0 a6989586621679424320) Source # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679424322) a6989586621679424322 -> *) (FromJustSym0 a6989586621679424322) Source # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679424323) Bool -> *) (IsNothingSym0 a6989586621679424323) Source # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679424324) Bool -> *) (IsJustSym0 a6989586621679424324) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type) -> *) (DropSym0 a6989586621679454860) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type) -> *) (TakeSym0 a6989586621679454861) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) -> *) (SplitAtSym0 a6989586621679454859) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type) -> *) (ReplicateSym0 a6989586621679454845) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679726400) [a6989586621679726400] -> Type) -> *) (TakeSym0 a6989586621679726400) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679726399) [a6989586621679726399] -> Type) -> *) (DropSym0 a6989586621679726399) Source # | |
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679726398) ([a6989586621679726398], [a6989586621679726398]) -> Type) -> *) (SplitAtSym0 a6989586621679726398) Source # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679407276 -> *) (FromIntegerSym0 a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679805857 -> *) (ToEnumSym0 a6989586621679805857) Source # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) Source # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) ((:$) a3530822107858468865) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679072810 (TyFun [a6989586621679072810] (NonEmpty a6989586621679072810) -> Type) -> *) ((:|$) a6989586621679072810) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679274033 (TyFun a6989586621679274033 (TyFun Bool a6989586621679274033 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679274033) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) -> *) (AsTypeOfSym0 a6989586621679277906) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679277915 a6989586621679277915 -> *) (IdSym0 a6989586621679277915) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679294693 (TyFun a6989586621679294693 Bool -> Type) -> *) ((:==$) a6989586621679294693) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679294693 (TyFun a6989586621679294693 Bool -> Type) -> *) ((:/=$) a6989586621679294693) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:<=$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type) -> *) (CompareSym0 a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 a6989586621679309377 -> Type) -> *) (MinSym0 a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 a6989586621679309377 -> Type) -> *) (MaxSym0 a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:>=$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:>$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:<$) a6989586621679309377) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679407276 a6989586621679407276 -> *) (NegateSym0 a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679407276 (TyFun a6989586621679407276 a6989586621679407276 -> Type) -> *) ((:-$) a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679407276 (TyFun a6989586621679407276 a6989586621679407276 -> Type) -> *) ((:+$) a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679407276 a6989586621679407276 -> *) (SignumSym0 a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679407276 a6989586621679407276 -> *) (AbsSym0 a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679407276 (TyFun a6989586621679407276 a6989586621679407276 -> Type) -> *) ((:*$) a6989586621679407276) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679409567 (TyFun a6989586621679409567 a6989586621679409567 -> Type) -> *) (SubtractSym0 a6989586621679409567) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679424321 (TyFun (Maybe a6989586621679424321) a6989586621679424321 -> Type) -> *) (FromMaybeSym0 a6989586621679424321) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454855 (TyFun [a6989586621679454855] [a6989586621679454855] -> Type) -> *) (InsertSym0 a6989586621679454855) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454882 (TyFun [a6989586621679454882] [a6989586621679454882] -> Type) -> *) (DeleteSym0 a6989586621679454882) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454871 (TyFun [a6989586621679454871] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679454871) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454872 (TyFun [a6989586621679454872] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679454872) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type) -> *) (NotElemSym0 a6989586621679454922) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type) -> *) (ElemSym0 a6989586621679454923) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454957 (TyFun [a6989586621679454957] [a6989586621679454957] -> Type) -> *) (IntersperseSym0 a6989586621679454957) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679726402 (TyFun (NonEmpty a6989586621679726402) (NonEmpty a6989586621679726402) -> Type) -> *) (IntersperseSym0 a6989586621679726402) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679726409 (TyFun [a6989586621679726409] (NonEmpty a6989586621679726409) -> Type) -> *) (InsertSym0 a6989586621679726409) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679726420 (TyFun (NonEmpty a6989586621679726420) (NonEmpty a6989586621679726420) -> Type) -> *) ((:<|$) a6989586621679726420) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679726419 (TyFun (NonEmpty a6989586621679726419) (NonEmpty a6989586621679726419) -> Type) -> *) (ConsSym0 a6989586621679726419) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679805857 (TyFun a6989586621679805857 (TyFun a6989586621679805857 [a6989586621679805857] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679805857) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679805857 (TyFun a6989586621679805857 [a6989586621679805857] -> Type) -> *) (EnumFromToSym0 a6989586621679805857) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679805857 Nat -> *) (FromEnumSym0 a6989586621679805857) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679805857 a6989586621679805857 -> *) (PredSym0 a6989586621679805857) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679805857 a6989586621679805857 -> *) (SuccSym0 a6989586621679805857) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726370) (NonEmpty a6989586621679726370) -> *) (NubSym0 a6989586621679726370) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726378) (TyFun Nat a6989586621679726378 -> Type) -> *) ((:!!$) a6989586621679726378) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726385) (NonEmpty (NonEmpty a6989586621679726385)) -> *) (Group1Sym0 a6989586621679726385) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726416) [a6989586621679726416] -> *) (ToListSym0 a6989586621679726416) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726401) (NonEmpty a6989586621679726401) -> *) (ReverseSym0 a6989586621679726401) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726418) (NonEmpty a6989586621679726418) -> *) (SortSym0 a6989586621679726418) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726421) [a6989586621679726421] -> *) (InitSym0 a6989586621679726421) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726422) a6989586621679726422 -> *) (LastSym0 a6989586621679726422) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726423) [a6989586621679726423] -> *) (TailSym0 a6989586621679726423) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726424) a6989586621679726424 -> *) (HeadSym0 a6989586621679726424) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726427) (a6989586621679726427, Maybe (NonEmpty a6989586621679726427)) -> *) (UnconsSym0 a6989586621679726427) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726431) Nat -> *) (LengthSym0 a6989586621679726431) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a6989586621679726368)) (NonEmpty (NonEmpty a6989586621679726368)) -> *) (TransposeSym0 a6989586621679726368) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> b6989586621679240792 -> TyFun [a6989586621679240791] b6989586621679240792 -> *) (FoldlSym2 a6989586621679240791 b6989586621679240792) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> *) (FoldlSym1 a6989586621679240791 b6989586621679240792) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679277917 b6989586621679277918 -> Type) -> TyFun [a6989586621679277917] [b6989586621679277918] -> *) (MapSym1 a6989586621679277917 b6989586621679277918) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> b6989586621679277920 -> TyFun [a6989586621679277919] b6989586621679277920 -> *) (FoldrSym2 a6989586621679277919 b6989586621679277920) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> *) (FoldrSym1 a6989586621679277919 b6989586621679277920) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679309367 a6989586621679309366 -> Type) -> b6989586621679309367 -> TyFun b6989586621679309367 Ordering -> *) (ComparingSym2 a6989586621679309366 b6989586621679309367) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679309367 a6989586621679309366 -> Type) -> TyFun b6989586621679309367 (TyFun b6989586621679309367 Ordering -> Type) -> *) (ComparingSym1 a6989586621679309366 b6989586621679309367) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679424316 (Maybe b6989586621679424317) -> Type) -> TyFun [a6989586621679424316] [b6989586621679424317] -> *) (MapMaybeSym1 a6989586621679424316 b6989586621679424317) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679454929 (Maybe (a6989586621679454930, b6989586621679454929)) -> Type) -> TyFun b6989586621679454929 [a6989586621679454930] -> *) (UnfoldrSym1 b6989586621679454929 a6989586621679454930) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> *) (ScanrSym1 a6989586621679454938 b6989586621679454939) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> b6989586621679454939 -> TyFun [a6989586621679454938] [b6989586621679454939] -> *) (ScanrSym2 a6989586621679454938 b6989586621679454939) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> *) (ScanlSym1 a6989586621679454942 b6989586621679454941) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> b6989586621679454941 -> TyFun [a6989586621679454942] [b6989586621679454941] -> *) (ScanlSym2 a6989586621679454942 b6989586621679454941) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454944 [b6989586621679454945] -> Type) -> TyFun [a6989586621679454944] [b6989586621679454945] -> *) (ConcatMapSym1 a6989586621679454944 b6989586621679454945) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679454951 (TyFun a6989586621679454950 b6989586621679454951 -> Type) -> Type) -> b6989586621679454951 -> TyFun [a6989586621679454950] b6989586621679454951 -> *) (Foldl'Sym2 a6989586621679454950 b6989586621679454951) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679454951 (TyFun a6989586621679454950 b6989586621679454951 -> Type) -> Type) -> TyFun b6989586621679454951 (TyFun [a6989586621679454950] b6989586621679454951 -> Type) -> *) (Foldl'Sym1 a6989586621679454950 b6989586621679454951) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726389 b6989586621679726388 -> Type) -> TyFun [a6989586621679726389] [NonEmpty a6989586621679726389] -> *) (GroupWithSym1 b6989586621679726388 a6989586621679726389) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726387 b6989586621679726386 -> Type) -> TyFun [a6989586621679726387] [NonEmpty a6989586621679726387] -> *) (GroupAllWithSym1 b6989586621679726386 a6989586621679726387) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726383 b6989586621679726382 -> Type) -> TyFun (NonEmpty a6989586621679726383) (NonEmpty (NonEmpty a6989586621679726383)) -> *) (GroupWith1Sym1 b6989586621679726382 a6989586621679726383) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726412 b6989586621679726413 -> Type) -> TyFun (NonEmpty a6989586621679726412) (NonEmpty b6989586621679726413) -> *) (MapSym1 a6989586621679726412 b6989586621679726413) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726366 o6989586621679726365 -> Type) -> TyFun (NonEmpty a6989586621679726366) (NonEmpty a6989586621679726366) -> *) (SortWithSym1 o6989586621679726365 a6989586621679726366) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726381 b6989586621679726380 -> Type) -> TyFun (NonEmpty a6989586621679726381) (NonEmpty (NonEmpty a6989586621679726381)) -> *) (GroupAllWith1Sym1 b6989586621679726380 a6989586621679726381) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679726407 (TyFun a6989586621679726408 b6989586621679726407 -> Type) -> Type) -> b6989586621679726407 -> TyFun [a6989586621679726408] (NonEmpty b6989586621679726407) -> *) (ScanlSym2 a6989586621679726408 b6989586621679726407) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679726407 (TyFun a6989586621679726408 b6989586621679726407 -> Type) -> Type) -> TyFun b6989586621679726407 (TyFun [a6989586621679726408] (NonEmpty b6989586621679726407) -> Type) -> *) (ScanlSym1 a6989586621679726408 b6989586621679726407) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726405 (TyFun b6989586621679726406 b6989586621679726406 -> Type) -> Type) -> b6989586621679726406 -> TyFun [a6989586621679726405] (NonEmpty b6989586621679726406) -> *) (ScanrSym2 a6989586621679726405 b6989586621679726406) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726405 (TyFun b6989586621679726406 b6989586621679726406 -> Type) -> Type) -> TyFun b6989586621679726406 (TyFun [a6989586621679726405] (NonEmpty b6989586621679726406) -> Type) -> *) (ScanrSym1 a6989586621679726405 b6989586621679726406) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726425 (b6989586621679726426, Maybe a6989586621679726425) -> Type) -> TyFun a6989586621679726425 (NonEmpty b6989586621679726426) -> *) (UnfoldrSym1 a6989586621679726425 b6989586621679726426) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726429 (b6989586621679726430, Maybe a6989586621679726429) -> Type) -> TyFun a6989586621679726429 (NonEmpty b6989586621679726430) -> *) (UnfoldSym1 a6989586621679726429 b6989586621679726430) Source # | |
SuppressUnusedWarnings ([a6989586621679454920] -> TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> *) (ZipSym1 a6989586621679454920 b6989586621679454921) Source # | |
SuppressUnusedWarnings ([a6989586621679873421] -> TyFun i6989586621679873420 a6989586621679873421 -> *) (GenericIndexSym1 i6989586621679873420 a6989586621679873421) Source # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # | |
SuppressUnusedWarnings (a6989586621679277904 -> TyFun b6989586621679277905 b6989586621679277905 -> *) (SeqSym1 a6989586621679277904 b6989586621679277905) Source # | |
SuppressUnusedWarnings (a6989586621679277913 -> TyFun b6989586621679277914 a6989586621679277913 -> *) (ConstSym1 b6989586621679277914 a6989586621679277913) Source # | |
SuppressUnusedWarnings (a6989586621679289772 -> TyFun (TyFun a6989586621679289772 b6989586621679289773 -> Type) b6989586621679289773 -> *) ((:&$$) a6989586621679289772 b6989586621679289773) Source # | |
SuppressUnusedWarnings (b6989586621679423211 -> (TyFun a6989586621679423212 b6989586621679423211 -> Type) -> TyFun (Maybe a6989586621679423212) b6989586621679423211 -> *) (Maybe_Sym2 a6989586621679423212 b6989586621679423211) Source # | |
SuppressUnusedWarnings (b6989586621679423211 -> TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> *) (Maybe_Sym1 a6989586621679423212 b6989586621679423211) Source # | |
SuppressUnusedWarnings (a6989586621679454851 -> TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> *) (LookupSym1 a6989586621679454851 b6989586621679454852) Source # | |
SuppressUnusedWarnings (i6989586621679873418 -> TyFun a6989586621679873419 [a6989586621679873419] -> *) (GenericReplicateSym1 i6989586621679873418 a6989586621679873419) Source # | |
SuppressUnusedWarnings (i6989586621679873422 -> TyFun [a6989586621679873423] ([a6989586621679873423], [a6989586621679873423]) -> *) (GenericSplitAtSym1 i6989586621679873422 a6989586621679873423) Source # | |
SuppressUnusedWarnings (i6989586621679873424 -> TyFun [a6989586621679873425] [a6989586621679873425] -> *) (GenericDropSym1 i6989586621679873424 a6989586621679873425) Source # | |
SuppressUnusedWarnings (i6989586621679873426 -> TyFun [a6989586621679873427] [a6989586621679873427] -> *) (GenericTakeSym1 i6989586621679873426 a6989586621679873427) Source # | |
SuppressUnusedWarnings (NonEmpty a6989586621679726376 -> TyFun (NonEmpty b6989586621679726377) (NonEmpty (a6989586621679726376, b6989586621679726377)) -> *) (ZipSym1 a6989586621679726376 b6989586621679726377) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) -> *) (MapSym0 a6989586621679277917 b6989586621679277918) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679277919 b6989586621679277920) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679309367 a6989586621679309366 -> Type) (TyFun b6989586621679309367 (TyFun b6989586621679309367 Ordering -> Type) -> Type) -> *) (ComparingSym0 a6989586621679309366 b6989586621679309367) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679424316 (Maybe b6989586621679424317) -> Type) (TyFun [a6989586621679424316] [b6989586621679424317] -> Type) -> *) (MapMaybeSym0 a6989586621679424316 b6989586621679424317) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679454929 (Maybe (a6989586621679454930, b6989586621679454929)) -> Type) (TyFun b6989586621679454929 [a6989586621679454930] -> Type) -> *) (UnfoldrSym0 b6989586621679454929 a6989586621679454930) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679454938 b6989586621679454939) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679454942 b6989586621679454941) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) -> *) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679454951 (TyFun a6989586621679454950 b6989586621679454951 -> Type) -> Type) (TyFun b6989586621679454951 (TyFun [a6989586621679454950] b6989586621679454951 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679454950 b6989586621679454951) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726389 b6989586621679726388 -> Type) (TyFun [a6989586621679726389] [NonEmpty a6989586621679726389] -> Type) -> *) (GroupWithSym0 b6989586621679726388 a6989586621679726389) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726387 b6989586621679726386 -> Type) (TyFun [a6989586621679726387] [NonEmpty a6989586621679726387] -> Type) -> *) (GroupAllWithSym0 b6989586621679726386 a6989586621679726387) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726383 b6989586621679726382 -> Type) (TyFun (NonEmpty a6989586621679726383) (NonEmpty (NonEmpty a6989586621679726383)) -> Type) -> *) (GroupWith1Sym0 b6989586621679726382 a6989586621679726383) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726412 b6989586621679726413 -> Type) (TyFun (NonEmpty a6989586621679726412) (NonEmpty b6989586621679726413) -> Type) -> *) (MapSym0 a6989586621679726412 b6989586621679726413) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726366 o6989586621679726365 -> Type) (TyFun (NonEmpty a6989586621679726366) (NonEmpty a6989586621679726366) -> Type) -> *) (SortWithSym0 o6989586621679726365 a6989586621679726366) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726381 b6989586621679726380 -> Type) (TyFun (NonEmpty a6989586621679726381) (NonEmpty (NonEmpty a6989586621679726381)) -> Type) -> *) (GroupAllWith1Sym0 b6989586621679726380 a6989586621679726381) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679726407 (TyFun a6989586621679726408 b6989586621679726407 -> Type) -> Type) (TyFun b6989586621679726407 (TyFun [a6989586621679726408] (NonEmpty b6989586621679726407) -> Type) -> Type) -> *) (ScanlSym0 a6989586621679726408 b6989586621679726407) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726405 (TyFun b6989586621679726406 b6989586621679726406 -> Type) -> Type) (TyFun b6989586621679726406 (TyFun [a6989586621679726405] (NonEmpty b6989586621679726406) -> Type) -> Type) -> *) (ScanrSym0 a6989586621679726405 b6989586621679726406) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726425 (b6989586621679726426, Maybe a6989586621679726425) -> Type) (TyFun a6989586621679726425 (NonEmpty b6989586621679726426) -> Type) -> *) (UnfoldrSym0 a6989586621679726425 b6989586621679726426) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726429 (b6989586621679726430, Maybe a6989586621679726429) -> Type) (TyFun a6989586621679726429 (NonEmpty b6989586621679726430) -> Type) -> *) (UnfoldSym0 a6989586621679726429 b6989586621679726430) Source # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679434166 b6989586621679434167] [b6989586621679434167] -> *) (RightsSym0 a6989586621679434166 b6989586621679434167) Source # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679434168 b6989586621679434169] [a6989586621679434168] -> *) (LeftsSym0 b6989586621679434169 a6989586621679434168) Source # | |
SuppressUnusedWarnings (TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909]) -> *) (UnzipSym0 a6989586621679454908 b6989586621679454909) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454837] i6989586621679454836 -> *) (GenericLengthSym0 a6989586621679454837 i6989586621679454836) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) -> *) (ZipSym0 a6989586621679454920 b6989586621679454921) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679873421] (TyFun i6989586621679873420 a6989586621679873421 -> Type) -> *) (GenericIndexSym0 i6989586621679873420 a6989586621679873421) Source # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679434160 b6989586621679434161) Bool -> *) (IsRightSym0 a6989586621679434160 b6989586621679434161) Source # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679434162 b6989586621679434163) Bool -> *) (IsLeftSym0 a6989586621679434162 b6989586621679434163) Source # | |
SuppressUnusedWarnings (TyFun (a6989586621679419265, b6989586621679419266) (b6989586621679419266, a6989586621679419265) -> *) (SwapSym0 b6989586621679419266 a6989586621679419265) Source # | |
SuppressUnusedWarnings (TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274 -> *) (SndSym0 a6989586621679419273 b6989586621679419274) Source # | |
SuppressUnusedWarnings (TyFun (a6989586621679419275, b6989586621679419276) a6989586621679419275 -> *) (FstSym0 b6989586621679419276 a6989586621679419275) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802) -> *) (LeftSym0 a6989586621679072801 b6989586621679072802) Source # | |
SuppressUnusedWarnings (TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802) -> *) (RightSym0 a6989586621679072801 b6989586621679072802) Source # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) -> *) (SeqSym0 a6989586621679277904 b6989586621679277905) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) -> *) (ConstSym0 b6989586621679277914 a6989586621679277913) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679289772 (TyFun (TyFun a6989586621679289772 b6989586621679289773 -> Type) b6989586621679289773 -> Type) -> *) ((:&$) a6989586621679289772 b6989586621679289773) Source # | |
SuppressUnusedWarnings (TyFun k06989586621679399311 k6989586621679399313 -> *) (ErrorSym0 k06989586621679399311 k6989586621679399313) Source # | |
SuppressUnusedWarnings (TyFun b6989586621679423211 (TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679423212 b6989586621679423211) Source # | |
SuppressUnusedWarnings (TyFun a6989586621679454851 (TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> Type) -> *) (LookupSym0 a6989586621679454851 b6989586621679454852) Source # | |
SuppressUnusedWarnings (TyFun i6989586621679873418 (TyFun a6989586621679873419 [a6989586621679873419] -> Type) -> *) (GenericReplicateSym0 i6989586621679873418 a6989586621679873419) Source # | |
SuppressUnusedWarnings (TyFun i6989586621679873422 (TyFun [a6989586621679873423] ([a6989586621679873423], [a6989586621679873423]) -> Type) -> *) (GenericSplitAtSym0 i6989586621679873422 a6989586621679873423) Source # | |
SuppressUnusedWarnings (TyFun i6989586621679873424 (TyFun [a6989586621679873425] [a6989586621679873425] -> Type) -> *) (GenericDropSym0 i6989586621679873424 a6989586621679873425) Source # | |
SuppressUnusedWarnings (TyFun i6989586621679873426 (TyFun [a6989586621679873427] [a6989586621679873427] -> Type) -> *) (GenericTakeSym0 i6989586621679873426 a6989586621679873427) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty (a6989586621679726371, b6989586621679726372)) (NonEmpty a6989586621679726371, NonEmpty b6989586621679726372) -> *) (UnzipSym0 a6989586621679726371 b6989586621679726372) Source # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726376) (TyFun (NonEmpty b6989586621679726377) (NonEmpty (a6989586621679726376, b6989586621679726377)) -> Type) -> *) (ZipSym0 a6989586621679726376 b6989586621679726377) Source # | |
SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> a6989586621679419270 -> TyFun b6989586621679419271 c6989586621679419272 -> *) (CurrySym2 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
SuppressUnusedWarnings ((TyFun (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) -> TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> *) (CurrySym1 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> b6989586621679277908 -> TyFun a6989586621679277907 c6989586621679277909 -> *) (FlipSym2 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) -> TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> *) (FlipSym1 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> (TyFun a6989586621679277912 b6989586621679277910 -> Type) -> TyFun a6989586621679277912 c6989586621679277911 -> *) ((:.$$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679277910 c6989586621679277911 -> Type) -> TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> *) ((:.$$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679289774 (TyFun b6989586621679289774 c6989586621679289775 -> Type) -> Type) -> (TyFun a6989586621679289776 b6989586621679289774 -> Type) -> a6989586621679289776 -> TyFun a6989586621679289776 c6989586621679289775 -> *) (OnSym3 b6989586621679289774 a6989586621679289776 c6989586621679289775) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679289774 (TyFun b6989586621679289774 c6989586621679289775 -> Type) -> Type) -> (TyFun a6989586621679289776 b6989586621679289774 -> Type) -> TyFun a6989586621679289776 (TyFun a6989586621679289776 c6989586621679289775 -> Type) -> *) (OnSym2 b6989586621679289774 a6989586621679289776 c6989586621679289775) Source # | |
SuppressUnusedWarnings ((TyFun b6989586621679289774 (TyFun b6989586621679289774 c6989586621679289775 -> Type) -> Type) -> TyFun (TyFun a6989586621679289776 b6989586621679289774 -> Type) (TyFun a6989586621679289776 (TyFun a6989586621679289776 c6989586621679289775 -> Type) -> Type) -> *) (OnSym1 b6989586621679289774 a6989586621679289776 c6989586621679289775) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) -> TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> *) (UncurrySym1 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> (TyFun b6989586621679433058 c6989586621679433057 -> Type) -> TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> *) (Either_Sym2 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679433056 c6989586621679433057 -> Type) -> TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> *) (Either_Sym1 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> *) (ZipWithSym1 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) -> [a6989586621679454914] -> TyFun [b6989586621679454915] [c6989586621679454916] -> *) (ZipWithSym2 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
SuppressUnusedWarnings ((TyFun acc6989586621679454931 (TyFun x6989586621679454932 (acc6989586621679454931, y6989586621679454933) -> Type) -> Type) -> TyFun acc6989586621679454931 (TyFun [x6989586621679454932] (acc6989586621679454931, [y6989586621679454933]) -> Type) -> *) (MapAccumRSym1 x6989586621679454932 acc6989586621679454931 y6989586621679454933) Source # | |
SuppressUnusedWarnings ((TyFun acc6989586621679454931 (TyFun x6989586621679454932 (acc6989586621679454931, y6989586621679454933) -> Type) -> Type) -> acc6989586621679454931 -> TyFun [x6989586621679454932] (acc6989586621679454931, [y6989586621679454933]) -> *) (MapAccumRSym2 x6989586621679454932 acc6989586621679454931 y6989586621679454933) Source # | |
SuppressUnusedWarnings ((TyFun acc6989586621679454934 (TyFun x6989586621679454935 (acc6989586621679454934, y6989586621679454936) -> Type) -> Type) -> TyFun acc6989586621679454934 (TyFun [x6989586621679454935] (acc6989586621679454934, [y6989586621679454936]) -> Type) -> *) (MapAccumLSym1 x6989586621679454935 acc6989586621679454934 y6989586621679454936) Source # | |
SuppressUnusedWarnings ((TyFun acc6989586621679454934 (TyFun x6989586621679454935 (acc6989586621679454934, y6989586621679454936) -> Type) -> Type) -> acc6989586621679454934 -> TyFun [x6989586621679454935] (acc6989586621679454934, [y6989586621679454936]) -> *) (MapAccumLSym2 x6989586621679454935 acc6989586621679454934 y6989586621679454936) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726373 (TyFun b6989586621679726374 c6989586621679726375 -> Type) -> Type) -> NonEmpty a6989586621679726373 -> TyFun (NonEmpty b6989586621679726374) (NonEmpty c6989586621679726375) -> *) (ZipWithSym2 a6989586621679726373 b6989586621679726374 c6989586621679726375) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679726373 (TyFun b6989586621679726374 c6989586621679726375 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726373) (TyFun (NonEmpty b6989586621679726374) (NonEmpty c6989586621679726375) -> Type) -> *) (ZipWithSym1 a6989586621679726373 b6989586621679726374 c6989586621679726375) Source # | |
SuppressUnusedWarnings ([a6989586621679454917] -> TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> *) (Zip3Sym1 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
SuppressUnusedWarnings ([a6989586621679454917] -> [b6989586621679454918] -> TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> *) (Zip3Sym2 a6989586621679454917 b6989586621679454918 c6989586621679454919) 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 (a6989586621679419270, b6989586621679419271) c6989586621679419272 -> Type) (TyFun a6989586621679419270 (TyFun b6989586621679419271 c6989586621679419272 -> Type) -> Type) -> *) (CurrySym0 a6989586621679419270 b6989586621679419271 c6989586621679419272) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679277907 (TyFun b6989586621679277908 c6989586621679277909 -> Type) -> Type) (TyFun b6989586621679277908 (TyFun a6989586621679277907 c6989586621679277909 -> Type) -> Type) -> *) (FlipSym0 b6989586621679277908 a6989586621679277907 c6989586621679277909) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679277910 c6989586621679277911 -> Type) (TyFun (TyFun a6989586621679277912 b6989586621679277910 -> Type) (TyFun a6989586621679277912 c6989586621679277911 -> Type) -> Type) -> *) ((:.$) b6989586621679277910 a6989586621679277912 c6989586621679277911) Source # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679289774 (TyFun b6989586621679289774 c6989586621679289775 -> Type) -> Type) (TyFun (TyFun a6989586621679289776 b6989586621679289774 -> Type) (TyFun a6989586621679289776 (TyFun a6989586621679289776 c6989586621679289775 -> Type) -> Type) -> Type) -> *) (OnSym0 b6989586621679289774 a6989586621679289776 c6989586621679289775) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679419267 (TyFun b6989586621679419268 c6989586621679419269 -> Type) -> Type) (TyFun (a6989586621679419267, b6989586621679419268) c6989586621679419269 -> Type) -> *) (UncurrySym0 a6989586621679419267 b6989586621679419268 c6989586621679419269) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679433056 c6989586621679433057 -> Type) (TyFun (TyFun b6989586621679433058 c6989586621679433057 -> Type) (TyFun (Either a6989586621679433056 b6989586621679433058) c6989586621679433057 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679433056 b6989586621679433058 c6989586621679433057) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679454914 (TyFun b6989586621679454915 c6989586621679454916 -> Type) -> Type) (TyFun [a6989586621679454914] (TyFun [b6989586621679454915] [c6989586621679454916] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679454914 b6989586621679454915 c6989586621679454916) Source # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679454931 (TyFun x6989586621679454932 (acc6989586621679454931, y6989586621679454933) -> Type) -> Type) (TyFun acc6989586621679454931 (TyFun [x6989586621679454932] (acc6989586621679454931, [y6989586621679454933]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679454932 acc6989586621679454931 y6989586621679454933) Source # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679454934 (TyFun x6989586621679454935 (acc6989586621679454934, y6989586621679454936) -> Type) -> Type) (TyFun acc6989586621679454934 (TyFun [x6989586621679454935] (acc6989586621679454934, [y6989586621679454936]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679454935 acc6989586621679454934 y6989586621679454936) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679726373 (TyFun b6989586621679726374 c6989586621679726375 -> Type) -> Type) (TyFun (NonEmpty a6989586621679726373) (TyFun (NonEmpty b6989586621679726374) (NonEmpty c6989586621679726375) -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679726373 b6989586621679726374 c6989586621679726375) Source # | |
SuppressUnusedWarnings (TyFun [(a6989586621679454905, b6989586621679454906, c6989586621679454907)] ([a6989586621679454905], [b6989586621679454906], [c6989586621679454907]) -> *) (Unzip3Sym0 a6989586621679454905 b6989586621679454906 c6989586621679454907) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679454917] (TyFun [b6989586621679454918] (TyFun [c6989586621679454919] [(a6989586621679454917, b6989586621679454918, c6989586621679454919)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679454917 b6989586621679454918 c6989586621679454919) Source # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> *) (ZipWith3Sym2 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) -> [a6989586621679454910] -> [b6989586621679454911] -> TyFun [c6989586621679454912] [d6989586621679454913] -> *) (ZipWith3Sym3 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
SuppressUnusedWarnings ([a6989586621679873472] -> [b6989586621679873473] -> [c6989586621679873474] -> TyFun [d6989586621679873475] [(a6989586621679873472, b6989586621679873473, c6989586621679873474, d6989586621679873475)] -> *) (Zip4Sym3 a6989586621679873472 b6989586621679873473 c6989586621679873474 d6989586621679873475) Source # | |
SuppressUnusedWarnings ([a6989586621679873472] -> [b6989586621679873473] -> TyFun [c6989586621679873474] (TyFun [d6989586621679873475] [(a6989586621679873472, b6989586621679873473, c6989586621679873474, d6989586621679873475)] -> Type) -> *) (Zip4Sym2 a6989586621679873472 b6989586621679873473 c6989586621679873474 d6989586621679873475) Source # | |
SuppressUnusedWarnings ([a6989586621679873472] -> TyFun [b6989586621679873473] (TyFun [c6989586621679873474] (TyFun [d6989586621679873475] [(a6989586621679873472, b6989586621679873473, c6989586621679873474, d6989586621679873475)] -> Type) -> Type) -> *) (Zip4Sym1 a6989586621679873472 b6989586621679873473 c6989586621679873474 d6989586621679873475) 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 a6989586621679454910 (TyFun b6989586621679454911 (TyFun c6989586621679454912 d6989586621679454913 -> Type) -> Type) -> Type) (TyFun [a6989586621679454910] (TyFun [b6989586621679454911] (TyFun [c6989586621679454912] [d6989586621679454913] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679454910 b6989586621679454911 c6989586621679454912 d6989586621679454913) Source # | |
SuppressUnusedWarnings (TyFun [(a6989586621679454901, b6989586621679454902, c6989586621679454903, d6989586621679454904)] ([a6989586621679454901], [b6989586621679454902], [c6989586621679454903], [d6989586621679454904]) -> *) (Unzip4Sym0 a6989586621679454901 b6989586621679454902 c6989586621679454903 d6989586621679454904) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679873472] (TyFun [b6989586621679873473] (TyFun [c6989586621679873474] (TyFun [d6989586621679873475] [(a6989586621679873472, b6989586621679873473, c6989586621679873474, d6989586621679873475)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621679873472 b6989586621679873473 c6989586621679873474 d6989586621679873475) 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 a6989586621679873449 (TyFun b6989586621679873450 (TyFun c6989586621679873451 (TyFun d6989586621679873452 e6989586621679873453 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679873449] (TyFun [b6989586621679873450] (TyFun [c6989586621679873451] (TyFun [d6989586621679873452] [e6989586621679873453] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621679873449 b6989586621679873450 c6989586621679873451 d6989586621679873452 e6989586621679873453) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873449 (TyFun b6989586621679873450 (TyFun c6989586621679873451 (TyFun d6989586621679873452 e6989586621679873453 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873449] -> TyFun [b6989586621679873450] (TyFun [c6989586621679873451] (TyFun [d6989586621679873452] [e6989586621679873453] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621679873449 b6989586621679873450 c6989586621679873451 d6989586621679873452 e6989586621679873453) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873449 (TyFun b6989586621679873450 (TyFun c6989586621679873451 (TyFun d6989586621679873452 e6989586621679873453 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873449] -> [b6989586621679873450] -> TyFun [c6989586621679873451] (TyFun [d6989586621679873452] [e6989586621679873453] -> Type) -> *) (ZipWith4Sym3 a6989586621679873449 b6989586621679873450 c6989586621679873451 d6989586621679873452 e6989586621679873453) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873449 (TyFun b6989586621679873450 (TyFun c6989586621679873451 (TyFun d6989586621679873452 e6989586621679873453 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873449] -> [b6989586621679873450] -> [c6989586621679873451] -> TyFun [d6989586621679873452] [e6989586621679873453] -> *) (ZipWith4Sym4 a6989586621679873449 b6989586621679873450 c6989586621679873451 d6989586621679873452 e6989586621679873453) Source # | |
SuppressUnusedWarnings ([a6989586621679873467] -> [b6989586621679873468] -> [c6989586621679873469] -> [d6989586621679873470] -> TyFun [e6989586621679873471] [(a6989586621679873467, b6989586621679873468, c6989586621679873469, d6989586621679873470, e6989586621679873471)] -> *) (Zip5Sym4 a6989586621679873467 b6989586621679873468 c6989586621679873469 d6989586621679873470 e6989586621679873471) Source # | |
SuppressUnusedWarnings ([a6989586621679873467] -> [b6989586621679873468] -> [c6989586621679873469] -> TyFun [d6989586621679873470] (TyFun [e6989586621679873471] [(a6989586621679873467, b6989586621679873468, c6989586621679873469, d6989586621679873470, e6989586621679873471)] -> Type) -> *) (Zip5Sym3 a6989586621679873467 b6989586621679873468 c6989586621679873469 d6989586621679873470 e6989586621679873471) Source # | |
SuppressUnusedWarnings ([a6989586621679873467] -> [b6989586621679873468] -> TyFun [c6989586621679873469] (TyFun [d6989586621679873470] (TyFun [e6989586621679873471] [(a6989586621679873467, b6989586621679873468, c6989586621679873469, d6989586621679873470, e6989586621679873471)] -> Type) -> Type) -> *) (Zip5Sym2 a6989586621679873467 b6989586621679873468 c6989586621679873469 d6989586621679873470 e6989586621679873471) Source # | |
SuppressUnusedWarnings ([a6989586621679873467] -> TyFun [b6989586621679873468] (TyFun [c6989586621679873469] (TyFun [d6989586621679873470] (TyFun [e6989586621679873471] [(a6989586621679873467, b6989586621679873468, c6989586621679873469, d6989586621679873470, e6989586621679873471)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 a6989586621679873467 b6989586621679873468 c6989586621679873469 d6989586621679873470 e6989586621679873471) 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 a6989586621679873449 (TyFun b6989586621679873450 (TyFun c6989586621679873451 (TyFun d6989586621679873452 e6989586621679873453 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679873449] (TyFun [b6989586621679873450] (TyFun [c6989586621679873451] (TyFun [d6989586621679873452] [e6989586621679873453] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621679873449 b6989586621679873450 c6989586621679873451 d6989586621679873452 e6989586621679873453) Source # | |
SuppressUnusedWarnings (TyFun [(a6989586621679454896, b6989586621679454897, c6989586621679454898, d6989586621679454899, e6989586621679454900)] ([a6989586621679454896], [b6989586621679454897], [c6989586621679454898], [d6989586621679454899], [e6989586621679454900]) -> *) (Unzip5Sym0 a6989586621679454896 b6989586621679454897 c6989586621679454898 d6989586621679454899 e6989586621679454900) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679873467] (TyFun [b6989586621679873468] (TyFun [c6989586621679873469] (TyFun [d6989586621679873470] (TyFun [e6989586621679873471] [(a6989586621679873467, b6989586621679873468, c6989586621679873469, d6989586621679873470, e6989586621679873471)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621679873467 b6989586621679873468 c6989586621679873469 d6989586621679873470 e6989586621679873471) 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 a6989586621679873443 (TyFun b6989586621679873444 (TyFun c6989586621679873445 (TyFun d6989586621679873446 (TyFun e6989586621679873447 f6989586621679873448 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679873443] (TyFun [b6989586621679873444] (TyFun [c6989586621679873445] (TyFun [d6989586621679873446] (TyFun [e6989586621679873447] [f6989586621679873448] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621679873443 b6989586621679873444 c6989586621679873445 d6989586621679873446 e6989586621679873447 f6989586621679873448) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873443 (TyFun b6989586621679873444 (TyFun c6989586621679873445 (TyFun d6989586621679873446 (TyFun e6989586621679873447 f6989586621679873448 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873443] -> TyFun [b6989586621679873444] (TyFun [c6989586621679873445] (TyFun [d6989586621679873446] (TyFun [e6989586621679873447] [f6989586621679873448] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621679873443 b6989586621679873444 c6989586621679873445 d6989586621679873446 e6989586621679873447 f6989586621679873448) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873443 (TyFun b6989586621679873444 (TyFun c6989586621679873445 (TyFun d6989586621679873446 (TyFun e6989586621679873447 f6989586621679873448 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873443] -> [b6989586621679873444] -> TyFun [c6989586621679873445] (TyFun [d6989586621679873446] (TyFun [e6989586621679873447] [f6989586621679873448] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621679873443 b6989586621679873444 c6989586621679873445 d6989586621679873446 e6989586621679873447 f6989586621679873448) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873443 (TyFun b6989586621679873444 (TyFun c6989586621679873445 (TyFun d6989586621679873446 (TyFun e6989586621679873447 f6989586621679873448 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873443] -> [b6989586621679873444] -> [c6989586621679873445] -> TyFun [d6989586621679873446] (TyFun [e6989586621679873447] [f6989586621679873448] -> Type) -> *) (ZipWith5Sym4 a6989586621679873443 b6989586621679873444 c6989586621679873445 d6989586621679873446 e6989586621679873447 f6989586621679873448) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873443 (TyFun b6989586621679873444 (TyFun c6989586621679873445 (TyFun d6989586621679873446 (TyFun e6989586621679873447 f6989586621679873448 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873443] -> [b6989586621679873444] -> [c6989586621679873445] -> [d6989586621679873446] -> TyFun [e6989586621679873447] [f6989586621679873448] -> *) (ZipWith5Sym5 a6989586621679873443 b6989586621679873444 c6989586621679873445 d6989586621679873446 e6989586621679873447 f6989586621679873448) Source # | |
SuppressUnusedWarnings ([a6989586621679873461] -> [b6989586621679873462] -> [c6989586621679873463] -> [d6989586621679873464] -> [e6989586621679873465] -> TyFun [f6989586621679873466] [(a6989586621679873461, b6989586621679873462, c6989586621679873463, d6989586621679873464, e6989586621679873465, f6989586621679873466)] -> *) (Zip6Sym5 a6989586621679873461 b6989586621679873462 c6989586621679873463 d6989586621679873464 e6989586621679873465 f6989586621679873466) Source # | |
SuppressUnusedWarnings ([a6989586621679873461] -> [b6989586621679873462] -> [c6989586621679873463] -> [d6989586621679873464] -> TyFun [e6989586621679873465] (TyFun [f6989586621679873466] [(a6989586621679873461, b6989586621679873462, c6989586621679873463, d6989586621679873464, e6989586621679873465, f6989586621679873466)] -> Type) -> *) (Zip6Sym4 a6989586621679873461 b6989586621679873462 c6989586621679873463 d6989586621679873464 e6989586621679873465 f6989586621679873466) Source # | |
SuppressUnusedWarnings ([a6989586621679873461] -> [b6989586621679873462] -> [c6989586621679873463] -> TyFun [d6989586621679873464] (TyFun [e6989586621679873465] (TyFun [f6989586621679873466] [(a6989586621679873461, b6989586621679873462, c6989586621679873463, d6989586621679873464, e6989586621679873465, f6989586621679873466)] -> Type) -> Type) -> *) (Zip6Sym3 a6989586621679873461 b6989586621679873462 c6989586621679873463 d6989586621679873464 e6989586621679873465 f6989586621679873466) Source # | |
SuppressUnusedWarnings ([a6989586621679873461] -> [b6989586621679873462] -> TyFun [c6989586621679873463] (TyFun [d6989586621679873464] (TyFun [e6989586621679873465] (TyFun [f6989586621679873466] [(a6989586621679873461, b6989586621679873462, c6989586621679873463, d6989586621679873464, e6989586621679873465, f6989586621679873466)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 a6989586621679873461 b6989586621679873462 c6989586621679873463 d6989586621679873464 e6989586621679873465 f6989586621679873466) Source # | |
SuppressUnusedWarnings ([a6989586621679873461] -> TyFun [b6989586621679873462] (TyFun [c6989586621679873463] (TyFun [d6989586621679873464] (TyFun [e6989586621679873465] (TyFun [f6989586621679873466] [(a6989586621679873461, b6989586621679873462, c6989586621679873463, d6989586621679873464, e6989586621679873465, f6989586621679873466)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 a6989586621679873461 b6989586621679873462 c6989586621679873463 d6989586621679873464 e6989586621679873465 f6989586621679873466) 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 a6989586621679873443 (TyFun b6989586621679873444 (TyFun c6989586621679873445 (TyFun d6989586621679873446 (TyFun e6989586621679873447 f6989586621679873448 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679873443] (TyFun [b6989586621679873444] (TyFun [c6989586621679873445] (TyFun [d6989586621679873446] (TyFun [e6989586621679873447] [f6989586621679873448] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621679873443 b6989586621679873444 c6989586621679873445 d6989586621679873446 e6989586621679873447 f6989586621679873448) Source # | |
SuppressUnusedWarnings (TyFun [(a6989586621679454890, b6989586621679454891, c6989586621679454892, d6989586621679454893, e6989586621679454894, f6989586621679454895)] ([a6989586621679454890], [b6989586621679454891], [c6989586621679454892], [d6989586621679454893], [e6989586621679454894], [f6989586621679454895]) -> *) (Unzip6Sym0 a6989586621679454890 b6989586621679454891 c6989586621679454892 d6989586621679454893 e6989586621679454894 f6989586621679454895) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679873461] (TyFun [b6989586621679873462] (TyFun [c6989586621679873463] (TyFun [d6989586621679873464] (TyFun [e6989586621679873465] (TyFun [f6989586621679873466] [(a6989586621679873461, b6989586621679873462, c6989586621679873463, d6989586621679873464, e6989586621679873465, f6989586621679873466)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621679873461 b6989586621679873462 c6989586621679873463 d6989586621679873464 e6989586621679873465 f6989586621679873466) 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 a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679873436] (TyFun [b6989586621679873437] (TyFun [c6989586621679873438] (TyFun [d6989586621679873439] (TyFun [e6989586621679873440] (TyFun [f6989586621679873441] [g6989586621679873442] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873436] -> TyFun [b6989586621679873437] (TyFun [c6989586621679873438] (TyFun [d6989586621679873439] (TyFun [e6989586621679873440] (TyFun [f6989586621679873441] [g6989586621679873442] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873436] -> [b6989586621679873437] -> TyFun [c6989586621679873438] (TyFun [d6989586621679873439] (TyFun [e6989586621679873440] (TyFun [f6989586621679873441] [g6989586621679873442] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873436] -> [b6989586621679873437] -> [c6989586621679873438] -> TyFun [d6989586621679873439] (TyFun [e6989586621679873440] (TyFun [f6989586621679873441] [g6989586621679873442] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873436] -> [b6989586621679873437] -> [c6989586621679873438] -> [d6989586621679873439] -> TyFun [e6989586621679873440] (TyFun [f6989586621679873441] [g6989586621679873442] -> Type) -> *) (ZipWith6Sym5 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873436] -> [b6989586621679873437] -> [c6989586621679873438] -> [d6989586621679873439] -> [e6989586621679873440] -> TyFun [f6989586621679873441] [g6989586621679873442] -> *) (ZipWith6Sym6 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings ([a6989586621679873454] -> [b6989586621679873455] -> [c6989586621679873456] -> [d6989586621679873457] -> [e6989586621679873458] -> [f6989586621679873459] -> TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> *) (Zip7Sym6 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) Source # | |
SuppressUnusedWarnings ([a6989586621679873454] -> [b6989586621679873455] -> [c6989586621679873456] -> [d6989586621679873457] -> [e6989586621679873458] -> TyFun [f6989586621679873459] (TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> Type) -> *) (Zip7Sym5 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) Source # | |
SuppressUnusedWarnings ([a6989586621679873454] -> [b6989586621679873455] -> [c6989586621679873456] -> [d6989586621679873457] -> TyFun [e6989586621679873458] (TyFun [f6989586621679873459] (TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> Type) -> Type) -> *) (Zip7Sym4 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) Source # | |
SuppressUnusedWarnings ([a6989586621679873454] -> [b6989586621679873455] -> [c6989586621679873456] -> TyFun [d6989586621679873457] (TyFun [e6989586621679873458] (TyFun [f6989586621679873459] (TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) Source # | |
SuppressUnusedWarnings ([a6989586621679873454] -> [b6989586621679873455] -> TyFun [c6989586621679873456] (TyFun [d6989586621679873457] (TyFun [e6989586621679873458] (TyFun [f6989586621679873459] (TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) Source # | |
SuppressUnusedWarnings ([a6989586621679873454] -> TyFun [b6989586621679873455] (TyFun [c6989586621679873456] (TyFun [d6989586621679873457] (TyFun [e6989586621679873458] (TyFun [f6989586621679873459] (TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) 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 a6989586621679873436 (TyFun b6989586621679873437 (TyFun c6989586621679873438 (TyFun d6989586621679873439 (TyFun e6989586621679873440 (TyFun f6989586621679873441 g6989586621679873442 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679873436] (TyFun [b6989586621679873437] (TyFun [c6989586621679873438] (TyFun [d6989586621679873439] (TyFun [e6989586621679873440] (TyFun [f6989586621679873441] [g6989586621679873442] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621679873436 b6989586621679873437 c6989586621679873438 d6989586621679873439 e6989586621679873440 f6989586621679873441 g6989586621679873442) Source # | |
SuppressUnusedWarnings (TyFun [(a6989586621679454883, b6989586621679454884, c6989586621679454885, d6989586621679454886, e6989586621679454887, f6989586621679454888, g6989586621679454889)] ([a6989586621679454883], [b6989586621679454884], [c6989586621679454885], [d6989586621679454886], [e6989586621679454887], [f6989586621679454888], [g6989586621679454889]) -> *) (Unzip7Sym0 a6989586621679454883 b6989586621679454884 c6989586621679454885 d6989586621679454886 e6989586621679454887 f6989586621679454888 g6989586621679454889) Source # | |
SuppressUnusedWarnings (TyFun [a6989586621679873454] (TyFun [b6989586621679873455] (TyFun [c6989586621679873456] (TyFun [d6989586621679873457] (TyFun [e6989586621679873458] (TyFun [f6989586621679873459] (TyFun [g6989586621679873460] [(a6989586621679873454, b6989586621679873455, c6989586621679873456, d6989586621679873457, e6989586621679873458, f6989586621679873459, g6989586621679873460)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621679873454 b6989586621679873455 c6989586621679873456 d6989586621679873457 e6989586621679873458 f6989586621679873459 g6989586621679873460) 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 a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679873428] (TyFun [b6989586621679873429] (TyFun [c6989586621679873430] (TyFun [d6989586621679873431] (TyFun [e6989586621679873432] (TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873428] -> TyFun [b6989586621679873429] (TyFun [c6989586621679873430] (TyFun [d6989586621679873431] (TyFun [e6989586621679873432] (TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873428] -> [b6989586621679873429] -> TyFun [c6989586621679873430] (TyFun [d6989586621679873431] (TyFun [e6989586621679873432] (TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873428] -> [b6989586621679873429] -> [c6989586621679873430] -> TyFun [d6989586621679873431] (TyFun [e6989586621679873432] (TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873428] -> [b6989586621679873429] -> [c6989586621679873430] -> [d6989586621679873431] -> TyFun [e6989586621679873432] (TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873428] -> [b6989586621679873429] -> [c6989586621679873430] -> [d6989586621679873431] -> [e6989586621679873432] -> TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> *) (ZipWith7Sym6 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings ((TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679873428] -> [b6989586621679873429] -> [c6989586621679873430] -> [d6989586621679873431] -> [e6989586621679873432] -> [f6989586621679873433] -> TyFun [g6989586621679873434] [h6989586621679873435] -> *) (ZipWith7Sym7 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679873428 (TyFun b6989586621679873429 (TyFun c6989586621679873430 (TyFun d6989586621679873431 (TyFun e6989586621679873432 (TyFun f6989586621679873433 (TyFun g6989586621679873434 h6989586621679873435 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679873428] (TyFun [b6989586621679873429] (TyFun [c6989586621679873430] (TyFun [d6989586621679873431] (TyFun [e6989586621679873432] (TyFun [f6989586621679873433] (TyFun [g6989586621679873434] [h6989586621679873435] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621679873428 b6989586621679873429 c6989586621679873430 d6989586621679873431 e6989586621679873432 f6989586621679873433 g6989586621679873434 h6989586621679873435) Source # | |