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

Primary Template Haskell generation functions
Basic singleton definitions
Auxiliary definitions

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.

Synopsis

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

cases #

Arguments

:: DsMonad q
=> Name	The head of the type of the scrutinee. (Like `''Maybe` or `''Bool`.)
-> 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.

sCases #

Arguments

:: DsMonad q
=> Name	The head of the type the scrutinee's type is based on. (Like `''Maybe` or `''Bool`.)
-> q Exp	The scrutinee, in a Template Haskell quote
-> q Exp	The body, in a Template Haskell quote
-> q Exp

The function sCases generates a case expression where each right-hand side is identical. This may be useful if the type-checker requires knowledge of which constructor is used to satisfy equality or type-class constraints, but where each constructor is treated the same. For sCases, unlike cases, the scrutinee is a singleton. But make sure to pass in the name of the original datatype, preferring ''Maybe over ''SMaybe.

Basic singleton definitions

data family Sing (a :: k) #

The singleton kind-indexed data family.

Instances

data Sing Bool #
data Sing Bool where SFalse :: Sing Bool z STrue :: Sing Bool z
data Sing Ordering #
data Sing Ordering where SLT :: Sing Ordering z SEQ :: Sing Ordering z SGT :: Sing Ordering z
data Sing * #
data Sing * where STypeRep :: Sing * a
data Sing Nat #
data Sing Nat where SNat :: Sing Nat n
data Sing Symbol #
data Sing Symbol where SSym :: Sing Symbol n
data Sing () #
data Sing () where STuple0 :: Sing () z
data Sing [a] #
data Sing [a] where SNil :: Sing [a] z SCons :: Sing [a] z
data Sing (Maybe a) #
data Sing (Maybe a) where SNothing :: Sing (Maybe a) z SJust :: Sing (Maybe a) z
data Sing (NonEmpty a) #
data Sing (NonEmpty a) where (:%\|) :: Sing (NonEmpty a) z
data Sing (Either a b) #
data Sing (Either a b) where SLeft :: Sing (Either a b) z SRight :: Sing (Either a b) z
data Sing (a, b) #
data Sing (a, b) where STuple2 :: Sing (a, b) z
data Sing ((~>) k1 k2) #
data Sing ((~>) k1 k2) = SLambda { applySing :: forall (t :: k1). Sing k1 t -> Sing k2 ((@@) k1 k2 f t) }
data Sing (a, b, c) #
data Sing (a, b, c) where STuple3 :: Sing (a, b, c) z
data Sing (a, b, c, d) #
data Sing (a, b, c, d) where STuple4 :: Sing (a, b, c, d) z
data Sing (a, b, c, d, e) #
data Sing (a, b, c, d, e) where STuple5 :: Sing (a, b, c, d, e) z
data Sing (a, b, c, d, e, f) #
data Sing (a, b, c, d, e, f) where STuple6 :: Sing (a, b, c, d, e, f) z
data Sing (a, b, c, d, e, f, g) #
data Sing (a, b, c, d, e, f, g) where STuple7 :: Sing (a, b, c, d, e, f, g) z

module Data.Singletons

Auxiliary definitions

These definitions might be mentioned in code generated by Template Haskell, so they must be in scope.

class PEq a #

The promoted analogue of Eq. If you supply no definition for '(:==)', then it defaults to a use of '(==)', from Data.Type.Equality.

Associated Types

type (x :: a) :== (y :: a) :: Bool infix 4 #

type (x :: a) :/= (y :: a) :: Bool infix 4 #

Instances

PEq Bool #
Associated Types type (Bool :== (x :: Bool)) (y :: Bool) :: Bool # type (Bool :/= (x :: Bool)) (y :: Bool) :: Bool #
PEq Ordering #
Associated Types type (Ordering :== (x :: Ordering)) (y :: Ordering) :: Bool # type (Ordering :/= (x :: Ordering)) (y :: Ordering) :: Bool #
PEq () #
Associated Types type (() :== (x :: ())) (y :: ()) :: Bool # type (() :/= (x :: ())) (y :: ()) :: Bool #
PEq [k] #
Associated Types type ([k] :== (x :: [k])) (y :: [k]) :: Bool # type ([k] :/= (x :: [k])) (y :: [k]) :: Bool #
PEq (Maybe k) #
Associated Types type ((Maybe k) :== (x :: Maybe k)) (y :: Maybe k) :: Bool # type ((Maybe k) :/= (x :: Maybe k)) (y :: Maybe k) :: Bool #
PEq (NonEmpty k) #
Associated Types type ((NonEmpty k) :== (x :: NonEmpty k)) (y :: NonEmpty k) :: Bool # type ((NonEmpty k) :/= (x :: NonEmpty k)) (y :: NonEmpty k) :: Bool #
PEq (Either k1 k2) #
Associated Types type ((Either k1 k2) :== (x :: Either k1 k2)) (y :: Either k1 k2) :: Bool # type ((Either k1 k2) :/= (x :: Either k1 k2)) (y :: Either k1 k2) :: Bool #
PEq (k1, k2) #
Associated Types type ((k1, k2) :== (x :: (k1, k2))) (y :: (k1, k2)) :: Bool # type ((k1, k2) :/= (x :: (k1, k2))) (y :: (k1, k2)) :: Bool #
PEq (k1, k2, k3) #
Associated Types type ((k1, k2, k3) :== (x :: (k1, k2, k3))) (y :: (k1, k2, k3)) :: Bool # type ((k1, k2, k3) :/= (x :: (k1, k2, k3))) (y :: (k1, k2, k3)) :: Bool #
PEq (k1, k2, k3, k4) #
Associated Types type ((k1, k2, k3, k4) :== (x :: (k1, k2, k3, k4))) (y :: (k1, k2, k3, k4)) :: Bool # type ((k1, k2, k3, k4) :/= (x :: (k1, k2, k3, k4))) (y :: (k1, k2, k3, k4)) :: Bool #
PEq (k1, k2, k3, k4, k5) #
Associated Types type ((k1, k2, k3, k4, k5) :== (x :: (k1, k2, k3, k4, k5))) (y :: (k1, k2, k3, k4, k5)) :: Bool # type ((k1, k2, k3, k4, k5) :/= (x :: (k1, k2, k3, k4, k5))) (y :: (k1, k2, k3, k4, k5)) :: Bool #
PEq (k1, k2, k3, k4, k5, k6) #
Associated Types type ((k1, k2, k3, k4, k5, k6) :== (x :: (k1, k2, k3, k4, k5, k6))) (y :: (k1, k2, k3, k4, k5, k6)) :: Bool # type ((k1, k2, k3, k4, k5, k6) :/= (x :: (k1, k2, k3, k4, k5, k6))) (y :: (k1, k2, k3, k4, k5, k6)) :: Bool #
PEq (k1, k2, k3, k4, k5, k6, k7) #
Associated Types type ((k1, k2, k3, k4, k5, k6, k7) :== (x :: (k1, k2, k3, k4, k5, k6, k7))) (y :: (k1, k2, k3, k4, k5, k6, k7)) :: Bool # type ((k1, k2, k3, k4, k5, k6, k7) :/= (x :: (k1, k2, k3, k4, k5, k6, k7))) (y :: (k1, k2, k3, k4, k5, k6, k7)) :: Bool #

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

Equations

If k True tru fls = tru
If k False tru fls = fls

sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c) #

Conditional over singletons

type family (a :: Bool) :&& (a :: Bool) :: Bool where ... infixr 3 #

Equations

False :&& _z_1627669154 = FalseSym0
True :&& x = x

class SEq k where #

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 #
Methods (%:==) :: Sing Bool a -> Sing Bool b -> Sing Bool ((Bool :== a) b) # (%:/=) :: Sing Bool a -> Sing Bool b -> Sing Bool ((Bool :/= a) b) #
SEq Ordering #
Methods (%:==) :: Sing Ordering a -> Sing Ordering b -> Sing Bool ((Ordering :== a) b) # (%:/=) :: Sing Ordering a -> Sing Ordering b -> Sing Bool ((Ordering :/= a) b) #
SEq () #
Methods (%:==) :: Sing () a -> Sing () b -> Sing Bool ((() :== a) b) # (%:/=) :: Sing () a -> Sing () b -> Sing Bool ((() :/= a) b) #
SEq a => SEq [a] #
Methods (%:==) :: Sing [a] a -> Sing [a] b -> Sing Bool (([a] :== a) b) # (%:/=) :: Sing [a] a -> Sing [a] b -> Sing Bool (([a] :/= a) b) #
SEq a => SEq (Maybe a) #
Methods (%:==) :: Sing (Maybe a) a -> Sing (Maybe a) b -> Sing Bool ((Maybe a :== a) b) # (%:/=) :: Sing (Maybe a) a -> Sing (Maybe a) b -> Sing Bool ((Maybe a :/= a) b) #
SEq a => SEq (NonEmpty a) #
Methods (%:==) :: Sing (NonEmpty a) a -> Sing (NonEmpty a) b -> Sing Bool ((NonEmpty a :== a) b) # (%:/=) :: Sing (NonEmpty a) a -> Sing (NonEmpty a) b -> Sing Bool ((NonEmpty a :/= a) b) #
(SEq a, SEq b) => SEq (Either a b) #
Methods (%:==) :: Sing (Either a b) a -> Sing (Either a b) b -> Sing Bool ((Either a b :== a) b) # (%:/=) :: Sing (Either a b) a -> Sing (Either a b) b -> Sing Bool ((Either a b :/= a) b) #
(SEq a, SEq b) => SEq (a, b) #
Methods (%:==) :: Sing (a, b) a -> Sing (a, b) b -> Sing Bool (((a, b) :== a) b) # (%:/=) :: Sing (a, b) a -> Sing (a, b) b -> Sing Bool (((a, b) :/= a) b) #
(SEq a, SEq b, SEq c) => SEq (a, b, c) #
Methods (%:==) :: Sing (a, b, c) a -> Sing (a, b, c) b -> Sing Bool (((a, b, c) :== a) b) # (%:/=) :: Sing (a, b, c) a -> Sing (a, b, c) b -> Sing Bool (((a, b, c) :/= a) b) #
(SEq a, SEq b, SEq c, SEq d) => SEq (a, b, c, d) #
Methods (%:==) :: Sing (a, b, c, d) a -> Sing (a, b, c, d) b -> Sing Bool (((a, b, c, d) :== a) b) # (%:/=) :: Sing (a, b, c, d) a -> Sing (a, b, c, d) b -> Sing Bool (((a, b, c, d) :/= a) b) #
(SEq a, SEq b, SEq c, SEq d, SEq e) => SEq (a, b, c, d, e) #
Methods (%:==) :: Sing (a, b, c, d, e) a -> Sing (a, b, c, d, e) b -> Sing Bool (((a, b, c, d, e) :== a) b) # (%:/=) :: Sing (a, b, c, d, e) a -> Sing (a, b, c, d, e) b -> Sing Bool (((a, b, c, d, e) :/= a) b) #
(SEq a, SEq b, SEq c, SEq d, SEq e, SEq f) => SEq (a, b, c, d, e, f) #
Methods (%:==) :: Sing (a, b, c, d, e, f) a -> Sing (a, b, c, d, e, f) b -> Sing Bool (((a, b, c, d, e, f) :== a) b) # (%:/=) :: Sing (a, b, c, d, e, f) a -> Sing (a, b, c, d, e, f) b -> Sing Bool (((a, b, c, d, e, f) :/= a) b) #
(SEq a, SEq b, SEq c, SEq d, SEq e, SEq f, SEq g) => SEq (a, b, c, d, e, f, g) #
Methods (%:==) :: Sing (a, b, c, d, e, f, g) a -> Sing (a, b, c, d, e, f, g) b -> Sing Bool (((a, b, c, d, e, f, g) :== a) b) # (%:/=) :: Sing (a, b, c, d, e, f, g) a -> Sing (a, b, c, d, e, f, g) b -> Sing Bool (((a, b, c, d, e, f, g) :/= a) b) #

class PEq a => POrd (a :: Type) #

Associated Types

type Compare (arg :: a) (arg :: a) :: Ordering #

type (arg :: a) :< (arg :: a) :: Bool infix 4 #

type (arg :: a) :<= (arg :: a) :: Bool infix 4 #

type (arg :: a) :> (arg :: a) :: Bool infix 4 #

type (arg :: a) :>= (arg :: a) :: Bool infix 4 #

type Max (arg :: a) (arg :: a) :: a #

type Min (arg :: a) (arg :: a) :: a #

Instances

