Copyright | (C) 2013 Richard Eisenberg |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Richard Eisenberg (rae@cs.brynmawr.edu) |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.TH
Contents
Description
This module contains everything you need to derive your own singletons via Template Haskell.
TURN ON -XScopedTypeVariables
IN YOUR MODULE IF YOU WANT THIS TO WORK.
- singletons :: DsMonad q => q [Dec] -> q [Dec]
- singletonsOnly :: DsMonad q => q [Dec] -> q [Dec]
- genSingletons :: DsMonad q => [Name] -> q [Dec]
- promote :: DsMonad q => q [Dec] -> q [Dec]
- promoteOnly :: DsMonad q => q [Dec] -> q [Dec]
- genDefunSymbols :: DsMonad q => [Name] -> q [Dec]
- genPromotions :: DsMonad q => [Name] -> q [Dec]
- promoteEqInstances :: DsMonad q => [Name] -> q [Dec]
- promoteEqInstance :: DsMonad q => Name -> q [Dec]
- singEqInstances :: DsMonad q => [Name] -> q [Dec]
- singEqInstance :: DsMonad q => Name -> q [Dec]
- singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec]
- singEqInstanceOnly :: DsMonad q => Name -> q [Dec]
- singDecideInstances :: DsMonad q => [Name] -> q [Dec]
- singDecideInstance :: DsMonad q => Name -> q [Dec]
- promoteOrdInstances :: DsMonad q => [Name] -> q [Dec]
- promoteOrdInstance :: DsMonad q => Name -> q [Dec]
- singOrdInstances :: DsMonad q => [Name] -> q [Dec]
- singOrdInstance :: DsMonad q => Name -> q [Dec]
- promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec]
- promoteBoundedInstance :: DsMonad q => Name -> q [Dec]
- singBoundedInstances :: DsMonad q => [Name] -> q [Dec]
- singBoundedInstance :: DsMonad q => Name -> q [Dec]
- promoteEnumInstances :: DsMonad q => [Name] -> q [Dec]
- promoteEnumInstance :: DsMonad q => Name -> q [Dec]
- singEnumInstances :: DsMonad q => [Name] -> q [Dec]
- singEnumInstance :: DsMonad q => Name -> q [Dec]
- cases :: DsMonad q => Name -> q Exp -> q Exp -> q Exp
- sCases :: DsMonad q => Name -> q Exp -> q Exp -> q Exp
- data family Sing (a :: k)
- module Data.Singletons
- class PEq a where
- type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
- sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c)
- type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
- class SEq k where
- class PEq a => POrd (a :: Type) where
- class SEq a => SOrd a where
- type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ...
- sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering)
- type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- sFoldl :: forall (t :: TyFun b (TyFun a b -> Type) -> Type) (t :: b) (t :: [a]). Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b)
- type family Any k0 :: k0 where ...
- class SDecide k where
- data (k :~: (a :: k)) (b :: k) :: forall k. k -> k -> * where
- data Void :: *
- type Refuted a = a -> Void
- data Decision a
- data SomeSing k where
- type family Error (str :: k0) :: k
- data ErrorSym0 (l :: TyFun k06989586621679342626 k6989586621679342628)
- 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 a6989586621679269814 (TyFun a6989586621679269814 Ordering -> Type))
- data ThenCmpSym0 (l :: TyFun Ordering (TyFun Ordering Ordering -> Type))
- data FoldlSym0 (l :: TyFun (TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) (TyFun b6989586621679213673 (TyFun [a6989586621679213672] b6989586621679213673 -> Type) -> Type))
- class SuppressUnusedWarnings (t :: k) where
Primary Template Haskell generation functions
singletons :: DsMonad q => q [Dec] -> q [Dec] #
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] #
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] #
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] #
Promote every declaration given to the type level, retaining the originals.
promoteOnly :: DsMonad q => q [Dec] -> q [Dec] #
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] #
Generate defunctionalization symbols for existing type family
genPromotions :: DsMonad q => [Name] -> q [Dec] #
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] #
Produce instances for '(:==)' (type-level equality) from the given types
promoteEqInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for '(:==)' (type-level equality) from the given type
singEqInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SEq
and type-level '(:==)' for each type in the list
singEqInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SEq
and type-level '(:==)' for the given type
singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec] #
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] #
Create instances of SEq
(only -- no instance for '(:==)', which SEq
generally
relies on) for the given type
singDecideInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SDecide
for each type in the list.
singDecideInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SDecide
for the given type.
Functions to generate Ord
instances
promoteOrdInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for POrd
from the given types
promoteOrdInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for POrd
from the given type
singOrdInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SOrd
for the given types
singOrdInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SOrd
for the given type
Functions to generate Bounded
instances
promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for PBounded
from the given types
promoteBoundedInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for PBounded
from the given type
singBoundedInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SBounded
for the given types
singBoundedInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SBounded
for the given type
Functions to generate Enum
instances
promoteEnumInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for PEnum
from the given types
promoteEnumInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for PEnum
from the given type
singEnumInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SEnum
for the given types
singEnumInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SEnum
for the given type
Utility functions
Arguments
:: DsMonad q | |
=> Name | The head of the type of the scrutinee. (Like |
-> q Exp | The scrutinee, in a Template Haskell quote |
-> q Exp | The body, in a Template Haskell quote |
-> q Exp |
The function cases
generates a case expression where each right-hand side
is identical. This may be useful if the type-checker requires knowledge of which
constructor is used to satisfy equality or type-class constraints, but where
each constructor is treated the same.
Arguments
:: DsMonad q | |
=> Name | The head of the type the scrutinee's type is based on.
(Like |
-> q Exp | The scrutinee, in a Template Haskell quote |
-> q Exp | The body, in a Template Haskell quote |
-> q Exp |
The function sCases
generates a case expression where each right-hand side
is identical. This may be useful if the type-checker requires knowledge of which
constructor is used to satisfy equality or type-class constraints, but where
each constructor is treated the same. For sCases
, unlike cases
, the
scrutinee is a singleton. But make sure to pass in the name of the original
datatype, preferring ''Maybe
over ''SMaybe
.
Basic singleton definitions
The singleton kind-indexed data family.
Instances
data Sing Bool # | |
data Sing Ordering # | |
data Sing * # | |
data Sing Nat # | |
data Sing Symbol # | |
data Sing () # | |
data Sing [a] # | |
data Sing (Maybe a) # | |
data Sing (NonEmpty a) # | |
data Sing (Either a b) # | |
data Sing (a, b) # | |
data Sing ((~>) k1 k2) # | |
data Sing (a, b, c) # | |
data Sing (a, b, c, d) # | |
data Sing (a, b, c, d, e) # | |
data Sing (a, b, c, d, e, f) # | |
data Sing (a, b, c, d, e, f, g) # | |
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
.
type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b
==> a
; If False a b
==> b
The singleton analogue of Eq
. Unlike the definition for Eq
, it is required
that instances define a body for '(%:==)'. You may also supply a body for '(%:/=)'.
Minimal complete definition
Methods
(%:==) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Sing (a :== b) infix 4 #
Boolean equality on singletons
(%:/=) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Sing (a :/= b) infix 4 #
Boolean disequality on singletons
(%:/=) :: forall (a :: k) (b :: k). (a :/= b) ~ Not (a :== b) => Sing a -> Sing b -> Sing (a :/= b) infix 4 #
Boolean disequality on singletons
Instances
SEq Bool # | |
SEq Ordering # | |
SEq () # | |
SEq a => SEq [a] # | |
SEq a => SEq (Maybe a) # | |
SEq a => SEq (NonEmpty a) # | |
(SEq a, SEq b) => SEq (Either a b) # | |
(SEq a, SEq b) => SEq (a, b) # | |
(SEq a, SEq b, SEq c) => SEq (a, b, c) # | |
(SEq a, SEq b, SEq c, SEq d) => SEq (a, b, c, d) # | |
(SEq a, SEq b, SEq c, SEq d, SEq e) => SEq (a, b, c, d, e) # | |
(SEq a, SEq b, SEq c, SEq d, SEq e, SEq f) => SEq (a, b, c, d, e, f) # | |
(SEq a, SEq b, SEq c, SEq d, SEq e, SEq f, SEq g) => SEq (a, b, c, d, e, f, g) # | |
Methods
sCompare :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) #
(%:<) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 #
(%:<=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 #
(%:>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 #
(%:>=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 #
sMax :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) #
sMin :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) #
sCompare :: forall (t :: a) (t :: a). ((Apply (Apply CompareSym0 t) t :: Ordering) ~ Apply (Apply Compare_6989586621679271520Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) #
(%:<) :: forall (t :: a) (t :: a). ((Apply (Apply (:<$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679271553Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 #
(%:<=) :: forall (t :: a) (t :: a). ((Apply (Apply (:<=$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679271586Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 #
(%:>) :: forall (t :: a) (t :: a). ((Apply (Apply (:>$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679271619Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 #
(%:>=) :: forall (t :: a) (t :: a). ((Apply (Apply (:>=$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679271652Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 #
sMax :: forall (t :: a) (t :: a). ((Apply (Apply MaxSym0 t) t :: a) ~ Apply (Apply Max_6989586621679271685Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) #
sMin :: forall (t :: a) (t :: a). ((Apply (Apply MinSym0 t) t :: a) ~ Apply (Apply Min_6989586621679271718Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) #
Instances
SOrd Bool # | |
SOrd Ordering # | |
SOrd () # | |
(SOrd a, SOrd [a]) => SOrd [a] # | |
SOrd a => SOrd (Maybe a) # | |
(SOrd a, SOrd [a]) => SOrd (NonEmpty a) # | |
(SOrd a, SOrd b) => SOrd (Either a b) # | |
(SOrd a, SOrd b) => SOrd (a, b) # | |
(SOrd a, SOrd b, SOrd c) => SOrd (a, b, c) # | |
(SOrd a, SOrd b, SOrd c, SOrd d) => SOrd (a, b, c, d) # | |
(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e) => SOrd (a, b, c, d, e) # | |
(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f) => SOrd (a, b, c, d, e, f) # | |
(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f, SOrd g) => SOrd (a, b, c, d, e, f, g) # | |
sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering) #
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 ... #
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
.
Members of the SDecide
"kind" class support decidable equality. Instances
of this class are generated alongside singleton definitions for datatypes that
derive an Eq
instance.
Minimal complete definition
data (k :~: (a :: k)) (b :: k) :: forall k. k -> k -> * where infix 4 #
Propositional equality. If a :~: b
is inhabited by some terminating
value, then the type a
is the same as the type b
. To use this equality
in practice, pattern-match on the a :~: b
to get out the Refl
constructor;
in the body of the pattern-match, the compiler knows that a ~ b
.
Since: 4.7.0.0
Instances
TestCoercion k ((:~:) k a) | Since: 4.7.0.0 |
TestEquality k ((:~:) k a) | Since: 4.7.0.0 |
(~) k a b => Bounded ((:~:) k a b) | Since: 4.7.0.0 |
(~) k a b => Enum ((:~:) k a b) | Since: 4.7.0.0 |
Eq ((:~:) k a b) | |
((~) * a b, Data a) => Data ((:~:) * a b) | Since: 4.7.0.0 |
Ord ((:~:) k a b) | |
(~) k a b => Read ((:~:) k a b) | Since: 4.7.0.0 |
Show ((:~:) k a b) | |
Uninhabited data type
Since: 4.8.0.0
Instances
Eq Void | Since: 4.8.0.0 |
Data Void | |
Ord Void | Since: 4.8.0.0 |
Read Void | Reading a |
Show Void | Since: 4.8.0.0 |
Ix Void | Since: 4.8.0.0 |
Generic Void | |
Semigroup Void | Since: 4.9.0.0 |
Exception Void | Since: 4.8.0.0 |
type Rep Void | |
A Decision
about a type a
is either a proof of existence or a proof that a
cannot exist.
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 #
The promotion of error
. This version is more poly-kinded for
easier use.
type Tuple0Sym0 = '() #
data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) #
Instances
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l # | |
data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) # | |
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 # | |
type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) #
data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l # | |
data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) # | |
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 # | |
data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) # | |
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 # | |
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)) #
Instances
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l # | |
data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 # | |
data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 # | |
data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 # | |
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)) #
Instances
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
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 # | |
data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
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 # | |
data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 # | |
data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 # | |
data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 # | |
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)) #
Instances
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
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 # | |
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)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
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 # | |
data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
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 # | |
data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
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 # | |
data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 # | |
data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 # | |
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)) #
Instances
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
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)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
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)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
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)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
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)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
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)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) #
Instances
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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 # | |
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 a6989586621679269814 (TyFun a6989586621679269814 Ordering -> Type)) #
Instances
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 Ordering -> Type) -> *) (CompareSym0 a6989586621679269814) # | |
type Apply a6989586621679269814 (TyFun a6989586621679269814 Ordering -> Type) (CompareSym0 a6989586621679269814) l # | |
data FoldlSym0 (l :: TyFun (TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) (TyFun b6989586621679213673 (TyFun [a6989586621679213672] b6989586621679213673 -> Type) -> Type)) #
Instances
SuppressUnusedWarnings (TyFun (TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) (TyFun b6989586621679213673 (TyFun [a6989586621679213672] b6989586621679213673 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679213672 b6989586621679213673) # | |
type Apply (TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) (TyFun b6989586621679213673 (TyFun [a6989586621679213672] b6989586621679213673 -> Type) -> Type) (FoldlSym0 a6989586621679213672 b6989586621679213673) l # | |
class SuppressUnusedWarnings (t :: k) where #
This class (which users should never see) is to be instantiated in order to use an otherwise-unused data constructor, such as the "kind-inference" data constructor for defunctionalization symbols.
Minimal complete definition
Methods
suppressUnusedWarnings :: Proxy t -> () #
Instances
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) # | |
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:||$$) # | |
SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 # | |
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) # | |
SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 # | |
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) # | |
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:||$) # | |
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 # | |
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 # | |
SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 # | |
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^$) # | |
SuppressUnusedWarnings (TyFun Nat Constraint -> *) KnownNatSym0 # | |
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 # | |
SuppressUnusedWarnings (TyFun (NonEmpty Bool) Bool -> *) XorSym0 # | |
SuppressUnusedWarnings ((TyFun a6989586621679377359 Bool -> Type) -> (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> TyFun a6989586621679377359 a6989586621679377359 -> *) (UntilSym2 a6989586621679377359) # | |
SuppressUnusedWarnings ((TyFun a6989586621679377359 Bool -> Type) -> TyFun (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> *) (UntilSym1 a6989586621679377359) # | |
SuppressUnusedWarnings ((TyFun a6989586621679379112 Bool -> Type) -> TyFun [a6989586621679379112] Bool -> *) (Any_Sym1 a6989586621679379112) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389226 (TyFun a6989586621679389226 Bool -> Type) -> Type) -> TyFun [a6989586621679389226] [a6989586621679389226] -> *) (NubBySym1 a6989586621679389226) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389235 Bool -> Type) -> TyFun [a6989586621679389235] ([a6989586621679389235], [a6989586621679389235]) -> *) (PartitionSym1 a6989586621679389235) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389247 Bool -> Type) -> TyFun [a6989586621679389247] ([a6989586621679389247], [a6989586621679389247]) -> *) (BreakSym1 a6989586621679389247) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389248 Bool -> Type) -> TyFun [a6989586621679389248] ([a6989586621679389248], [a6989586621679389248]) -> *) (SpanSym1 a6989586621679389248) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389238 (TyFun a6989586621679389238 Bool -> Type) -> Type) -> TyFun [a6989586621679389238] [[a6989586621679389238]] -> *) (GroupBySym1 a6989586621679389238) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389250 Bool -> Type) -> TyFun [a6989586621679389250] [a6989586621679389250] -> *) (DropWhileSym1 a6989586621679389250) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389251 Bool -> Type) -> TyFun [a6989586621679389251] [a6989586621679389251] -> *) (TakeWhileSym1 a6989586621679389251) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389259 Bool -> Type) -> TyFun [a6989586621679389259] [a6989586621679389259] -> *) (FilterSym1 a6989586621679389259) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389258 Bool -> Type) -> TyFun [a6989586621679389258] (Maybe a6989586621679389258) -> *) (FindSym1 a6989586621679389258) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389252 (TyFun a6989586621679389252 Bool -> Type) -> Type) -> [a6989586621679389252] -> TyFun [a6989586621679389252] [a6989586621679389252] -> *) (IntersectBySym2 a6989586621679389252) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389252 (TyFun a6989586621679389252 Bool -> Type) -> Type) -> TyFun [a6989586621679389252] (TyFun [a6989586621679389252] [a6989586621679389252] -> Type) -> *) (IntersectBySym1 a6989586621679389252) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389262 (TyFun a6989586621679389262 Ordering -> Type) -> Type) -> TyFun a6989586621679389262 (TyFun [a6989586621679389262] [a6989586621679389262] -> Type) -> *) (InsertBySym1 a6989586621679389262) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389262 (TyFun a6989586621679389262 Ordering -> Type) -> Type) -> a6989586621679389262 -> TyFun [a6989586621679389262] [a6989586621679389262] -> *) (InsertBySym2 a6989586621679389262) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389263 (TyFun a6989586621679389263 Ordering -> Type) -> Type) -> TyFun [a6989586621679389263] [a6989586621679389263] -> *) (SortBySym1 a6989586621679389263) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389265 (TyFun a6989586621679389265 Bool -> Type) -> Type) -> TyFun a6989586621679389265 (TyFun [a6989586621679389265] [a6989586621679389265] -> Type) -> *) (DeleteBySym1 a6989586621679389265) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389265 (TyFun a6989586621679389265 Bool -> Type) -> Type) -> a6989586621679389265 -> TyFun [a6989586621679389265] [a6989586621679389265] -> *) (DeleteBySym2 a6989586621679389265) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389264 (TyFun a6989586621679389264 Bool -> Type) -> Type) -> [a6989586621679389264] -> TyFun [a6989586621679389264] [a6989586621679389264] -> *) (DeleteFirstsBySym2 a6989586621679389264) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389264 (TyFun a6989586621679389264 Bool -> Type) -> Type) -> TyFun [a6989586621679389264] (TyFun [a6989586621679389264] [a6989586621679389264] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679389264) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389224 (TyFun a6989586621679389224 Bool -> Type) -> Type) -> [a6989586621679389224] -> TyFun [a6989586621679389224] [a6989586621679389224] -> *) (UnionBySym2 a6989586621679389224) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389224 (TyFun a6989586621679389224 Bool -> Type) -> Type) -> TyFun [a6989586621679389224] (TyFun [a6989586621679389224] [a6989586621679389224] -> Type) -> *) (UnionBySym1 a6989586621679389224) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389254 Bool -> Type) -> TyFun [a6989586621679389254] [Nat] -> *) (FindIndicesSym1 a6989586621679389254) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389255 Bool -> Type) -> TyFun [a6989586621679389255] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679389255) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389322 (TyFun a6989586621679389322 a6989586621679389322 -> Type) -> Type) -> TyFun [a6989586621679389322] [a6989586621679389322] -> *) (Scanr1Sym1 a6989586621679389322) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389325 (TyFun a6989586621679389325 a6989586621679389325 -> Type) -> Type) -> TyFun [a6989586621679389325] [a6989586621679389325] -> *) (Scanl1Sym1 a6989586621679389325) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389328 Bool -> Type) -> TyFun [a6989586621679389328] Bool -> *) (AllSym1 a6989586621679389328) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389332 (TyFun a6989586621679389332 a6989586621679389332 -> Type) -> Type) -> TyFun [a6989586621679389332] a6989586621679389332 -> *) (Foldr1Sym1 a6989586621679389332) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389334 (TyFun a6989586621679389334 a6989586621679389334 -> Type) -> Type) -> TyFun [a6989586621679389334] a6989586621679389334 -> *) (Foldl1Sym1 a6989586621679389334) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389261 (TyFun a6989586621679389261 Ordering -> Type) -> Type) -> TyFun [a6989586621679389261] a6989586621679389261 -> *) (MaximumBySym1 a6989586621679389261) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389260 (TyFun a6989586621679389260 Ordering -> Type) -> Type) -> TyFun [a6989586621679389260] a6989586621679389260 -> *) (MinimumBySym1 a6989586621679389260) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389333 (TyFun a6989586621679389333 a6989586621679389333 -> Type) -> Type) -> TyFun [a6989586621679389333] a6989586621679389333 -> *) (Foldl1'Sym1 a6989586621679389333) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389249 Bool -> Type) -> TyFun [a6989586621679389249] [a6989586621679389249] -> *) (DropWhileEndSym1 a6989586621679389249) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608984 (TyFun a6989586621679608984 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679608984) (NonEmpty a6989586621679608984) -> *) (NubBySym1 a6989586621679608984) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609005 (TyFun a6989586621679609005 Bool -> Type) -> Type) -> TyFun [a6989586621679609005] [NonEmpty a6989586621679609005] -> *) (GroupBySym1 a6989586621679609005) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608999 (TyFun a6989586621679608999 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679608999) (NonEmpty (NonEmpty a6989586621679608999)) -> *) (GroupBy1Sym1 a6989586621679608999) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609012 Bool -> Type) -> TyFun (NonEmpty a6989586621679609012) [a6989586621679609012] -> *) (TakeWhileSym1 a6989586621679609012) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609011 Bool -> Type) -> TyFun (NonEmpty a6989586621679609011) [a6989586621679609011] -> *) (DropWhileSym1 a6989586621679609011) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609010 Bool -> Type) -> TyFun (NonEmpty a6989586621679609010) ([a6989586621679609010], [a6989586621679609010]) -> *) (SpanSym1 a6989586621679609010) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609009 Bool -> Type) -> TyFun (NonEmpty a6989586621679609009) ([a6989586621679609009], [a6989586621679609009]) -> *) (BreakSym1 a6989586621679609009) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609008 Bool -> Type) -> TyFun (NonEmpty a6989586621679609008) [a6989586621679609008] -> *) (FilterSym1 a6989586621679609008) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609007 Bool -> Type) -> TyFun (NonEmpty a6989586621679609007) ([a6989586621679609007], [a6989586621679609007]) -> *) (PartitionSym1 a6989586621679609007) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608982 (TyFun a6989586621679608982 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679608982) (NonEmpty a6989586621679608982) -> *) (SortBySym1 a6989586621679608982) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609019 (TyFun a6989586621679609019 a6989586621679609019 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679609019) (NonEmpty a6989586621679609019) -> *) (Scanl1Sym1 a6989586621679609019) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609018 (TyFun a6989586621679609018 a6989586621679609018 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679609018) (NonEmpty a6989586621679609018) -> *) (Scanr1Sym1 a6989586621679609018) # | |
SuppressUnusedWarnings ([a6989586621679244031] -> TyFun [a6989586621679244031] [a6989586621679244031] -> *) ((:++$$) a6989586621679244031) # | |
SuppressUnusedWarnings ([a6989586621679389228] -> TyFun Nat a6989586621679389228 -> *) ((:!!$$) a6989586621679389228) # | |
SuppressUnusedWarnings ([a6989586621679389253] -> TyFun [a6989586621679389253] [a6989586621679389253] -> *) (IntersectSym1 a6989586621679389253) # | |
SuppressUnusedWarnings ([a6989586621679389223] -> TyFun [a6989586621679389223] [a6989586621679389223] -> *) (UnionSym1 a6989586621679389223) # | |
SuppressUnusedWarnings ([a6989586621679389266] -> TyFun [a6989586621679389266] [a6989586621679389266] -> *) ((:\\$$) a6989586621679389266) # | |
SuppressUnusedWarnings ([a6989586621679389311] -> TyFun [a6989586621679389311] Bool -> *) (IsPrefixOfSym1 a6989586621679389311) # | |
SuppressUnusedWarnings ([a6989586621679389309] -> TyFun [a6989586621679389309] Bool -> *) (IsInfixOfSym1 a6989586621679389309) # | |
SuppressUnusedWarnings ([a6989586621679389341] -> TyFun [[a6989586621679389341]] [a6989586621679389341] -> *) (IntercalateSym1 a6989586621679389341) # | |
SuppressUnusedWarnings ([a6989586621679389310] -> TyFun [a6989586621679389310] Bool -> *) (IsSuffixOfSym1 a6989586621679389310) # | |
SuppressUnusedWarnings ([a6989586621679608994] -> TyFun (NonEmpty a6989586621679608994) Bool -> *) (IsPrefixOfSym1 a6989586621679608994) # | |
SuppressUnusedWarnings ([a6989586621679727944] -> TyFun [a6989586621679727944] (Maybe [a6989586621679727944]) -> *) (StripPrefixSym1 a6989586621679727944) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679389245] [a6989586621679389245] -> *) (DropSym1 a6989586621679389245) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679389246] [a6989586621679389246] -> *) (TakeSym1 a6989586621679389246) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679389244] ([a6989586621679389244], [a6989586621679389244]) -> *) (SplitAtSym1 a6989586621679389244) # | |
SuppressUnusedWarnings (Nat -> TyFun a6989586621679389230 [a6989586621679389230] -> *) (ReplicateSym1 a6989586621679389230) # | |
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679609015) [a6989586621679609015] -> *) (TakeSym1 a6989586621679609015) # | |
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679609014) [a6989586621679609014] -> *) (DropSym1 a6989586621679609014) # | |
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679609013) ([a6989586621679609013], [a6989586621679609013]) -> *) (SplitAtSym1 a6989586621679609013) # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) ((:$$) a3530822107858468865) # | |
SuppressUnusedWarnings (a6989586621679073600 -> TyFun [a6989586621679073600] (NonEmpty a6989586621679073600) -> *) ((:|$$) a6989586621679073600) # | |
SuppressUnusedWarnings (a6989586621679240786 -> a6989586621679240786 -> TyFun Bool a6989586621679240786 -> *) (Bool_Sym2 a6989586621679240786) # | |
SuppressUnusedWarnings (a6989586621679240786 -> TyFun a6989586621679240786 (TyFun Bool a6989586621679240786 -> Type) -> *) (Bool_Sym1 a6989586621679240786) # | |
SuppressUnusedWarnings (a6989586621679244021 -> TyFun a6989586621679244021 a6989586621679244021 -> *) (AsTypeOfSym1 a6989586621679244021) # | |
SuppressUnusedWarnings (a6989586621679257339 -> TyFun a6989586621679257339 Bool -> *) ((:==$$) a6989586621679257339) # | |
SuppressUnusedWarnings (a6989586621679257339 -> TyFun a6989586621679257339 Bool -> *) ((:/=$$) a6989586621679257339) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 Bool -> *) ((:<=$$) a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 Ordering -> *) (CompareSym1 a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 a6989586621679269814 -> *) (MinSym1 a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 a6989586621679269814 -> *) (MaxSym1 a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 Bool -> *) ((:>=$$) a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 Bool -> *) ((:>$$) a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679269814 -> TyFun a6989586621679269814 Bool -> *) ((:<$$) a6989586621679269814) # | |
SuppressUnusedWarnings (a6989586621679348813 -> TyFun a6989586621679348813 a6989586621679348813 -> *) ((:-$$) a6989586621679348813) # | |
SuppressUnusedWarnings (a6989586621679348813 -> TyFun a6989586621679348813 a6989586621679348813 -> *) ((:+$$) a6989586621679348813) # | |
SuppressUnusedWarnings (a6989586621679348813 -> TyFun a6989586621679348813 a6989586621679348813 -> *) ((:*$$) a6989586621679348813) # | |
SuppressUnusedWarnings (a6989586621679351104 -> TyFun a6989586621679351104 a6989586621679351104 -> *) (SubtractSym1 a6989586621679351104) # | |
SuppressUnusedWarnings (a6989586621679362575 -> TyFun (Maybe a6989586621679362575) a6989586621679362575 -> *) (FromMaybeSym1 a6989586621679362575) # | |
SuppressUnusedWarnings (a6989586621679389240 -> TyFun [a6989586621679389240] [a6989586621679389240] -> *) (InsertSym1 a6989586621679389240) # | |
SuppressUnusedWarnings (a6989586621679389267 -> TyFun [a6989586621679389267] [a6989586621679389267] -> *) (DeleteSym1 a6989586621679389267) # | |
SuppressUnusedWarnings (a6989586621679389256 -> TyFun [a6989586621679389256] [Nat] -> *) (ElemIndicesSym1 a6989586621679389256) # | |
SuppressUnusedWarnings (a6989586621679389257 -> TyFun [a6989586621679389257] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679389257) # | |
SuppressUnusedWarnings (a6989586621679389307 -> TyFun [a6989586621679389307] Bool -> *) (NotElemSym1 a6989586621679389307) # | |
SuppressUnusedWarnings (a6989586621679389308 -> TyFun [a6989586621679389308] Bool -> *) (ElemSym1 a6989586621679389308) # | |
SuppressUnusedWarnings (a6989586621679389342 -> TyFun [a6989586621679389342] [a6989586621679389342] -> *) (IntersperseSym1 a6989586621679389342) # | |
SuppressUnusedWarnings (a6989586621679609017 -> TyFun (NonEmpty a6989586621679609017) (NonEmpty a6989586621679609017) -> *) (IntersperseSym1 a6989586621679609017) # | |
SuppressUnusedWarnings (a6989586621679609024 -> TyFun [a6989586621679609024] (NonEmpty a6989586621679609024) -> *) (InsertSym1 a6989586621679609024) # | |
SuppressUnusedWarnings (a6989586621679609035 -> TyFun (NonEmpty a6989586621679609035) (NonEmpty a6989586621679609035) -> *) ((:<|$$) a6989586621679609035) # | |
SuppressUnusedWarnings (a6989586621679609034 -> TyFun (NonEmpty a6989586621679609034) (NonEmpty a6989586621679609034) -> *) (ConsSym1 a6989586621679609034) # | |
SuppressUnusedWarnings (a6989586621679673920 -> TyFun a6989586621679673920 (TyFun a6989586621679673920 [a6989586621679673920] -> Type) -> *) (EnumFromThenToSym1 a6989586621679673920) # | |
SuppressUnusedWarnings (a6989586621679673920 -> a6989586621679673920 -> TyFun a6989586621679673920 [a6989586621679673920] -> *) (EnumFromThenToSym2 a6989586621679673920) # | |
SuppressUnusedWarnings (a6989586621679673920 -> TyFun a6989586621679673920 [a6989586621679673920] -> *) (EnumFromToSym1 a6989586621679673920) # | |
SuppressUnusedWarnings (NonEmpty a6989586621679608993 -> TyFun Nat a6989586621679608993 -> *) ((:!!$$) a6989586621679608993) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679377359 Bool -> Type) (TyFun (TyFun a6989586621679377359 a6989586621679377359 -> Type) (TyFun a6989586621679377359 a6989586621679377359 -> Type) -> Type) -> *) (UntilSym0 a6989586621679377359) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679379112 Bool -> Type) (TyFun [a6989586621679379112] Bool -> Type) -> *) (Any_Sym0 a6989586621679379112) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389226 (TyFun a6989586621679389226 Bool -> Type) -> Type) (TyFun [a6989586621679389226] [a6989586621679389226] -> Type) -> *) (NubBySym0 a6989586621679389226) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389235 Bool -> Type) (TyFun [a6989586621679389235] ([a6989586621679389235], [a6989586621679389235]) -> Type) -> *) (PartitionSym0 a6989586621679389235) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389247 Bool -> Type) (TyFun [a6989586621679389247] ([a6989586621679389247], [a6989586621679389247]) -> Type) -> *) (BreakSym0 a6989586621679389247) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389248 Bool -> Type) (TyFun [a6989586621679389248] ([a6989586621679389248], [a6989586621679389248]) -> Type) -> *) (SpanSym0 a6989586621679389248) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389238 (TyFun a6989586621679389238 Bool -> Type) -> Type) (TyFun [a6989586621679389238] [[a6989586621679389238]] -> Type) -> *) (GroupBySym0 a6989586621679389238) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389250 Bool -> Type) (TyFun [a6989586621679389250] [a6989586621679389250] -> Type) -> *) (DropWhileSym0 a6989586621679389250) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389251 Bool -> Type) (TyFun [a6989586621679389251] [a6989586621679389251] -> Type) -> *) (TakeWhileSym0 a6989586621679389251) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389259 Bool -> Type) (TyFun [a6989586621679389259] [a6989586621679389259] -> Type) -> *) (FilterSym0 a6989586621679389259) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389258 Bool -> Type) (TyFun [a6989586621679389258] (Maybe a6989586621679389258) -> Type) -> *) (FindSym0 a6989586621679389258) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389252 (TyFun a6989586621679389252 Bool -> Type) -> Type) (TyFun [a6989586621679389252] (TyFun [a6989586621679389252] [a6989586621679389252] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679389252) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389262 (TyFun a6989586621679389262 Ordering -> Type) -> Type) (TyFun a6989586621679389262 (TyFun [a6989586621679389262] [a6989586621679389262] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679389262) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389263 (TyFun a6989586621679389263 Ordering -> Type) -> Type) (TyFun [a6989586621679389263] [a6989586621679389263] -> Type) -> *) (SortBySym0 a6989586621679389263) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389265 (TyFun a6989586621679389265 Bool -> Type) -> Type) (TyFun a6989586621679389265 (TyFun [a6989586621679389265] [a6989586621679389265] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679389265) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389264 (TyFun a6989586621679389264 Bool -> Type) -> Type) (TyFun [a6989586621679389264] (TyFun [a6989586621679389264] [a6989586621679389264] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679389264) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389224 (TyFun a6989586621679389224 Bool -> Type) -> Type) (TyFun [a6989586621679389224] (TyFun [a6989586621679389224] [a6989586621679389224] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679389224) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389254 Bool -> Type) (TyFun [a6989586621679389254] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679389254) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389255 Bool -> Type) (TyFun [a6989586621679389255] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679389255) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389322 (TyFun a6989586621679389322 a6989586621679389322 -> Type) -> Type) (TyFun [a6989586621679389322] [a6989586621679389322] -> Type) -> *) (Scanr1Sym0 a6989586621679389322) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389325 (TyFun a6989586621679389325 a6989586621679389325 -> Type) -> Type) (TyFun [a6989586621679389325] [a6989586621679389325] -> Type) -> *) (Scanl1Sym0 a6989586621679389325) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389328 Bool -> Type) (TyFun [a6989586621679389328] Bool -> Type) -> *) (AllSym0 a6989586621679389328) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389332 (TyFun a6989586621679389332 a6989586621679389332 -> Type) -> Type) (TyFun [a6989586621679389332] a6989586621679389332 -> Type) -> *) (Foldr1Sym0 a6989586621679389332) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389334 (TyFun a6989586621679389334 a6989586621679389334 -> Type) -> Type) (TyFun [a6989586621679389334] a6989586621679389334 -> Type) -> *) (Foldl1Sym0 a6989586621679389334) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389261 (TyFun a6989586621679389261 Ordering -> Type) -> Type) (TyFun [a6989586621679389261] a6989586621679389261 -> Type) -> *) (MaximumBySym0 a6989586621679389261) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389260 (TyFun a6989586621679389260 Ordering -> Type) -> Type) (TyFun [a6989586621679389260] a6989586621679389260 -> Type) -> *) (MinimumBySym0 a6989586621679389260) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389333 (TyFun a6989586621679389333 a6989586621679389333 -> Type) -> Type) (TyFun [a6989586621679389333] a6989586621679389333 -> Type) -> *) (Foldl1'Sym0 a6989586621679389333) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389249 Bool -> Type) (TyFun [a6989586621679389249] [a6989586621679389249] -> Type) -> *) (DropWhileEndSym0 a6989586621679389249) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608984 (TyFun a6989586621679608984 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679608984) (NonEmpty a6989586621679608984) -> Type) -> *) (NubBySym0 a6989586621679608984) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609005 (TyFun a6989586621679609005 Bool -> Type) -> Type) (TyFun [a6989586621679609005] [NonEmpty a6989586621679609005] -> Type) -> *) (GroupBySym0 a6989586621679609005) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608999 (TyFun a6989586621679608999 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679608999) (NonEmpty (NonEmpty a6989586621679608999)) -> Type) -> *) (GroupBy1Sym0 a6989586621679608999) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609012 Bool -> Type) (TyFun (NonEmpty a6989586621679609012) [a6989586621679609012] -> Type) -> *) (TakeWhileSym0 a6989586621679609012) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609011 Bool -> Type) (TyFun (NonEmpty a6989586621679609011) [a6989586621679609011] -> Type) -> *) (DropWhileSym0 a6989586621679609011) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609010 Bool -> Type) (TyFun (NonEmpty a6989586621679609010) ([a6989586621679609010], [a6989586621679609010]) -> Type) -> *) (SpanSym0 a6989586621679609010) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609009 Bool -> Type) (TyFun (NonEmpty a6989586621679609009) ([a6989586621679609009], [a6989586621679609009]) -> Type) -> *) (BreakSym0 a6989586621679609009) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609008 Bool -> Type) (TyFun (NonEmpty a6989586621679609008) [a6989586621679609008] -> Type) -> *) (FilterSym0 a6989586621679609008) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609007 Bool -> Type) (TyFun (NonEmpty a6989586621679609007) ([a6989586621679609007], [a6989586621679609007]) -> Type) -> *) (PartitionSym0 a6989586621679609007) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608982 (TyFun a6989586621679608982 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679608982) (NonEmpty a6989586621679608982) -> Type) -> *) (SortBySym0 a6989586621679608982) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609019 (TyFun a6989586621679609019 a6989586621679609019 -> Type) -> Type) (TyFun (NonEmpty a6989586621679609019) (NonEmpty a6989586621679609019) -> Type) -> *) (Scanl1Sym0 a6989586621679609019) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609018 (TyFun a6989586621679609018 a6989586621679609018 -> Type) -> Type) (TyFun (NonEmpty a6989586621679609018) (NonEmpty a6989586621679609018) -> Type) -> *) (Scanr1Sym0 a6989586621679609018) # | |
SuppressUnusedWarnings (TyFun [[a6989586621679389331]] [a6989586621679389331] -> *) (ConcatSym0 a6989586621679389331) # | |
SuppressUnusedWarnings (TyFun [[a6989586621679389229]] [[a6989586621679389229]] -> *) (TransposeSym0 a6989586621679389229) # | |
SuppressUnusedWarnings (TyFun [Maybe a6989586621679362572] [a6989586621679362572] -> *) (CatMaybesSym0 a6989586621679362572) # | |
SuppressUnusedWarnings (TyFun [a6989586621679244031] (TyFun [a6989586621679244031] [a6989586621679244031] -> Type) -> *) ((:++$) a6989586621679244031) # | |
SuppressUnusedWarnings (TyFun [a6989586621679362573] (Maybe a6989586621679362573) -> *) (ListToMaybeSym0 a6989586621679362573) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389228] (TyFun Nat a6989586621679389228 -> Type) -> *) ((:!!$) a6989586621679389228) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389231] Nat -> *) (LengthSym0 a6989586621679389231) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389232] a6989586621679389232 -> *) (ProductSym0 a6989586621679389232) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389233] a6989586621679389233 -> *) (SumSym0 a6989586621679389233) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389243] [[a6989586621679389243]] -> *) (GroupSym0 a6989586621679389243) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389253] (TyFun [a6989586621679389253] [a6989586621679389253] -> Type) -> *) (IntersectSym0 a6989586621679389253) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389239] [a6989586621679389239] -> *) (SortSym0 a6989586621679389239) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389223] (TyFun [a6989586621679389223] [a6989586621679389223] -> Type) -> *) (UnionSym0 a6989586621679389223) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389266] (TyFun [a6989586621679389266] [a6989586621679389266] -> Type) -> *) ((:\\$) a6989586621679389266) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389227] [a6989586621679389227] -> *) (NubSym0 a6989586621679389227) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389311] (TyFun [a6989586621679389311] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679389311) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389312] [[a6989586621679389312]] -> *) (TailsSym0 a6989586621679389312) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389309] (TyFun [a6989586621679389309] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679389309) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389313] [[a6989586621679389313]] -> *) (InitsSym0 a6989586621679389313) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389242] a6989586621679389242 -> *) (MaximumSym0 a6989586621679389242) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389241] a6989586621679389241 -> *) (MinimumSym0 a6989586621679389241) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389337] [[a6989586621679389337]] -> *) (PermutationsSym0 a6989586621679389337) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389340] [[a6989586621679389340]] -> *) (SubsequencesSym0 a6989586621679389340) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389341] (TyFun [[a6989586621679389341]] [a6989586621679389341] -> Type) -> *) (IntercalateSym0 a6989586621679389341) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389343] [a6989586621679389343] -> *) (ReverseSym0 a6989586621679389343) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389310] (TyFun [a6989586621679389310] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679389310) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389344] Bool -> *) (NullSym0 a6989586621679389344) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389345] [a6989586621679389345] -> *) (InitSym0 a6989586621679389345) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389346] [a6989586621679389346] -> *) (TailSym0 a6989586621679389346) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389347] a6989586621679389347 -> *) (LastSym0 a6989586621679389347) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389348] a6989586621679389348 -> *) (HeadSym0 a6989586621679389348) # | |
SuppressUnusedWarnings (TyFun [a6989586621679608994] (TyFun (NonEmpty a6989586621679608994) Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679608994) # | |
SuppressUnusedWarnings (TyFun [a6989586621679609006] [NonEmpty a6989586621679609006] -> *) (GroupSym0 a6989586621679609006) # | |
SuppressUnusedWarnings (TyFun [a6989586621679609032] (NonEmpty a6989586621679609032) -> *) (FromListSym0 a6989586621679609032) # | |
SuppressUnusedWarnings (TyFun [a6989586621679609026] (NonEmpty [a6989586621679609026]) -> *) (InitsSym0 a6989586621679609026) # | |
SuppressUnusedWarnings (TyFun [a6989586621679609025] (NonEmpty [a6989586621679609025]) -> *) (TailsSym0 a6989586621679609025) # | |
SuppressUnusedWarnings (TyFun [a6989586621679609043] (Maybe (NonEmpty a6989586621679609043)) -> *) (NonEmpty_Sym0 a6989586621679609043) # | |
SuppressUnusedWarnings (TyFun [a6989586621679727944] (TyFun [a6989586621679727944] (Maybe [a6989586621679727944]) -> Type) -> *) (StripPrefixSym0 a6989586621679727944) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679362574) [a6989586621679362574] -> *) (MaybeToListSym0 a6989586621679362574) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679362576) a6989586621679362576 -> *) (FromJustSym0 a6989586621679362576) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679362577) Bool -> *) (IsNothingSym0 a6989586621679362577) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679362578) Bool -> *) (IsJustSym0 a6989586621679362578) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679389245] [a6989586621679389245] -> Type) -> *) (DropSym0 a6989586621679389245) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679389246] [a6989586621679389246] -> Type) -> *) (TakeSym0 a6989586621679389246) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679389244] ([a6989586621679389244], [a6989586621679389244]) -> Type) -> *) (SplitAtSym0 a6989586621679389244) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679389230 [a6989586621679389230] -> Type) -> *) (ReplicateSym0 a6989586621679389230) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679609015) [a6989586621679609015] -> Type) -> *) (TakeSym0 a6989586621679609015) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679609014) [a6989586621679609014] -> Type) -> *) (DropSym0 a6989586621679609014) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679609013) ([a6989586621679609013], [a6989586621679609013]) -> Type) -> *) (SplitAtSym0 a6989586621679609013) # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679348813 -> *) (FromIntegerSym0 a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679673920 -> *) (ToEnumSym0 a6989586621679673920) # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) ((:$) a3530822107858468865) # | |
SuppressUnusedWarnings (TyFun a6989586621679073600 (TyFun [a6989586621679073600] (NonEmpty a6989586621679073600) -> Type) -> *) ((:|$) a6989586621679073600) # | |
SuppressUnusedWarnings (TyFun a6989586621679240786 (TyFun a6989586621679240786 (TyFun Bool a6989586621679240786 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679240786) # | |
SuppressUnusedWarnings (TyFun a6989586621679244021 (TyFun a6989586621679244021 a6989586621679244021 -> Type) -> *) (AsTypeOfSym0 a6989586621679244021) # | |
SuppressUnusedWarnings (TyFun a6989586621679244030 a6989586621679244030 -> *) (IdSym0 a6989586621679244030) # | |
SuppressUnusedWarnings (TyFun a6989586621679257339 (TyFun a6989586621679257339 Bool -> Type) -> *) ((:==$) a6989586621679257339) # | |
SuppressUnusedWarnings (TyFun a6989586621679257339 (TyFun a6989586621679257339 Bool -> Type) -> *) ((:/=$) a6989586621679257339) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 Bool -> Type) -> *) ((:<=$) a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 Ordering -> Type) -> *) (CompareSym0 a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 a6989586621679269814 -> Type) -> *) (MinSym0 a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 a6989586621679269814 -> Type) -> *) (MaxSym0 a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 Bool -> Type) -> *) ((:>=$) a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 Bool -> Type) -> *) ((:>$) a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679269814 (TyFun a6989586621679269814 Bool -> Type) -> *) ((:<$) a6989586621679269814) # | |
SuppressUnusedWarnings (TyFun a6989586621679348813 a6989586621679348813 -> *) (NegateSym0 a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun a6989586621679348813 (TyFun a6989586621679348813 a6989586621679348813 -> Type) -> *) ((:-$) a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun a6989586621679348813 (TyFun a6989586621679348813 a6989586621679348813 -> Type) -> *) ((:+$) a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun a6989586621679348813 a6989586621679348813 -> *) (SignumSym0 a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun a6989586621679348813 a6989586621679348813 -> *) (AbsSym0 a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun a6989586621679348813 (TyFun a6989586621679348813 a6989586621679348813 -> Type) -> *) ((:*$) a6989586621679348813) # | |
SuppressUnusedWarnings (TyFun a6989586621679351104 (TyFun a6989586621679351104 a6989586621679351104 -> Type) -> *) (SubtractSym0 a6989586621679351104) # | |
SuppressUnusedWarnings (TyFun a6989586621679362575 (TyFun (Maybe a6989586621679362575) a6989586621679362575 -> Type) -> *) (FromMaybeSym0 a6989586621679362575) # | |
SuppressUnusedWarnings (TyFun a6989586621679389240 (TyFun [a6989586621679389240] [a6989586621679389240] -> Type) -> *) (InsertSym0 a6989586621679389240) # | |
SuppressUnusedWarnings (TyFun a6989586621679389267 (TyFun [a6989586621679389267] [a6989586621679389267] -> Type) -> *) (DeleteSym0 a6989586621679389267) # | |
SuppressUnusedWarnings (TyFun a6989586621679389256 (TyFun [a6989586621679389256] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679389256) # | |
SuppressUnusedWarnings (TyFun a6989586621679389257 (TyFun [a6989586621679389257] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679389257) # | |
SuppressUnusedWarnings (TyFun a6989586621679389307 (TyFun [a6989586621679389307] Bool -> Type) -> *) (NotElemSym0 a6989586621679389307) # | |
SuppressUnusedWarnings (TyFun a6989586621679389308 (TyFun [a6989586621679389308] Bool -> Type) -> *) (ElemSym0 a6989586621679389308) # | |
SuppressUnusedWarnings (TyFun a6989586621679389342 (TyFun [a6989586621679389342] [a6989586621679389342] -> Type) -> *) (IntersperseSym0 a6989586621679389342) # | |
SuppressUnusedWarnings (TyFun a6989586621679609017 (TyFun (NonEmpty a6989586621679609017) (NonEmpty a6989586621679609017) -> Type) -> *) (IntersperseSym0 a6989586621679609017) # | |
SuppressUnusedWarnings (TyFun a6989586621679609024 (TyFun [a6989586621679609024] (NonEmpty a6989586621679609024) -> Type) -> *) (InsertSym0 a6989586621679609024) # | |
SuppressUnusedWarnings (TyFun a6989586621679609035 (TyFun (NonEmpty a6989586621679609035) (NonEmpty a6989586621679609035) -> Type) -> *) ((:<|$) a6989586621679609035) # | |
SuppressUnusedWarnings (TyFun a6989586621679609034 (TyFun (NonEmpty a6989586621679609034) (NonEmpty a6989586621679609034) -> Type) -> *) (ConsSym0 a6989586621679609034) # | |
SuppressUnusedWarnings (TyFun a6989586621679673920 (TyFun a6989586621679673920 (TyFun a6989586621679673920 [a6989586621679673920] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679673920) # | |
SuppressUnusedWarnings (TyFun a6989586621679673920 (TyFun a6989586621679673920 [a6989586621679673920] -> Type) -> *) (EnumFromToSym0 a6989586621679673920) # | |
SuppressUnusedWarnings (TyFun a6989586621679673920 Nat -> *) (FromEnumSym0 a6989586621679673920) # | |
SuppressUnusedWarnings (TyFun a6989586621679673920 a6989586621679673920 -> *) (PredSym0 a6989586621679673920) # | |
SuppressUnusedWarnings (TyFun a6989586621679673920 a6989586621679673920 -> *) (SuccSym0 a6989586621679673920) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679608985) (NonEmpty a6989586621679608985) -> *) (NubSym0 a6989586621679608985) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679608993) (TyFun Nat a6989586621679608993 -> Type) -> *) ((:!!$) a6989586621679608993) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609000) (NonEmpty (NonEmpty a6989586621679609000)) -> *) (Group1Sym0 a6989586621679609000) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609031) [a6989586621679609031] -> *) (ToListSym0 a6989586621679609031) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609016) (NonEmpty a6989586621679609016) -> *) (ReverseSym0 a6989586621679609016) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609033) (NonEmpty a6989586621679609033) -> *) (SortSym0 a6989586621679609033) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609036) [a6989586621679609036] -> *) (InitSym0 a6989586621679609036) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609037) a6989586621679609037 -> *) (LastSym0 a6989586621679609037) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609038) [a6989586621679609038] -> *) (TailSym0 a6989586621679609038) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609039) a6989586621679609039 -> *) (HeadSym0 a6989586621679609039) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609042) (a6989586621679609042, Maybe (NonEmpty a6989586621679609042)) -> *) (UnconsSym0 a6989586621679609042) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679609046) Nat -> *) (LengthSym0 a6989586621679609046) # | |
SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a6989586621679608983)) (NonEmpty (NonEmpty a6989586621679608983)) -> *) (TransposeSym0 a6989586621679608983) # | |
SuppressUnusedWarnings ((TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) -> b6989586621679213673 -> TyFun [a6989586621679213672] b6989586621679213673 -> *) (FoldlSym2 a6989586621679213672 b6989586621679213673) # | |
SuppressUnusedWarnings ((TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) -> TyFun b6989586621679213673 (TyFun [a6989586621679213672] b6989586621679213673 -> Type) -> *) (FoldlSym1 a6989586621679213672 b6989586621679213673) # | |
SuppressUnusedWarnings ((TyFun a6989586621679244032 b6989586621679244033 -> Type) -> TyFun [a6989586621679244032] [b6989586621679244033] -> *) (MapSym1 a6989586621679244032 b6989586621679244033) # | |
SuppressUnusedWarnings ((TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) -> b6989586621679244035 -> TyFun [a6989586621679244034] b6989586621679244035 -> *) (FoldrSym2 a6989586621679244034 b6989586621679244035) # | |
SuppressUnusedWarnings ((TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) -> TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> *) (FoldrSym1 a6989586621679244034 b6989586621679244035) # | |
SuppressUnusedWarnings ((TyFun b6989586621679269804 a6989586621679269803 -> Type) -> b6989586621679269804 -> TyFun b6989586621679269804 Ordering -> *) (ComparingSym2 a6989586621679269803 b6989586621679269804) # | |
SuppressUnusedWarnings ((TyFun b6989586621679269804 a6989586621679269803 -> Type) -> TyFun b6989586621679269804 (TyFun b6989586621679269804 Ordering -> Type) -> *) (ComparingSym1 a6989586621679269803 b6989586621679269804) # | |
SuppressUnusedWarnings ((TyFun a6989586621679362570 (Maybe b6989586621679362571) -> Type) -> TyFun [a6989586621679362570] [b6989586621679362571] -> *) (MapMaybeSym1 a6989586621679362570 b6989586621679362571) # | |
SuppressUnusedWarnings ((TyFun b6989586621679389314 (Maybe (a6989586621679389315, b6989586621679389314)) -> Type) -> TyFun b6989586621679389314 [a6989586621679389315] -> *) (UnfoldrSym1 b6989586621679389314 a6989586621679389315) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389323 (TyFun b6989586621679389324 b6989586621679389324 -> Type) -> Type) -> TyFun b6989586621679389324 (TyFun [a6989586621679389323] [b6989586621679389324] -> Type) -> *) (ScanrSym1 a6989586621679389323 b6989586621679389324) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389323 (TyFun b6989586621679389324 b6989586621679389324 -> Type) -> Type) -> b6989586621679389324 -> TyFun [a6989586621679389323] [b6989586621679389324] -> *) (ScanrSym2 a6989586621679389323 b6989586621679389324) # | |
SuppressUnusedWarnings ((TyFun b6989586621679389326 (TyFun a6989586621679389327 b6989586621679389326 -> Type) -> Type) -> TyFun b6989586621679389326 (TyFun [a6989586621679389327] [b6989586621679389326] -> Type) -> *) (ScanlSym1 a6989586621679389327 b6989586621679389326) # | |
SuppressUnusedWarnings ((TyFun b6989586621679389326 (TyFun a6989586621679389327 b6989586621679389326 -> Type) -> Type) -> b6989586621679389326 -> TyFun [a6989586621679389327] [b6989586621679389326] -> *) (ScanlSym2 a6989586621679389327 b6989586621679389326) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389329 [b6989586621679389330] -> Type) -> TyFun [a6989586621679389329] [b6989586621679389330] -> *) (ConcatMapSym1 a6989586621679389329 b6989586621679389330) # | |
SuppressUnusedWarnings ((TyFun b6989586621679389336 (TyFun a6989586621679389335 b6989586621679389336 -> Type) -> Type) -> b6989586621679389336 -> TyFun [a6989586621679389335] b6989586621679389336 -> *) (Foldl'Sym2 a6989586621679389335 b6989586621679389336) # | |
SuppressUnusedWarnings ((TyFun b6989586621679389336 (TyFun a6989586621679389335 b6989586621679389336 -> Type) -> Type) -> TyFun b6989586621679389336 (TyFun [a6989586621679389335] b6989586621679389336 -> Type) -> *) (Foldl'Sym1 a6989586621679389335 b6989586621679389336) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609004 b6989586621679609003 -> Type) -> TyFun [a6989586621679609004] [NonEmpty a6989586621679609004] -> *) (GroupWithSym1 b6989586621679609003 a6989586621679609004) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609002 b6989586621679609001 -> Type) -> TyFun [a6989586621679609002] [NonEmpty a6989586621679609002] -> *) (GroupAllWithSym1 b6989586621679609001 a6989586621679609002) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608998 b6989586621679608997 -> Type) -> TyFun (NonEmpty a6989586621679608998) (NonEmpty (NonEmpty a6989586621679608998)) -> *) (GroupWith1Sym1 b6989586621679608997 a6989586621679608998) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609027 b6989586621679609028 -> Type) -> TyFun (NonEmpty a6989586621679609027) (NonEmpty b6989586621679609028) -> *) (MapSym1 a6989586621679609027 b6989586621679609028) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608981 o6989586621679608980 -> Type) -> TyFun (NonEmpty a6989586621679608981) (NonEmpty a6989586621679608981) -> *) (SortWithSym1 o6989586621679608980 a6989586621679608981) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608996 b6989586621679608995 -> Type) -> TyFun (NonEmpty a6989586621679608996) (NonEmpty (NonEmpty a6989586621679608996)) -> *) (GroupAllWith1Sym1 b6989586621679608995 a6989586621679608996) # | |
SuppressUnusedWarnings ((TyFun b6989586621679609022 (TyFun a6989586621679609023 b6989586621679609022 -> Type) -> Type) -> b6989586621679609022 -> TyFun [a6989586621679609023] (NonEmpty b6989586621679609022) -> *) (ScanlSym2 a6989586621679609023 b6989586621679609022) # | |
SuppressUnusedWarnings ((TyFun b6989586621679609022 (TyFun a6989586621679609023 b6989586621679609022 -> Type) -> Type) -> TyFun b6989586621679609022 (TyFun [a6989586621679609023] (NonEmpty b6989586621679609022) -> Type) -> *) (ScanlSym1 a6989586621679609023 b6989586621679609022) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609020 (TyFun b6989586621679609021 b6989586621679609021 -> Type) -> Type) -> b6989586621679609021 -> TyFun [a6989586621679609020] (NonEmpty b6989586621679609021) -> *) (ScanrSym2 a6989586621679609020 b6989586621679609021) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609020 (TyFun b6989586621679609021 b6989586621679609021 -> Type) -> Type) -> TyFun b6989586621679609021 (TyFun [a6989586621679609020] (NonEmpty b6989586621679609021) -> Type) -> *) (ScanrSym1 a6989586621679609020 b6989586621679609021) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609040 (b6989586621679609041, Maybe a6989586621679609040) -> Type) -> TyFun a6989586621679609040 (NonEmpty b6989586621679609041) -> *) (UnfoldrSym1 a6989586621679609040 b6989586621679609041) # | |
SuppressUnusedWarnings ((TyFun a6989586621679609044 (b6989586621679609045, Maybe a6989586621679609044) -> Type) -> TyFun a6989586621679609044 (NonEmpty b6989586621679609045) -> *) (UnfoldSym1 a6989586621679609044 b6989586621679609045) # | |
SuppressUnusedWarnings ([a6989586621679389305] -> TyFun [b6989586621679389306] [(a6989586621679389305, b6989586621679389306)] -> *) (ZipSym1 a6989586621679389305 b6989586621679389306) # | |
SuppressUnusedWarnings ([a6989586621679727889] -> TyFun i6989586621679727888 a6989586621679727889 -> *) (GenericIndexSym1 i6989586621679727888 a6989586621679727889) # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) # | |
SuppressUnusedWarnings (a6989586621679244019 -> TyFun b6989586621679244020 b6989586621679244020 -> *) (SeqSym1 a6989586621679244019 b6989586621679244020) # | |
SuppressUnusedWarnings (a6989586621679244028 -> TyFun b6989586621679244029 a6989586621679244028 -> *) (ConstSym1 b6989586621679244029 a6989586621679244028) # | |
SuppressUnusedWarnings (a6989586621679253489 -> TyFun (TyFun a6989586621679253489 b6989586621679253490 -> Type) b6989586621679253490 -> *) ((:&$$) a6989586621679253489 b6989586621679253490) # | |
SuppressUnusedWarnings (b6989586621679361465 -> (TyFun a6989586621679361466 b6989586621679361465 -> Type) -> TyFun (Maybe a6989586621679361466) b6989586621679361465 -> *) (Maybe_Sym2 a6989586621679361466 b6989586621679361465) # | |
SuppressUnusedWarnings (b6989586621679361465 -> TyFun (TyFun a6989586621679361466 b6989586621679361465 -> Type) (TyFun (Maybe a6989586621679361466) b6989586621679361465 -> Type) -> *) (Maybe_Sym1 a6989586621679361466 b6989586621679361465) # | |
SuppressUnusedWarnings (a6989586621679389236 -> TyFun [(a6989586621679389236, b6989586621679389237)] (Maybe b6989586621679389237) -> *) (LookupSym1 a6989586621679389236 b6989586621679389237) # | |
SuppressUnusedWarnings (i6989586621679727886 -> TyFun a6989586621679727887 [a6989586621679727887] -> *) (GenericReplicateSym1 i6989586621679727886 a6989586621679727887) # | |
SuppressUnusedWarnings (i6989586621679727890 -> TyFun [a6989586621679727891] ([a6989586621679727891], [a6989586621679727891]) -> *) (GenericSplitAtSym1 i6989586621679727890 a6989586621679727891) # | |
SuppressUnusedWarnings (i6989586621679727892 -> TyFun [a6989586621679727893] [a6989586621679727893] -> *) (GenericDropSym1 i6989586621679727892 a6989586621679727893) # | |
SuppressUnusedWarnings (i6989586621679727894 -> TyFun [a6989586621679727895] [a6989586621679727895] -> *) (GenericTakeSym1 i6989586621679727894 a6989586621679727895) # | |
SuppressUnusedWarnings (NonEmpty a6989586621679608991 -> TyFun (NonEmpty b6989586621679608992) (NonEmpty (a6989586621679608991, b6989586621679608992)) -> *) (ZipSym1 a6989586621679608991 b6989586621679608992) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679213673 (TyFun a6989586621679213672 b6989586621679213673 -> Type) -> Type) (TyFun b6989586621679213673 (TyFun [a6989586621679213672] b6989586621679213673 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679213672 b6989586621679213673) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679244032 b6989586621679244033 -> Type) (TyFun [a6989586621679244032] [b6989586621679244033] -> Type) -> *) (MapSym0 a6989586621679244032 b6989586621679244033) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679244034 (TyFun b6989586621679244035 b6989586621679244035 -> Type) -> Type) (TyFun b6989586621679244035 (TyFun [a6989586621679244034] b6989586621679244035 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679244034 b6989586621679244035) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679269804 a6989586621679269803 -> Type) (TyFun b6989586621679269804 (TyFun b6989586621679269804 Ordering -> Type) -> Type) -> *) (ComparingSym0 a6989586621679269803 b6989586621679269804) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679362570 (Maybe b6989586621679362571) -> Type) (TyFun [a6989586621679362570] [b6989586621679362571] -> Type) -> *) (MapMaybeSym0 a6989586621679362570 b6989586621679362571) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679389314 (Maybe (a6989586621679389315, b6989586621679389314)) -> Type) (TyFun b6989586621679389314 [a6989586621679389315] -> Type) -> *) (UnfoldrSym0 b6989586621679389314 a6989586621679389315) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389323 (TyFun b6989586621679389324 b6989586621679389324 -> Type) -> Type) (TyFun b6989586621679389324 (TyFun [a6989586621679389323] [b6989586621679389324] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679389323 b6989586621679389324) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679389326 (TyFun a6989586621679389327 b6989586621679389326 -> Type) -> Type) (TyFun b6989586621679389326 (TyFun [a6989586621679389327] [b6989586621679389326] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679389327 b6989586621679389326) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389329 [b6989586621679389330] -> Type) (TyFun [a6989586621679389329] [b6989586621679389330] -> Type) -> *) (ConcatMapSym0 a6989586621679389329 b6989586621679389330) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679389336 (TyFun a6989586621679389335 b6989586621679389336 -> Type) -> Type) (TyFun b6989586621679389336 (TyFun [a6989586621679389335] b6989586621679389336 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679389335 b6989586621679389336) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609004 b6989586621679609003 -> Type) (TyFun [a6989586621679609004] [NonEmpty a6989586621679609004] -> Type) -> *) (GroupWithSym0 b6989586621679609003 a6989586621679609004) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609002 b6989586621679609001 -> Type) (TyFun [a6989586621679609002] [NonEmpty a6989586621679609002] -> Type) -> *) (GroupAllWithSym0 b6989586621679609001 a6989586621679609002) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608998 b6989586621679608997 -> Type) (TyFun (NonEmpty a6989586621679608998) (NonEmpty (NonEmpty a6989586621679608998)) -> Type) -> *) (GroupWith1Sym0 b6989586621679608997 a6989586621679608998) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609027 b6989586621679609028 -> Type) (TyFun (NonEmpty a6989586621679609027) (NonEmpty b6989586621679609028) -> Type) -> *) (MapSym0 a6989586621679609027 b6989586621679609028) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608981 o6989586621679608980 -> Type) (TyFun (NonEmpty a6989586621679608981) (NonEmpty a6989586621679608981) -> Type) -> *) (SortWithSym0 o6989586621679608980 a6989586621679608981) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608996 b6989586621679608995 -> Type) (TyFun (NonEmpty a6989586621679608996) (NonEmpty (NonEmpty a6989586621679608996)) -> Type) -> *) (GroupAllWith1Sym0 b6989586621679608995 a6989586621679608996) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679609022 (TyFun a6989586621679609023 b6989586621679609022 -> Type) -> Type) (TyFun b6989586621679609022 (TyFun [a6989586621679609023] (NonEmpty b6989586621679609022) -> Type) -> Type) -> *) (ScanlSym0 a6989586621679609023 b6989586621679609022) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609020 (TyFun b6989586621679609021 b6989586621679609021 -> Type) -> Type) (TyFun b6989586621679609021 (TyFun [a6989586621679609020] (NonEmpty b6989586621679609021) -> Type) -> Type) -> *) (ScanrSym0 a6989586621679609020 b6989586621679609021) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609040 (b6989586621679609041, Maybe a6989586621679609040) -> Type) (TyFun a6989586621679609040 (NonEmpty b6989586621679609041) -> Type) -> *) (UnfoldrSym0 a6989586621679609040 b6989586621679609041) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679609044 (b6989586621679609045, Maybe a6989586621679609044) -> Type) (TyFun a6989586621679609044 (NonEmpty b6989586621679609045) -> Type) -> *) (UnfoldSym0 a6989586621679609044 b6989586621679609045) # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679370699 b6989586621679370700] [b6989586621679370700] -> *) (RightsSym0 a6989586621679370699 b6989586621679370700) # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679370701 b6989586621679370702] [a6989586621679370701] -> *) (LeftsSym0 b6989586621679370702 a6989586621679370701) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679389293, b6989586621679389294)] ([a6989586621679389293], [b6989586621679389294]) -> *) (UnzipSym0 a6989586621679389293 b6989586621679389294) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389222] i6989586621679389221 -> *) (GenericLengthSym0 a6989586621679389222 i6989586621679389221) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389305] (TyFun [b6989586621679389306] [(a6989586621679389305, b6989586621679389306)] -> Type) -> *) (ZipSym0 a6989586621679389305 b6989586621679389306) # | |
SuppressUnusedWarnings (TyFun [a6989586621679727889] (TyFun i6989586621679727888 a6989586621679727889 -> Type) -> *) (GenericIndexSym0 i6989586621679727888 a6989586621679727889) # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679370693 b6989586621679370694) Bool -> *) (IsRightSym0 a6989586621679370693 b6989586621679370694) # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679370695 b6989586621679370696) Bool -> *) (IsLeftSym0 a6989586621679370695 b6989586621679370696) # | |
SuppressUnusedWarnings (TyFun (a6989586621679358267, b6989586621679358268) (b6989586621679358268, a6989586621679358267) -> *) (SwapSym0 b6989586621679358268 a6989586621679358267) # | |
SuppressUnusedWarnings (TyFun (a6989586621679358275, b6989586621679358276) b6989586621679358276 -> *) (SndSym0 a6989586621679358275 b6989586621679358276) # | |
SuppressUnusedWarnings (TyFun (a6989586621679358277, b6989586621679358278) a6989586621679358277 -> *) (FstSym0 b6989586621679358278 a6989586621679358277) # | |
SuppressUnusedWarnings (TyFun a6989586621679073591 (Either a6989586621679073591 b6989586621679073592) -> *) (LeftSym0 a6989586621679073591 b6989586621679073592) # | |
SuppressUnusedWarnings (TyFun b6989586621679073592 (Either a6989586621679073591 b6989586621679073592) -> *) (RightSym0 a6989586621679073591 b6989586621679073592) # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) # | |
SuppressUnusedWarnings (TyFun a6989586621679244019 (TyFun b6989586621679244020 b6989586621679244020 -> Type) -> *) (SeqSym0 a6989586621679244019 b6989586621679244020) # | |
SuppressUnusedWarnings (TyFun a6989586621679244028 (TyFun b6989586621679244029 a6989586621679244028 -> Type) -> *) (ConstSym0 b6989586621679244029 a6989586621679244028) # | |
SuppressUnusedWarnings (TyFun a6989586621679253489 (TyFun (TyFun a6989586621679253489 b6989586621679253490 -> Type) b6989586621679253490 -> Type) -> *) ((:&$) a6989586621679253489 b6989586621679253490) # | |
SuppressUnusedWarnings (TyFun k06989586621679342626 k6989586621679342628 -> *) (ErrorSym0 k06989586621679342626 k6989586621679342628) # | |
SuppressUnusedWarnings (TyFun b6989586621679361465 (TyFun (TyFun a6989586621679361466 b6989586621679361465 -> Type) (TyFun (Maybe a6989586621679361466) b6989586621679361465 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679361466 b6989586621679361465) # | |
SuppressUnusedWarnings (TyFun a6989586621679389236 (TyFun [(a6989586621679389236, b6989586621679389237)] (Maybe b6989586621679389237) -> Type) -> *) (LookupSym0 a6989586621679389236 b6989586621679389237) # | |
SuppressUnusedWarnings (TyFun i6989586621679727886 (TyFun a6989586621679727887 [a6989586621679727887] -> Type) -> *) (GenericReplicateSym0 i6989586621679727886 a6989586621679727887) # | |
SuppressUnusedWarnings (TyFun i6989586621679727890 (TyFun [a6989586621679727891] ([a6989586621679727891], [a6989586621679727891]) -> Type) -> *) (GenericSplitAtSym0 i6989586621679727890 a6989586621679727891) # | |
SuppressUnusedWarnings (TyFun i6989586621679727892 (TyFun [a6989586621679727893] [a6989586621679727893] -> Type) -> *) (GenericDropSym0 i6989586621679727892 a6989586621679727893) # | |
SuppressUnusedWarnings (TyFun i6989586621679727894 (TyFun [a6989586621679727895] [a6989586621679727895] -> Type) -> *) (GenericTakeSym0 i6989586621679727894 a6989586621679727895) # | |
SuppressUnusedWarnings (TyFun (NonEmpty (a6989586621679608986, b6989586621679608987)) (NonEmpty a6989586621679608986, NonEmpty b6989586621679608987) -> *) (UnzipSym0 a6989586621679608986 b6989586621679608987) # | |
SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679608991) (TyFun (NonEmpty b6989586621679608992) (NonEmpty (a6989586621679608991, b6989586621679608992)) -> Type) -> *) (ZipSym0 a6989586621679608991 b6989586621679608992) # | |
SuppressUnusedWarnings ((TyFun (a6989586621679358272, b6989586621679358273) c6989586621679358274 -> Type) -> a6989586621679358272 -> TyFun b6989586621679358273 c6989586621679358274 -> *) (CurrySym2 a6989586621679358272 b6989586621679358273 c6989586621679358274) # | |
SuppressUnusedWarnings ((TyFun (a6989586621679358272, b6989586621679358273) c6989586621679358274 -> Type) -> TyFun a6989586621679358272 (TyFun b6989586621679358273 c6989586621679358274 -> Type) -> *) (CurrySym1 a6989586621679358272 b6989586621679358273 c6989586621679358274) # | |
SuppressUnusedWarnings ((TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) -> b6989586621679244023 -> TyFun a6989586621679244022 c6989586621679244024 -> *) (FlipSym2 b6989586621679244023 a6989586621679244022 c6989586621679244024) # | |
SuppressUnusedWarnings ((TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) -> TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> *) (FlipSym1 b6989586621679244023 a6989586621679244022 c6989586621679244024) # | |
SuppressUnusedWarnings ((TyFun b6989586621679244025 c6989586621679244026 -> Type) -> (TyFun a6989586621679244027 b6989586621679244025 -> Type) -> TyFun a6989586621679244027 c6989586621679244026 -> *) ((:.$$$) b6989586621679244025 a6989586621679244027 c6989586621679244026) # | |
SuppressUnusedWarnings ((TyFun b6989586621679244025 c6989586621679244026 -> Type) -> TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> *) ((:.$$) b6989586621679244025 a6989586621679244027 c6989586621679244026) # | |
SuppressUnusedWarnings ((TyFun b6989586621679253491 (TyFun b6989586621679253491 c6989586621679253492 -> Type) -> Type) -> (TyFun a6989586621679253493 b6989586621679253491 -> Type) -> a6989586621679253493 -> TyFun a6989586621679253493 c6989586621679253492 -> *) (OnSym3 b6989586621679253491 a6989586621679253493 c6989586621679253492) # | |
SuppressUnusedWarnings ((TyFun b6989586621679253491 (TyFun b6989586621679253491 c6989586621679253492 -> Type) -> Type) -> (TyFun a6989586621679253493 b6989586621679253491 -> Type) -> TyFun a6989586621679253493 (TyFun a6989586621679253493 c6989586621679253492 -> Type) -> *) (OnSym2 b6989586621679253491 a6989586621679253493 c6989586621679253492) # | |
SuppressUnusedWarnings ((TyFun b6989586621679253491 (TyFun b6989586621679253491 c6989586621679253492 -> Type) -> Type) -> TyFun (TyFun a6989586621679253493 b6989586621679253491 -> Type) (TyFun a6989586621679253493 (TyFun a6989586621679253493 c6989586621679253492 -> Type) -> Type) -> *) (OnSym1 b6989586621679253491 a6989586621679253493 c6989586621679253492) # | |
SuppressUnusedWarnings ((TyFun a6989586621679358269 (TyFun b6989586621679358270 c6989586621679358271 -> Type) -> Type) -> TyFun (a6989586621679358269, b6989586621679358270) c6989586621679358271 -> *) (UncurrySym1 a6989586621679358269 b6989586621679358270 c6989586621679358271) # | |
SuppressUnusedWarnings ((TyFun a6989586621679369589 c6989586621679369590 -> Type) -> (TyFun b6989586621679369591 c6989586621679369590 -> Type) -> TyFun (Either a6989586621679369589 b6989586621679369591) c6989586621679369590 -> *) (Either_Sym2 a6989586621679369589 b6989586621679369591 c6989586621679369590) # | |
SuppressUnusedWarnings ((TyFun a6989586621679369589 c6989586621679369590 -> Type) -> TyFun (TyFun b6989586621679369591 c6989586621679369590 -> Type) (TyFun (Either a6989586621679369589 b6989586621679369591) c6989586621679369590 -> Type) -> *) (Either_Sym1 a6989586621679369589 b6989586621679369591 c6989586621679369590) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389299 (TyFun b6989586621679389300 c6989586621679389301 -> Type) -> Type) -> TyFun [a6989586621679389299] (TyFun [b6989586621679389300] [c6989586621679389301] -> Type) -> *) (ZipWithSym1 a6989586621679389299 b6989586621679389300 c6989586621679389301) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389299 (TyFun b6989586621679389300 c6989586621679389301 -> Type) -> Type) -> [a6989586621679389299] -> TyFun [b6989586621679389300] [c6989586621679389301] -> *) (ZipWithSym2 a6989586621679389299 b6989586621679389300 c6989586621679389301) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679389316 (TyFun x6989586621679389317 (acc6989586621679389316, y6989586621679389318) -> Type) -> Type) -> TyFun acc6989586621679389316 (TyFun [x6989586621679389317] (acc6989586621679389316, [y6989586621679389318]) -> Type) -> *) (MapAccumRSym1 x6989586621679389317 acc6989586621679389316 y6989586621679389318) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679389316 (TyFun x6989586621679389317 (acc6989586621679389316, y6989586621679389318) -> Type) -> Type) -> acc6989586621679389316 -> TyFun [x6989586621679389317] (acc6989586621679389316, [y6989586621679389318]) -> *) (MapAccumRSym2 x6989586621679389317 acc6989586621679389316 y6989586621679389318) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679389319 (TyFun x6989586621679389320 (acc6989586621679389319, y6989586621679389321) -> Type) -> Type) -> TyFun acc6989586621679389319 (TyFun [x6989586621679389320] (acc6989586621679389319, [y6989586621679389321]) -> Type) -> *) (MapAccumLSym1 x6989586621679389320 acc6989586621679389319 y6989586621679389321) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679389319 (TyFun x6989586621679389320 (acc6989586621679389319, y6989586621679389321) -> Type) -> Type) -> acc6989586621679389319 -> TyFun [x6989586621679389320] (acc6989586621679389319, [y6989586621679389321]) -> *) (MapAccumLSym2 x6989586621679389320 acc6989586621679389319 y6989586621679389321) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608988 (TyFun b6989586621679608989 c6989586621679608990 -> Type) -> Type) -> NonEmpty a6989586621679608988 -> TyFun (NonEmpty b6989586621679608989) (NonEmpty c6989586621679608990) -> *) (ZipWithSym2 a6989586621679608988 b6989586621679608989 c6989586621679608990) # | |
SuppressUnusedWarnings ((TyFun a6989586621679608988 (TyFun b6989586621679608989 c6989586621679608990 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679608988) (TyFun (NonEmpty b6989586621679608989) (NonEmpty c6989586621679608990) -> Type) -> *) (ZipWithSym1 a6989586621679608988 b6989586621679608989 c6989586621679608990) # | |
SuppressUnusedWarnings ([a6989586621679389302] -> TyFun [b6989586621679389303] (TyFun [c6989586621679389304] [(a6989586621679389302, b6989586621679389303, c6989586621679389304)] -> Type) -> *) (Zip3Sym1 a6989586621679389302 b6989586621679389303 c6989586621679389304) # | |
SuppressUnusedWarnings ([a6989586621679389302] -> [b6989586621679389303] -> TyFun [c6989586621679389304] [(a6989586621679389302, b6989586621679389303, c6989586621679389304)] -> *) (Zip3Sym2 a6989586621679389302 b6989586621679389303 c6989586621679389304) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) # | |
SuppressUnusedWarnings (TyFun (TyFun (a6989586621679358272, b6989586621679358273) c6989586621679358274 -> Type) (TyFun a6989586621679358272 (TyFun b6989586621679358273 c6989586621679358274 -> Type) -> Type) -> *) (CurrySym0 a6989586621679358272 b6989586621679358273 c6989586621679358274) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679244022 (TyFun b6989586621679244023 c6989586621679244024 -> Type) -> Type) (TyFun b6989586621679244023 (TyFun a6989586621679244022 c6989586621679244024 -> Type) -> Type) -> *) (FlipSym0 b6989586621679244023 a6989586621679244022 c6989586621679244024) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679244025 c6989586621679244026 -> Type) (TyFun (TyFun a6989586621679244027 b6989586621679244025 -> Type) (TyFun a6989586621679244027 c6989586621679244026 -> Type) -> Type) -> *) ((:.$) b6989586621679244025 a6989586621679244027 c6989586621679244026) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679253491 (TyFun b6989586621679253491 c6989586621679253492 -> Type) -> Type) (TyFun (TyFun a6989586621679253493 b6989586621679253491 -> Type) (TyFun a6989586621679253493 (TyFun a6989586621679253493 c6989586621679253492 -> Type) -> Type) -> Type) -> *) (OnSym0 b6989586621679253491 a6989586621679253493 c6989586621679253492) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679358269 (TyFun b6989586621679358270 c6989586621679358271 -> Type) -> Type) (TyFun (a6989586621679358269, b6989586621679358270) c6989586621679358271 -> Type) -> *) (UncurrySym0 a6989586621679358269 b6989586621679358270 c6989586621679358271) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679369589 c6989586621679369590 -> Type) (TyFun (TyFun b6989586621679369591 c6989586621679369590 -> Type) (TyFun (Either a6989586621679369589 b6989586621679369591) c6989586621679369590 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679369589 b6989586621679369591 c6989586621679369590) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389299 (TyFun b6989586621679389300 c6989586621679389301 -> Type) -> Type) (TyFun [a6989586621679389299] (TyFun [b6989586621679389300] [c6989586621679389301] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679389299 b6989586621679389300 c6989586621679389301) # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679389316 (TyFun x6989586621679389317 (acc6989586621679389316, y6989586621679389318) -> Type) -> Type) (TyFun acc6989586621679389316 (TyFun [x6989586621679389317] (acc6989586621679389316, [y6989586621679389318]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679389317 acc6989586621679389316 y6989586621679389318) # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679389319 (TyFun x6989586621679389320 (acc6989586621679389319, y6989586621679389321) -> Type) -> Type) (TyFun acc6989586621679389319 (TyFun [x6989586621679389320] (acc6989586621679389319, [y6989586621679389321]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679389320 acc6989586621679389319 y6989586621679389321) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679608988 (TyFun b6989586621679608989 c6989586621679608990 -> Type) -> Type) (TyFun (NonEmpty a6989586621679608988) (TyFun (NonEmpty b6989586621679608989) (NonEmpty c6989586621679608990) -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679608988 b6989586621679608989 c6989586621679608990) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679389290, b6989586621679389291, c6989586621679389292)] ([a6989586621679389290], [b6989586621679389291], [c6989586621679389292]) -> *) (Unzip3Sym0 a6989586621679389290 b6989586621679389291 c6989586621679389292) # | |
SuppressUnusedWarnings (TyFun [a6989586621679389302] (TyFun [b6989586621679389303] (TyFun [c6989586621679389304] [(a6989586621679389302, b6989586621679389303, c6989586621679389304)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679389302 b6989586621679389303 c6989586621679389304) # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389295 (TyFun b6989586621679389296 (TyFun c6989586621679389297 d6989586621679389298 -> Type) -> Type) -> Type) -> TyFun [a6989586621679389295] (TyFun [b6989586621679389296] (TyFun [c6989586621679389297] [d6989586621679389298] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679389295 b6989586621679389296 c6989586621679389297 d6989586621679389298) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389295 (TyFun b6989586621679389296 (TyFun c6989586621679389297 d6989586621679389298 -> Type) -> Type) -> Type) -> [a6989586621679389295] -> TyFun [b6989586621679389296] (TyFun [c6989586621679389297] [d6989586621679389298] -> Type) -> *) (ZipWith3Sym2 a6989586621679389295 b6989586621679389296 c6989586621679389297 d6989586621679389298) # | |
SuppressUnusedWarnings ((TyFun a6989586621679389295 (TyFun b6989586621679389296 (TyFun c6989586621679389297 d6989586621679389298 -> Type) -> Type) -> Type) -> [a6989586621679389295] -> [b6989586621679389296] -> TyFun [c6989586621679389297] [d6989586621679389298] -> *) (ZipWith3Sym3 a6989586621679389295 b6989586621679389296 c6989586621679389297 d6989586621679389298) # | |
SuppressUnusedWarnings ([a6989586621679727940] -> [b6989586621679727941] -> [c6989586621679727942] -> TyFun [d6989586621679727943] [(a6989586621679727940, b6989586621679727941, c6989586621679727942, d6989586621679727943)] -> *) (Zip4Sym3 a6989586621679727940 b6989586621679727941 c6989586621679727942 d6989586621679727943) # | |
SuppressUnusedWarnings ([a6989586621679727940] -> [b6989586621679727941] -> TyFun [c6989586621679727942] (TyFun [d6989586621679727943] [(a6989586621679727940, b6989586621679727941, c6989586621679727942, d6989586621679727943)] -> Type) -> *) (Zip4Sym2 a6989586621679727940 b6989586621679727941 c6989586621679727942 d6989586621679727943) # | |
SuppressUnusedWarnings ([a6989586621679727940] -> TyFun [b6989586621679727941] (TyFun [c6989586621679727942] (TyFun [d6989586621679727943] [(a6989586621679727940, b6989586621679727941, c6989586621679727942, d6989586621679727943)] -> Type) -> Type) -> *) (Zip4Sym1 a6989586621679727940 b6989586621679727941 c6989586621679727942 d6989586621679727943) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679389295 (TyFun b6989586621679389296 (TyFun c6989586621679389297 d6989586621679389298 -> Type) -> Type) -> Type) (TyFun [a6989586621679389295] (TyFun [b6989586621679389296] (TyFun [c6989586621679389297] [d6989586621679389298] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679389295 b6989586621679389296 c6989586621679389297 d6989586621679389298) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679389286, b6989586621679389287, c6989586621679389288, d6989586621679389289)] ([a6989586621679389286], [b6989586621679389287], [c6989586621679389288], [d6989586621679389289]) -> *) (Unzip4Sym0 a6989586621679389286 b6989586621679389287 c6989586621679389288 d6989586621679389289) # | |
SuppressUnusedWarnings (TyFun [a6989586621679727940] (TyFun [b6989586621679727941] (TyFun [c6989586621679727942] (TyFun [d6989586621679727943] [(a6989586621679727940, b6989586621679727941, c6989586621679727942, d6989586621679727943)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621679727940 b6989586621679727941 c6989586621679727942 d6989586621679727943) # | |
SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727917 (TyFun b6989586621679727918 (TyFun c6989586621679727919 (TyFun d6989586621679727920 e6989586621679727921 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679727917] (TyFun [b6989586621679727918] (TyFun [c6989586621679727919] (TyFun [d6989586621679727920] [e6989586621679727921] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621679727917 b6989586621679727918 c6989586621679727919 d6989586621679727920 e6989586621679727921) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727917 (TyFun b6989586621679727918 (TyFun c6989586621679727919 (TyFun d6989586621679727920 e6989586621679727921 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727917] -> TyFun [b6989586621679727918] (TyFun [c6989586621679727919] (TyFun [d6989586621679727920] [e6989586621679727921] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621679727917 b6989586621679727918 c6989586621679727919 d6989586621679727920 e6989586621679727921) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727917 (TyFun b6989586621679727918 (TyFun c6989586621679727919 (TyFun d6989586621679727920 e6989586621679727921 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727917] -> [b6989586621679727918] -> TyFun [c6989586621679727919] (TyFun [d6989586621679727920] [e6989586621679727921] -> Type) -> *) (ZipWith4Sym3 a6989586621679727917 b6989586621679727918 c6989586621679727919 d6989586621679727920 e6989586621679727921) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727917 (TyFun b6989586621679727918 (TyFun c6989586621679727919 (TyFun d6989586621679727920 e6989586621679727921 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727917] -> [b6989586621679727918] -> [c6989586621679727919] -> TyFun [d6989586621679727920] [e6989586621679727921] -> *) (ZipWith4Sym4 a6989586621679727917 b6989586621679727918 c6989586621679727919 d6989586621679727920 e6989586621679727921) # | |
SuppressUnusedWarnings ([a6989586621679727935] -> [b6989586621679727936] -> [c6989586621679727937] -> [d6989586621679727938] -> TyFun [e6989586621679727939] [(a6989586621679727935, b6989586621679727936, c6989586621679727937, d6989586621679727938, e6989586621679727939)] -> *) (Zip5Sym4 a6989586621679727935 b6989586621679727936 c6989586621679727937 d6989586621679727938 e6989586621679727939) # | |
SuppressUnusedWarnings ([a6989586621679727935] -> [b6989586621679727936] -> [c6989586621679727937] -> TyFun [d6989586621679727938] (TyFun [e6989586621679727939] [(a6989586621679727935, b6989586621679727936, c6989586621679727937, d6989586621679727938, e6989586621679727939)] -> Type) -> *) (Zip5Sym3 a6989586621679727935 b6989586621679727936 c6989586621679727937 d6989586621679727938 e6989586621679727939) # | |
SuppressUnusedWarnings ([a6989586621679727935] -> [b6989586621679727936] -> TyFun [c6989586621679727937] (TyFun [d6989586621679727938] (TyFun [e6989586621679727939] [(a6989586621679727935, b6989586621679727936, c6989586621679727937, d6989586621679727938, e6989586621679727939)] -> Type) -> Type) -> *) (Zip5Sym2 a6989586621679727935 b6989586621679727936 c6989586621679727937 d6989586621679727938 e6989586621679727939) # | |
SuppressUnusedWarnings ([a6989586621679727935] -> TyFun [b6989586621679727936] (TyFun [c6989586621679727937] (TyFun [d6989586621679727938] (TyFun [e6989586621679727939] [(a6989586621679727935, b6989586621679727936, c6989586621679727937, d6989586621679727938, e6989586621679727939)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 a6989586621679727935 b6989586621679727936 c6989586621679727937 d6989586621679727938 e6989586621679727939) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679727917 (TyFun b6989586621679727918 (TyFun c6989586621679727919 (TyFun d6989586621679727920 e6989586621679727921 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679727917] (TyFun [b6989586621679727918] (TyFun [c6989586621679727919] (TyFun [d6989586621679727920] [e6989586621679727921] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621679727917 b6989586621679727918 c6989586621679727919 d6989586621679727920 e6989586621679727921) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679389281, b6989586621679389282, c6989586621679389283, d6989586621679389284, e6989586621679389285)] ([a6989586621679389281], [b6989586621679389282], [c6989586621679389283], [d6989586621679389284], [e6989586621679389285]) -> *) (Unzip5Sym0 a6989586621679389281 b6989586621679389282 c6989586621679389283 d6989586621679389284 e6989586621679389285) # | |
SuppressUnusedWarnings (TyFun [a6989586621679727935] (TyFun [b6989586621679727936] (TyFun [c6989586621679727937] (TyFun [d6989586621679727938] (TyFun [e6989586621679727939] [(a6989586621679727935, b6989586621679727936, c6989586621679727937, d6989586621679727938, e6989586621679727939)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621679727935 b6989586621679727936 c6989586621679727937 d6989586621679727938 e6989586621679727939) # | |
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) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727911 (TyFun b6989586621679727912 (TyFun c6989586621679727913 (TyFun d6989586621679727914 (TyFun e6989586621679727915 f6989586621679727916 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679727911] (TyFun [b6989586621679727912] (TyFun [c6989586621679727913] (TyFun [d6989586621679727914] (TyFun [e6989586621679727915] [f6989586621679727916] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621679727911 b6989586621679727912 c6989586621679727913 d6989586621679727914 e6989586621679727915 f6989586621679727916) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727911 (TyFun b6989586621679727912 (TyFun c6989586621679727913 (TyFun d6989586621679727914 (TyFun e6989586621679727915 f6989586621679727916 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727911] -> TyFun [b6989586621679727912] (TyFun [c6989586621679727913] (TyFun [d6989586621679727914] (TyFun [e6989586621679727915] [f6989586621679727916] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621679727911 b6989586621679727912 c6989586621679727913 d6989586621679727914 e6989586621679727915 f6989586621679727916) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727911 (TyFun b6989586621679727912 (TyFun c6989586621679727913 (TyFun d6989586621679727914 (TyFun e6989586621679727915 f6989586621679727916 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727911] -> [b6989586621679727912] -> TyFun [c6989586621679727913] (TyFun [d6989586621679727914] (TyFun [e6989586621679727915] [f6989586621679727916] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621679727911 b6989586621679727912 c6989586621679727913 d6989586621679727914 e6989586621679727915 f6989586621679727916) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727911 (TyFun b6989586621679727912 (TyFun c6989586621679727913 (TyFun d6989586621679727914 (TyFun e6989586621679727915 f6989586621679727916 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727911] -> [b6989586621679727912] -> [c6989586621679727913] -> TyFun [d6989586621679727914] (TyFun [e6989586621679727915] [f6989586621679727916] -> Type) -> *) (ZipWith5Sym4 a6989586621679727911 b6989586621679727912 c6989586621679727913 d6989586621679727914 e6989586621679727915 f6989586621679727916) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727911 (TyFun b6989586621679727912 (TyFun c6989586621679727913 (TyFun d6989586621679727914 (TyFun e6989586621679727915 f6989586621679727916 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727911] -> [b6989586621679727912] -> [c6989586621679727913] -> [d6989586621679727914] -> TyFun [e6989586621679727915] [f6989586621679727916] -> *) (ZipWith5Sym5 a6989586621679727911 b6989586621679727912 c6989586621679727913 d6989586621679727914 e6989586621679727915 f6989586621679727916) # | |
SuppressUnusedWarnings ([a6989586621679727929] -> [b6989586621679727930] -> [c6989586621679727931] -> [d6989586621679727932] -> [e6989586621679727933] -> TyFun [f6989586621679727934] [(a6989586621679727929, b6989586621679727930, c6989586621679727931, d6989586621679727932, e6989586621679727933, f6989586621679727934)] -> *) (Zip6Sym5 a6989586621679727929 b6989586621679727930 c6989586621679727931 d6989586621679727932 e6989586621679727933 f6989586621679727934) # | |
SuppressUnusedWarnings ([a6989586621679727929] -> [b6989586621679727930] -> [c6989586621679727931] -> [d6989586621679727932] -> TyFun [e6989586621679727933] (TyFun [f6989586621679727934] [(a6989586621679727929, b6989586621679727930, c6989586621679727931, d6989586621679727932, e6989586621679727933, f6989586621679727934)] -> Type) -> *) (Zip6Sym4 a6989586621679727929 b6989586621679727930 c6989586621679727931 d6989586621679727932 e6989586621679727933 f6989586621679727934) # | |
SuppressUnusedWarnings ([a6989586621679727929] -> [b6989586621679727930] -> [c6989586621679727931] -> TyFun [d6989586621679727932] (TyFun [e6989586621679727933] (TyFun [f6989586621679727934] [(a6989586621679727929, b6989586621679727930, c6989586621679727931, d6989586621679727932, e6989586621679727933, f6989586621679727934)] -> Type) -> Type) -> *) (Zip6Sym3 a6989586621679727929 b6989586621679727930 c6989586621679727931 d6989586621679727932 e6989586621679727933 f6989586621679727934) # | |
SuppressUnusedWarnings ([a6989586621679727929] -> [b6989586621679727930] -> TyFun [c6989586621679727931] (TyFun [d6989586621679727932] (TyFun [e6989586621679727933] (TyFun [f6989586621679727934] [(a6989586621679727929, b6989586621679727930, c6989586621679727931, d6989586621679727932, e6989586621679727933, f6989586621679727934)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 a6989586621679727929 b6989586621679727930 c6989586621679727931 d6989586621679727932 e6989586621679727933 f6989586621679727934) # | |
SuppressUnusedWarnings ([a6989586621679727929] -> TyFun [b6989586621679727930] (TyFun [c6989586621679727931] (TyFun [d6989586621679727932] (TyFun [e6989586621679727933] (TyFun [f6989586621679727934] [(a6989586621679727929, b6989586621679727930, c6989586621679727931, d6989586621679727932, e6989586621679727933, f6989586621679727934)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 a6989586621679727929 b6989586621679727930 c6989586621679727931 d6989586621679727932 e6989586621679727933 f6989586621679727934) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) # | |
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) # | |
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) # | |
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) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679727911 (TyFun b6989586621679727912 (TyFun c6989586621679727913 (TyFun d6989586621679727914 (TyFun e6989586621679727915 f6989586621679727916 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679727911] (TyFun [b6989586621679727912] (TyFun [c6989586621679727913] (TyFun [d6989586621679727914] (TyFun [e6989586621679727915] [f6989586621679727916] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621679727911 b6989586621679727912 c6989586621679727913 d6989586621679727914 e6989586621679727915 f6989586621679727916) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679389275, b6989586621679389276, c6989586621679389277, d6989586621679389278, e6989586621679389279, f6989586621679389280)] ([a6989586621679389275], [b6989586621679389276], [c6989586621679389277], [d6989586621679389278], [e6989586621679389279], [f6989586621679389280]) -> *) (Unzip6Sym0 a6989586621679389275 b6989586621679389276 c6989586621679389277 d6989586621679389278 e6989586621679389279 f6989586621679389280) # | |
SuppressUnusedWarnings (TyFun [a6989586621679727929] (TyFun [b6989586621679727930] (TyFun [c6989586621679727931] (TyFun [d6989586621679727932] (TyFun [e6989586621679727933] (TyFun [f6989586621679727934] [(a6989586621679727929, b6989586621679727930, c6989586621679727931, d6989586621679727932, e6989586621679727933, f6989586621679727934)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621679727929 b6989586621679727930 c6989586621679727931 d6989586621679727932 e6989586621679727933 f6989586621679727934) # | |
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) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679727904] (TyFun [b6989586621679727905] (TyFun [c6989586621679727906] (TyFun [d6989586621679727907] (TyFun [e6989586621679727908] (TyFun [f6989586621679727909] [g6989586621679727910] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727904] -> TyFun [b6989586621679727905] (TyFun [c6989586621679727906] (TyFun [d6989586621679727907] (TyFun [e6989586621679727908] (TyFun [f6989586621679727909] [g6989586621679727910] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727904] -> [b6989586621679727905] -> TyFun [c6989586621679727906] (TyFun [d6989586621679727907] (TyFun [e6989586621679727908] (TyFun [f6989586621679727909] [g6989586621679727910] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727904] -> [b6989586621679727905] -> [c6989586621679727906] -> TyFun [d6989586621679727907] (TyFun [e6989586621679727908] (TyFun [f6989586621679727909] [g6989586621679727910] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727904] -> [b6989586621679727905] -> [c6989586621679727906] -> [d6989586621679727907] -> TyFun [e6989586621679727908] (TyFun [f6989586621679727909] [g6989586621679727910] -> Type) -> *) (ZipWith6Sym5 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727904] -> [b6989586621679727905] -> [c6989586621679727906] -> [d6989586621679727907] -> [e6989586621679727908] -> TyFun [f6989586621679727909] [g6989586621679727910] -> *) (ZipWith6Sym6 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings ([a6989586621679727922] -> [b6989586621679727923] -> [c6989586621679727924] -> [d6989586621679727925] -> [e6989586621679727926] -> [f6989586621679727927] -> TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> *) (Zip7Sym6 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
SuppressUnusedWarnings ([a6989586621679727922] -> [b6989586621679727923] -> [c6989586621679727924] -> [d6989586621679727925] -> [e6989586621679727926] -> TyFun [f6989586621679727927] (TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> Type) -> *) (Zip7Sym5 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
SuppressUnusedWarnings ([a6989586621679727922] -> [b6989586621679727923] -> [c6989586621679727924] -> [d6989586621679727925] -> TyFun [e6989586621679727926] (TyFun [f6989586621679727927] (TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> Type) -> Type) -> *) (Zip7Sym4 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
SuppressUnusedWarnings ([a6989586621679727922] -> [b6989586621679727923] -> [c6989586621679727924] -> TyFun [d6989586621679727925] (TyFun [e6989586621679727926] (TyFun [f6989586621679727927] (TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
SuppressUnusedWarnings ([a6989586621679727922] -> [b6989586621679727923] -> TyFun [c6989586621679727924] (TyFun [d6989586621679727925] (TyFun [e6989586621679727926] (TyFun [f6989586621679727927] (TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
SuppressUnusedWarnings ([a6989586621679727922] -> TyFun [b6989586621679727923] (TyFun [c6989586621679727924] (TyFun [d6989586621679727925] (TyFun [e6989586621679727926] (TyFun [f6989586621679727927] (TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) # | |
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) # | |
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) # | |
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) # | |
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) # | |
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) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679727904 (TyFun b6989586621679727905 (TyFun c6989586621679727906 (TyFun d6989586621679727907 (TyFun e6989586621679727908 (TyFun f6989586621679727909 g6989586621679727910 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679727904] (TyFun [b6989586621679727905] (TyFun [c6989586621679727906] (TyFun [d6989586621679727907] (TyFun [e6989586621679727908] (TyFun [f6989586621679727909] [g6989586621679727910] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621679727904 b6989586621679727905 c6989586621679727906 d6989586621679727907 e6989586621679727908 f6989586621679727909 g6989586621679727910) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679389268, b6989586621679389269, c6989586621679389270, d6989586621679389271, e6989586621679389272, f6989586621679389273, g6989586621679389274)] ([a6989586621679389268], [b6989586621679389269], [c6989586621679389270], [d6989586621679389271], [e6989586621679389272], [f6989586621679389273], [g6989586621679389274]) -> *) (Unzip7Sym0 a6989586621679389268 b6989586621679389269 c6989586621679389270 d6989586621679389271 e6989586621679389272 f6989586621679389273 g6989586621679389274) # | |
SuppressUnusedWarnings (TyFun [a6989586621679727922] (TyFun [b6989586621679727923] (TyFun [c6989586621679727924] (TyFun [d6989586621679727925] (TyFun [e6989586621679727926] (TyFun [f6989586621679727927] (TyFun [g6989586621679727928] [(a6989586621679727922, b6989586621679727923, c6989586621679727924, d6989586621679727925, e6989586621679727926, f6989586621679727927, g6989586621679727928)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621679727922 b6989586621679727923 c6989586621679727924 d6989586621679727925 e6989586621679727926 f6989586621679727927 g6989586621679727928) # | |
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) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679727896] (TyFun [b6989586621679727897] (TyFun [c6989586621679727898] (TyFun [d6989586621679727899] (TyFun [e6989586621679727900] (TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727896] -> TyFun [b6989586621679727897] (TyFun [c6989586621679727898] (TyFun [d6989586621679727899] (TyFun [e6989586621679727900] (TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727896] -> [b6989586621679727897] -> TyFun [c6989586621679727898] (TyFun [d6989586621679727899] (TyFun [e6989586621679727900] (TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727896] -> [b6989586621679727897] -> [c6989586621679727898] -> TyFun [d6989586621679727899] (TyFun [e6989586621679727900] (TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727896] -> [b6989586621679727897] -> [c6989586621679727898] -> [d6989586621679727899] -> TyFun [e6989586621679727900] (TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727896] -> [b6989586621679727897] -> [c6989586621679727898] -> [d6989586621679727899] -> [e6989586621679727900] -> TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> *) (ZipWith7Sym6 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings ((TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679727896] -> [b6989586621679727897] -> [c6989586621679727898] -> [d6989586621679727899] -> [e6989586621679727900] -> [f6989586621679727901] -> TyFun [g6989586621679727902] [h6989586621679727903] -> *) (ZipWith7Sym7 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679727896 (TyFun b6989586621679727897 (TyFun c6989586621679727898 (TyFun d6989586621679727899 (TyFun e6989586621679727900 (TyFun f6989586621679727901 (TyFun g6989586621679727902 h6989586621679727903 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679727896] (TyFun [b6989586621679727897] (TyFun [c6989586621679727898] (TyFun [d6989586621679727899] (TyFun [e6989586621679727900] (TyFun [f6989586621679727901] (TyFun [g6989586621679727902] [h6989586621679727903] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621679727896 b6989586621679727897 c6989586621679727898 d6989586621679727899 e6989586621679727900 f6989586621679727901 g6989586621679727902 h6989586621679727903) # | |