POrd Bool #
Associated Types type Compare Bool (arg :: Bool) (arg :: Bool) :: Ordering # type (Bool :< (arg :: Bool)) (arg :: Bool) :: Bool # type (Bool :<= (arg :: Bool)) (arg :: Bool) :: Bool # type (Bool :> (arg :: Bool)) (arg :: Bool) :: Bool # type (Bool :>= (arg :: Bool)) (arg :: Bool) :: Bool # type Max Bool (arg :: Bool) (arg :: Bool) :: a # type Min Bool (arg :: Bool) (arg :: Bool) :: a #
POrd Ordering #
Associated Types type Compare Ordering (arg :: Ordering) (arg :: Ordering) :: Ordering # type (Ordering :< (arg :: Ordering)) (arg :: Ordering) :: Bool # type (Ordering :<= (arg :: Ordering)) (arg :: Ordering) :: Bool # type (Ordering :> (arg :: Ordering)) (arg :: Ordering) :: Bool # type (Ordering :>= (arg :: Ordering)) (arg :: Ordering) :: Bool # type Max Ordering (arg :: Ordering) (arg :: Ordering) :: a # type Min Ordering (arg :: Ordering) (arg :: Ordering) :: a #
POrd () #
Associated Types type Compare () (arg :: ()) (arg :: ()) :: Ordering # type (() :< (arg :: ())) (arg :: ()) :: Bool # type (() :<= (arg :: ())) (arg :: ()) :: Bool # type (() :> (arg :: ())) (arg :: ()) :: Bool # type (() :>= (arg :: ())) (arg :: ()) :: Bool # type Max () (arg :: ()) (arg :: ()) :: a # type Min () (arg :: ()) (arg :: ()) :: a #
POrd [a] #
Associated Types type Compare [a] (arg :: [a]) (arg :: [a]) :: Ordering # type ([a] :< (arg :: [a])) (arg :: [a]) :: Bool # type ([a] :<= (arg :: [a])) (arg :: [a]) :: Bool # type ([a] :> (arg :: [a])) (arg :: [a]) :: Bool # type ([a] :>= (arg :: [a])) (arg :: [a]) :: Bool # type Max [a] (arg :: [a]) (arg :: [a]) :: a # type Min [a] (arg :: [a]) (arg :: [a]) :: a #
POrd (Maybe a) #
Associated Types type Compare (Maybe a) (arg :: Maybe a) (arg :: Maybe a) :: Ordering # type ((Maybe a) :< (arg :: Maybe a)) (arg :: Maybe a) :: Bool # type ((Maybe a) :<= (arg :: Maybe a)) (arg :: Maybe a) :: Bool # type ((Maybe a) :> (arg :: Maybe a)) (arg :: Maybe a) :: Bool # type ((Maybe a) :>= (arg :: Maybe a)) (arg :: Maybe a) :: Bool # type Max (Maybe a) (arg :: Maybe a) (arg :: Maybe a) :: a # type Min (Maybe a) (arg :: Maybe a) (arg :: Maybe a) :: a #
POrd (NonEmpty a) #
Associated Types type Compare (NonEmpty a) (arg :: NonEmpty a) (arg :: NonEmpty a) :: Ordering # type ((NonEmpty a) :< (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool # type ((NonEmpty a) :<= (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool # type ((NonEmpty a) :> (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool # type ((NonEmpty a) :>= (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool # type Max (NonEmpty a) (arg :: NonEmpty a) (arg :: NonEmpty a) :: a # type Min (NonEmpty a) (arg :: NonEmpty a) (arg :: NonEmpty a) :: a #
POrd (Either a b) #
Associated Types type Compare (Either a b) (arg :: Either a b) (arg :: Either a b) :: Ordering # type ((Either a b) :< (arg :: Either a b)) (arg :: Either a b) :: Bool # type ((Either a b) :<= (arg :: Either a b)) (arg :: Either a b) :: Bool # type ((Either a b) :> (arg :: Either a b)) (arg :: Either a b) :: Bool # type ((Either a b) :>= (arg :: Either a b)) (arg :: Either a b) :: Bool # type Max (Either a b) (arg :: Either a b) (arg :: Either a b) :: a # type Min (Either a b) (arg :: Either a b) (arg :: Either a b) :: a #
POrd (a, b) #
Associated Types type Compare (a, b) (arg :: (a, b)) (arg :: (a, b)) :: Ordering # type ((a, b) :< (arg :: (a, b))) (arg :: (a, b)) :: Bool # type ((a, b) :<= (arg :: (a, b))) (arg :: (a, b)) :: Bool # type ((a, b) :> (arg :: (a, b))) (arg :: (a, b)) :: Bool # type ((a, b) :>= (arg :: (a, b))) (arg :: (a, b)) :: Bool # type Max (a, b) (arg :: (a, b)) (arg :: (a, b)) :: a # type Min (a, b) (arg :: (a, b)) (arg :: (a, b)) :: a #
POrd (a, b, c) #
Associated Types type Compare (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: Ordering # type ((a, b, c) :< (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type ((a, b, c) :<= (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type ((a, b, c) :> (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type ((a, b, c) :>= (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool # type Max (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: a # type Min (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: a #
POrd (a, b, c, d) #
Associated Types type Compare (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: Ordering # type ((a, b, c, d) :< (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type ((a, b, c, d) :<= (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type ((a, b, c, d) :> (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type ((a, b, c, d) :>= (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool # type Max (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: a # type Min (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: a #
POrd (a, b, c, d, e) #
Associated Types type Compare (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: Ordering # type ((a, b, c, d, e) :< (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type ((a, b, c, d, e) :<= (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type ((a, b, c, d, e) :> (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type ((a, b, c, d, e) :>= (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool # type Max (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: a # type Min (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: a #
POrd (a, b, c, d, e, f) #
Associated Types type Compare (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: Ordering # type ((a, b, c, d, e, f) :< (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type ((a, b, c, d, e, f) :<= (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type ((a, b, c, d, e, f) :> (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type ((a, b, c, d, e, f) :>= (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool # type Max (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: a # type Min (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: a #
POrd (a, b, c, d, e, f, g) #
Associated Types type Compare (a, b, c, d, e, f, g) (arg :: (a, b, c, d, e, f, g)) (arg :: (a, b, c, d, e, f, g)) :: Ordering # type ((a, b, c, d, e, f, g) :< (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type ((a, b, c, d, e, f, g) :<= (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type ((a, b, c, d, e, f, g) :> (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type ((a, b, c, d, e, f, g) :>= (arg :: (a, b, c, d, e, f, g))) (arg :: (a, b, c, d, e, f, g)) :: Bool # type Max (a, b, c, d, e, f, g) (arg :: (a, b, c, d, e, f, g)) (arg :: (a, b, c, d, e, f, g)) :: a # type Min (a, b, c, d, e, f, g) (arg :: (a, b, c, d, e, f, g)) (arg :: (a, b, c, d, e, f, g)) :: a #

class SEq a => SOrd a where #

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_1627706336Sym0 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_1627706369Sym0 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_1627706402Sym0 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_1627706435Sym0 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_1627706468Sym0 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_1627706501Sym0 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_1627706534Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) #

Instances

SOrd Bool #
Methods sCompare :: Sing Bool t -> Sing Bool t -> Sing Ordering (Apply Bool Ordering (Apply Bool (TyFun Bool Ordering -> Type) (CompareSym0 Bool) t) t) # (%:<) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:<$) Bool) t) t) # (%:<=) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:<=$) Bool) t) t) # (%:>) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:>$) Bool) t) t) # (%:>=) :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) ((:>=$) Bool) t) t) # sMax :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) (MaxSym0 Bool) t) t) # sMin :: Sing Bool t -> Sing Bool t -> Sing Bool (Apply Bool Bool (Apply Bool (TyFun Bool Bool -> Type) (MinSym0 Bool) t) t) #
SOrd Ordering #
Methods sCompare :: Sing Ordering t -> Sing Ordering t -> Sing Ordering (Apply Ordering Ordering (Apply Ordering (TyFun Ordering Ordering -> Type) (CompareSym0 Ordering) t) t) # (%:<) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:<$) Ordering) t) t) # (%:<=) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:<=$) Ordering) t) t) # (%:>) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:>$) Ordering) t) t) # (%:>=) :: Sing Ordering t -> Sing Ordering t -> Sing Bool (Apply Ordering Bool (Apply Ordering (TyFun Ordering Bool -> Type) ((:>=$) Ordering) t) t) # sMax :: Sing Ordering t -> Sing Ordering t -> Sing Ordering (Apply Ordering Ordering (Apply Ordering (TyFun Ordering Ordering -> Type) (MaxSym0 Ordering) t) t) # sMin :: Sing Ordering t -> Sing Ordering t -> Sing Ordering (Apply Ordering Ordering (Apply Ordering (TyFun Ordering Ordering -> Type) (MinSym0 Ordering) t) t) #
SOrd () #
Methods sCompare :: Sing () t -> Sing () t -> Sing Ordering (Apply () Ordering (Apply () (TyFun () Ordering -> Type) (CompareSym0 ()) t) t) # (%:<) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:<$) ()) t) t) # (%:<=) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:<=$) ()) t) t) # (%:>) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:>$) ()) t) t) # (%:>=) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:>=$) ()) t) t) # sMax :: Sing () t -> Sing () t -> Sing () (Apply () () (Apply () (TyFun () () -> Type) (MaxSym0 ()) t) t) # sMin :: Sing () t -> Sing () t -> Sing () (Apply () () (Apply () (TyFun () () -> Type) (MinSym0 ()) t) t) #
(SOrd a, SOrd [a]) => SOrd [a] #
Methods sCompare :: Sing [a] t -> Sing [a] t -> Sing Ordering (Apply [a] Ordering (Apply [a] (TyFun [a] Ordering -> Type) (CompareSym0 [a]) t) t) # (%:<) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:<$) [a]) t) t) # (%:<=) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:<=$) [a]) t) t) # (%:>) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:>$) [a]) t) t) # (%:>=) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:>=$) [a]) t) t) # sMax :: Sing [a] t -> Sing [a] t -> Sing [a] (Apply [a] [a] (Apply [a] (TyFun [a] [a] -> Type) (MaxSym0 [a]) t) t) # sMin :: Sing [a] t -> Sing [a] t -> Sing [a] (Apply [a] [a] (Apply [a] (TyFun [a] [a] -> Type) (MinSym0 [a]) t) t) #
SOrd a => SOrd (Maybe a) #
Methods sCompare :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing Ordering (Apply (Maybe a) Ordering (Apply (Maybe a) (TyFun (Maybe a) Ordering -> Type) (CompareSym0 (Maybe a)) t) t) # (%:<) :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing Bool (Apply (Maybe a) Bool (Apply (Maybe a) (TyFun (Maybe a) Bool -> Type) ((:<$) (Maybe a)) t) t) # (%:<=) :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing Bool (Apply (Maybe a) Bool (Apply (Maybe a) (TyFun (Maybe a) Bool -> Type) ((:<=$) (Maybe a)) t) t) # (%:>) :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing Bool (Apply (Maybe a) Bool (Apply (Maybe a) (TyFun (Maybe a) Bool -> Type) ((:>$) (Maybe a)) t) t) # (%:>=) :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing Bool (Apply (Maybe a) Bool (Apply (Maybe a) (TyFun (Maybe a) Bool -> Type) ((:>=$) (Maybe a)) t) t) # sMax :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing (Maybe a) (Apply (Maybe a) (Maybe a) (Apply (Maybe a) (TyFun (Maybe a) (Maybe a) -> Type) (MaxSym0 (Maybe a)) t) t) # sMin :: Sing (Maybe a) t -> Sing (Maybe a) t -> Sing (Maybe a) (Apply (Maybe a) (Maybe a) (Apply (Maybe a) (TyFun (Maybe a) (Maybe a) -> Type) (MinSym0 (Maybe a)) t) t) #
(SOrd a, SOrd [a]) => SOrd (NonEmpty a) #
Methods sCompare :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing Ordering (Apply (NonEmpty a) Ordering (Apply (NonEmpty a) (TyFun (NonEmpty a) Ordering -> Type) (CompareSym0 (NonEmpty a)) t) t) # (%:<) :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing Bool (Apply (NonEmpty a) Bool (Apply (NonEmpty a) (TyFun (NonEmpty a) Bool -> Type) ((:<$) (NonEmpty a)) t) t) # (%:<=) :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing Bool (Apply (NonEmpty a) Bool (Apply (NonEmpty a) (TyFun (NonEmpty a) Bool -> Type) ((:<=$) (NonEmpty a)) t) t) # (%:>) :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing Bool (Apply (NonEmpty a) Bool (Apply (NonEmpty a) (TyFun (NonEmpty a) Bool -> Type) ((:>$) (NonEmpty a)) t) t) # (%:>=) :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing Bool (Apply (NonEmpty a) Bool (Apply (NonEmpty a) (TyFun (NonEmpty a) Bool -> Type) ((:>=$) (NonEmpty a)) t) t) # sMax :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing (NonEmpty a) (Apply (NonEmpty a) (NonEmpty a) (Apply (NonEmpty a) (TyFun (NonEmpty a) (NonEmpty a) -> Type) (MaxSym0 (NonEmpty a)) t) t) # sMin :: Sing (NonEmpty a) t -> Sing (NonEmpty a) t -> Sing (NonEmpty a) (Apply (NonEmpty a) (NonEmpty a) (Apply (NonEmpty a) (TyFun (NonEmpty a) (NonEmpty a) -> Type) (MinSym0 (NonEmpty a)) t) t) #
(SOrd a, SOrd b) => SOrd (Either a b) #
Methods sCompare :: Sing (Either a b) t -> Sing (Either a b) t -> Sing Ordering (Apply (Either a b) Ordering (Apply (Either a b) (TyFun (Either a b) Ordering -> Type) (CompareSym0 (Either a b)) t) t) # (%:<) :: Sing (Either a b) t -> Sing (Either a b) t -> Sing Bool (Apply (Either a b) Bool (Apply (Either a b) (TyFun (Either a b) Bool -> Type) ((:<$) (Either a b)) t) t) # (%:<=) :: Sing (Either a b) t -> Sing (Either a b) t -> Sing Bool (Apply (Either a b) Bool (Apply (Either a b) (TyFun (Either a b) Bool -> Type) ((:<=$) (Either a b)) t) t) # (%:>) :: Sing (Either a b) t -> Sing (Either a b) t -> Sing Bool (Apply (Either a b) Bool (Apply (Either a b) (TyFun (Either a b) Bool -> Type) ((:>$) (Either a b)) t) t) # (%:>=) :: Sing (Either a b) t -> Sing (Either a b) t -> Sing Bool (Apply (Either a b) Bool (Apply (Either a b) (TyFun (Either a b) Bool -> Type) ((:>=$) (Either a b)) t) t) # sMax :: Sing (Either a b) t -> Sing (Either a b) t -> Sing (Either a b) (Apply (Either a b) (Either a b) (Apply (Either a b) (TyFun (Either a b) (Either a b) -> Type) (MaxSym0 (Either a b)) t) t) # sMin :: Sing (Either a b) t -> Sing (Either a b) t -> Sing (Either a b) (Apply (Either a b) (Either a b) (Apply (Either a b) (TyFun (Either a b) (Either a b) -> Type) (MinSym0 (Either a b)) t) t) #
(SOrd a, SOrd b) => SOrd (a, b) #
Methods sCompare :: Sing (a, b) t -> Sing (a, b) t -> Sing Ordering (Apply (a, b) Ordering (Apply (a, b) (TyFun (a, b) Ordering -> Type) (CompareSym0 (a, b)) t) t) # (%:<) :: Sing (a, b) t -> Sing (a, b) t -> Sing Bool (Apply (a, b) Bool (Apply (a, b) (TyFun (a, b) Bool -> Type) ((:<$) (a, b)) t) t) # (%:<=) :: Sing (a, b) t -> Sing (a, b) t -> Sing Bool (Apply (a, b) Bool (Apply (a, b) (TyFun (a, b) Bool -> Type) ((:<=$) (a, b)) t) t) # (%:>) :: Sing (a, b) t -> Sing (a, b) t -> Sing Bool (Apply (a, b) Bool (Apply (a, b) (TyFun (a, b) Bool -> Type) ((:>$) (a, b)) t) t) # (%:>=) :: Sing (a, b) t -> Sing (a, b) t -> Sing Bool (Apply (a, b) Bool (Apply (a, b) (TyFun (a, b) Bool -> Type) ((:>=$) (a, b)) t) t) # sMax :: Sing (a, b) t -> Sing (a, b) t -> Sing (a, b) (Apply (a, b) (a, b) (Apply (a, b) (TyFun (a, b) (a, b) -> Type) (MaxSym0 (a, b)) t) t) # sMin :: Sing (a, b) t -> Sing (a, b) t -> Sing (a, b) (Apply (a, b) (a, b) (Apply (a, b) (TyFun (a, b) (a, b) -> Type) (MinSym0 (a, b)) t) t) #
(SOrd a, SOrd b, SOrd c) => SOrd (a, b, c) #
Methods sCompare :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing Ordering (Apply (a, b, c) Ordering (Apply (a, b, c) (TyFun (a, b, c) Ordering -> Type) (CompareSym0 (a, b, c)) t) t) # (%:<) :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing Bool (Apply (a, b, c) Bool (Apply (a, b, c) (TyFun (a, b, c) Bool -> Type) ((:<$) (a, b, c)) t) t) # (%:<=) :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing Bool (Apply (a, b, c) Bool (Apply (a, b, c) (TyFun (a, b, c) Bool -> Type) ((:<=$) (a, b, c)) t) t) # (%:>) :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing Bool (Apply (a, b, c) Bool (Apply (a, b, c) (TyFun (a, b, c) Bool -> Type) ((:>$) (a, b, c)) t) t) # (%:>=) :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing Bool (Apply (a, b, c) Bool (Apply (a, b, c) (TyFun (a, b, c) Bool -> Type) ((:>=$) (a, b, c)) t) t) # sMax :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing (a, b, c) (Apply (a, b, c) (a, b, c) (Apply (a, b, c) (TyFun (a, b, c) (a, b, c) -> Type) (MaxSym0 (a, b, c)) t) t) # sMin :: Sing (a, b, c) t -> Sing (a, b, c) t -> Sing (a, b, c) (Apply (a, b, c) (a, b, c) (Apply (a, b, c) (TyFun (a, b, c) (a, b, c) -> Type) (MinSym0 (a, b, c)) t) t) #
(SOrd a, SOrd b, SOrd c, SOrd d) => SOrd (a, b, c, d) #
Methods sCompare :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing Ordering (Apply (a, b, c, d) Ordering (Apply (a, b, c, d) (TyFun (a, b, c, d) Ordering -> Type) (CompareSym0 (a, b, c, d)) t) t) # (%:<) :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing Bool (Apply (a, b, c, d) Bool (Apply (a, b, c, d) (TyFun (a, b, c, d) Bool -> Type) ((:<$) (a, b, c, d)) t) t) # (%:<=) :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing Bool (Apply (a, b, c, d) Bool (Apply (a, b, c, d) (TyFun (a, b, c, d) Bool -> Type) ((:<=$) (a, b, c, d)) t) t) # (%:>) :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing Bool (Apply (a, b, c, d) Bool (Apply (a, b, c, d) (TyFun (a, b, c, d) Bool -> Type) ((:>$) (a, b, c, d)) t) t) # (%:>=) :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing Bool (Apply (a, b, c, d) Bool (Apply (a, b, c, d) (TyFun (a, b, c, d) Bool -> Type) ((:>=$) (a, b, c, d)) t) t) # sMax :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing (a, b, c, d) (Apply (a, b, c, d) (a, b, c, d) (Apply (a, b, c, d) (TyFun (a, b, c, d) (a, b, c, d) -> Type) (MaxSym0 (a, b, c, d)) t) t) # sMin :: Sing (a, b, c, d) t -> Sing (a, b, c, d) t -> Sing (a, b, c, d) (Apply (a, b, c, d) (a, b, c, d) (Apply (a, b, c, d) (TyFun (a, b, c, d) (a, b, c, d) -> Type) (MinSym0 (a, b, c, d)) t) t) #
(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e) => SOrd (a, b, c, d, e) #
Methods sCompare :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing Ordering (Apply (a, b, c, d, e) Ordering (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) Ordering -> Type) (CompareSym0 (a, b, c, d, e)) t) t) # (%:<) :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing Bool (Apply (a, b, c, d, e) Bool (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) Bool -> Type) ((:<$) (a, b, c, d, e)) t) t) # (%:<=) :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing Bool (Apply (a, b, c, d, e) Bool (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) Bool -> Type) ((:<=$) (a, b, c, d, e)) t) t) # (%:>) :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing Bool (Apply (a, b, c, d, e) Bool (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) Bool -> Type) ((:>$) (a, b, c, d, e)) t) t) # (%:>=) :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing Bool (Apply (a, b, c, d, e) Bool (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) Bool -> Type) ((:>=$) (a, b, c, d, e)) t) t) # sMax :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) (Apply (a, b, c, d, e) (a, b, c, d, e) (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) (a, b, c, d, e) -> Type) (MaxSym0 (a, b, c, d, e)) t) t) # sMin :: Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) t -> Sing (a, b, c, d, e) (Apply (a, b, c, d, e) (a, b, c, d, e) (Apply (a, b, c, d, e) (TyFun (a, b, c, d, e) (a, b, c, d, e) -> Type) (MinSym0 (a, b, c, d, e)) t) t) #
(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f) => SOrd (a, b, c, d, e, f) #
Methods sCompare :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing Ordering (Apply (a, b, c, d, e, f) Ordering (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) Ordering -> Type) (CompareSym0 (a, b, c, d, e, f)) t) t) # (%:<) :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing Bool (Apply (a, b, c, d, e, f) Bool (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) Bool -> Type) ((:<$) (a, b, c, d, e, f)) t) t) # (%:<=) :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing Bool (Apply (a, b, c, d, e, f) Bool (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) Bool -> Type) ((:<=$) (a, b, c, d, e, f)) t) t) # (%:>) :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing Bool (Apply (a, b, c, d, e, f) Bool (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) Bool -> Type) ((:>$) (a, b, c, d, e, f)) t) t) # (%:>=) :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing Bool (Apply (a, b, c, d, e, f) Bool (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) Bool -> Type) ((:>=$) (a, b, c, d, e, f)) t) t) # sMax :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) (Apply (a, b, c, d, e, f) (a, b, c, d, e, f) (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) (a, b, c, d, e, f) -> Type) (MaxSym0 (a, b, c, d, e, f)) t) t) # sMin :: Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) t -> Sing (a, b, c, d, e, f) (Apply (a, b, c, d, e, f) (a, b, c, d, e, f) (Apply (a, b, c, d, e, f) (TyFun (a, b, c, d, e, f) (a, b, c, d, e, f) -> Type) (MinSym0 (a, b, c, d, e, f)) t) t) #
(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f, SOrd g) => SOrd (a, b, c, d, e, f, g) #
Methods sCompare :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing Ordering (Apply (a, b, c, d, e, f, g) Ordering (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) Ordering -> Type) (CompareSym0 (a, b, c, d, e, f, g)) t) t) # (%:<) :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing Bool (Apply (a, b, c, d, e, f, g) Bool (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) Bool -> Type) ((:<$) (a, b, c, d, e, f, g)) t) t) # (%:<=) :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing Bool (Apply (a, b, c, d, e, f, g) Bool (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) Bool -> Type) ((:<=$) (a, b, c, d, e, f, g)) t) t) # (%:>) :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing Bool (Apply (a, b, c, d, e, f, g) Bool (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) Bool -> Type) ((:>$) (a, b, c, d, e, f, g)) t) t) # (%:>=) :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing Bool (Apply (a, b, c, d, e, f, g) Bool (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) Bool -> Type) ((:>=$) (a, b, c, d, e, f, g)) t) t) # sMax :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) (Apply (a, b, c, d, e, f, g) (a, b, c, d, e, f, g) (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) (a, b, c, d, e, f, g) -> Type) (MaxSym0 (a, b, c, d, e, f, g)) t) t) # sMin :: Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) t -> Sing (a, b, c, d, e, f, g) (Apply (a, b, c, d, e, f, g) (a, b, c, d, e, f, g) (Apply (a, b, c, d, e, f, g) (TyFun (a, b, c, d, e, f, g) (a, b, c, d, e, f, g) -> Type) (MinSym0 (a, b, c, d, e, f, g)) t) t) #

type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ... #

Equations

ThenCmp EQ x = x
ThenCmp LT _z_1627713217 = LTSym0
ThenCmp GT _z_1627713220 = GTSym0

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 ... #

Equations

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

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.

class SDecide k where #

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

(%~)

Methods

(%~) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Decision (a :~: b) #

Compute a proof or disproof of equality, given two singletons.

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

Constructors

Refl :: (:~:) k a a

Instances

TestCoercion k ((:~:) k a)	Since: 4.7.0.0
Methods testCoercion :: f a -> f b -> Maybe (Coercion (k :~: a) a b) #
TestEquality k ((:~:) k a)	Since: 4.7.0.0
Methods testEquality :: f a -> f b -> Maybe (((k :~: a) :~: a) b) #
(~) k a b => Bounded ((:~:) k a b)	Since: 4.7.0.0
Methods minBound :: (k :~: a) b # maxBound :: (k :~: a) b #
(~) k a b => Enum ((:~:) k a b)	Since: 4.7.0.0
Methods succ :: (k :~: a) b -> (k :~: a) b # pred :: (k :~: a) b -> (k :~: a) b # toEnum :: Int -> (k :~: a) b # fromEnum :: (k :~: a) b -> Int # enumFrom :: (k :~: a) b -> [(k :~: a) b] # enumFromThen :: (k :~: a) b -> (k :~: a) b -> [(k :~: a) b] # enumFromTo :: (k :~: a) b -> (k :~: a) b -> [(k :~: a) b] # enumFromThenTo :: (k :~: a) b -> (k :~: a) b -> (k :~: a) b -> [(k :~: a) b] #
Eq ((:~:) k a b)
Methods (==) :: (k :~: a) b -> (k :~: a) b -> Bool # (/=) :: (k :~: a) b -> (k :~: a) b -> Bool #
((~) * a b, Data a) => Data ((:~:) * a b)	Since: 4.7.0.0
Methods gfoldl :: (forall d c. Data d => c (d -> c) -> d -> c c) -> (forall g. g -> c g) -> (* :~: a) b -> c ((* :~: a) b) # gunfold :: (forall c r. Data c => c (c -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ((* :~: a) b) # toConstr :: (* :~: a) b -> Constr # dataTypeOf :: (* :~: a) b -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (( :~: a) b)) # dataCast2 :: Typeable (* -> * -> ) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (( :~: a) b)) # gmapT :: (forall c. Data c => c -> c) -> (* :~: a) b -> (* :~: a) b # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (* :~: a) b -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (* :~: a) b -> r # gmapQ :: (forall d. Data d => d -> u) -> (* :~: a) b -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> (* :~: a) b -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> (* :~: a) b -> m ((* :~: a) b) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (* :~: a) b -> m ((* :~: a) b) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (* :~: a) b -> m ((* :~: a) b) #
Ord ((:~:) k a b)
Methods compare :: (k :~: a) b -> (k :~: a) b -> Ordering # (<) :: (k :~: a) b -> (k :~: a) b -> Bool # (<=) :: (k :~: a) b -> (k :~: a) b -> Bool # (>) :: (k :~: a) b -> (k :~: a) b -> Bool # (>=) :: (k :~: a) b -> (k :~: a) b -> Bool # max :: (k :~: a) b -> (k :~: a) b -> (k :~: a) b # min :: (k :~: a) b -> (k :~: a) b -> (k :~: a) b #
(~) k a b => Read ((:~:) k a b)	Since: 4.7.0.0
Methods readsPrec :: Int -> ReadS ((k :~: a) b) # readList :: ReadS [(k :~: a) b] # readPrec :: ReadPrec ((k :~: a) b) # readListPrec :: ReadPrec [(k :~: a) b] #
Show ((:~:) k a b)
Methods showsPrec :: Int -> (k :~: a) b -> ShowS # show :: (k :~: a) b -> String # showList :: [(k :~: a) b] -> ShowS #

data Void :: * #

Uninhabited data type

Since: 4.8.0.0

Instances

Eq Void	Since: 4.8.0.0
Methods (==) :: Void -> Void -> Bool # (/=) :: Void -> Void -> Bool #
Data Void
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Void -> c Void # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Void # toConstr :: Void -> Constr # dataTypeOf :: Void -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Void) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Void) # gmapT :: (forall b. Data b => b -> b) -> Void -> Void # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r # gmapQ :: (forall d. Data d => d -> u) -> Void -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Void -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Void -> m Void # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void #
Ord Void	Since: 4.8.0.0
Methods compare :: Void -> Void -> Ordering # (<) :: Void -> Void -> Bool # (<=) :: Void -> Void -> Bool # (>) :: Void -> Void -> Bool # (>=) :: Void -> Void -> Bool # max :: Void -> Void -> Void # min :: Void -> Void -> Void #
Read Void	Reading a `Void` value is always a parse error, considering `Void` as a data type with no constructors. \| @since 4.8.0.0
Methods readsPrec :: Int -> ReadS Void # readList :: ReadS [Void] # readPrec :: ReadPrec Void # readListPrec :: ReadPrec [Void] #
Show Void	Since: 4.8.0.0
Methods showsPrec :: Int -> Void -> ShowS # show :: Void -> String # showList :: [Void] -> ShowS #
Ix Void	Since: 4.8.0.0
Methods range :: (Void, Void) -> [Void] # index :: (Void, Void) -> Void -> Int # unsafeIndex :: (Void, Void) -> Void -> Int inRange :: (Void, Void) -> Void -> Bool # rangeSize :: (Void, Void) -> Int # unsafeRangeSize :: (Void, Void) -> Int
Generic Void
Associated Types type Rep Void :: * -> * # Methods from :: Void -> Rep Void x # to :: Rep Void x -> Void #
Semigroup Void	Since: 4.9.0.0
Methods (<>) :: Void -> Void -> Void # sconcat :: NonEmpty Void -> Void # stimes :: Integral b => b -> Void -> Void #
Exception Void	Since: 4.8.0.0
Methods toException :: Void -> SomeException # fromException :: SomeException -> Maybe Void # displayException :: Void -> String #
type Rep Void
type Rep Void = D1 * (MetaData "Void" "Data.Void" "base" False) (V1 *)

type Refuted a = a -> Void #

Because we can never create a value of type Void, a function that type-checks at a -> Void shows that objects of type a can never exist. Thus, we say that a is Refuted

data Decision a #

A Decision about a type a is either a proof of existence or a proof that a cannot exist.

Constructors

Proved a	Witness for `a`
Disproved (Refuted a)	Proof that no `a` exists

data SomeSing k where #

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.

Constructors

SomeSing :: Sing (a :: k) -> SomeSing k

type family Error (str :: k0) :: k #

The promotion of error. This version is more poly-kinded for easier use.

data ErrorSym0 (l :: TyFun k01627798799 k1627798801) #

Instances

SuppressUnusedWarnings (TyFun k01627798799 k1627798801 -> *) (ErrorSym0 k01627798799 k1627798801) #
Methods suppressUnusedWarnings :: Proxy (ErrorSym0 k01627798799 k1627798801) t -> () #
type Apply k0 k2 (ErrorSym0 k0 k2) l #
type Apply k0 k2 (ErrorSym0 k0 k2) l = Error k0 k2 l

type TrueSym0 = True #

type FalseSym0 = False #

type LTSym0 = LT #

type EQSym0 = EQ #

type GTSym0 = GT #

type Tuple0Sym0 = '() #

data Tuple2Sym0 (l :: TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) -> *) (Tuple2Sym0 a822083585 b822083586) #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym0 a822083585 b822083586) t -> () #
type Apply a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) (Tuple2Sym0 a822083585 b822083586) l #
type Apply a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) (Tuple2Sym0 a822083585 b822083586) l = Tuple2Sym1 a822083585 b822083586 l

data Tuple2Sym1 (l :: a822083585) (l :: TyFun b822083586 (a822083585, b822083586)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (a822083585, b822083586) -> *) (Tuple2Sym1 a822083585 b822083586) #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym1 a822083585 b822083586) t -> () #
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 #
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 = (,) k2 k1 l1 l2

type Tuple2Sym2 (t :: a822083585) (t :: b822083586) = '(t, t) #

data Tuple3Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) -> *) (Tuple3Sym0 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym0 a822083585 b822083586 c822083587) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) (Tuple3Sym0 a822083585 b822083586 c822083587) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) (Tuple3Sym0 a822083585 b822083586 c822083587) l = Tuple3Sym1 a822083585 b822083586 c822083587 l

data Tuple3Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> *) (Tuple3Sym1 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym1 a822083585 b822083586 c822083587) t -> () #
type Apply b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) (Tuple3Sym1 a822083585 b822083586 c822083587 l1) l2 #
type Apply b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) (Tuple3Sym1 a822083585 b822083586 c822083587 l1) l2 = Tuple3Sym2 a822083585 b822083586 c822083587 l1 l2

data Tuple3Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (a822083585, b822083586, c822083587)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (a822083585, b822083586, c822083587) -> *) (Tuple3Sym2 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym2 a822083585 b822083586 c822083587) t -> () #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 #
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 = (,,) k2 k1 k3 l1 l2 l3

type Tuple3Sym3 (t :: a822083585) (t :: b822083586) (t :: c822083587) = '(t, t, t) #

data Tuple4Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) l = Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l

data Tuple4Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> *) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588 l1) l2 = Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2

data Tuple4Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> *) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588 l1 l2) l3 = Tuple4Sym3 a822083585 b822083586 c822083587 d822083588 l1 l2 l3

data Tuple4Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (a822083585, b822083586, c822083587, d822083588)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> *) (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) t -> () #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 #
type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 = (,,,) k2 k1 k3 k4 l1 l2 l3 l4

type Tuple4Sym4 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) = '(t, t, t, t) #

data Tuple5Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) l = Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l

data Tuple5Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 l1) l2 = Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2

data Tuple5Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> *) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2) l3 = Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3

data Tuple5Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> *) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3) l4 #
type Apply d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3) l4 = Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 l1 l2 l3 l4

data Tuple5Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> *) (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 #
type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 = (,,,,) k2 k1 k3 k4 k5 l1 l2 l3 l4 l5

type Tuple5Sym5 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) = '(t, t, t, t, t) #

data Tuple6Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) l = Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l

data Tuple6Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1) l2 = Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2

data Tuple6Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2) l3 = Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3

data Tuple6Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> *) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3) l4 #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3) l4 = Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4

data Tuple6Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> *) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4) l5 #
type Apply e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4) l5 = Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 l1 l2 l3 l4 l5

data Tuple6Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> *) (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 #
type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 = (,,,,,) k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6

type Tuple6Sym6 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) = '(t, t, t, t, t, t) #

data Tuple7Sym0 (l :: TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) l #
type Apply a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) l = Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l

data Tuple7Sym1 (l :: a822083585) (l :: TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1) l2 #
type Apply b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1) l2 = Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2

data Tuple7Sym2 (l :: a822083585) (l :: b822083586) (l :: TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2) l3 #
type Apply c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2) l3 = Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3

data Tuple7Sym3 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3) l4 #
type Apply d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3) l4 = Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4

data Tuple7Sym4 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> *) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4) l5 #
type Apply e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4) l5 = Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5

data Tuple7Sym5 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> *) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
type Apply f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5) l6 #
type Apply f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5) l6 = Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591 l1 l2 l3 l4 l5 l6

data Tuple7Sym6 (l :: a822083585) (l :: b822083586) (l :: c822083587) (l :: d822083588) (l :: e822083589) (l :: f822083590) (l :: TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591)) #

Instances

SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> f822083590 -> TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> *) (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
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 Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 = (,,,,,,) k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7

type Tuple7Sym7 (t :: a822083585) (t :: b822083586) (t :: c822083587) (t :: d822083588) (t :: e822083589) (t :: f822083590) (t :: g822083591) = '(t, t, t, t, t, t, t) #

data CompareSym0 (l :: TyFun a1627704908 (TyFun a1627704908 Ordering -> Type)) #

Instances

SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 Ordering -> Type) -> *) (CompareSym0 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (CompareSym0 a1627704908) t -> () #
type Apply a1627704908 (TyFun a1627704908 Ordering -> Type) (CompareSym0 a1627704908) l #
type Apply a1627704908 (TyFun a1627704908 Ordering -> Type) (CompareSym0 a1627704908) l = CompareSym1 a1627704908 l

data ThenCmpSym0 (l :: TyFun Ordering (TyFun Ordering Ordering -> Type)) #

Instances

SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 #
Methods suppressUnusedWarnings :: Proxy ThenCmpSym0 t -> () #
type Apply Ordering (TyFun Ordering Ordering -> Type) ThenCmpSym0 l #
type Apply Ordering (TyFun Ordering Ordering -> Type) ThenCmpSym0 l = ThenCmpSym1 l

data FoldlSym0 (l :: TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type)) #

Instances

SuppressUnusedWarnings (TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) -> *) (FoldlSym0 a1627632056 b1627632057) #
Methods suppressUnusedWarnings :: Proxy (FoldlSym0 a1627632056 b1627632057) t -> () #
type Apply (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) (FoldlSym0 a1627632056 b1627632057) l #
type Apply (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) (FoldlSym0 a1627632056 b1627632057) l = FoldlSym1 a1627632056 b1627632057 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

suppressUnusedWarnings

Methods

suppressUnusedWarnings :: Proxy t -> () #

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) #
Methods suppressUnusedWarnings :: Proxy (:&&$$) t -> () #
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$) #
Methods suppressUnusedWarnings :: Proxy (:\|\|$$) t -> () #
SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 #
Methods suppressUnusedWarnings :: Proxy ThenCmpSym1 t -> () #
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) #
Methods suppressUnusedWarnings :: Proxy (:^$$) t -> () #
SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 #
Methods suppressUnusedWarnings :: Proxy NotSym0 t -> () #
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) #
Methods suppressUnusedWarnings :: Proxy (:&&$) t -> () #
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:\|\|$) #
Methods suppressUnusedWarnings :: Proxy (:\|\|$) t -> () #
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 #
Methods suppressUnusedWarnings :: Proxy AndSym0 t -> () #
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 #
Methods suppressUnusedWarnings :: Proxy OrSym0 t -> () #
SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 #
Methods suppressUnusedWarnings :: Proxy ThenCmpSym0 t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:^$) #
Methods suppressUnusedWarnings :: Proxy (:^$) t -> () #
SuppressUnusedWarnings (TyFun Nat Constraint -> *) KnownNatSym0 #
Methods suppressUnusedWarnings :: Proxy KnownNatSym0 t -> () #
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 #
Methods suppressUnusedWarnings :: Proxy KnownSymbolSym0 t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty Bool) Bool -> *) XorSym0 #
Methods suppressUnusedWarnings :: Proxy XorSym0 t -> () #
SuppressUnusedWarnings ((TyFun a1627843639 Bool -> Type) -> (TyFun a1627843639 a1627843639 -> Type) -> TyFun a1627843639 a1627843639 -> *) (UntilSym2 a1627843639) #
Methods suppressUnusedWarnings :: Proxy (UntilSym2 a1627843639) t -> () #
SuppressUnusedWarnings ((TyFun a1627843639 Bool -> Type) -> TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> *) (UntilSym1 a1627843639) #
Methods suppressUnusedWarnings :: Proxy (UntilSym1 a1627843639) t -> () #
SuppressUnusedWarnings ((TyFun a1627845967 Bool -> Type) -> TyFun [a1627845967] Bool -> *) (Any_Sym1 a1627845967) #
Methods suppressUnusedWarnings :: Proxy (Any_Sym1 a1627845967) t -> () #
SuppressUnusedWarnings ((TyFun a1627856081 (TyFun a1627856081 Bool -> Type) -> Type) -> TyFun [a1627856081] [a1627856081] -> *) (NubBySym1 a1627856081) #
Methods suppressUnusedWarnings :: Proxy (NubBySym1 a1627856081) t -> () #
SuppressUnusedWarnings ((TyFun a1627856090 Bool -> Type) -> TyFun [a1627856090] ([a1627856090], [a1627856090]) -> *) (PartitionSym1 a1627856090) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym1 a1627856090) t -> () #
SuppressUnusedWarnings ((TyFun a1627856102 Bool -> Type) -> TyFun [a1627856102] ([a1627856102], [a1627856102]) -> *) (BreakSym1 a1627856102) #
Methods suppressUnusedWarnings :: Proxy (BreakSym1 a1627856102) t -> () #
SuppressUnusedWarnings ((TyFun a1627856103 Bool -> Type) -> TyFun [a1627856103] ([a1627856103], [a1627856103]) -> *) (SpanSym1 a1627856103) #
Methods suppressUnusedWarnings :: Proxy (SpanSym1 a1627856103) t -> () #
SuppressUnusedWarnings ((TyFun a1627856093 (TyFun a1627856093 Bool -> Type) -> Type) -> TyFun [a1627856093] [[a1627856093]] -> *) (GroupBySym1 a1627856093) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym1 a1627856093) t -> () #
SuppressUnusedWarnings ((TyFun a1627856105 Bool -> Type) -> TyFun [a1627856105] [a1627856105] -> *) (DropWhileSym1 a1627856105) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym1 a1627856105) t -> () #
SuppressUnusedWarnings ((TyFun a1627856106 Bool -> Type) -> TyFun [a1627856106] [a1627856106] -> *) (TakeWhileSym1 a1627856106) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym1 a1627856106) t -> () #
SuppressUnusedWarnings ((TyFun a1627856114 Bool -> Type) -> TyFun [a1627856114] [a1627856114] -> *) (FilterSym1 a1627856114) #
Methods suppressUnusedWarnings :: Proxy (FilterSym1 a1627856114) t -> () #
SuppressUnusedWarnings ((TyFun a1627856113 Bool -> Type) -> TyFun [a1627856113] (Maybe a1627856113) -> *) (FindSym1 a1627856113) #
Methods suppressUnusedWarnings :: Proxy (FindSym1 a1627856113) t -> () #
SuppressUnusedWarnings ((TyFun a1627856107 (TyFun a1627856107 Bool -> Type) -> Type) -> [a1627856107] -> TyFun [a1627856107] [a1627856107] -> *) (IntersectBySym2 a1627856107) #
Methods suppressUnusedWarnings :: Proxy (IntersectBySym2 a1627856107) t -> () #
SuppressUnusedWarnings ((TyFun a1627856107 (TyFun a1627856107 Bool -> Type) -> Type) -> TyFun [a1627856107] (TyFun [a1627856107] [a1627856107] -> Type) -> *) (IntersectBySym1 a1627856107) #
Methods suppressUnusedWarnings :: Proxy (IntersectBySym1 a1627856107) t -> () #
SuppressUnusedWarnings ((TyFun a1627856117 (TyFun a1627856117 Ordering -> Type) -> Type) -> TyFun a1627856117 (TyFun [a1627856117] [a1627856117] -> Type) -> *) (InsertBySym1 a1627856117) #
Methods suppressUnusedWarnings :: Proxy (InsertBySym1 a1627856117) t -> () #
SuppressUnusedWarnings ((TyFun a1627856117 (TyFun a1627856117 Ordering -> Type) -> Type) -> a1627856117 -> TyFun [a1627856117] [a1627856117] -> *) (InsertBySym2 a1627856117) #
Methods suppressUnusedWarnings :: Proxy (InsertBySym2 a1627856117) t -> () #
SuppressUnusedWarnings ((TyFun a1627856118 (TyFun a1627856118 Ordering -> Type) -> Type) -> TyFun [a1627856118] [a1627856118] -> *) (SortBySym1 a1627856118) #
Methods suppressUnusedWarnings :: Proxy (SortBySym1 a1627856118) t -> () #
SuppressUnusedWarnings ((TyFun a1627856120 (TyFun a1627856120 Bool -> Type) -> Type) -> TyFun a1627856120 (TyFun [a1627856120] [a1627856120] -> Type) -> *) (DeleteBySym1 a1627856120) #
Methods suppressUnusedWarnings :: Proxy (DeleteBySym1 a1627856120) t -> () #
SuppressUnusedWarnings ((TyFun a1627856120 (TyFun a1627856120 Bool -> Type) -> Type) -> a1627856120 -> TyFun [a1627856120] [a1627856120] -> *) (DeleteBySym2 a1627856120) #
Methods suppressUnusedWarnings :: Proxy (DeleteBySym2 a1627856120) t -> () #
SuppressUnusedWarnings ((TyFun a1627856119 (TyFun a1627856119 Bool -> Type) -> Type) -> [a1627856119] -> TyFun [a1627856119] [a1627856119] -> *) (DeleteFirstsBySym2 a1627856119) #
Methods suppressUnusedWarnings :: Proxy (DeleteFirstsBySym2 a1627856119) t -> () #
SuppressUnusedWarnings ((TyFun a1627856119 (TyFun a1627856119 Bool -> Type) -> Type) -> TyFun [a1627856119] (TyFun [a1627856119] [a1627856119] -> Type) -> *) (DeleteFirstsBySym1 a1627856119) #
Methods suppressUnusedWarnings :: Proxy (DeleteFirstsBySym1 a1627856119) t -> () #
SuppressUnusedWarnings ((TyFun a1627856079 (TyFun a1627856079 Bool -> Type) -> Type) -> [a1627856079] -> TyFun [a1627856079] [a1627856079] -> *) (UnionBySym2 a1627856079) #
Methods suppressUnusedWarnings :: Proxy (UnionBySym2 a1627856079) t -> () #
SuppressUnusedWarnings ((TyFun a1627856079 (TyFun a1627856079 Bool -> Type) -> Type) -> TyFun [a1627856079] (TyFun [a1627856079] [a1627856079] -> Type) -> *) (UnionBySym1 a1627856079) #
Methods suppressUnusedWarnings :: Proxy (UnionBySym1 a1627856079) t -> () #
SuppressUnusedWarnings ((TyFun a1627856109 Bool -> Type) -> TyFun [a1627856109] [Nat] -> *) (FindIndicesSym1 a1627856109) #
Methods suppressUnusedWarnings :: Proxy (FindIndicesSym1 a1627856109) t -> () #
SuppressUnusedWarnings ((TyFun a1627856110 Bool -> Type) -> TyFun [a1627856110] (Maybe Nat) -> *) (FindIndexSym1 a1627856110) #
Methods suppressUnusedWarnings :: Proxy (FindIndexSym1 a1627856110) t -> () #
SuppressUnusedWarnings ((TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) -> TyFun [a1627856177] [a1627856177] -> *) (Scanr1Sym1 a1627856177) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym1 a1627856177) t -> () #
SuppressUnusedWarnings ((TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) -> TyFun [a1627856180] [a1627856180] -> *) (Scanl1Sym1 a1627856180) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym1 a1627856180) t -> () #
SuppressUnusedWarnings ((TyFun a1627856183 Bool -> Type) -> TyFun [a1627856183] Bool -> *) (AllSym1 a1627856183) #
Methods suppressUnusedWarnings :: Proxy (AllSym1 a1627856183) t -> () #
SuppressUnusedWarnings ((TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) -> TyFun [a1627856187] a1627856187 -> *) (Foldr1Sym1 a1627856187) #
Methods suppressUnusedWarnings :: Proxy (Foldr1Sym1 a1627856187) t -> () #
SuppressUnusedWarnings ((TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) -> TyFun [a1627856189] a1627856189 -> *) (Foldl1Sym1 a1627856189) #
Methods suppressUnusedWarnings :: Proxy (Foldl1Sym1 a1627856189) t -> () #
SuppressUnusedWarnings ((TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) -> TyFun [a1627856116] a1627856116 -> *) (MaximumBySym1 a1627856116) #
Methods suppressUnusedWarnings :: Proxy (MaximumBySym1 a1627856116) t -> () #
SuppressUnusedWarnings ((TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) -> TyFun [a1627856115] a1627856115 -> *) (MinimumBySym1 a1627856115) #
Methods suppressUnusedWarnings :: Proxy (MinimumBySym1 a1627856115) t -> () #
SuppressUnusedWarnings ((TyFun a1627856188 (TyFun a1627856188 a1627856188 -> Type) -> Type) -> TyFun [a1627856188] a1627856188 -> *) (Foldl1'Sym1 a1627856188) #
Methods suppressUnusedWarnings :: Proxy (Foldl1'Sym1 a1627856188) t -> () #
SuppressUnusedWarnings ((TyFun a1627856104 Bool -> Type) -> TyFun [a1627856104] [a1627856104] -> *) (DropWhileEndSym1 a1627856104) #
Methods suppressUnusedWarnings :: Proxy (DropWhileEndSym1 a1627856104) t -> () #
SuppressUnusedWarnings ((TyFun a1628135927 (TyFun a1628135927 Bool -> Type) -> Type) -> TyFun (NonEmpty a1628135927) (NonEmpty a1628135927) -> *) (NubBySym1 a1628135927) #
Methods suppressUnusedWarnings :: Proxy (NubBySym1 a1628135927) t -> () #
SuppressUnusedWarnings ((TyFun a1628135948 (TyFun a1628135948 Bool -> Type) -> Type) -> TyFun [a1628135948] [NonEmpty a1628135948] -> *) (GroupBySym1 a1628135948) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym1 a1628135948) t -> () #
SuppressUnusedWarnings ((TyFun a1628135942 (TyFun a1628135942 Bool -> Type) -> Type) -> TyFun (NonEmpty a1628135942) (NonEmpty (NonEmpty a1628135942)) -> *) (GroupBy1Sym1 a1628135942) #
Methods suppressUnusedWarnings :: Proxy (GroupBy1Sym1 a1628135942) t -> () #
SuppressUnusedWarnings ((TyFun a1628135955 Bool -> Type) -> TyFun (NonEmpty a1628135955) [a1628135955] -> *) (TakeWhileSym1 a1628135955) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym1 a1628135955) t -> () #
SuppressUnusedWarnings ((TyFun a1628135954 Bool -> Type) -> TyFun (NonEmpty a1628135954) [a1628135954] -> *) (DropWhileSym1 a1628135954) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym1 a1628135954) t -> () #
SuppressUnusedWarnings ((TyFun a1628135953 Bool -> Type) -> TyFun (NonEmpty a1628135953) ([a1628135953], [a1628135953]) -> *) (SpanSym1 a1628135953) #
Methods suppressUnusedWarnings :: Proxy (SpanSym1 a1628135953) t -> () #
SuppressUnusedWarnings ((TyFun a1628135952 Bool -> Type) -> TyFun (NonEmpty a1628135952) ([a1628135952], [a1628135952]) -> *) (BreakSym1 a1628135952) #
Methods suppressUnusedWarnings :: Proxy (BreakSym1 a1628135952) t -> () #
SuppressUnusedWarnings ((TyFun a1628135951 Bool -> Type) -> TyFun (NonEmpty a1628135951) [a1628135951] -> *) (FilterSym1 a1628135951) #
Methods suppressUnusedWarnings :: Proxy (FilterSym1 a1628135951) t -> () #
SuppressUnusedWarnings ((TyFun a1628135950 Bool -> Type) -> TyFun (NonEmpty a1628135950) ([a1628135950], [a1628135950]) -> *) (PartitionSym1 a1628135950) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym1 a1628135950) t -> () #
SuppressUnusedWarnings ((TyFun a1628135925 (TyFun a1628135925 Ordering -> Type) -> Type) -> TyFun (NonEmpty a1628135925) (NonEmpty a1628135925) -> *) (SortBySym1 a1628135925) #
Methods suppressUnusedWarnings :: Proxy (SortBySym1 a1628135925) t -> () #
SuppressUnusedWarnings ((TyFun a1628135962 (TyFun a1628135962 a1628135962 -> Type) -> Type) -> TyFun (NonEmpty a1628135962) (NonEmpty a1628135962) -> *) (Scanl1Sym1 a1628135962) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym1 a1628135962) t -> () #
SuppressUnusedWarnings ((TyFun a1628135961 (TyFun a1628135961 a1628135961 -> Type) -> Type) -> TyFun (NonEmpty a1628135961) (NonEmpty a1628135961) -> *) (Scanr1Sym1 a1628135961) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym1 a1628135961) t -> () #
SuppressUnusedWarnings ([a1627672477] -> TyFun [a1627672477] [a1627672477] -> *) ((:++$$) a1627672477) #
Methods suppressUnusedWarnings :: Proxy ((:++$$) a1627672477) t -> () #
SuppressUnusedWarnings ([a1627856083] -> TyFun Nat a1627856083 -> *) ((:!!$$) a1627856083) #
Methods suppressUnusedWarnings :: Proxy ((:!!$$) a1627856083) t -> () #
SuppressUnusedWarnings ([a1627856108] -> TyFun [a1627856108] [a1627856108] -> *) (IntersectSym1 a1627856108) #
Methods suppressUnusedWarnings :: Proxy (IntersectSym1 a1627856108) t -> () #
SuppressUnusedWarnings ([a1627856078] -> TyFun [a1627856078] [a1627856078] -> *) (UnionSym1 a1627856078) #
Methods suppressUnusedWarnings :: Proxy (UnionSym1 a1627856078) t -> () #
SuppressUnusedWarnings ([a1627856121] -> TyFun [a1627856121] [a1627856121] -> *) ((:\\$$) a1627856121) #
Methods suppressUnusedWarnings :: Proxy ((:\\$$) a1627856121) t -> () #
SuppressUnusedWarnings ([a1627856166] -> TyFun [a1627856166] Bool -> *) (IsPrefixOfSym1 a1627856166) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a1627856166) t -> () #
SuppressUnusedWarnings ([a1627856164] -> TyFun [a1627856164] Bool -> *) (IsInfixOfSym1 a1627856164) #
Methods suppressUnusedWarnings :: Proxy (IsInfixOfSym1 a1627856164) t -> () #
SuppressUnusedWarnings ([a1627856196] -> TyFun [[a1627856196]] [a1627856196] -> *) (IntercalateSym1 a1627856196) #
Methods suppressUnusedWarnings :: Proxy (IntercalateSym1 a1627856196) t -> () #
SuppressUnusedWarnings ([a1627856165] -> TyFun [a1627856165] Bool -> *) (IsSuffixOfSym1 a1627856165) #
Methods suppressUnusedWarnings :: Proxy (IsSuffixOfSym1 a1627856165) t -> () #
SuppressUnusedWarnings ([a1628135937] -> TyFun (NonEmpty a1628135937) Bool -> *) (IsPrefixOfSym1 a1628135937) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a1628135937) t -> () #
SuppressUnusedWarnings ([a1628287934] -> TyFun [a1628287934] (Maybe [a1628287934]) -> *) (StripPrefixSym1 a1628287934) #
Methods suppressUnusedWarnings :: Proxy (StripPrefixSym1 a1628287934) t -> () #
SuppressUnusedWarnings (Nat -> TyFun [a1627856100] [a1627856100] -> *) (DropSym1 a1627856100) #
Methods suppressUnusedWarnings :: Proxy (DropSym1 a1627856100) t -> () #
SuppressUnusedWarnings (Nat -> TyFun [a1627856101] [a1627856101] -> *) (TakeSym1 a1627856101) #
Methods suppressUnusedWarnings :: Proxy (TakeSym1 a1627856101) t -> () #
SuppressUnusedWarnings (Nat -> TyFun [a1627856099] ([a1627856099], [a1627856099]) -> *) (SplitAtSym1 a1627856099) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym1 a1627856099) t -> () #
SuppressUnusedWarnings (Nat -> TyFun a1627856085 [a1627856085] -> *) (ReplicateSym1 a1627856085) #
Methods suppressUnusedWarnings :: Proxy (ReplicateSym1 a1627856085) t -> () #
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a1628135958) [a1628135958] -> *) (TakeSym1 a1628135958) #
Methods suppressUnusedWarnings :: Proxy (TakeSym1 a1628135958) t -> () #
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a1628135957) [a1628135957] -> *) (DropSym1 a1628135957) #
Methods suppressUnusedWarnings :: Proxy (DropSym1 a1628135957) t -> () #
SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a1628135956) ([a1628135956], [a1628135956]) -> *) (SplitAtSym1 a1628135956) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym1 a1628135956) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun [a822083585] [a822083585] -> *) ((:$$) a822083585) #
Methods suppressUnusedWarnings :: Proxy ((:$$) a822083585) t -> () #
SuppressUnusedWarnings (a1627455910 -> TyFun [a1627455910] (NonEmpty a1627455910) -> *) ((:\|$$) a1627455910) #
Methods suppressUnusedWarnings :: Proxy ((:\|$$) a1627455910) t -> () #
SuppressUnusedWarnings (a1627668507 -> a1627668507 -> TyFun Bool a1627668507 -> *) (Bool_Sym2 a1627668507) #
Methods suppressUnusedWarnings :: Proxy (Bool_Sym2 a1627668507) t -> () #
SuppressUnusedWarnings (a1627668507 -> TyFun a1627668507 (TyFun Bool a1627668507 -> Type) -> *) (Bool_Sym1 a1627668507) #
Methods suppressUnusedWarnings :: Proxy (Bool_Sym1 a1627668507) t -> () #
SuppressUnusedWarnings (a1627672467 -> TyFun a1627672467 a1627672467 -> *) (AsTypeOfSym1 a1627672467) #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a1627672467) t -> () #
SuppressUnusedWarnings (a1627689599 -> TyFun a1627689599 Bool -> *) ((:==$$) a1627689599) #
Methods suppressUnusedWarnings :: Proxy ((:==$$) a1627689599) t -> () #
SuppressUnusedWarnings (a1627689599 -> TyFun a1627689599 Bool -> *) ((:/=$$) a1627689599) #
Methods suppressUnusedWarnings :: Proxy ((:/=$$) a1627689599) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 Bool -> *) ((:<=$$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:<=$$) a1627704908) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 Ordering -> *) (CompareSym1 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (CompareSym1 a1627704908) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 a1627704908 -> *) (MinSym1 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (MinSym1 a1627704908) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 a1627704908 -> *) (MaxSym1 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (MaxSym1 a1627704908) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 Bool -> *) ((:>=$$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:>=$$) a1627704908) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 Bool -> *) ((:>$$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:>$$) a1627704908) t -> () #
SuppressUnusedWarnings (a1627704908 -> TyFun a1627704908 Bool -> *) ((:<$$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:<$$) a1627704908) t -> () #
SuppressUnusedWarnings (a1627807374 -> TyFun a1627807374 a1627807374 -> *) ((:-$$) a1627807374) #
Methods suppressUnusedWarnings :: Proxy ((:-$$) a1627807374) t -> () #
SuppressUnusedWarnings (a1627807374 -> TyFun a1627807374 a1627807374 -> *) ((:+$$) a1627807374) #
Methods suppressUnusedWarnings :: Proxy ((:+$$) a1627807374) t -> () #
SuppressUnusedWarnings (a1627807374 -> TyFun a1627807374 a1627807374 -> ) ((:$$) a1627807374) #
Methods suppressUnusedWarnings :: Proxy ((:*$$) a1627807374) t -> () #
SuppressUnusedWarnings (a1627809665 -> TyFun a1627809665 a1627809665 -> *) (SubtractSym1 a1627809665) #
Methods suppressUnusedWarnings :: Proxy (SubtractSym1 a1627809665) t -> () #
SuppressUnusedWarnings (a1627824999 -> TyFun (Maybe a1627824999) a1627824999 -> *) (FromMaybeSym1 a1627824999) #
Methods suppressUnusedWarnings :: Proxy (FromMaybeSym1 a1627824999) t -> () #
SuppressUnusedWarnings (a1627856095 -> TyFun [a1627856095] [a1627856095] -> *) (InsertSym1 a1627856095) #
Methods suppressUnusedWarnings :: Proxy (InsertSym1 a1627856095) t -> () #
SuppressUnusedWarnings (a1627856122 -> TyFun [a1627856122] [a1627856122] -> *) (DeleteSym1 a1627856122) #
Methods suppressUnusedWarnings :: Proxy (DeleteSym1 a1627856122) t -> () #
SuppressUnusedWarnings (a1627856111 -> TyFun [a1627856111] [Nat] -> *) (ElemIndicesSym1 a1627856111) #
Methods suppressUnusedWarnings :: Proxy (ElemIndicesSym1 a1627856111) t -> () #
SuppressUnusedWarnings (a1627856112 -> TyFun [a1627856112] (Maybe Nat) -> *) (ElemIndexSym1 a1627856112) #
Methods suppressUnusedWarnings :: Proxy (ElemIndexSym1 a1627856112) t -> () #
SuppressUnusedWarnings (a1627856162 -> TyFun [a1627856162] Bool -> *) (NotElemSym1 a1627856162) #
Methods suppressUnusedWarnings :: Proxy (NotElemSym1 a1627856162) t -> () #
SuppressUnusedWarnings (a1627856163 -> TyFun [a1627856163] Bool -> *) (ElemSym1 a1627856163) #
Methods suppressUnusedWarnings :: Proxy (ElemSym1 a1627856163) t -> () #
SuppressUnusedWarnings (a1627856197 -> TyFun [a1627856197] [a1627856197] -> *) (IntersperseSym1 a1627856197) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym1 a1627856197) t -> () #
SuppressUnusedWarnings (a1628135960 -> TyFun (NonEmpty a1628135960) (NonEmpty a1628135960) -> *) (IntersperseSym1 a1628135960) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym1 a1628135960) t -> () #
SuppressUnusedWarnings (a1628135967 -> TyFun [a1628135967] (NonEmpty a1628135967) -> *) (InsertSym1 a1628135967) #
Methods suppressUnusedWarnings :: Proxy (InsertSym1 a1628135967) t -> () #
SuppressUnusedWarnings (a1628135978 -> TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> *) ((:<\|$$) a1628135978) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$$) a1628135978) t -> () #
SuppressUnusedWarnings (a1628135977 -> TyFun (NonEmpty a1628135977) (NonEmpty a1628135977) -> *) (ConsSym1 a1628135977) #
Methods suppressUnusedWarnings :: Proxy (ConsSym1 a1628135977) t -> () #
SuppressUnusedWarnings (a1628217981 -> TyFun a1628217981 (TyFun a1628217981 [a1628217981] -> Type) -> *) (EnumFromThenToSym1 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (EnumFromThenToSym1 a1628217981) t -> () #
SuppressUnusedWarnings (a1628217981 -> a1628217981 -> TyFun a1628217981 [a1628217981] -> *) (EnumFromThenToSym2 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (EnumFromThenToSym2 a1628217981) t -> () #
SuppressUnusedWarnings (a1628217981 -> TyFun a1628217981 [a1628217981] -> *) (EnumFromToSym1 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (EnumFromToSym1 a1628217981) t -> () #
SuppressUnusedWarnings (NonEmpty a1628135936 -> TyFun Nat a1628135936 -> *) ((:!!$$) a1628135936) #
Methods suppressUnusedWarnings :: Proxy ((:!!$$) a1628135936) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627843639 Bool -> Type) (TyFun (TyFun a1627843639 a1627843639 -> Type) (TyFun a1627843639 a1627843639 -> Type) -> Type) -> *) (UntilSym0 a1627843639) #
Methods suppressUnusedWarnings :: Proxy (UntilSym0 a1627843639) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627845967 Bool -> Type) (TyFun [a1627845967] Bool -> Type) -> *) (Any_Sym0 a1627845967) #
Methods suppressUnusedWarnings :: Proxy (Any_Sym0 a1627845967) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856081 (TyFun a1627856081 Bool -> Type) -> Type) (TyFun [a1627856081] [a1627856081] -> Type) -> *) (NubBySym0 a1627856081) #
Methods suppressUnusedWarnings :: Proxy (NubBySym0 a1627856081) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856090 Bool -> Type) (TyFun [a1627856090] ([a1627856090], [a1627856090]) -> Type) -> *) (PartitionSym0 a1627856090) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym0 a1627856090) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856102 Bool -> Type) (TyFun [a1627856102] ([a1627856102], [a1627856102]) -> Type) -> *) (BreakSym0 a1627856102) #
Methods suppressUnusedWarnings :: Proxy (BreakSym0 a1627856102) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856103 Bool -> Type) (TyFun [a1627856103] ([a1627856103], [a1627856103]) -> Type) -> *) (SpanSym0 a1627856103) #
Methods suppressUnusedWarnings :: Proxy (SpanSym0 a1627856103) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856093 (TyFun a1627856093 Bool -> Type) -> Type) (TyFun [a1627856093] [[a1627856093]] -> Type) -> *) (GroupBySym0 a1627856093) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym0 a1627856093) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856105 Bool -> Type) (TyFun [a1627856105] [a1627856105] -> Type) -> *) (DropWhileSym0 a1627856105) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym0 a1627856105) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856106 Bool -> Type) (TyFun [a1627856106] [a1627856106] -> Type) -> *) (TakeWhileSym0 a1627856106) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym0 a1627856106) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856114 Bool -> Type) (TyFun [a1627856114] [a1627856114] -> Type) -> *) (FilterSym0 a1627856114) #
Methods suppressUnusedWarnings :: Proxy (FilterSym0 a1627856114) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856113 Bool -> Type) (TyFun [a1627856113] (Maybe a1627856113) -> Type) -> *) (FindSym0 a1627856113) #
Methods suppressUnusedWarnings :: Proxy (FindSym0 a1627856113) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856107 (TyFun a1627856107 Bool -> Type) -> Type) (TyFun [a1627856107] (TyFun [a1627856107] [a1627856107] -> Type) -> Type) -> *) (IntersectBySym0 a1627856107) #
Methods suppressUnusedWarnings :: Proxy (IntersectBySym0 a1627856107) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856117 (TyFun a1627856117 Ordering -> Type) -> Type) (TyFun a1627856117 (TyFun [a1627856117] [a1627856117] -> Type) -> Type) -> *) (InsertBySym0 a1627856117) #
Methods suppressUnusedWarnings :: Proxy (InsertBySym0 a1627856117) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856118 (TyFun a1627856118 Ordering -> Type) -> Type) (TyFun [a1627856118] [a1627856118] -> Type) -> *) (SortBySym0 a1627856118) #
Methods suppressUnusedWarnings :: Proxy (SortBySym0 a1627856118) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856120 (TyFun a1627856120 Bool -> Type) -> Type) (TyFun a1627856120 (TyFun [a1627856120] [a1627856120] -> Type) -> Type) -> *) (DeleteBySym0 a1627856120) #
Methods suppressUnusedWarnings :: Proxy (DeleteBySym0 a1627856120) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856119 (TyFun a1627856119 Bool -> Type) -> Type) (TyFun [a1627856119] (TyFun [a1627856119] [a1627856119] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a1627856119) #
Methods suppressUnusedWarnings :: Proxy (DeleteFirstsBySym0 a1627856119) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856079 (TyFun a1627856079 Bool -> Type) -> Type) (TyFun [a1627856079] (TyFun [a1627856079] [a1627856079] -> Type) -> Type) -> *) (UnionBySym0 a1627856079) #
Methods suppressUnusedWarnings :: Proxy (UnionBySym0 a1627856079) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856109 Bool -> Type) (TyFun [a1627856109] [Nat] -> Type) -> *) (FindIndicesSym0 a1627856109) #
Methods suppressUnusedWarnings :: Proxy (FindIndicesSym0 a1627856109) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856110 Bool -> Type) (TyFun [a1627856110] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a1627856110) #
Methods suppressUnusedWarnings :: Proxy (FindIndexSym0 a1627856110) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856177 (TyFun a1627856177 a1627856177 -> Type) -> Type) (TyFun [a1627856177] [a1627856177] -> Type) -> *) (Scanr1Sym0 a1627856177) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym0 a1627856177) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856180 (TyFun a1627856180 a1627856180 -> Type) -> Type) (TyFun [a1627856180] [a1627856180] -> Type) -> *) (Scanl1Sym0 a1627856180) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym0 a1627856180) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856183 Bool -> Type) (TyFun [a1627856183] Bool -> Type) -> *) (AllSym0 a1627856183) #
Methods suppressUnusedWarnings :: Proxy (AllSym0 a1627856183) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856187 (TyFun a1627856187 a1627856187 -> Type) -> Type) (TyFun [a1627856187] a1627856187 -> Type) -> *) (Foldr1Sym0 a1627856187) #
Methods suppressUnusedWarnings :: Proxy (Foldr1Sym0 a1627856187) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856189 (TyFun a1627856189 a1627856189 -> Type) -> Type) (TyFun [a1627856189] a1627856189 -> Type) -> *) (Foldl1Sym0 a1627856189) #
Methods suppressUnusedWarnings :: Proxy (Foldl1Sym0 a1627856189) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856116 (TyFun a1627856116 Ordering -> Type) -> Type) (TyFun [a1627856116] a1627856116 -> Type) -> *) (MaximumBySym0 a1627856116) #
Methods suppressUnusedWarnings :: Proxy (MaximumBySym0 a1627856116) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856115 (TyFun a1627856115 Ordering -> Type) -> Type) (TyFun [a1627856115] a1627856115 -> Type) -> *) (MinimumBySym0 a1627856115) #
Methods suppressUnusedWarnings :: Proxy (MinimumBySym0 a1627856115) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856188 (TyFun a1627856188 a1627856188 -> Type) -> Type) (TyFun [a1627856188] a1627856188 -> Type) -> *) (Foldl1'Sym0 a1627856188) #
Methods suppressUnusedWarnings :: Proxy (Foldl1'Sym0 a1627856188) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856104 Bool -> Type) (TyFun [a1627856104] [a1627856104] -> Type) -> *) (DropWhileEndSym0 a1627856104) #
Methods suppressUnusedWarnings :: Proxy (DropWhileEndSym0 a1627856104) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135927 (TyFun a1628135927 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135927) (NonEmpty a1628135927) -> Type) -> *) (NubBySym0 a1628135927) #
Methods suppressUnusedWarnings :: Proxy (NubBySym0 a1628135927) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135948 (TyFun a1628135948 Bool -> Type) -> Type) (TyFun [a1628135948] [NonEmpty a1628135948] -> Type) -> *) (GroupBySym0 a1628135948) #
Methods suppressUnusedWarnings :: Proxy (GroupBySym0 a1628135948) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135942 (TyFun a1628135942 Bool -> Type) -> Type) (TyFun (NonEmpty a1628135942) (NonEmpty (NonEmpty a1628135942)) -> Type) -> *) (GroupBy1Sym0 a1628135942) #
Methods suppressUnusedWarnings :: Proxy (GroupBy1Sym0 a1628135942) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135955 Bool -> Type) (TyFun (NonEmpty a1628135955) [a1628135955] -> Type) -> *) (TakeWhileSym0 a1628135955) #
Methods suppressUnusedWarnings :: Proxy (TakeWhileSym0 a1628135955) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135954 Bool -> Type) (TyFun (NonEmpty a1628135954) [a1628135954] -> Type) -> *) (DropWhileSym0 a1628135954) #
Methods suppressUnusedWarnings :: Proxy (DropWhileSym0 a1628135954) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135953 Bool -> Type) (TyFun (NonEmpty a1628135953) ([a1628135953], [a1628135953]) -> Type) -> *) (SpanSym0 a1628135953) #
Methods suppressUnusedWarnings :: Proxy (SpanSym0 a1628135953) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135952 Bool -> Type) (TyFun (NonEmpty a1628135952) ([a1628135952], [a1628135952]) -> Type) -> *) (BreakSym0 a1628135952) #
Methods suppressUnusedWarnings :: Proxy (BreakSym0 a1628135952) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135951 Bool -> Type) (TyFun (NonEmpty a1628135951) [a1628135951] -> Type) -> *) (FilterSym0 a1628135951) #
Methods suppressUnusedWarnings :: Proxy (FilterSym0 a1628135951) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135950 Bool -> Type) (TyFun (NonEmpty a1628135950) ([a1628135950], [a1628135950]) -> Type) -> *) (PartitionSym0 a1628135950) #
Methods suppressUnusedWarnings :: Proxy (PartitionSym0 a1628135950) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135925 (TyFun a1628135925 Ordering -> Type) -> Type) (TyFun (NonEmpty a1628135925) (NonEmpty a1628135925) -> Type) -> *) (SortBySym0 a1628135925) #
Methods suppressUnusedWarnings :: Proxy (SortBySym0 a1628135925) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135962 (TyFun a1628135962 a1628135962 -> Type) -> Type) (TyFun (NonEmpty a1628135962) (NonEmpty a1628135962) -> Type) -> *) (Scanl1Sym0 a1628135962) #
Methods suppressUnusedWarnings :: Proxy (Scanl1Sym0 a1628135962) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135961 (TyFun a1628135961 a1628135961 -> Type) -> Type) (TyFun (NonEmpty a1628135961) (NonEmpty a1628135961) -> Type) -> *) (Scanr1Sym0 a1628135961) #
Methods suppressUnusedWarnings :: Proxy (Scanr1Sym0 a1628135961) t -> () #
SuppressUnusedWarnings (TyFun [[a1627856186]] [a1627856186] -> *) (ConcatSym0 a1627856186) #
Methods suppressUnusedWarnings :: Proxy (ConcatSym0 a1627856186) t -> () #
SuppressUnusedWarnings (TyFun [[a1627856084]] [[a1627856084]] -> *) (TransposeSym0 a1627856084) #
Methods suppressUnusedWarnings :: Proxy (TransposeSym0 a1627856084) t -> () #
SuppressUnusedWarnings (TyFun [Maybe a1627824996] [a1627824996] -> *) (CatMaybesSym0 a1627824996) #
Methods suppressUnusedWarnings :: Proxy (CatMaybesSym0 a1627824996) t -> () #
SuppressUnusedWarnings (TyFun [a1627672477] (TyFun [a1627672477] [a1627672477] -> Type) -> *) ((:++$) a1627672477) #
Methods suppressUnusedWarnings :: Proxy ((:++$) a1627672477) t -> () #
SuppressUnusedWarnings (TyFun [a1627824997] (Maybe a1627824997) -> *) (ListToMaybeSym0 a1627824997) #
Methods suppressUnusedWarnings :: Proxy (ListToMaybeSym0 a1627824997) t -> () #
SuppressUnusedWarnings (TyFun [a1627856083] (TyFun Nat a1627856083 -> Type) -> *) ((:!!$) a1627856083) #
Methods suppressUnusedWarnings :: Proxy ((:!!$) a1627856083) t -> () #
SuppressUnusedWarnings (TyFun [a1627856086] Nat -> *) (LengthSym0 a1627856086) #
Methods suppressUnusedWarnings :: Proxy (LengthSym0 a1627856086) t -> () #
SuppressUnusedWarnings (TyFun [a1627856087] a1627856087 -> *) (ProductSym0 a1627856087) #
Methods suppressUnusedWarnings :: Proxy (ProductSym0 a1627856087) t -> () #
SuppressUnusedWarnings (TyFun [a1627856088] a1627856088 -> *) (SumSym0 a1627856088) #
Methods suppressUnusedWarnings :: Proxy (SumSym0 a1627856088) t -> () #
SuppressUnusedWarnings (TyFun [a1627856098] [[a1627856098]] -> *) (GroupSym0 a1627856098) #
Methods suppressUnusedWarnings :: Proxy (GroupSym0 a1627856098) t -> () #
SuppressUnusedWarnings (TyFun [a1627856108] (TyFun [a1627856108] [a1627856108] -> Type) -> *) (IntersectSym0 a1627856108) #
Methods suppressUnusedWarnings :: Proxy (IntersectSym0 a1627856108) t -> () #
SuppressUnusedWarnings (TyFun [a1627856094] [a1627856094] -> *) (SortSym0 a1627856094) #
Methods suppressUnusedWarnings :: Proxy (SortSym0 a1627856094) t -> () #
SuppressUnusedWarnings (TyFun [a1627856078] (TyFun [a1627856078] [a1627856078] -> Type) -> *) (UnionSym0 a1627856078) #
Methods suppressUnusedWarnings :: Proxy (UnionSym0 a1627856078) t -> () #
SuppressUnusedWarnings (TyFun [a1627856121] (TyFun [a1627856121] [a1627856121] -> Type) -> *) ((:\\$) a1627856121) #
Methods suppressUnusedWarnings :: Proxy ((:\\$) a1627856121) t -> () #
SuppressUnusedWarnings (TyFun [a1627856082] [a1627856082] -> *) (NubSym0 a1627856082) #
Methods suppressUnusedWarnings :: Proxy (NubSym0 a1627856082) t -> () #
SuppressUnusedWarnings (TyFun [a1627856166] (TyFun [a1627856166] Bool -> Type) -> *) (IsPrefixOfSym0 a1627856166) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym0 a1627856166) t -> () #
SuppressUnusedWarnings (TyFun [a1627856167] [[a1627856167]] -> *) (TailsSym0 a1627856167) #
Methods suppressUnusedWarnings :: Proxy (TailsSym0 a1627856167) t -> () #
SuppressUnusedWarnings (TyFun [a1627856164] (TyFun [a1627856164] Bool -> Type) -> *) (IsInfixOfSym0 a1627856164) #
Methods suppressUnusedWarnings :: Proxy (IsInfixOfSym0 a1627856164) t -> () #
SuppressUnusedWarnings (TyFun [a1627856168] [[a1627856168]] -> *) (InitsSym0 a1627856168) #
Methods suppressUnusedWarnings :: Proxy (InitsSym0 a1627856168) t -> () #
SuppressUnusedWarnings (TyFun [a1627856097] a1627856097 -> *) (MaximumSym0 a1627856097) #
Methods suppressUnusedWarnings :: Proxy (MaximumSym0 a1627856097) t -> () #
SuppressUnusedWarnings (TyFun [a1627856096] a1627856096 -> *) (MinimumSym0 a1627856096) #
Methods suppressUnusedWarnings :: Proxy (MinimumSym0 a1627856096) t -> () #
SuppressUnusedWarnings (TyFun [a1627856192] [[a1627856192]] -> *) (PermutationsSym0 a1627856192) #
Methods suppressUnusedWarnings :: Proxy (PermutationsSym0 a1627856192) t -> () #
SuppressUnusedWarnings (TyFun [a1627856195] [[a1627856195]] -> *) (SubsequencesSym0 a1627856195) #
Methods suppressUnusedWarnings :: Proxy (SubsequencesSym0 a1627856195) t -> () #
SuppressUnusedWarnings (TyFun [a1627856196] (TyFun [[a1627856196]] [a1627856196] -> Type) -> *) (IntercalateSym0 a1627856196) #
Methods suppressUnusedWarnings :: Proxy (IntercalateSym0 a1627856196) t -> () #
SuppressUnusedWarnings (TyFun [a1627856198] [a1627856198] -> *) (ReverseSym0 a1627856198) #
Methods suppressUnusedWarnings :: Proxy (ReverseSym0 a1627856198) t -> () #
SuppressUnusedWarnings (TyFun [a1627856165] (TyFun [a1627856165] Bool -> Type) -> *) (IsSuffixOfSym0 a1627856165) #
Methods suppressUnusedWarnings :: Proxy (IsSuffixOfSym0 a1627856165) t -> () #
SuppressUnusedWarnings (TyFun [a1627856199] Bool -> *) (NullSym0 a1627856199) #
Methods suppressUnusedWarnings :: Proxy (NullSym0 a1627856199) t -> () #
SuppressUnusedWarnings (TyFun [a1627856200] [a1627856200] -> *) (InitSym0 a1627856200) #
Methods suppressUnusedWarnings :: Proxy (InitSym0 a1627856200) t -> () #
SuppressUnusedWarnings (TyFun [a1627856201] [a1627856201] -> *) (TailSym0 a1627856201) #
Methods suppressUnusedWarnings :: Proxy (TailSym0 a1627856201) t -> () #
SuppressUnusedWarnings (TyFun [a1627856202] a1627856202 -> *) (LastSym0 a1627856202) #
Methods suppressUnusedWarnings :: Proxy (LastSym0 a1627856202) t -> () #
SuppressUnusedWarnings (TyFun [a1627856203] a1627856203 -> *) (HeadSym0 a1627856203) #
Methods suppressUnusedWarnings :: Proxy (HeadSym0 a1627856203) t -> () #
SuppressUnusedWarnings (TyFun [a1628135937] (TyFun (NonEmpty a1628135937) Bool -> Type) -> *) (IsPrefixOfSym0 a1628135937) #
Methods suppressUnusedWarnings :: Proxy (IsPrefixOfSym0 a1628135937) t -> () #
SuppressUnusedWarnings (TyFun [a1628135949] [NonEmpty a1628135949] -> *) (GroupSym0 a1628135949) #
Methods suppressUnusedWarnings :: Proxy (GroupSym0 a1628135949) t -> () #
SuppressUnusedWarnings (TyFun [a1628135975] (NonEmpty a1628135975) -> *) (FromListSym0 a1628135975) #
Methods suppressUnusedWarnings :: Proxy (FromListSym0 a1628135975) t -> () #
SuppressUnusedWarnings (TyFun [a1628135969] (NonEmpty [a1628135969]) -> *) (InitsSym0 a1628135969) #
Methods suppressUnusedWarnings :: Proxy (InitsSym0 a1628135969) t -> () #
SuppressUnusedWarnings (TyFun [a1628135968] (NonEmpty [a1628135968]) -> *) (TailsSym0 a1628135968) #
Methods suppressUnusedWarnings :: Proxy (TailsSym0 a1628135968) t -> () #
SuppressUnusedWarnings (TyFun [a1628135986] (Maybe (NonEmpty a1628135986)) -> *) (NonEmpty_Sym0 a1628135986) #
Methods suppressUnusedWarnings :: Proxy (NonEmpty_Sym0 a1628135986) t -> () #
SuppressUnusedWarnings (TyFun [a1628287934] (TyFun [a1628287934] (Maybe [a1628287934]) -> Type) -> *) (StripPrefixSym0 a1628287934) #
Methods suppressUnusedWarnings :: Proxy (StripPrefixSym0 a1628287934) t -> () #
SuppressUnusedWarnings (TyFun (Maybe a1627824998) [a1627824998] -> *) (MaybeToListSym0 a1627824998) #
Methods suppressUnusedWarnings :: Proxy (MaybeToListSym0 a1627824998) t -> () #
SuppressUnusedWarnings (TyFun (Maybe a1627825000) a1627825000 -> *) (FromJustSym0 a1627825000) #
Methods suppressUnusedWarnings :: Proxy (FromJustSym0 a1627825000) t -> () #
SuppressUnusedWarnings (TyFun (Maybe a1627825001) Bool -> *) (IsNothingSym0 a1627825001) #
Methods suppressUnusedWarnings :: Proxy (IsNothingSym0 a1627825001) t -> () #
SuppressUnusedWarnings (TyFun (Maybe a1627825002) Bool -> *) (IsJustSym0 a1627825002) #
Methods suppressUnusedWarnings :: Proxy (IsJustSym0 a1627825002) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun [a1627856100] [a1627856100] -> Type) -> *) (DropSym0 a1627856100) #
Methods suppressUnusedWarnings :: Proxy (DropSym0 a1627856100) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun [a1627856101] [a1627856101] -> Type) -> *) (TakeSym0 a1627856101) #
Methods suppressUnusedWarnings :: Proxy (TakeSym0 a1627856101) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun [a1627856099] ([a1627856099], [a1627856099]) -> Type) -> *) (SplitAtSym0 a1627856099) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym0 a1627856099) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun a1627856085 [a1627856085] -> Type) -> *) (ReplicateSym0 a1627856085) #
Methods suppressUnusedWarnings :: Proxy (ReplicateSym0 a1627856085) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a1628135958) [a1628135958] -> Type) -> *) (TakeSym0 a1628135958) #
Methods suppressUnusedWarnings :: Proxy (TakeSym0 a1628135958) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a1628135957) [a1628135957] -> Type) -> *) (DropSym0 a1628135957) #
Methods suppressUnusedWarnings :: Proxy (DropSym0 a1628135957) t -> () #
SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a1628135956) ([a1628135956], [a1628135956]) -> Type) -> *) (SplitAtSym0 a1628135956) #
Methods suppressUnusedWarnings :: Proxy (SplitAtSym0 a1628135956) t -> () #
SuppressUnusedWarnings (TyFun Nat a1627807374 -> *) (FromIntegerSym0 a1627807374) #
Methods suppressUnusedWarnings :: Proxy (FromIntegerSym0 a1627807374) t -> () #
SuppressUnusedWarnings (TyFun Nat a1628217981 -> *) (ToEnumSym0 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (ToEnumSym0 a1628217981) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (Maybe a822083585) -> *) (JustSym0 a822083585) #
Methods suppressUnusedWarnings :: Proxy (JustSym0 a822083585) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun [a822083585] [a822083585] -> Type) -> *) ((:$) a822083585) #
Methods suppressUnusedWarnings :: Proxy ((:$) a822083585) t -> () #
SuppressUnusedWarnings (TyFun a1627455910 (TyFun [a1627455910] (NonEmpty a1627455910) -> Type) -> *) ((:\|$) a1627455910) #
Methods suppressUnusedWarnings :: Proxy ((:\|$) a1627455910) t -> () #
SuppressUnusedWarnings (TyFun a1627668507 (TyFun a1627668507 (TyFun Bool a1627668507 -> Type) -> Type) -> *) (Bool_Sym0 a1627668507) #
Methods suppressUnusedWarnings :: Proxy (Bool_Sym0 a1627668507) t -> () #
SuppressUnusedWarnings (TyFun a1627672467 (TyFun a1627672467 a1627672467 -> Type) -> *) (AsTypeOfSym0 a1627672467) #
Methods suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a1627672467) t -> () #
SuppressUnusedWarnings (TyFun a1627672476 a1627672476 -> *) (IdSym0 a1627672476) #
Methods suppressUnusedWarnings :: Proxy (IdSym0 a1627672476) t -> () #
SuppressUnusedWarnings (TyFun a1627689599 (TyFun a1627689599 Bool -> Type) -> *) ((:==$) a1627689599) #
Methods suppressUnusedWarnings :: Proxy ((:==$) a1627689599) t -> () #
SuppressUnusedWarnings (TyFun a1627689599 (TyFun a1627689599 Bool -> Type) -> *) ((:/=$) a1627689599) #
Methods suppressUnusedWarnings :: Proxy ((:/=$) a1627689599) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 Bool -> Type) -> *) ((:<=$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:<=$) a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 Ordering -> Type) -> *) (CompareSym0 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (CompareSym0 a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 a1627704908 -> Type) -> *) (MinSym0 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (MinSym0 a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 a1627704908 -> Type) -> *) (MaxSym0 a1627704908) #
Methods suppressUnusedWarnings :: Proxy (MaxSym0 a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 Bool -> Type) -> *) ((:>=$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:>=$) a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 Bool -> Type) -> *) ((:>$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:>$) a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627704908 (TyFun a1627704908 Bool -> Type) -> *) ((:<$) a1627704908) #
Methods suppressUnusedWarnings :: Proxy ((:<$) a1627704908) t -> () #
SuppressUnusedWarnings (TyFun a1627807374 a1627807374 -> *) (NegateSym0 a1627807374) #
Methods suppressUnusedWarnings :: Proxy (NegateSym0 a1627807374) t -> () #
SuppressUnusedWarnings (TyFun a1627807374 (TyFun a1627807374 a1627807374 -> Type) -> *) ((:-$) a1627807374) #
Methods suppressUnusedWarnings :: Proxy ((:-$) a1627807374) t -> () #
SuppressUnusedWarnings (TyFun a1627807374 (TyFun a1627807374 a1627807374 -> Type) -> *) ((:+$) a1627807374) #
Methods suppressUnusedWarnings :: Proxy ((:+$) a1627807374) t -> () #
SuppressUnusedWarnings (TyFun a1627807374 a1627807374 -> *) (SignumSym0 a1627807374) #
Methods suppressUnusedWarnings :: Proxy (SignumSym0 a1627807374) t -> () #
SuppressUnusedWarnings (TyFun a1627807374 a1627807374 -> *) (AbsSym0 a1627807374) #
Methods suppressUnusedWarnings :: Proxy (AbsSym0 a1627807374) t -> () #
SuppressUnusedWarnings (TyFun a1627807374 (TyFun a1627807374 a1627807374 -> Type) -> ) ((:$) a1627807374) #
Methods suppressUnusedWarnings :: Proxy ((:*$) a1627807374) t -> () #
SuppressUnusedWarnings (TyFun a1627809665 (TyFun a1627809665 a1627809665 -> Type) -> *) (SubtractSym0 a1627809665) #
Methods suppressUnusedWarnings :: Proxy (SubtractSym0 a1627809665) t -> () #
SuppressUnusedWarnings (TyFun a1627824999 (TyFun (Maybe a1627824999) a1627824999 -> Type) -> *) (FromMaybeSym0 a1627824999) #
Methods suppressUnusedWarnings :: Proxy (FromMaybeSym0 a1627824999) t -> () #
SuppressUnusedWarnings (TyFun a1627856095 (TyFun [a1627856095] [a1627856095] -> Type) -> *) (InsertSym0 a1627856095) #
Methods suppressUnusedWarnings :: Proxy (InsertSym0 a1627856095) t -> () #
SuppressUnusedWarnings (TyFun a1627856122 (TyFun [a1627856122] [a1627856122] -> Type) -> *) (DeleteSym0 a1627856122) #
Methods suppressUnusedWarnings :: Proxy (DeleteSym0 a1627856122) t -> () #
SuppressUnusedWarnings (TyFun a1627856111 (TyFun [a1627856111] [Nat] -> Type) -> *) (ElemIndicesSym0 a1627856111) #
Methods suppressUnusedWarnings :: Proxy (ElemIndicesSym0 a1627856111) t -> () #
SuppressUnusedWarnings (TyFun a1627856112 (TyFun [a1627856112] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a1627856112) #
Methods suppressUnusedWarnings :: Proxy (ElemIndexSym0 a1627856112) t -> () #
SuppressUnusedWarnings (TyFun a1627856162 (TyFun [a1627856162] Bool -> Type) -> *) (NotElemSym0 a1627856162) #
Methods suppressUnusedWarnings :: Proxy (NotElemSym0 a1627856162) t -> () #
SuppressUnusedWarnings (TyFun a1627856163 (TyFun [a1627856163] Bool -> Type) -> *) (ElemSym0 a1627856163) #
Methods suppressUnusedWarnings :: Proxy (ElemSym0 a1627856163) t -> () #
SuppressUnusedWarnings (TyFun a1627856197 (TyFun [a1627856197] [a1627856197] -> Type) -> *) (IntersperseSym0 a1627856197) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym0 a1627856197) t -> () #
SuppressUnusedWarnings (TyFun a1628135960 (TyFun (NonEmpty a1628135960) (NonEmpty a1628135960) -> Type) -> *) (IntersperseSym0 a1628135960) #
Methods suppressUnusedWarnings :: Proxy (IntersperseSym0 a1628135960) t -> () #
SuppressUnusedWarnings (TyFun a1628135967 (TyFun [a1628135967] (NonEmpty a1628135967) -> Type) -> *) (InsertSym0 a1628135967) #
Methods suppressUnusedWarnings :: Proxy (InsertSym0 a1628135967) t -> () #
SuppressUnusedWarnings (TyFun a1628135978 (TyFun (NonEmpty a1628135978) (NonEmpty a1628135978) -> Type) -> *) ((:<\|$) a1628135978) #
Methods suppressUnusedWarnings :: Proxy ((:<\|$) a1628135978) t -> () #
SuppressUnusedWarnings (TyFun a1628135977 (TyFun (NonEmpty a1628135977) (NonEmpty a1628135977) -> Type) -> *) (ConsSym0 a1628135977) #
Methods suppressUnusedWarnings :: Proxy (ConsSym0 a1628135977) t -> () #
SuppressUnusedWarnings (TyFun a1628217981 (TyFun a1628217981 (TyFun a1628217981 [a1628217981] -> Type) -> Type) -> *) (EnumFromThenToSym0 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (EnumFromThenToSym0 a1628217981) t -> () #
SuppressUnusedWarnings (TyFun a1628217981 (TyFun a1628217981 [a1628217981] -> Type) -> *) (EnumFromToSym0 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (EnumFromToSym0 a1628217981) t -> () #
SuppressUnusedWarnings (TyFun a1628217981 Nat -> *) (FromEnumSym0 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (FromEnumSym0 a1628217981) t -> () #
SuppressUnusedWarnings (TyFun a1628217981 a1628217981 -> *) (PredSym0 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (PredSym0 a1628217981) t -> () #
SuppressUnusedWarnings (TyFun a1628217981 a1628217981 -> *) (SuccSym0 a1628217981) #
Methods suppressUnusedWarnings :: Proxy (SuccSym0 a1628217981) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135928) (NonEmpty a1628135928) -> *) (NubSym0 a1628135928) #
Methods suppressUnusedWarnings :: Proxy (NubSym0 a1628135928) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135936) (TyFun Nat a1628135936 -> Type) -> *) ((:!!$) a1628135936) #
Methods suppressUnusedWarnings :: Proxy ((:!!$) a1628135936) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135943) (NonEmpty (NonEmpty a1628135943)) -> *) (Group1Sym0 a1628135943) #
Methods suppressUnusedWarnings :: Proxy (Group1Sym0 a1628135943) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135974) [a1628135974] -> *) (ToListSym0 a1628135974) #
Methods suppressUnusedWarnings :: Proxy (ToListSym0 a1628135974) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135959) (NonEmpty a1628135959) -> *) (ReverseSym0 a1628135959) #
Methods suppressUnusedWarnings :: Proxy (ReverseSym0 a1628135959) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135976) (NonEmpty a1628135976) -> *) (SortSym0 a1628135976) #
Methods suppressUnusedWarnings :: Proxy (SortSym0 a1628135976) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135979) [a1628135979] -> *) (InitSym0 a1628135979) #
Methods suppressUnusedWarnings :: Proxy (InitSym0 a1628135979) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135980) a1628135980 -> *) (LastSym0 a1628135980) #
Methods suppressUnusedWarnings :: Proxy (LastSym0 a1628135980) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135981) [a1628135981] -> *) (TailSym0 a1628135981) #
Methods suppressUnusedWarnings :: Proxy (TailSym0 a1628135981) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135982) a1628135982 -> *) (HeadSym0 a1628135982) #
Methods suppressUnusedWarnings :: Proxy (HeadSym0 a1628135982) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135985) (a1628135985, Maybe (NonEmpty a1628135985)) -> *) (UnconsSym0 a1628135985) #
Methods suppressUnusedWarnings :: Proxy (UnconsSym0 a1628135985) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135989) Nat -> *) (LengthSym0 a1628135989) #
Methods suppressUnusedWarnings :: Proxy (LengthSym0 a1628135989) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a1628135926)) (NonEmpty (NonEmpty a1628135926)) -> *) (TransposeSym0 a1628135926) #
Methods suppressUnusedWarnings :: Proxy (TransposeSym0 a1628135926) t -> () #
SuppressUnusedWarnings ((TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) -> b1627632057 -> TyFun [a1627632056] b1627632057 -> *) (FoldlSym2 a1627632056 b1627632057) #
Methods suppressUnusedWarnings :: Proxy (FoldlSym2 a1627632056 b1627632057) t -> () #
SuppressUnusedWarnings ((TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) -> TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> *) (FoldlSym1 a1627632056 b1627632057) #
Methods suppressUnusedWarnings :: Proxy (FoldlSym1 a1627632056 b1627632057) t -> () #
SuppressUnusedWarnings ((TyFun a1627672478 b1627672479 -> Type) -> TyFun [a1627672478] [b1627672479] -> *) (MapSym1 a1627672478 b1627672479) #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a1627672478 b1627672479) t -> () #
SuppressUnusedWarnings ((TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) -> b1627672481 -> TyFun [a1627672480] b1627672481 -> *) (FoldrSym2 a1627672480 b1627672481) #
Methods suppressUnusedWarnings :: Proxy (FoldrSym2 a1627672480 b1627672481) t -> () #
SuppressUnusedWarnings ((TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) -> TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> *) (FoldrSym1 a1627672480 b1627672481) #
Methods suppressUnusedWarnings :: Proxy (FoldrSym1 a1627672480 b1627672481) t -> () #
SuppressUnusedWarnings ((TyFun b1627704898 a1627704897 -> Type) -> b1627704898 -> TyFun b1627704898 Ordering -> *) (ComparingSym2 a1627704897 b1627704898) #
Methods suppressUnusedWarnings :: Proxy (ComparingSym2 a1627704897 b1627704898) t -> () #
SuppressUnusedWarnings ((TyFun b1627704898 a1627704897 -> Type) -> TyFun b1627704898 (TyFun b1627704898 Ordering -> Type) -> *) (ComparingSym1 a1627704897 b1627704898) #
Methods suppressUnusedWarnings :: Proxy (ComparingSym1 a1627704897 b1627704898) t -> () #
SuppressUnusedWarnings ((TyFun a1627824994 (Maybe b1627824995) -> Type) -> TyFun [a1627824994] [b1627824995] -> *) (MapMaybeSym1 a1627824994 b1627824995) #
Methods suppressUnusedWarnings :: Proxy (MapMaybeSym1 a1627824994 b1627824995) t -> () #
SuppressUnusedWarnings ((TyFun b1627856169 (Maybe (a1627856170, b1627856169)) -> Type) -> TyFun b1627856169 [a1627856170] -> *) (UnfoldrSym1 b1627856169 a1627856170) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym1 b1627856169 a1627856170) t -> () #
SuppressUnusedWarnings ((TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) -> TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> *) (ScanrSym1 a1627856178 b1627856179) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym1 a1627856178 b1627856179) t -> () #
SuppressUnusedWarnings ((TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) -> b1627856179 -> TyFun [a1627856178] [b1627856179] -> *) (ScanrSym2 a1627856178 b1627856179) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym2 a1627856178 b1627856179) t -> () #
SuppressUnusedWarnings ((TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) -> TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> *) (ScanlSym1 a1627856182 b1627856181) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym1 a1627856182 b1627856181) t -> () #
SuppressUnusedWarnings ((TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) -> b1627856181 -> TyFun [a1627856182] [b1627856181] -> *) (ScanlSym2 a1627856182 b1627856181) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym2 a1627856182 b1627856181) t -> () #
SuppressUnusedWarnings ((TyFun a1627856184 [b1627856185] -> Type) -> TyFun [a1627856184] [b1627856185] -> *) (ConcatMapSym1 a1627856184 b1627856185) #
Methods suppressUnusedWarnings :: Proxy (ConcatMapSym1 a1627856184 b1627856185) t -> () #
SuppressUnusedWarnings ((TyFun b1627856191 (TyFun a1627856190 b1627856191 -> Type) -> Type) -> b1627856191 -> TyFun [a1627856190] b1627856191 -> *) (Foldl'Sym2 a1627856190 b1627856191) #
Methods suppressUnusedWarnings :: Proxy (Foldl'Sym2 a1627856190 b1627856191) t -> () #
SuppressUnusedWarnings ((TyFun b1627856191 (TyFun a1627856190 b1627856191 -> Type) -> Type) -> TyFun b1627856191 (TyFun [a1627856190] b1627856191 -> Type) -> *) (Foldl'Sym1 a1627856190 b1627856191) #
Methods suppressUnusedWarnings :: Proxy (Foldl'Sym1 a1627856190 b1627856191) t -> () #
SuppressUnusedWarnings ((TyFun a1628135947 b1628135946 -> Type) -> TyFun [a1628135947] [NonEmpty a1628135947] -> *) (GroupWithSym1 b1628135946 a1628135947) #
Methods suppressUnusedWarnings :: Proxy (GroupWithSym1 b1628135946 a1628135947) t -> () #
SuppressUnusedWarnings ((TyFun a1628135945 b1628135944 -> Type) -> TyFun [a1628135945] [NonEmpty a1628135945] -> *) (GroupAllWithSym1 b1628135944 a1628135945) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWithSym1 b1628135944 a1628135945) t -> () #
SuppressUnusedWarnings ((TyFun a1628135941 b1628135940 -> Type) -> TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> *) (GroupWith1Sym1 b1628135940 a1628135941) #
Methods suppressUnusedWarnings :: Proxy (GroupWith1Sym1 b1628135940 a1628135941) t -> () #
SuppressUnusedWarnings ((TyFun a1628135970 b1628135971 -> Type) -> TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> *) (MapSym1 a1628135970 b1628135971) #
Methods suppressUnusedWarnings :: Proxy (MapSym1 a1628135970 b1628135971) t -> () #
SuppressUnusedWarnings ((TyFun a1628135924 o1628135923 -> Type) -> TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> *) (SortWithSym1 o1628135923 a1628135924) #
Methods suppressUnusedWarnings :: Proxy (SortWithSym1 o1628135923 a1628135924) t -> () #
SuppressUnusedWarnings ((TyFun a1628135939 b1628135938 -> Type) -> TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> *) (GroupAllWith1Sym1 b1628135938 a1628135939) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWith1Sym1 b1628135938 a1628135939) t -> () #
SuppressUnusedWarnings ((TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) -> b1628135965 -> TyFun [a1628135966] (NonEmpty b1628135965) -> *) (ScanlSym2 a1628135966 b1628135965) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym2 a1628135966 b1628135965) t -> () #
SuppressUnusedWarnings ((TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) -> TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> *) (ScanlSym1 a1628135966 b1628135965) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym1 a1628135966 b1628135965) t -> () #
SuppressUnusedWarnings ((TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) -> b1628135964 -> TyFun [a1628135963] (NonEmpty b1628135964) -> *) (ScanrSym2 a1628135963 b1628135964) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym2 a1628135963 b1628135964) t -> () #
SuppressUnusedWarnings ((TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) -> TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> *) (ScanrSym1 a1628135963 b1628135964) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym1 a1628135963 b1628135964) t -> () #
SuppressUnusedWarnings ((TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) -> TyFun a1628135983 (NonEmpty b1628135984) -> *) (UnfoldrSym1 a1628135983 b1628135984) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym1 a1628135983 b1628135984) t -> () #
SuppressUnusedWarnings ((TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) -> TyFun a1628135987 (NonEmpty b1628135988) -> *) (UnfoldSym1 a1628135987 b1628135988) #
Methods suppressUnusedWarnings :: Proxy (UnfoldSym1 a1628135987 b1628135988) t -> () #
SuppressUnusedWarnings ([a1627856160] -> TyFun [b1627856161] [(a1627856160, b1627856161)] -> *) (ZipSym1 a1627856160 b1627856161) #
Methods suppressUnusedWarnings :: Proxy (ZipSym1 a1627856160 b1627856161) t -> () #
SuppressUnusedWarnings ([a1628287879] -> TyFun i1628287878 a1628287879 -> *) (GenericIndexSym1 i1628287878 a1628287879) #
Methods suppressUnusedWarnings :: Proxy (GenericIndexSym1 i1628287878 a1628287879) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (a822083585, b822083586) -> *) (Tuple2Sym1 a822083585 b822083586) #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym1 a822083585 b822083586) t -> () #
SuppressUnusedWarnings (a1627672465 -> TyFun b1627672466 b1627672466 -> *) (SeqSym1 a1627672465 b1627672466) #
Methods suppressUnusedWarnings :: Proxy (SeqSym1 a1627672465 b1627672466) t -> () #
SuppressUnusedWarnings (a1627672474 -> TyFun b1627672475 a1627672474 -> *) (ConstSym1 b1627672475 a1627672474) #
Methods suppressUnusedWarnings :: Proxy (ConstSym1 b1627672475 a1627672474) t -> () #
SuppressUnusedWarnings (a1627684591 -> TyFun (TyFun a1627684591 b1627684592 -> Type) b1627684592 -> *) ((:&$$) a1627684591 b1627684592) #
Methods suppressUnusedWarnings :: Proxy (a1627684591 :&$$ b1627684592) t -> () #
SuppressUnusedWarnings (b1627823889 -> (TyFun a1627823890 b1627823889 -> Type) -> TyFun (Maybe a1627823890) b1627823889 -> *) (Maybe_Sym2 a1627823890 b1627823889) #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym2 a1627823890 b1627823889) t -> () #
SuppressUnusedWarnings (b1627823889 -> TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> *) (Maybe_Sym1 a1627823890 b1627823889) #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym1 a1627823890 b1627823889) t -> () #
SuppressUnusedWarnings (a1627856091 -> TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> *) (LookupSym1 a1627856091 b1627856092) #
Methods suppressUnusedWarnings :: Proxy (LookupSym1 a1627856091 b1627856092) t -> () #
SuppressUnusedWarnings (i1628287876 -> TyFun a1628287877 [a1628287877] -> *) (GenericReplicateSym1 i1628287876 a1628287877) #
Methods suppressUnusedWarnings :: Proxy (GenericReplicateSym1 i1628287876 a1628287877) t -> () #
SuppressUnusedWarnings (i1628287880 -> TyFun [a1628287881] ([a1628287881], [a1628287881]) -> *) (GenericSplitAtSym1 i1628287880 a1628287881) #
Methods suppressUnusedWarnings :: Proxy (GenericSplitAtSym1 i1628287880 a1628287881) t -> () #
SuppressUnusedWarnings (i1628287882 -> TyFun [a1628287883] [a1628287883] -> *) (GenericDropSym1 i1628287882 a1628287883) #
Methods suppressUnusedWarnings :: Proxy (GenericDropSym1 i1628287882 a1628287883) t -> () #
SuppressUnusedWarnings (i1628287884 -> TyFun [a1628287885] [a1628287885] -> *) (GenericTakeSym1 i1628287884 a1628287885) #
Methods suppressUnusedWarnings :: Proxy (GenericTakeSym1 i1628287884 a1628287885) t -> () #
SuppressUnusedWarnings (NonEmpty a1628135934 -> TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> *) (ZipSym1 a1628135934 b1628135935) #
Methods suppressUnusedWarnings :: Proxy (ZipSym1 a1628135934 b1628135935) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627632057 (TyFun a1627632056 b1627632057 -> Type) -> Type) (TyFun b1627632057 (TyFun [a1627632056] b1627632057 -> Type) -> Type) -> *) (FoldlSym0 a1627632056 b1627632057) #
Methods suppressUnusedWarnings :: Proxy (FoldlSym0 a1627632056 b1627632057) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627672478 b1627672479 -> Type) (TyFun [a1627672478] [b1627672479] -> Type) -> *) (MapSym0 a1627672478 b1627672479) #
Methods suppressUnusedWarnings :: Proxy (MapSym0 a1627672478 b1627672479) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627672480 (TyFun b1627672481 b1627672481 -> Type) -> Type) (TyFun b1627672481 (TyFun [a1627672480] b1627672481 -> Type) -> Type) -> *) (FoldrSym0 a1627672480 b1627672481) #
Methods suppressUnusedWarnings :: Proxy (FoldrSym0 a1627672480 b1627672481) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627704898 a1627704897 -> Type) (TyFun b1627704898 (TyFun b1627704898 Ordering -> Type) -> Type) -> *) (ComparingSym0 a1627704897 b1627704898) #
Methods suppressUnusedWarnings :: Proxy (ComparingSym0 a1627704897 b1627704898) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627824994 (Maybe b1627824995) -> Type) (TyFun [a1627824994] [b1627824995] -> Type) -> *) (MapMaybeSym0 a1627824994 b1627824995) #
Methods suppressUnusedWarnings :: Proxy (MapMaybeSym0 a1627824994 b1627824995) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627856169 (Maybe (a1627856170, b1627856169)) -> Type) (TyFun b1627856169 [a1627856170] -> Type) -> *) (UnfoldrSym0 b1627856169 a1627856170) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym0 b1627856169 a1627856170) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856178 (TyFun b1627856179 b1627856179 -> Type) -> Type) (TyFun b1627856179 (TyFun [a1627856178] [b1627856179] -> Type) -> Type) -> *) (ScanrSym0 a1627856178 b1627856179) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym0 a1627856178 b1627856179) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627856181 (TyFun a1627856182 b1627856181 -> Type) -> Type) (TyFun b1627856181 (TyFun [a1627856182] [b1627856181] -> Type) -> Type) -> *) (ScanlSym0 a1627856182 b1627856181) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym0 a1627856182 b1627856181) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856184 [b1627856185] -> Type) (TyFun [a1627856184] [b1627856185] -> Type) -> *) (ConcatMapSym0 a1627856184 b1627856185) #
Methods suppressUnusedWarnings :: Proxy (ConcatMapSym0 a1627856184 b1627856185) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627856191 (TyFun a1627856190 b1627856191 -> Type) -> Type) (TyFun b1627856191 (TyFun [a1627856190] b1627856191 -> Type) -> Type) -> *) (Foldl'Sym0 a1627856190 b1627856191) #
Methods suppressUnusedWarnings :: Proxy (Foldl'Sym0 a1627856190 b1627856191) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135947 b1628135946 -> Type) (TyFun [a1628135947] [NonEmpty a1628135947] -> Type) -> *) (GroupWithSym0 b1628135946 a1628135947) #
Methods suppressUnusedWarnings :: Proxy (GroupWithSym0 b1628135946 a1628135947) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135945 b1628135944 -> Type) (TyFun [a1628135945] [NonEmpty a1628135945] -> Type) -> *) (GroupAllWithSym0 b1628135944 a1628135945) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWithSym0 b1628135944 a1628135945) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135941 b1628135940 -> Type) (TyFun (NonEmpty a1628135941) (NonEmpty (NonEmpty a1628135941)) -> Type) -> *) (GroupWith1Sym0 b1628135940 a1628135941) #
Methods suppressUnusedWarnings :: Proxy (GroupWith1Sym0 b1628135940 a1628135941) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135970 b1628135971 -> Type) (TyFun (NonEmpty a1628135970) (NonEmpty b1628135971) -> Type) -> *) (MapSym0 a1628135970 b1628135971) #
Methods suppressUnusedWarnings :: Proxy (MapSym0 a1628135970 b1628135971) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135924 o1628135923 -> Type) (TyFun (NonEmpty a1628135924) (NonEmpty a1628135924) -> Type) -> *) (SortWithSym0 o1628135923 a1628135924) #
Methods suppressUnusedWarnings :: Proxy (SortWithSym0 o1628135923 a1628135924) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135939 b1628135938 -> Type) (TyFun (NonEmpty a1628135939) (NonEmpty (NonEmpty a1628135939)) -> Type) -> *) (GroupAllWith1Sym0 b1628135938 a1628135939) #
Methods suppressUnusedWarnings :: Proxy (GroupAllWith1Sym0 b1628135938 a1628135939) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1628135965 (TyFun a1628135966 b1628135965 -> Type) -> Type) (TyFun b1628135965 (TyFun [a1628135966] (NonEmpty b1628135965) -> Type) -> Type) -> *) (ScanlSym0 a1628135966 b1628135965) #
Methods suppressUnusedWarnings :: Proxy (ScanlSym0 a1628135966 b1628135965) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135963 (TyFun b1628135964 b1628135964 -> Type) -> Type) (TyFun b1628135964 (TyFun [a1628135963] (NonEmpty b1628135964) -> Type) -> Type) -> *) (ScanrSym0 a1628135963 b1628135964) #
Methods suppressUnusedWarnings :: Proxy (ScanrSym0 a1628135963 b1628135964) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135983 (b1628135984, Maybe a1628135983) -> Type) (TyFun a1628135983 (NonEmpty b1628135984) -> Type) -> *) (UnfoldrSym0 a1628135983 b1628135984) #
Methods suppressUnusedWarnings :: Proxy (UnfoldrSym0 a1628135983 b1628135984) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135987 (b1628135988, Maybe a1628135987) -> Type) (TyFun a1628135987 (NonEmpty b1628135988) -> Type) -> *) (UnfoldSym0 a1628135987 b1628135988) #
Methods suppressUnusedWarnings :: Proxy (UnfoldSym0 a1628135987 b1628135988) t -> () #
SuppressUnusedWarnings (TyFun [Either a1627835093 b1627835094] [b1627835094] -> *) (RightsSym0 a1627835093 b1627835094) #
Methods suppressUnusedWarnings :: Proxy (RightsSym0 a1627835093 b1627835094) t -> () #
SuppressUnusedWarnings (TyFun [Either a1627835095 b1627835096] [a1627835095] -> *) (LeftsSym0 b1627835096 a1627835095) #
Methods suppressUnusedWarnings :: Proxy (LeftsSym0 b1627835096 a1627835095) t -> () #
SuppressUnusedWarnings (TyFun [(a1627856148, b1627856149)] ([a1627856148], [b1627856149]) -> *) (UnzipSym0 a1627856148 b1627856149) #
Methods suppressUnusedWarnings :: Proxy (UnzipSym0 a1627856148 b1627856149) t -> () #
SuppressUnusedWarnings (TyFun [a1627856077] i1627856076 -> *) (GenericLengthSym0 a1627856077 i1627856076) #
Methods suppressUnusedWarnings :: Proxy (GenericLengthSym0 a1627856077 i1627856076) t -> () #
SuppressUnusedWarnings (TyFun [a1627856160] (TyFun [b1627856161] [(a1627856160, b1627856161)] -> Type) -> *) (ZipSym0 a1627856160 b1627856161) #
Methods suppressUnusedWarnings :: Proxy (ZipSym0 a1627856160 b1627856161) t -> () #
SuppressUnusedWarnings (TyFun [a1628287879] (TyFun i1628287878 a1628287879 -> Type) -> *) (GenericIndexSym0 i1628287878 a1628287879) #
Methods suppressUnusedWarnings :: Proxy (GenericIndexSym0 i1628287878 a1628287879) t -> () #
SuppressUnusedWarnings (TyFun (Either a1627835087 b1627835088) Bool -> *) (IsRightSym0 a1627835087 b1627835088) #
Methods suppressUnusedWarnings :: Proxy (IsRightSym0 a1627835087 b1627835088) t -> () #
SuppressUnusedWarnings (TyFun (Either a1627835089 b1627835090) Bool -> *) (IsLeftSym0 a1627835089 b1627835090) #
Methods suppressUnusedWarnings :: Proxy (IsLeftSym0 a1627835089 b1627835090) t -> () #
SuppressUnusedWarnings (TyFun (a1627819843, b1627819844) (b1627819844, a1627819843) -> *) (SwapSym0 b1627819844 a1627819843) #
Methods suppressUnusedWarnings :: Proxy (SwapSym0 b1627819844 a1627819843) t -> () #
SuppressUnusedWarnings (TyFun (a1627819851, b1627819852) b1627819852 -> *) (SndSym0 a1627819851 b1627819852) #
Methods suppressUnusedWarnings :: Proxy (SndSym0 a1627819851 b1627819852) t -> () #
SuppressUnusedWarnings (TyFun (a1627819853, b1627819854) a1627819853 -> *) (FstSym0 b1627819854 a1627819853) #
Methods suppressUnusedWarnings :: Proxy (FstSym0 b1627819854 a1627819853) t -> () #
SuppressUnusedWarnings (TyFun a1627455901 (Either a1627455901 b1627455902) -> *) (LeftSym0 a1627455901 b1627455902) #
Methods suppressUnusedWarnings :: Proxy (LeftSym0 a1627455901 b1627455902) t -> () #
SuppressUnusedWarnings (TyFun b1627455902 (Either a1627455901 b1627455902) -> *) (RightSym0 a1627455901 b1627455902) #
Methods suppressUnusedWarnings :: Proxy (RightSym0 a1627455901 b1627455902) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (a822083585, b822083586) -> Type) -> *) (Tuple2Sym0 a822083585 b822083586) #
Methods suppressUnusedWarnings :: Proxy (Tuple2Sym0 a822083585 b822083586) t -> () #
SuppressUnusedWarnings (TyFun a1627672465 (TyFun b1627672466 b1627672466 -> Type) -> *) (SeqSym0 a1627672465 b1627672466) #
Methods suppressUnusedWarnings :: Proxy (SeqSym0 a1627672465 b1627672466) t -> () #
SuppressUnusedWarnings (TyFun a1627672474 (TyFun b1627672475 a1627672474 -> Type) -> *) (ConstSym0 b1627672475 a1627672474) #
Methods suppressUnusedWarnings :: Proxy (ConstSym0 b1627672475 a1627672474) t -> () #
SuppressUnusedWarnings (TyFun a1627684591 (TyFun (TyFun a1627684591 b1627684592 -> Type) b1627684592 -> Type) -> *) ((:&$) a1627684591 b1627684592) #
Methods suppressUnusedWarnings :: Proxy (a1627684591 :&$ b1627684592) t -> () #
SuppressUnusedWarnings (TyFun k01627798799 k1627798801 -> *) (ErrorSym0 k01627798799 k1627798801) #
Methods suppressUnusedWarnings :: Proxy (ErrorSym0 k01627798799 k1627798801) t -> () #
SuppressUnusedWarnings (TyFun b1627823889 (TyFun (TyFun a1627823890 b1627823889 -> Type) (TyFun (Maybe a1627823890) b1627823889 -> Type) -> Type) -> *) (Maybe_Sym0 a1627823890 b1627823889) #
Methods suppressUnusedWarnings :: Proxy (Maybe_Sym0 a1627823890 b1627823889) t -> () #
SuppressUnusedWarnings (TyFun a1627856091 (TyFun [(a1627856091, b1627856092)] (Maybe b1627856092) -> Type) -> *) (LookupSym0 a1627856091 b1627856092) #
Methods suppressUnusedWarnings :: Proxy (LookupSym0 a1627856091 b1627856092) t -> () #
SuppressUnusedWarnings (TyFun i1628287876 (TyFun a1628287877 [a1628287877] -> Type) -> *) (GenericReplicateSym0 i1628287876 a1628287877) #
Methods suppressUnusedWarnings :: Proxy (GenericReplicateSym0 i1628287876 a1628287877) t -> () #
SuppressUnusedWarnings (TyFun i1628287880 (TyFun [a1628287881] ([a1628287881], [a1628287881]) -> Type) -> *) (GenericSplitAtSym0 i1628287880 a1628287881) #
Methods suppressUnusedWarnings :: Proxy (GenericSplitAtSym0 i1628287880 a1628287881) t -> () #
SuppressUnusedWarnings (TyFun i1628287882 (TyFun [a1628287883] [a1628287883] -> Type) -> *) (GenericDropSym0 i1628287882 a1628287883) #
Methods suppressUnusedWarnings :: Proxy (GenericDropSym0 i1628287882 a1628287883) t -> () #
SuppressUnusedWarnings (TyFun i1628287884 (TyFun [a1628287885] [a1628287885] -> Type) -> *) (GenericTakeSym0 i1628287884 a1628287885) #
Methods suppressUnusedWarnings :: Proxy (GenericTakeSym0 i1628287884 a1628287885) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty (a1628135929, b1628135930)) (NonEmpty a1628135929, NonEmpty b1628135930) -> *) (UnzipSym0 a1628135929 b1628135930) #
Methods suppressUnusedWarnings :: Proxy (UnzipSym0 a1628135929 b1628135930) t -> () #
SuppressUnusedWarnings (TyFun (NonEmpty a1628135934) (TyFun (NonEmpty b1628135935) (NonEmpty (a1628135934, b1628135935)) -> Type) -> *) (ZipSym0 a1628135934 b1628135935) #
Methods suppressUnusedWarnings :: Proxy (ZipSym0 a1628135934 b1628135935) t -> () #
SuppressUnusedWarnings ((TyFun (a1627819848, b1627819849) c1627819850 -> Type) -> a1627819848 -> TyFun b1627819849 c1627819850 -> *) (CurrySym2 a1627819848 b1627819849 c1627819850) #
Methods suppressUnusedWarnings :: Proxy (CurrySym2 a1627819848 b1627819849 c1627819850) t -> () #
SuppressUnusedWarnings ((TyFun (a1627819848, b1627819849) c1627819850 -> Type) -> TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> *) (CurrySym1 a1627819848 b1627819849 c1627819850) #
Methods suppressUnusedWarnings :: Proxy (CurrySym1 a1627819848 b1627819849 c1627819850) t -> () #
SuppressUnusedWarnings ((TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) -> b1627672469 -> TyFun a1627672468 c1627672470 -> *) (FlipSym2 b1627672469 a1627672468 c1627672470) #
Methods suppressUnusedWarnings :: Proxy (FlipSym2 b1627672469 a1627672468 c1627672470) t -> () #
SuppressUnusedWarnings ((TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) -> TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> *) (FlipSym1 b1627672469 a1627672468 c1627672470) #
Methods suppressUnusedWarnings :: Proxy (FlipSym1 b1627672469 a1627672468 c1627672470) t -> () #
SuppressUnusedWarnings ((TyFun b1627672471 c1627672472 -> Type) -> (TyFun a1627672473 b1627672471 -> Type) -> TyFun a1627672473 c1627672472 -> *) ((:.$$$) b1627672471 a1627672473 c1627672472) #
Methods suppressUnusedWarnings :: Proxy ((b1627672471 :.$$$ a1627672473) c1627672472) t -> () #
SuppressUnusedWarnings ((TyFun b1627672471 c1627672472 -> Type) -> TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> *) ((:.$$) b1627672471 a1627672473 c1627672472) #
Methods suppressUnusedWarnings :: Proxy ((b1627672471 :.$$ a1627672473) c1627672472) t -> () #
SuppressUnusedWarnings ((TyFun b1627684593 (TyFun b1627684593 c1627684594 -> Type) -> Type) -> (TyFun a1627684595 b1627684593 -> Type) -> a1627684595 -> TyFun a1627684595 c1627684594 -> *) (OnSym3 b1627684593 a1627684595 c1627684594) #
Methods suppressUnusedWarnings :: Proxy (OnSym3 b1627684593 a1627684595 c1627684594) t -> () #
SuppressUnusedWarnings ((TyFun b1627684593 (TyFun b1627684593 c1627684594 -> Type) -> Type) -> (TyFun a1627684595 b1627684593 -> Type) -> TyFun a1627684595 (TyFun a1627684595 c1627684594 -> Type) -> *) (OnSym2 b1627684593 a1627684595 c1627684594) #
Methods suppressUnusedWarnings :: Proxy (OnSym2 b1627684593 a1627684595 c1627684594) t -> () #
SuppressUnusedWarnings ((TyFun b1627684593 (TyFun b1627684593 c1627684594 -> Type) -> Type) -> TyFun (TyFun a1627684595 b1627684593 -> Type) (TyFun a1627684595 (TyFun a1627684595 c1627684594 -> Type) -> Type) -> *) (OnSym1 b1627684593 a1627684595 c1627684594) #
Methods suppressUnusedWarnings :: Proxy (OnSym1 b1627684593 a1627684595 c1627684594) t -> () #
SuppressUnusedWarnings ((TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) -> TyFun (a1627819845, b1627819846) c1627819847 -> *) (UncurrySym1 a1627819845 b1627819846 c1627819847) #
Methods suppressUnusedWarnings :: Proxy (UncurrySym1 a1627819845 b1627819846 c1627819847) t -> () #
SuppressUnusedWarnings ((TyFun a1627833983 c1627833984 -> Type) -> (TyFun b1627833985 c1627833984 -> Type) -> TyFun (Either a1627833983 b1627833985) c1627833984 -> *) (Either_Sym2 a1627833983 b1627833985 c1627833984) #
Methods suppressUnusedWarnings :: Proxy (Either_Sym2 a1627833983 b1627833985 c1627833984) t -> () #
SuppressUnusedWarnings ((TyFun a1627833983 c1627833984 -> Type) -> TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> *) (Either_Sym1 a1627833983 b1627833985 c1627833984) #
Methods suppressUnusedWarnings :: Proxy (Either_Sym1 a1627833983 b1627833985 c1627833984) t -> () #
SuppressUnusedWarnings ((TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) -> TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> *) (ZipWithSym1 a1627856154 b1627856155 c1627856156) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a1627856154 b1627856155 c1627856156) t -> () #
SuppressUnusedWarnings ((TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) -> [a1627856154] -> TyFun [b1627856155] [c1627856156] -> *) (ZipWithSym2 a1627856154 b1627856155 c1627856156) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a1627856154 b1627856155 c1627856156) t -> () #
SuppressUnusedWarnings ((TyFun acc1627856171 (TyFun x1627856172 (acc1627856171, y1627856173) -> Type) -> Type) -> TyFun acc1627856171 (TyFun [x1627856172] (acc1627856171, [y1627856173]) -> Type) -> *) (MapAccumRSym1 x1627856172 acc1627856171 y1627856173) #
Methods suppressUnusedWarnings :: Proxy (MapAccumRSym1 x1627856172 acc1627856171 y1627856173) t -> () #
SuppressUnusedWarnings ((TyFun acc1627856171 (TyFun x1627856172 (acc1627856171, y1627856173) -> Type) -> Type) -> acc1627856171 -> TyFun [x1627856172] (acc1627856171, [y1627856173]) -> *) (MapAccumRSym2 x1627856172 acc1627856171 y1627856173) #
Methods suppressUnusedWarnings :: Proxy (MapAccumRSym2 x1627856172 acc1627856171 y1627856173) t -> () #
SuppressUnusedWarnings ((TyFun acc1627856174 (TyFun x1627856175 (acc1627856174, y1627856176) -> Type) -> Type) -> TyFun acc1627856174 (TyFun [x1627856175] (acc1627856174, [y1627856176]) -> Type) -> *) (MapAccumLSym1 x1627856175 acc1627856174 y1627856176) #
Methods suppressUnusedWarnings :: Proxy (MapAccumLSym1 x1627856175 acc1627856174 y1627856176) t -> () #
SuppressUnusedWarnings ((TyFun acc1627856174 (TyFun x1627856175 (acc1627856174, y1627856176) -> Type) -> Type) -> acc1627856174 -> TyFun [x1627856175] (acc1627856174, [y1627856176]) -> *) (MapAccumLSym2 x1627856175 acc1627856174 y1627856176) #
Methods suppressUnusedWarnings :: Proxy (MapAccumLSym2 x1627856175 acc1627856174 y1627856176) t -> () #
SuppressUnusedWarnings ((TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) -> NonEmpty a1628135931 -> TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> *) (ZipWithSym2 a1628135931 b1628135932 c1628135933) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym2 a1628135931 b1628135932 c1628135933) t -> () #
SuppressUnusedWarnings ((TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) -> TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> *) (ZipWithSym1 a1628135931 b1628135932 c1628135933) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym1 a1628135931 b1628135932 c1628135933) t -> () #
SuppressUnusedWarnings ([a1627856157] -> TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> *) (Zip3Sym1 a1627856157 b1627856158 c1627856159) #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym1 a1627856157 b1627856158 c1627856159) t -> () #
SuppressUnusedWarnings ([a1627856157] -> [b1627856158] -> TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> *) (Zip3Sym2 a1627856157 b1627856158 c1627856159) #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym2 a1627856157 b1627856158 c1627856159) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (a822083585, b822083586, c822083587) -> *) (Tuple3Sym2 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym2 a822083585 b822083586 c822083587) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> *) (Tuple3Sym1 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym1 a822083585 b822083586 c822083587) t -> () #
SuppressUnusedWarnings (TyFun (TyFun (a1627819848, b1627819849) c1627819850 -> Type) (TyFun a1627819848 (TyFun b1627819849 c1627819850 -> Type) -> Type) -> *) (CurrySym0 a1627819848 b1627819849 c1627819850) #
Methods suppressUnusedWarnings :: Proxy (CurrySym0 a1627819848 b1627819849 c1627819850) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627672468 (TyFun b1627672469 c1627672470 -> Type) -> Type) (TyFun b1627672469 (TyFun a1627672468 c1627672470 -> Type) -> Type) -> *) (FlipSym0 b1627672469 a1627672468 c1627672470) #
Methods suppressUnusedWarnings :: Proxy (FlipSym0 b1627672469 a1627672468 c1627672470) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627672471 c1627672472 -> Type) (TyFun (TyFun a1627672473 b1627672471 -> Type) (TyFun a1627672473 c1627672472 -> Type) -> Type) -> *) ((:.$) b1627672471 a1627672473 c1627672472) #
Methods suppressUnusedWarnings :: Proxy ((b1627672471 :.$ a1627672473) c1627672472) t -> () #
SuppressUnusedWarnings (TyFun (TyFun b1627684593 (TyFun b1627684593 c1627684594 -> Type) -> Type) (TyFun (TyFun a1627684595 b1627684593 -> Type) (TyFun a1627684595 (TyFun a1627684595 c1627684594 -> Type) -> Type) -> Type) -> *) (OnSym0 b1627684593 a1627684595 c1627684594) #
Methods suppressUnusedWarnings :: Proxy (OnSym0 b1627684593 a1627684595 c1627684594) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627819845 (TyFun b1627819846 c1627819847 -> Type) -> Type) (TyFun (a1627819845, b1627819846) c1627819847 -> Type) -> *) (UncurrySym0 a1627819845 b1627819846 c1627819847) #
Methods suppressUnusedWarnings :: Proxy (UncurrySym0 a1627819845 b1627819846 c1627819847) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627833983 c1627833984 -> Type) (TyFun (TyFun b1627833985 c1627833984 -> Type) (TyFun (Either a1627833983 b1627833985) c1627833984 -> Type) -> Type) -> *) (Either_Sym0 a1627833983 b1627833985 c1627833984) #
Methods suppressUnusedWarnings :: Proxy (Either_Sym0 a1627833983 b1627833985 c1627833984) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856154 (TyFun b1627856155 c1627856156 -> Type) -> Type) (TyFun [a1627856154] (TyFun [b1627856155] [c1627856156] -> Type) -> Type) -> *) (ZipWithSym0 a1627856154 b1627856155 c1627856156) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a1627856154 b1627856155 c1627856156) t -> () #
SuppressUnusedWarnings (TyFun (TyFun acc1627856171 (TyFun x1627856172 (acc1627856171, y1627856173) -> Type) -> Type) (TyFun acc1627856171 (TyFun [x1627856172] (acc1627856171, [y1627856173]) -> Type) -> Type) -> *) (MapAccumRSym0 x1627856172 acc1627856171 y1627856173) #
Methods suppressUnusedWarnings :: Proxy (MapAccumRSym0 x1627856172 acc1627856171 y1627856173) t -> () #
SuppressUnusedWarnings (TyFun (TyFun acc1627856174 (TyFun x1627856175 (acc1627856174, y1627856176) -> Type) -> Type) (TyFun acc1627856174 (TyFun [x1627856175] (acc1627856174, [y1627856176]) -> Type) -> Type) -> *) (MapAccumLSym0 x1627856175 acc1627856174 y1627856176) #
Methods suppressUnusedWarnings :: Proxy (MapAccumLSym0 x1627856175 acc1627856174 y1627856176) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628135931 (TyFun b1628135932 c1628135933 -> Type) -> Type) (TyFun (NonEmpty a1628135931) (TyFun (NonEmpty b1628135932) (NonEmpty c1628135933) -> Type) -> Type) -> *) (ZipWithSym0 a1628135931 b1628135932 c1628135933) #
Methods suppressUnusedWarnings :: Proxy (ZipWithSym0 a1628135931 b1628135932 c1628135933) t -> () #
SuppressUnusedWarnings (TyFun [(a1627856145, b1627856146, c1627856147)] ([a1627856145], [b1627856146], [c1627856147]) -> *) (Unzip3Sym0 a1627856145 b1627856146 c1627856147) #
Methods suppressUnusedWarnings :: Proxy (Unzip3Sym0 a1627856145 b1627856146 c1627856147) t -> () #
SuppressUnusedWarnings (TyFun [a1627856157] (TyFun [b1627856158] (TyFun [c1627856159] [(a1627856157, b1627856158, c1627856159)] -> Type) -> Type) -> *) (Zip3Sym0 a1627856157 b1627856158 c1627856159) #
Methods suppressUnusedWarnings :: Proxy (Zip3Sym0 a1627856157 b1627856158 c1627856159) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (a822083585, b822083586, c822083587) -> Type) -> Type) -> *) (Tuple3Sym0 a822083585 b822083586 c822083587) #
Methods suppressUnusedWarnings :: Proxy (Tuple3Sym0 a822083585 b822083586 c822083587) t -> () #
SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> *) (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym1 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> [a1627856150] -> TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> *) (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym2 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
SuppressUnusedWarnings ((TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) -> [a1627856150] -> [b1627856151] -> TyFun [c1627856152] [d1627856153] -> *) (ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym3 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
SuppressUnusedWarnings ([a1628287930] -> [b1628287931] -> [c1628287932] -> TyFun [d1628287933] [(a1628287930, b1628287931, c1628287932, d1628287933)] -> *) (Zip4Sym3 a1628287930 b1628287931 c1628287932 d1628287933) #
Methods suppressUnusedWarnings :: Proxy (Zip4Sym3 a1628287930 b1628287931 c1628287932 d1628287933) t -> () #
SuppressUnusedWarnings ([a1628287930] -> [b1628287931] -> TyFun [c1628287932] (TyFun [d1628287933] [(a1628287930, b1628287931, c1628287932, d1628287933)] -> Type) -> *) (Zip4Sym2 a1628287930 b1628287931 c1628287932 d1628287933) #
Methods suppressUnusedWarnings :: Proxy (Zip4Sym2 a1628287930 b1628287931 c1628287932 d1628287933) t -> () #
SuppressUnusedWarnings ([a1628287930] -> TyFun [b1628287931] (TyFun [c1628287932] (TyFun [d1628287933] [(a1628287930, b1628287931, c1628287932, d1628287933)] -> Type) -> Type) -> *) (Zip4Sym1 a1628287930 b1628287931 c1628287932 d1628287933) #
Methods suppressUnusedWarnings :: Proxy (Zip4Sym1 a1628287930 b1628287931 c1628287932 d1628287933) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> *) (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym3 a822083585 b822083586 c822083587 d822083588) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> *) (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym2 a822083585 b822083586 c822083587 d822083588) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> *) (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym1 a822083585 b822083586 c822083587 d822083588) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1627856150 (TyFun b1627856151 (TyFun c1627856152 d1627856153 -> Type) -> Type) -> Type) (TyFun [a1627856150] (TyFun [b1627856151] (TyFun [c1627856152] [d1627856153] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) #
Methods suppressUnusedWarnings :: Proxy (ZipWith3Sym0 a1627856150 b1627856151 c1627856152 d1627856153) t -> () #
SuppressUnusedWarnings (TyFun [(a1627856141, b1627856142, c1627856143, d1627856144)] ([a1627856141], [b1627856142], [c1627856143], [d1627856144]) -> *) (Unzip4Sym0 a1627856141 b1627856142 c1627856143 d1627856144) #
Methods suppressUnusedWarnings :: Proxy (Unzip4Sym0 a1627856141 b1627856142 c1627856143 d1627856144) t -> () #
SuppressUnusedWarnings (TyFun [a1628287930] (TyFun [b1628287931] (TyFun [c1628287932] (TyFun [d1628287933] [(a1628287930, b1628287931, c1628287932, d1628287933)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a1628287930 b1628287931 c1628287932 d1628287933) #
Methods suppressUnusedWarnings :: Proxy (Zip4Sym0 a1628287930 b1628287931 c1628287932 d1628287933) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (a822083585, b822083586, c822083587, d822083588) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) #
Methods suppressUnusedWarnings :: Proxy (Tuple4Sym0 a822083585 b822083586 c822083587 d822083588) t -> () #
SuppressUnusedWarnings ((TyFun a1628287907 (TyFun b1628287908 (TyFun c1628287909 (TyFun d1628287910 e1628287911 -> Type) -> Type) -> Type) -> Type) -> TyFun [a1628287907] (TyFun [b1628287908] (TyFun [c1628287909] (TyFun [d1628287910] [e1628287911] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) #
Methods suppressUnusedWarnings :: Proxy (ZipWith4Sym1 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) t -> () #
SuppressUnusedWarnings ((TyFun a1628287907 (TyFun b1628287908 (TyFun c1628287909 (TyFun d1628287910 e1628287911 -> Type) -> Type) -> Type) -> Type) -> [a1628287907] -> TyFun [b1628287908] (TyFun [c1628287909] (TyFun [d1628287910] [e1628287911] -> Type) -> Type) -> *) (ZipWith4Sym2 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) #
Methods suppressUnusedWarnings :: Proxy (ZipWith4Sym2 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) t -> () #
SuppressUnusedWarnings ((TyFun a1628287907 (TyFun b1628287908 (TyFun c1628287909 (TyFun d1628287910 e1628287911 -> Type) -> Type) -> Type) -> Type) -> [a1628287907] -> [b1628287908] -> TyFun [c1628287909] (TyFun [d1628287910] [e1628287911] -> Type) -> *) (ZipWith4Sym3 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) #
Methods suppressUnusedWarnings :: Proxy (ZipWith4Sym3 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) t -> () #
SuppressUnusedWarnings ((TyFun a1628287907 (TyFun b1628287908 (TyFun c1628287909 (TyFun d1628287910 e1628287911 -> Type) -> Type) -> Type) -> Type) -> [a1628287907] -> [b1628287908] -> [c1628287909] -> TyFun [d1628287910] [e1628287911] -> *) (ZipWith4Sym4 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) #
Methods suppressUnusedWarnings :: Proxy (ZipWith4Sym4 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) t -> () #
SuppressUnusedWarnings ([a1628287925] -> [b1628287926] -> [c1628287927] -> [d1628287928] -> TyFun [e1628287929] [(a1628287925, b1628287926, c1628287927, d1628287928, e1628287929)] -> *) (Zip5Sym4 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) #
Methods suppressUnusedWarnings :: Proxy (Zip5Sym4 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) t -> () #
SuppressUnusedWarnings ([a1628287925] -> [b1628287926] -> [c1628287927] -> TyFun [d1628287928] (TyFun [e1628287929] [(a1628287925, b1628287926, c1628287927, d1628287928, e1628287929)] -> Type) -> *) (Zip5Sym3 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) #
Methods suppressUnusedWarnings :: Proxy (Zip5Sym3 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) t -> () #
SuppressUnusedWarnings ([a1628287925] -> [b1628287926] -> TyFun [c1628287927] (TyFun [d1628287928] (TyFun [e1628287929] [(a1628287925, b1628287926, c1628287927, d1628287928, e1628287929)] -> Type) -> Type) -> *) (Zip5Sym2 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) #
Methods suppressUnusedWarnings :: Proxy (Zip5Sym2 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) t -> () #
SuppressUnusedWarnings ([a1628287925] -> TyFun [b1628287926] (TyFun [c1628287927] (TyFun [d1628287928] (TyFun [e1628287929] [(a1628287925, b1628287926, c1628287927, d1628287928, e1628287929)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) #
Methods suppressUnusedWarnings :: Proxy (Zip5Sym1 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> *) (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym4 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> *) (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym3 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> *) (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym2 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym1 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628287907 (TyFun b1628287908 (TyFun c1628287909 (TyFun d1628287910 e1628287911 -> Type) -> Type) -> Type) -> Type) (TyFun [a1628287907] (TyFun [b1628287908] (TyFun [c1628287909] (TyFun [d1628287910] [e1628287911] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) #
Methods suppressUnusedWarnings :: Proxy (ZipWith4Sym0 a1628287907 b1628287908 c1628287909 d1628287910 e1628287911) t -> () #
SuppressUnusedWarnings (TyFun [(a1627856136, b1627856137, c1627856138, d1627856139, e1627856140)] ([a1627856136], [b1627856137], [c1627856138], [d1627856139], [e1627856140]) -> *) (Unzip5Sym0 a1627856136 b1627856137 c1627856138 d1627856139 e1627856140) #
Methods suppressUnusedWarnings :: Proxy (Unzip5Sym0 a1627856136 b1627856137 c1627856138 d1627856139 e1627856140) t -> () #
SuppressUnusedWarnings (TyFun [a1628287925] (TyFun [b1628287926] (TyFun [c1628287927] (TyFun [d1628287928] (TyFun [e1628287929] [(a1628287925, b1628287926, c1628287927, d1628287928, e1628287929)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) #
Methods suppressUnusedWarnings :: Proxy (Zip5Sym0 a1628287925 b1628287926 c1628287927 d1628287928 e1628287929) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (a822083585, b822083586, c822083587, d822083588, e822083589) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) #
Methods suppressUnusedWarnings :: Proxy (Tuple5Sym0 a822083585 b822083586 c822083587 d822083588 e822083589) t -> () #
SuppressUnusedWarnings ((TyFun a1628287901 (TyFun b1628287902 (TyFun c1628287903 (TyFun d1628287904 (TyFun e1628287905 f1628287906 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a1628287901] (TyFun [b1628287902] (TyFun [c1628287903] (TyFun [d1628287904] (TyFun [e1628287905] [f1628287906] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) #
Methods suppressUnusedWarnings :: Proxy (ZipWith5Sym1 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) t -> () #
SuppressUnusedWarnings ((TyFun a1628287901 (TyFun b1628287902 (TyFun c1628287903 (TyFun d1628287904 (TyFun e1628287905 f1628287906 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287901] -> TyFun [b1628287902] (TyFun [c1628287903] (TyFun [d1628287904] (TyFun [e1628287905] [f1628287906] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) #
Methods suppressUnusedWarnings :: Proxy (ZipWith5Sym2 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) t -> () #
SuppressUnusedWarnings ((TyFun a1628287901 (TyFun b1628287902 (TyFun c1628287903 (TyFun d1628287904 (TyFun e1628287905 f1628287906 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287901] -> [b1628287902] -> TyFun [c1628287903] (TyFun [d1628287904] (TyFun [e1628287905] [f1628287906] -> Type) -> Type) -> *) (ZipWith5Sym3 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) #
Methods suppressUnusedWarnings :: Proxy (ZipWith5Sym3 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) t -> () #
SuppressUnusedWarnings ((TyFun a1628287901 (TyFun b1628287902 (TyFun c1628287903 (TyFun d1628287904 (TyFun e1628287905 f1628287906 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287901] -> [b1628287902] -> [c1628287903] -> TyFun [d1628287904] (TyFun [e1628287905] [f1628287906] -> Type) -> *) (ZipWith5Sym4 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) #
Methods suppressUnusedWarnings :: Proxy (ZipWith5Sym4 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) t -> () #
SuppressUnusedWarnings ((TyFun a1628287901 (TyFun b1628287902 (TyFun c1628287903 (TyFun d1628287904 (TyFun e1628287905 f1628287906 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287901] -> [b1628287902] -> [c1628287903] -> [d1628287904] -> TyFun [e1628287905] [f1628287906] -> *) (ZipWith5Sym5 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) #
Methods suppressUnusedWarnings :: Proxy (ZipWith5Sym5 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) t -> () #
SuppressUnusedWarnings ([a1628287919] -> [b1628287920] -> [c1628287921] -> [d1628287922] -> [e1628287923] -> TyFun [f1628287924] [(a1628287919, b1628287920, c1628287921, d1628287922, e1628287923, f1628287924)] -> *) (Zip6Sym5 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) #
Methods suppressUnusedWarnings :: Proxy (Zip6Sym5 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) t -> () #
SuppressUnusedWarnings ([a1628287919] -> [b1628287920] -> [c1628287921] -> [d1628287922] -> TyFun [e1628287923] (TyFun [f1628287924] [(a1628287919, b1628287920, c1628287921, d1628287922, e1628287923, f1628287924)] -> Type) -> *) (Zip6Sym4 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) #
Methods suppressUnusedWarnings :: Proxy (Zip6Sym4 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) t -> () #
SuppressUnusedWarnings ([a1628287919] -> [b1628287920] -> [c1628287921] -> TyFun [d1628287922] (TyFun [e1628287923] (TyFun [f1628287924] [(a1628287919, b1628287920, c1628287921, d1628287922, e1628287923, f1628287924)] -> Type) -> Type) -> *) (Zip6Sym3 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) #
Methods suppressUnusedWarnings :: Proxy (Zip6Sym3 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) t -> () #
SuppressUnusedWarnings ([a1628287919] -> [b1628287920] -> TyFun [c1628287921] (TyFun [d1628287922] (TyFun [e1628287923] (TyFun [f1628287924] [(a1628287919, b1628287920, c1628287921, d1628287922, e1628287923, f1628287924)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) #
Methods suppressUnusedWarnings :: Proxy (Zip6Sym2 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) t -> () #
SuppressUnusedWarnings ([a1628287919] -> TyFun [b1628287920] (TyFun [c1628287921] (TyFun [d1628287922] (TyFun [e1628287923] (TyFun [f1628287924] [(a1628287919, b1628287920, c1628287921, d1628287922, e1628287923, f1628287924)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) #
Methods suppressUnusedWarnings :: Proxy (Zip6Sym1 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> *) (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> *) (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> *) (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628287901 (TyFun b1628287902 (TyFun c1628287903 (TyFun d1628287904 (TyFun e1628287905 f1628287906 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a1628287901] (TyFun [b1628287902] (TyFun [c1628287903] (TyFun [d1628287904] (TyFun [e1628287905] [f1628287906] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) #
Methods suppressUnusedWarnings :: Proxy (ZipWith5Sym0 a1628287901 b1628287902 c1628287903 d1628287904 e1628287905 f1628287906) t -> () #
SuppressUnusedWarnings (TyFun [(a1627856130, b1627856131, c1627856132, d1627856133, e1627856134, f1627856135)] ([a1627856130], [b1627856131], [c1627856132], [d1627856133], [e1627856134], [f1627856135]) -> *) (Unzip6Sym0 a1627856130 b1627856131 c1627856132 d1627856133 e1627856134 f1627856135) #
Methods suppressUnusedWarnings :: Proxy (Unzip6Sym0 a1627856130 b1627856131 c1627856132 d1627856133 e1627856134 f1627856135) t -> () #
SuppressUnusedWarnings (TyFun [a1628287919] (TyFun [b1628287920] (TyFun [c1628287921] (TyFun [d1628287922] (TyFun [e1628287923] (TyFun [f1628287924] [(a1628287919, b1628287920, c1628287921, d1628287922, e1628287923, f1628287924)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) #
Methods suppressUnusedWarnings :: Proxy (Zip6Sym0 a1628287919 b1628287920 c1628287921 d1628287922 e1628287923 f1628287924) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) #
Methods suppressUnusedWarnings :: Proxy (Tuple6Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590) t -> () #
SuppressUnusedWarnings ((TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a1628287894] (TyFun [b1628287895] (TyFun [c1628287896] (TyFun [d1628287897] (TyFun [e1628287898] (TyFun [f1628287899] [g1628287900] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym1 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings ((TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287894] -> TyFun [b1628287895] (TyFun [c1628287896] (TyFun [d1628287897] (TyFun [e1628287898] (TyFun [f1628287899] [g1628287900] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym2 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings ((TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287894] -> [b1628287895] -> TyFun [c1628287896] (TyFun [d1628287897] (TyFun [e1628287898] (TyFun [f1628287899] [g1628287900] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym3 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings ((TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287894] -> [b1628287895] -> [c1628287896] -> TyFun [d1628287897] (TyFun [e1628287898] (TyFun [f1628287899] [g1628287900] -> Type) -> Type) -> *) (ZipWith6Sym4 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym4 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings ((TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287894] -> [b1628287895] -> [c1628287896] -> [d1628287897] -> TyFun [e1628287898] (TyFun [f1628287899] [g1628287900] -> Type) -> *) (ZipWith6Sym5 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym5 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings ((TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287894] -> [b1628287895] -> [c1628287896] -> [d1628287897] -> [e1628287898] -> TyFun [f1628287899] [g1628287900] -> *) (ZipWith6Sym6 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym6 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings ([a1628287912] -> [b1628287913] -> [c1628287914] -> [d1628287915] -> [e1628287916] -> [f1628287917] -> TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> *) (Zip7Sym6 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym6 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings ([a1628287912] -> [b1628287913] -> [c1628287914] -> [d1628287915] -> [e1628287916] -> TyFun [f1628287917] (TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> Type) -> *) (Zip7Sym5 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym5 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings ([a1628287912] -> [b1628287913] -> [c1628287914] -> [d1628287915] -> TyFun [e1628287916] (TyFun [f1628287917] (TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> Type) -> Type) -> *) (Zip7Sym4 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym4 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings ([a1628287912] -> [b1628287913] -> [c1628287914] -> TyFun [d1628287915] (TyFun [e1628287916] (TyFun [f1628287917] (TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym3 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings ([a1628287912] -> [b1628287913] -> TyFun [c1628287914] (TyFun [d1628287915] (TyFun [e1628287916] (TyFun [f1628287917] (TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym2 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings ([a1628287912] -> TyFun [b1628287913] (TyFun [c1628287914] (TyFun [d1628287915] (TyFun [e1628287916] (TyFun [f1628287917] (TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym1 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> f822083590 -> TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> *) (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym6 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> e822083589 -> TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> *) (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym5 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> d822083588 -> TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> *) (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym4 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> c822083587 -> TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym3 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings (a822083585 -> b822083586 -> TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym2 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings (a822083585 -> TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym1 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628287894 (TyFun b1628287895 (TyFun c1628287896 (TyFun d1628287897 (TyFun e1628287898 (TyFun f1628287899 g1628287900 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a1628287894] (TyFun [b1628287895] (TyFun [c1628287896] (TyFun [d1628287897] (TyFun [e1628287898] (TyFun [f1628287899] [g1628287900] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) #
Methods suppressUnusedWarnings :: Proxy (ZipWith6Sym0 a1628287894 b1628287895 c1628287896 d1628287897 e1628287898 f1628287899 g1628287900) t -> () #
SuppressUnusedWarnings (TyFun [(a1627856123, b1627856124, c1627856125, d1627856126, e1627856127, f1627856128, g1627856129)] ([a1627856123], [b1627856124], [c1627856125], [d1627856126], [e1627856127], [f1627856128], [g1627856129]) -> *) (Unzip7Sym0 a1627856123 b1627856124 c1627856125 d1627856126 e1627856127 f1627856128 g1627856129) #
Methods suppressUnusedWarnings :: Proxy (Unzip7Sym0 a1627856123 b1627856124 c1627856125 d1627856126 e1627856127 f1627856128 g1627856129) t -> () #
SuppressUnusedWarnings (TyFun [a1628287912] (TyFun [b1628287913] (TyFun [c1628287914] (TyFun [d1628287915] (TyFun [e1628287916] (TyFun [f1628287917] (TyFun [g1628287918] [(a1628287912, b1628287913, c1628287914, d1628287915, e1628287916, f1628287917, g1628287918)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) #
Methods suppressUnusedWarnings :: Proxy (Zip7Sym0 a1628287912 b1628287913 c1628287914 d1628287915 e1628287916 f1628287917 g1628287918) t -> () #
SuppressUnusedWarnings (TyFun a822083585 (TyFun b822083586 (TyFun c822083587 (TyFun d822083588 (TyFun e822083589 (TyFun f822083590 (TyFun g822083591 (a822083585, b822083586, c822083587, d822083588, e822083589, f822083590, g822083591) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) #
Methods suppressUnusedWarnings :: Proxy (Tuple7Sym0 a822083585 b822083586 c822083587 d822083588 e822083589 f822083590 g822083591) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a1628287886] (TyFun [b1628287887] (TyFun [c1628287888] (TyFun [d1628287889] (TyFun [e1628287890] (TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym1 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287886] -> TyFun [b1628287887] (TyFun [c1628287888] (TyFun [d1628287889] (TyFun [e1628287890] (TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym2 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287886] -> [b1628287887] -> TyFun [c1628287888] (TyFun [d1628287889] (TyFun [e1628287890] (TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym3 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287886] -> [b1628287887] -> [c1628287888] -> TyFun [d1628287889] (TyFun [e1628287890] (TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym4 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287886] -> [b1628287887] -> [c1628287888] -> [d1628287889] -> TyFun [e1628287890] (TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> Type) -> *) (ZipWith7Sym5 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym5 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287886] -> [b1628287887] -> [c1628287888] -> [d1628287889] -> [e1628287890] -> TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> *) (ZipWith7Sym6 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym6 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings ((TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a1628287886] -> [b1628287887] -> [c1628287888] -> [d1628287889] -> [e1628287890] -> [f1628287891] -> TyFun [g1628287892] [h1628287893] -> *) (ZipWith7Sym7 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym7 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #
SuppressUnusedWarnings (TyFun (TyFun a1628287886 (TyFun b1628287887 (TyFun c1628287888 (TyFun d1628287889 (TyFun e1628287890 (TyFun f1628287891 (TyFun g1628287892 h1628287893 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a1628287886] (TyFun [b1628287887] (TyFun [c1628287888] (TyFun [d1628287889] (TyFun [e1628287890] (TyFun [f1628287891] (TyFun [g1628287892] [h1628287893] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) #
Methods suppressUnusedWarnings :: Proxy (ZipWith7Sym0 a1628287886 b1628287887 c1628287888 d1628287889 e1628287890 f1628287891 g1628287892 h1628287893) t -> () #

Primary Template Haskell generation functions

Functions to generate equality instances

Functions to generate Ord instances

Functions to generate Bounded instances

Functions to generate Enum instances

Utility functions

Basic singleton definitions

Auxiliary definitions

Functions to generate `Ord` instances

Functions to generate `Bounded` instances

Functions to generate `Enum` instances