singletons-2.3: A framework for generating singleton types

Copyright(C) 2013 Richard Eisenberg
LicenseBSD-style (see LICENSE)
MaintainerRichard Eisenberg (rae@cs.brynmawr.edu)
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Data.Singletons.TH

Contents

Description

This module contains everything you need to derive your own singletons via Template Haskell.

TURN ON -XScopedTypeVariables IN YOUR MODULE IF YOU WANT THIS TO WORK.

Synopsis

Primary Template Haskell generation functions

singletons :: DsMonad q => q [Dec] -> q [Dec] Source #

Make promoted and singleton versions of all declarations given, retaining the original declarations. See https://github.com/goldfirere/singletons/blob/master/README.md for further explanation.

singletonsOnly :: DsMonad q => q [Dec] -> q [Dec] Source #

Make promoted and singleton versions of all declarations given, discarding the original declarations. Note that a singleton based on a datatype needs the original datatype, so this will fail if it sees any datatype declarations. Classes, instances, and functions are all fine.

genSingletons :: DsMonad q => [Name] -> q [Dec] Source #

Generate singleton definitions from a type that is already defined. For example, the singletons package itself uses

$(genSingletons [''Bool, ''Maybe, ''Either, ''[]])

to generate singletons for Prelude types.

promote :: DsMonad q => q [Dec] -> q [Dec] Source #

Promote every declaration given to the type level, retaining the originals.

promoteOnly :: DsMonad q => q [Dec] -> q [Dec] Source #

Promote each declaration, discarding the originals. Note that a promoted datatype uses the same definition as an original datatype, so this will not work with datatypes. Classes, instances, and functions are all fine.

genDefunSymbols :: DsMonad q => [Name] -> q [Dec] Source #

Generate defunctionalization symbols for existing type family

genPromotions :: DsMonad q => [Name] -> q [Dec] Source #

Generate promoted definitions from a type that is already defined. This is generally only useful with classes.

Functions to generate equality instances

promoteEqInstances :: DsMonad q => [Name] -> q [Dec] Source #

Produce instances for '(:==)' (type-level equality) from the given types

promoteEqInstance :: DsMonad q => Name -> q [Dec] Source #

Produce an instance for '(:==)' (type-level equality) from the given type

singEqInstances :: DsMonad q => [Name] -> q [Dec] Source #

Create instances of SEq and type-level '(:==)' for each type in the list

singEqInstance :: DsMonad q => Name -> q [Dec] Source #

Create instance of SEq and type-level '(:==)' for the given type

singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec] Source #

Create instances of SEq (only -- no instance for '(:==)', which SEq generally relies on) for each type in the list

singEqInstanceOnly :: DsMonad q => Name -> q [Dec] Source #

Create instances of SEq (only -- no instance for '(:==)', which SEq generally relies on) for the given type

singDecideInstances :: DsMonad q => [Name] -> q [Dec] Source #

Create instances of SDecide for each type in the list.

singDecideInstance :: DsMonad q => Name -> q [Dec] Source #

Create instance of SDecide for the given type.

Functions to generate Ord instances

promoteOrdInstances :: DsMonad q => [Name] -> q [Dec] Source #

Produce instances for POrd from the given types

promoteOrdInstance :: DsMonad q => Name -> q [Dec] Source #

Produce an instance for POrd from the given type

singOrdInstances :: DsMonad q => [Name] -> q [Dec] Source #

Create instances of SOrd for the given types

singOrdInstance :: DsMonad q => Name -> q [Dec] Source #

Create instance of SOrd for the given type

Functions to generate Bounded instances

promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec] Source #

Produce instances for PBounded from the given types

promoteBoundedInstance :: DsMonad q => Name -> q [Dec] Source #

Produce an instance for PBounded from the given type

singBoundedInstances :: DsMonad q => [Name] -> q [Dec] Source #

Create instances of SBounded for the given types

singBoundedInstance :: DsMonad q => Name -> q [Dec] Source #

Create instance of SBounded for the given type

Functions to generate Enum instances

promoteEnumInstances :: DsMonad q => [Name] -> q [Dec] Source #

Produce instances for PEnum from the given types

promoteEnumInstance :: DsMonad q => Name -> q [Dec] Source #

Produce an instance for PEnum from the given type

singEnumInstances :: DsMonad q => [Name] -> q [Dec] Source #

Create instances of SEnum for the given types

singEnumInstance :: DsMonad q => Name -> q [Dec] Source #

Create instance of SEnum for the given type

Utility functions

cases Source #

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

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) Source #

The singleton kind-indexed data family.

Instances

data Sing Bool Source # 
data Sing Bool where
data Sing Ordering Source # 
data Sing * Source # 
data Sing * where
data Sing Nat Source # 
data Sing Nat where
data Sing Symbol Source # 
data Sing Symbol where
data Sing () Source # 
data Sing () where
data Sing [a] Source # 
data Sing [a] where
data Sing (Maybe a) Source # 
data Sing (Maybe a) where
data Sing (NonEmpty a) Source # 
data Sing (NonEmpty a) where
data Sing (Either a b) Source # 
data Sing (Either a b) where
data Sing (a, b) Source # 
data Sing (a, b) where
data Sing ((~>) k1 k2) Source # 
data Sing ((~>) k1 k2) = SLambda {}
data Sing (a, b, c) Source # 
data Sing (a, b, c) where
data Sing (a, b, c, d) Source # 
data Sing (a, b, c, d) where
data Sing (a, b, c, d, e) Source # 
data Sing (a, b, c, d, e) where
data Sing (a, b, c, d, e, f) Source # 
data Sing (a, b, c, d, e, f) where
data Sing (a, b, c, d, e, f, g) Source # 
data Sing (a, b, c, d, e, f, g) where

Auxiliary definitions

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

class PEq a Source #

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

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

Instances

PEq Bool Source # 

Associated Types

type (Bool :== (x :: Bool)) (y :: Bool) :: Bool Source #

type (Bool :/= (x :: Bool)) (y :: Bool) :: Bool Source #

PEq Ordering Source # 

Associated Types

type (Ordering :== (x :: Ordering)) (y :: Ordering) :: Bool Source #

type (Ordering :/= (x :: Ordering)) (y :: Ordering) :: Bool Source #

PEq () Source # 

Associated Types

type (() :== (x :: ())) (y :: ()) :: Bool Source #

type (() :/= (x :: ())) (y :: ()) :: Bool Source #

PEq [k] Source # 

Associated Types

type ([k] :== (x :: [k])) (y :: [k]) :: Bool Source #

type ([k] :/= (x :: [k])) (y :: [k]) :: Bool Source #

PEq (Maybe k) Source # 

Associated Types

type ((Maybe k) :== (x :: Maybe k)) (y :: Maybe k) :: Bool Source #

type ((Maybe k) :/= (x :: Maybe k)) (y :: Maybe k) :: Bool Source #

PEq (NonEmpty k) Source # 

Associated Types

type ((NonEmpty k) :== (x :: NonEmpty k)) (y :: NonEmpty k) :: Bool Source #

type ((NonEmpty k) :/= (x :: NonEmpty k)) (y :: NonEmpty k) :: Bool Source #

PEq (Either k1 k2) Source # 

Associated Types

type ((Either k1 k2) :== (x :: Either k1 k2)) (y :: Either k1 k2) :: Bool Source #

type ((Either k1 k2) :/= (x :: Either k1 k2)) (y :: Either k1 k2) :: Bool Source #

PEq (k1, k2) Source # 

Associated Types

type ((k1, k2) :== (x :: (k1, k2))) (y :: (k1, k2)) :: Bool Source #

type ((k1, k2) :/= (x :: (k1, k2))) (y :: (k1, k2)) :: Bool Source #

PEq (k1, k2, k3) Source # 

Associated Types

type ((k1, k2, k3) :== (x :: (k1, k2, k3))) (y :: (k1, k2, k3)) :: Bool Source #

type ((k1, k2, k3) :/= (x :: (k1, k2, k3))) (y :: (k1, k2, k3)) :: Bool Source #

PEq (k1, k2, k3, k4) Source # 

Associated Types

type ((k1, k2, k3, k4) :== (x :: (k1, k2, k3, k4))) (y :: (k1, k2, k3, k4)) :: Bool Source #

type ((k1, k2, k3, k4) :/= (x :: (k1, k2, k3, k4))) (y :: (k1, k2, k3, k4)) :: Bool Source #

PEq (k1, k2, k3, k4, k5) Source # 

Associated Types

type ((k1, k2, k3, k4, k5) :== (x :: (k1, k2, k3, k4, k5))) (y :: (k1, k2, k3, k4, k5)) :: Bool Source #

type ((k1, k2, k3, k4, k5) :/= (x :: (k1, k2, k3, k4, k5))) (y :: (k1, k2, k3, k4, k5)) :: Bool Source #

PEq (k1, k2, k3, k4, k5, k6) Source # 

Associated Types

type ((k1, k2, k3, k4, k5, k6) :== (x :: (k1, k2, k3, k4, k5, k6))) (y :: (k1, k2, k3, k4, k5, k6)) :: Bool Source #

type ((k1, k2, k3, k4, k5, k6) :/= (x :: (k1, k2, k3, k4, k5, k6))) (y :: (k1, k2, k3, k4, k5, k6)) :: Bool Source #

PEq (k1, k2, k3, k4, k5, k6, k7) Source # 

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

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

type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #

Type-level If. If True a b ==> a; If False a b ==> b

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) Source #

Conditional over singletons

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

Equations

False :&& _z_6989586621679274680 = FalseSym0 
True :&& x = x 

class SEq k where Source #

The singleton analogue of Eq. Unlike the definition for Eq, it is required that instances define a body for '(%:==)'. You may also supply a body for '(%:/=)'.

Minimal complete definition

(%:==)

Methods

(%:==) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Sing (a :== b) infix 4 Source #

Boolean equality on singletons

(%:/=) :: forall (a :: k) (b :: k). Sing a -> Sing b -> Sing (a :/= b) infix 4 Source #

Boolean disequality on singletons

(%:/=) :: forall (a :: k) (b :: k). (a :/= b) ~ Not (a :== b) => Sing a -> Sing b -> Sing (a :/= b) infix 4 Source #

Boolean disequality on singletons

Instances

SEq Bool Source # 

Methods

(%:==) :: Sing Bool a -> Sing Bool b -> Sing Bool ((Bool :== a) b) Source #

(%:/=) :: Sing Bool a -> Sing Bool b -> Sing Bool ((Bool :/= a) b) Source #

SEq Ordering Source # 
SEq () Source # 

Methods

(%:==) :: Sing () a -> Sing () b -> Sing Bool ((() :== a) b) Source #

(%:/=) :: Sing () a -> Sing () b -> Sing Bool ((() :/= a) b) Source #

SEq a => SEq [a] Source # 

Methods

(%:==) :: Sing [a] a -> Sing [a] b -> Sing Bool (([a] :== a) b) Source #

(%:/=) :: Sing [a] a -> Sing [a] b -> Sing Bool (([a] :/= a) b) Source #

SEq a => SEq (Maybe a) Source # 

Methods

(%:==) :: Sing (Maybe a) a -> Sing (Maybe a) b -> Sing Bool ((Maybe a :== a) b) Source #

(%:/=) :: Sing (Maybe a) a -> Sing (Maybe a) b -> Sing Bool ((Maybe a :/= a) b) Source #

SEq a => SEq (NonEmpty a) Source # 

Methods

(%:==) :: Sing (NonEmpty a) a -> Sing (NonEmpty a) b -> Sing Bool ((NonEmpty a :== a) b) Source #

(%:/=) :: Sing (NonEmpty a) a -> Sing (NonEmpty a) b -> Sing Bool ((NonEmpty a :/= a) b) Source #

(SEq a, SEq b) => SEq (Either a b) Source # 

Methods

(%:==) :: Sing (Either a b) a -> Sing (Either a b) b -> Sing Bool ((Either a b :== a) b) Source #

(%:/=) :: Sing (Either a b) a -> Sing (Either a b) b -> Sing Bool ((Either a b :/= a) b) Source #

(SEq a, SEq b) => SEq (a, b) Source # 

Methods

(%:==) :: Sing (a, b) a -> Sing (a, b) b -> Sing Bool (((a, b) :== a) b) Source #

(%:/=) :: Sing (a, b) a -> Sing (a, b) b -> Sing Bool (((a, b) :/= a) b) Source #

(SEq a, SEq b, SEq c) => SEq (a, b, c) Source # 

Methods

(%:==) :: Sing (a, b, c) a -> Sing (a, b, c) b -> Sing Bool (((a, b, c) :== a) b) Source #

(%:/=) :: Sing (a, b, c) a -> Sing (a, b, c) b -> Sing Bool (((a, b, c) :/= a) b) Source #

(SEq a, SEq b, SEq c, SEq d) => SEq (a, b, c, d) Source # 

Methods

(%:==) :: Sing (a, b, c, d) a -> Sing (a, b, c, d) b -> Sing Bool (((a, b, c, d) :== a) b) Source #

(%:/=) :: Sing (a, b, c, d) a -> Sing (a, b, c, d) b -> Sing Bool (((a, b, c, d) :/= a) b) Source #

(SEq a, SEq b, SEq c, SEq d, SEq e) => SEq (a, b, c, d, e) Source # 

Methods

(%:==) :: Sing (a, b, c, d, e) a -> Sing (a, b, c, d, e) b -> Sing Bool (((a, b, c, d, e) :== a) b) Source #

(%:/=) :: Sing (a, b, c, d, e) a -> Sing (a, b, c, d, e) b -> Sing Bool (((a, b, c, d, e) :/= a) b) Source #

(SEq a, SEq b, SEq c, SEq d, SEq e, SEq f) => SEq (a, b, c, d, e, f) Source # 

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) Source #

(%:/=) :: 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) Source #

(SEq a, SEq b, SEq c, SEq d, SEq e, SEq f, SEq g) => SEq (a, b, c, d, e, f, g) Source # 

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) Source #

(%:/=) :: 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) Source #

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

Associated Types

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

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

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

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

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

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

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

Instances

POrd Bool Source # 

Associated Types

type Compare Bool (arg :: Bool) (arg :: Bool) :: Ordering Source #

type (Bool :< (arg :: Bool)) (arg :: Bool) :: Bool Source #

type (Bool :<= (arg :: Bool)) (arg :: Bool) :: Bool Source #

type (Bool :> (arg :: Bool)) (arg :: Bool) :: Bool Source #

type (Bool :>= (arg :: Bool)) (arg :: Bool) :: Bool Source #

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

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

POrd Ordering Source # 

Associated Types

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

type (Ordering :< (arg :: Ordering)) (arg :: Ordering) :: Bool Source #

type (Ordering :<= (arg :: Ordering)) (arg :: Ordering) :: Bool Source #

type (Ordering :> (arg :: Ordering)) (arg :: Ordering) :: Bool Source #

type (Ordering :>= (arg :: Ordering)) (arg :: Ordering) :: Bool Source #

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

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

POrd () Source # 

Associated Types

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

type (() :< (arg :: ())) (arg :: ()) :: Bool Source #

type (() :<= (arg :: ())) (arg :: ()) :: Bool Source #

type (() :> (arg :: ())) (arg :: ()) :: Bool Source #

type (() :>= (arg :: ())) (arg :: ()) :: Bool Source #

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

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

POrd [a] Source # 

Associated Types

type Compare [a] (arg :: [a]) (arg :: [a]) :: Ordering Source #

type ([a] :< (arg :: [a])) (arg :: [a]) :: Bool Source #

type ([a] :<= (arg :: [a])) (arg :: [a]) :: Bool Source #

type ([a] :> (arg :: [a])) (arg :: [a]) :: Bool Source #

type ([a] :>= (arg :: [a])) (arg :: [a]) :: Bool Source #

type Max [a] (arg :: [a]) (arg :: [a]) :: a Source #

type Min [a] (arg :: [a]) (arg :: [a]) :: a Source #

POrd (Maybe a) Source # 

Associated Types

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

type ((Maybe a) :< (arg :: Maybe a)) (arg :: Maybe a) :: Bool Source #

type ((Maybe a) :<= (arg :: Maybe a)) (arg :: Maybe a) :: Bool Source #

type ((Maybe a) :> (arg :: Maybe a)) (arg :: Maybe a) :: Bool Source #

type ((Maybe a) :>= (arg :: Maybe a)) (arg :: Maybe a) :: Bool Source #

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

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

POrd (NonEmpty a) Source # 

Associated Types

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

type ((NonEmpty a) :< (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool Source #

type ((NonEmpty a) :<= (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool Source #

type ((NonEmpty a) :> (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool Source #

type ((NonEmpty a) :>= (arg :: NonEmpty a)) (arg :: NonEmpty a) :: Bool Source #

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

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

POrd (Either a b) Source # 

Associated Types

type Compare (Either a b) (arg :: Either a b) (arg :: Either a b) :: Ordering Source #

type ((Either a b) :< (arg :: Either a b)) (arg :: Either a b) :: Bool Source #

type ((Either a b) :<= (arg :: Either a b)) (arg :: Either a b) :: Bool Source #

type ((Either a b) :> (arg :: Either a b)) (arg :: Either a b) :: Bool Source #

type ((Either a b) :>= (arg :: Either a b)) (arg :: Either a b) :: Bool Source #

type Max (Either a b) (arg :: Either a b) (arg :: Either a b) :: a Source #

type Min (Either a b) (arg :: Either a b) (arg :: Either a b) :: a Source #

POrd (a, b) Source # 

Associated Types

type Compare (a, b) (arg :: (a, b)) (arg :: (a, b)) :: Ordering Source #

type ((a, b) :< (arg :: (a, b))) (arg :: (a, b)) :: Bool Source #

type ((a, b) :<= (arg :: (a, b))) (arg :: (a, b)) :: Bool Source #

type ((a, b) :> (arg :: (a, b))) (arg :: (a, b)) :: Bool Source #

type ((a, b) :>= (arg :: (a, b))) (arg :: (a, b)) :: Bool Source #

type Max (a, b) (arg :: (a, b)) (arg :: (a, b)) :: a Source #

type Min (a, b) (arg :: (a, b)) (arg :: (a, b)) :: a Source #

POrd (a, b, c) Source # 

Associated Types

type Compare (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: Ordering Source #

type ((a, b, c) :< (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool Source #

type ((a, b, c) :<= (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool Source #

type ((a, b, c) :> (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool Source #

type ((a, b, c) :>= (arg :: (a, b, c))) (arg :: (a, b, c)) :: Bool Source #

type Max (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: a Source #

type Min (a, b, c) (arg :: (a, b, c)) (arg :: (a, b, c)) :: a Source #

POrd (a, b, c, d) Source # 

Associated Types

type Compare (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: Ordering Source #

type ((a, b, c, d) :< (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool Source #

type ((a, b, c, d) :<= (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool Source #

type ((a, b, c, d) :> (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool Source #

type ((a, b, c, d) :>= (arg :: (a, b, c, d))) (arg :: (a, b, c, d)) :: Bool Source #

type Max (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: a Source #

type Min (a, b, c, d) (arg :: (a, b, c, d)) (arg :: (a, b, c, d)) :: a Source #

POrd (a, b, c, d, e) Source # 

Associated Types

type Compare (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: Ordering Source #

type ((a, b, c, d, e) :< (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool Source #

type ((a, b, c, d, e) :<= (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool Source #

type ((a, b, c, d, e) :> (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool Source #

type ((a, b, c, d, e) :>= (arg :: (a, b, c, d, e))) (arg :: (a, b, c, d, e)) :: Bool Source #

type Max (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: a Source #

type Min (a, b, c, d, e) (arg :: (a, b, c, d, e)) (arg :: (a, b, c, d, e)) :: a Source #

POrd (a, b, c, d, e, f) Source # 

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

type ((a, b, c, d, e, f) :< (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool Source #

type ((a, b, c, d, e, f) :<= (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool Source #

type ((a, b, c, d, e, f) :> (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool Source #

type ((a, b, c, d, e, f) :>= (arg :: (a, b, c, d, e, f))) (arg :: (a, b, c, d, e, f)) :: Bool Source #

type Max (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: a Source #

type Min (a, b, c, d, e, f) (arg :: (a, b, c, d, e, f)) (arg :: (a, b, c, d, e, f)) :: a Source #

POrd (a, b, c, d, e, f, g) Source # 

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

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

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

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

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

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

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

class SEq a => SOrd a where Source #

Methods

sCompare :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #

(%:<) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 Source #

(%:<=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 Source #

(%:>) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 Source #

(%:>=) :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 Source #

sMax :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #

sMin :: forall (t :: a) (t :: a). Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #

sCompare :: forall (t :: a) (t :: a). ((Apply (Apply CompareSym0 t) t :: Ordering) ~ Apply (Apply Compare_6989586621679310815Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) Source #

(%:<) :: forall (t :: a) (t :: a). ((Apply (Apply (:<$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679310848Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 Source #

(%:<=) :: forall (t :: a) (t :: a). ((Apply (Apply (:<=$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679310881Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 Source #

(%:>) :: forall (t :: a) (t :: a). ((Apply (Apply (:>$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679310914Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 Source #

(%:>=) :: forall (t :: a) (t :: a). ((Apply (Apply (:>=$) t) t :: Bool) ~ Apply (Apply TFHelper_6989586621679310947Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 Source #

sMax :: forall (t :: a) (t :: a). ((Apply (Apply MaxSym0 t) t :: a) ~ Apply (Apply Max_6989586621679310980Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) Source #

sMin :: forall (t :: a) (t :: a). ((Apply (Apply MinSym0 t) t :: a) ~ Apply (Apply Min_6989586621679311013Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) Source #

Instances

SOrd Bool Source # 
SOrd Ordering Source # 
SOrd () Source # 

Methods

sCompare :: Sing () t -> Sing () t -> Sing Ordering (Apply () Ordering (Apply () (TyFun () Ordering -> Type) (CompareSym0 ()) t) t) Source #

(%:<) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:<$) ()) t) t) Source #

(%:<=) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:<=$) ()) t) t) Source #

(%:>) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:>$) ()) t) t) Source #

(%:>=) :: Sing () t -> Sing () t -> Sing Bool (Apply () Bool (Apply () (TyFun () Bool -> Type) ((:>=$) ()) t) t) Source #

sMax :: Sing () t -> Sing () t -> Sing () (Apply () () (Apply () (TyFun () () -> Type) (MaxSym0 ()) t) t) Source #

sMin :: Sing () t -> Sing () t -> Sing () (Apply () () (Apply () (TyFun () () -> Type) (MinSym0 ()) t) t) Source #

(SOrd a, SOrd [a]) => SOrd [a] Source # 

Methods

sCompare :: Sing [a] t -> Sing [a] t -> Sing Ordering (Apply [a] Ordering (Apply [a] (TyFun [a] Ordering -> Type) (CompareSym0 [a]) t) t) Source #

(%:<) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:<$) [a]) t) t) Source #

(%:<=) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:<=$) [a]) t) t) Source #

(%:>) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:>$) [a]) t) t) Source #

(%:>=) :: Sing [a] t -> Sing [a] t -> Sing Bool (Apply [a] Bool (Apply [a] (TyFun [a] Bool -> Type) ((:>=$) [a]) t) t) Source #

sMax :: Sing [a] t -> Sing [a] t -> Sing [a] (Apply [a] [a] (Apply [a] (TyFun [a] [a] -> Type) (MaxSym0 [a]) t) t) Source #

sMin :: Sing [a] t -> Sing [a] t -> Sing [a] (Apply [a] [a] (Apply [a] (TyFun [a] [a] -> Type) (MinSym0 [a]) t) t) Source #

SOrd a => SOrd (Maybe a) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd [a]) => SOrd (NonEmpty a) Source # 
(SOrd a, SOrd b) => SOrd (Either a b) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd b) => SOrd (a, b) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd b, SOrd c) => SOrd (a, b, c) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd b, SOrd c, SOrd d) => SOrd (a, b, c, d) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e) => SOrd (a, b, c, d, e) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f) => SOrd (a, b, c, d, e, f) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

(SOrd a, SOrd b, SOrd c, SOrd d, SOrd e, SOrd f, SOrd g) => SOrd (a, b, c, d, e, f, g) Source # 

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) Source #

(%:<) :: 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) Source #

(%:<=) :: 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) Source #

(%:>) :: 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) Source #

(%:>=) :: 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) Source #

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) Source #

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) Source #

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

Equations

ThenCmp EQ x = x 
ThenCmp LT _z_6989586621679317696 = LTSym0 
ThenCmp GT _z_6989586621679317699 = GTSym0 

sThenCmp :: forall (t :: Ordering) (t :: Ordering). Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering) Source #

type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ... Source #

Equations

Foldl f z0 xs0 = Apply (Apply (Let6989586621679240820LgoSym3 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) Source #

type family Any k0 :: k0 where ... #

The type constructor Any is type to which you can unsafely coerce any lifted type, and back. More concretely, for a lifted type t and value x :: t, -- unsafeCoerce (unsafeCoerce x :: Any) :: t is equivalent to x.

class SDecide k where Source #

Members of the SDecide "kind" class support decidable equality. Instances of this class are generated alongside singleton definitions for datatypes that derive an Eq instance.

Minimal complete definition

(%~)

Methods

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

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

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

type Rep Void 
type Rep Void = D1 * (MetaData "Void" "Data.Void" "base" False) (V1 *)

type Refuted a = a -> Void Source #

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

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

An existentially-quantified singleton. This type is useful when you want a singleton type, but there is no way of knowing, at compile-time, what the type index will be. To make use of this type, you will generally have to use a pattern-match:

foo :: Bool -> ...
foo b = case toSing b of
          SomeSing sb -> {- fancy dependently-typed code with sb -}

An example like the one above may be easier to write using withSomeSing.

Constructors

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

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

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

data ErrorSym0 (l :: TyFun k06989586621679399311 k6989586621679399313) Source #

Instances

SuppressUnusedWarnings (TyFun k06989586621679399311 k6989586621679399313 -> *) (ErrorSym0 k06989586621679399311 k6989586621679399313) Source # 

Methods

suppressUnusedWarnings :: Proxy (ErrorSym0 k06989586621679399311 k6989586621679399313) t -> () Source #

type Apply k0 k2 (ErrorSym0 k0 k2) l Source # 
type Apply k0 k2 (ErrorSym0 k0 k2) l = Error k0 k2 l

type LTSym0 = LT Source #

type EQSym0 = EQ Source #

type GTSym0 = GT Source #

type Tuple0Sym0 = '() Source #

data Tuple2Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym0 a3530822107858468865 b3530822107858468866) t -> () Source #

type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l Source # 
type Apply a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) l = Tuple2Sym1 a3530822107858468865 b3530822107858468866 l

data Tuple2Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym1 a3530822107858468865 b3530822107858468866) t -> () Source #

type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 Source # 
type Apply k1 (k2, k1) (Tuple2Sym1 k2 k1 l1) l2 = (,) k2 k1 l1 l2

type Tuple2Sym2 (t :: a3530822107858468865) (t :: b3530822107858468866) = '(t, t) Source #

data Tuple3Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #

type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l Source # 
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> Type) (Tuple3Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867) l = Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l

data Tuple3Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) -> *) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #

type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 Source # 
type Apply b3530822107858468866 (TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> Type) (Tuple3Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1) l2 = Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 l1 l2

data Tuple3Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (a3530822107858468865, b3530822107858468866, c3530822107858468867) -> *) (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple3Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867) t -> () Source #

type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 Source # 
type Apply k3 (k2, k1, k3) (Tuple3Sym2 k2 k1 k3 l1 l2) l3 = (,,) k2 k1 k3 l1 l2 l3

type Tuple3Sym3 (t :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) = '(t, t, t) Source #

data Tuple4Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #

type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l Source # 
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) l = Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l

data Tuple4Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) -> *) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #

type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 Source # 
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> Type) (Tuple4Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1) l2 = Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2

data Tuple4Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) -> *) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #

type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 Source # 
type Apply c3530822107858468867 (TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> Type) (Tuple4Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2) l3 = Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 l1 l2 l3

data Tuple4Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868) -> *) (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple4Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868) t -> () Source #

type Apply k4 (k2, k1, k3, k4) (Tuple4Sym3 k2 k1 k3 k4 l1 l2 l3) l4 Source # 
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 :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) = '(t, t, t, t) Source #

data Tuple5Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #

type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l Source # 
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) l = Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l

data Tuple5Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #

type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 Source # 
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> Type) (Tuple5Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1) l2 = Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2

data Tuple5Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) -> *) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #

type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 Source # 
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> Type) (Tuple5Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2) l3 = Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3

data Tuple5Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) -> *) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #

type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 Source # 
type Apply d3530822107858468868 (TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> Type) (Tuple5Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3) l4 = Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 l1 l2 l3 l4

data Tuple5Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869) -> *) (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple5Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869) t -> () Source #

type Apply k5 (k2, k1, k3, k4, k5) (Tuple5Sym4 k2 k1 k3 k4 k5 l1 l2 l3 l4) l5 Source # 
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 :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) = '(t, t, t, t, t) Source #

data Tuple6Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #

type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l Source # 
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) l = Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l

data Tuple6Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #

type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 Source # 
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1) l2 = Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2

data Tuple6Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #

type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 Source # 
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> Type) (Tuple6Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2) l3 = Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3

data Tuple6Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) -> *) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #

type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 Source # 
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> Type) (Tuple6Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3) l4 = Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4

data Tuple6Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) -> *) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #

type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 Source # 
type Apply e3530822107858468869 (TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> Type) (Tuple6Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4) l5 = Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 l1 l2 l3 l4 l5

data Tuple6Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870) -> *) (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple6Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870) t -> () Source #

type Apply k6 (k2, k1, k3, k4, k5, k6) (Tuple6Sym5 k2 k1 k3 k4 k5 k6 l1 l2 l3 l4 l5) l6 Source # 
type 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 :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) = '(t, t, t, t, t, t) Source #

data Tuple7Sym0 (l :: TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l Source # 
type Apply a3530822107858468865 (TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) l = Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l

data Tuple7Sym1 (l :: a3530822107858468865) (l :: TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 Source # 
type Apply b3530822107858468866 (TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1) l2 = Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2

data Tuple7Sym2 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> TyFun c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 Source # 
type Apply c3530822107858468867 (TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2) l3 = Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3

data Tuple7Sym3 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> TyFun d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 Source # 
type Apply d3530822107858468868 (TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> Type) (Tuple7Sym3 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3) l4 = Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4

data Tuple7Sym4 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> TyFun e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) -> *) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 Source # 
type Apply e3530822107858468869 (TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> Type) (Tuple7Sym4 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4) l5 = Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5

data Tuple7Sym5 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> TyFun f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) -> *) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 Source # 
type Apply f3530822107858468870 (TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> Type) (Tuple7Sym5 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5) l6 = Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871 l1 l2 l3 l4 l5 l6

data Tuple7Sym6 (l :: a3530822107858468865) (l :: b3530822107858468866) (l :: c3530822107858468867) (l :: d3530822107858468868) (l :: e3530822107858468869) (l :: f3530822107858468870) (l :: TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871)) Source #

Instances

SuppressUnusedWarnings (a3530822107858468865 -> b3530822107858468866 -> c3530822107858468867 -> d3530822107858468868 -> e3530822107858468869 -> f3530822107858468870 -> TyFun g3530822107858468871 (a3530822107858468865, b3530822107858468866, c3530822107858468867, d3530822107858468868, e3530822107858468869, f3530822107858468870, g3530822107858468871) -> *) (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple7Sym6 a3530822107858468865 b3530822107858468866 c3530822107858468867 d3530822107858468868 e3530822107858468869 f3530822107858468870 g3530822107858468871) t -> () Source #

type Apply k7 (k2, k1, k3, k4, k5, k6, k7) (Tuple7Sym6 k2 k1 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l7 Source # 
type 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 :: a3530822107858468865) (t :: b3530822107858468866) (t :: c3530822107858468867) (t :: d3530822107858468868) (t :: e3530822107858468869) (t :: f3530822107858468870) (t :: g3530822107858468871) = '(t, t, t, t, t, t, t) Source #

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

Instances

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type) -> *) (CompareSym0 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (CompareSym0 a6989586621679309377) t -> () Source #

type Apply a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type) (CompareSym0 a6989586621679309377) l Source # 
type Apply a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type) (CompareSym0 a6989586621679309377) l = CompareSym1 a6989586621679309377 l

data FoldlSym0 (l :: TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type)) Source #

Instances

SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym0 a6989586621679240791 b6989586621679240792) t -> () Source #

type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) l Source # 
type Apply (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) (FoldlSym0 a6989586621679240791 b6989586621679240792) l = FoldlSym1 a6989586621679240791 b6989586621679240792 l

class SuppressUnusedWarnings (t :: k) where Source #

This class (which users should never see) is to be instantiated in order to use an otherwise-unused data constructor, such as the "kind-inference" data constructor for defunctionalization symbols.

Minimal complete definition

suppressUnusedWarnings

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) Source # 
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:||$$) Source # 
SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 Source # 
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) Source # 
SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 Source # 
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) Source # 
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:||$) Source # 
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 Source # 
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 Source # 
SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 Source # 
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^$) Source # 
SuppressUnusedWarnings (TyFun Nat Constraint -> *) KnownNatSym0 Source # 
SuppressUnusedWarnings (TyFun Symbol Constraint -> *) KnownSymbolSym0 Source # 
SuppressUnusedWarnings (TyFun (NonEmpty Bool) Bool -> *) XorSym0 Source # 
SuppressUnusedWarnings ((TyFun a6989586621679442441 Bool -> Type) -> (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> TyFun a6989586621679442441 a6989586621679442441 -> *) (UntilSym2 a6989586621679442441) Source # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym2 a6989586621679442441) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679442441 Bool -> Type) -> TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> *) (UntilSym1 a6989586621679442441) Source # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym1 a6989586621679442441) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679444727 Bool -> Type) -> TyFun [a6989586621679444727] Bool -> *) (Any_Sym1 a6989586621679444727) Source # 

Methods

suppressUnusedWarnings :: Proxy (Any_Sym1 a6989586621679444727) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454841 (TyFun a6989586621679454841 Bool -> Type) -> Type) -> TyFun [a6989586621679454841] [a6989586621679454841] -> *) (NubBySym1 a6989586621679454841) Source # 

Methods

suppressUnusedWarnings :: Proxy (NubBySym1 a6989586621679454841) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454850 Bool -> Type) -> TyFun [a6989586621679454850] ([a6989586621679454850], [a6989586621679454850]) -> *) (PartitionSym1 a6989586621679454850) Source # 

Methods

suppressUnusedWarnings :: Proxy (PartitionSym1 a6989586621679454850) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454862 Bool -> Type) -> TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> *) (BreakSym1 a6989586621679454862) Source # 

Methods

suppressUnusedWarnings :: Proxy (BreakSym1 a6989586621679454862) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454863 Bool -> Type) -> TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> *) (SpanSym1 a6989586621679454863) Source # 

Methods

suppressUnusedWarnings :: Proxy (SpanSym1 a6989586621679454863) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454853 (TyFun a6989586621679454853 Bool -> Type) -> Type) -> TyFun [a6989586621679454853] [[a6989586621679454853]] -> *) (GroupBySym1 a6989586621679454853) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupBySym1 a6989586621679454853) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454865 Bool -> Type) -> TyFun [a6989586621679454865] [a6989586621679454865] -> *) (DropWhileSym1 a6989586621679454865) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropWhileSym1 a6989586621679454865) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454866 Bool -> Type) -> TyFun [a6989586621679454866] [a6989586621679454866] -> *) (TakeWhileSym1 a6989586621679454866) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeWhileSym1 a6989586621679454866) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454874 Bool -> Type) -> TyFun [a6989586621679454874] [a6989586621679454874] -> *) (FilterSym1 a6989586621679454874) Source # 

Methods

suppressUnusedWarnings :: Proxy (FilterSym1 a6989586621679454874) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454873 Bool -> Type) -> TyFun [a6989586621679454873] (Maybe a6989586621679454873) -> *) (FindSym1 a6989586621679454873) Source # 

Methods

suppressUnusedWarnings :: Proxy (FindSym1 a6989586621679454873) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454867 (TyFun a6989586621679454867 Bool -> Type) -> Type) -> [a6989586621679454867] -> TyFun [a6989586621679454867] [a6989586621679454867] -> *) (IntersectBySym2 a6989586621679454867) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersectBySym2 a6989586621679454867) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454867 (TyFun a6989586621679454867 Bool -> Type) -> Type) -> TyFun [a6989586621679454867] (TyFun [a6989586621679454867] [a6989586621679454867] -> Type) -> *) (IntersectBySym1 a6989586621679454867) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersectBySym1 a6989586621679454867) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454877 (TyFun a6989586621679454877 Ordering -> Type) -> Type) -> TyFun a6989586621679454877 (TyFun [a6989586621679454877] [a6989586621679454877] -> Type) -> *) (InsertBySym1 a6989586621679454877) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertBySym1 a6989586621679454877) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454877 (TyFun a6989586621679454877 Ordering -> Type) -> Type) -> a6989586621679454877 -> TyFun [a6989586621679454877] [a6989586621679454877] -> *) (InsertBySym2 a6989586621679454877) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertBySym2 a6989586621679454877) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454878 (TyFun a6989586621679454878 Ordering -> Type) -> Type) -> TyFun [a6989586621679454878] [a6989586621679454878] -> *) (SortBySym1 a6989586621679454878) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortBySym1 a6989586621679454878) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454880 (TyFun a6989586621679454880 Bool -> Type) -> Type) -> TyFun a6989586621679454880 (TyFun [a6989586621679454880] [a6989586621679454880] -> Type) -> *) (DeleteBySym1 a6989586621679454880) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteBySym1 a6989586621679454880) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454880 (TyFun a6989586621679454880 Bool -> Type) -> Type) -> a6989586621679454880 -> TyFun [a6989586621679454880] [a6989586621679454880] -> *) (DeleteBySym2 a6989586621679454880) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteBySym2 a6989586621679454880) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454879 (TyFun a6989586621679454879 Bool -> Type) -> Type) -> [a6989586621679454879] -> TyFun [a6989586621679454879] [a6989586621679454879] -> *) (DeleteFirstsBySym2 a6989586621679454879) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteFirstsBySym2 a6989586621679454879) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454879 (TyFun a6989586621679454879 Bool -> Type) -> Type) -> TyFun [a6989586621679454879] (TyFun [a6989586621679454879] [a6989586621679454879] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679454879) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteFirstsBySym1 a6989586621679454879) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454839 (TyFun a6989586621679454839 Bool -> Type) -> Type) -> [a6989586621679454839] -> TyFun [a6989586621679454839] [a6989586621679454839] -> *) (UnionBySym2 a6989586621679454839) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnionBySym2 a6989586621679454839) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454839 (TyFun a6989586621679454839 Bool -> Type) -> Type) -> TyFun [a6989586621679454839] (TyFun [a6989586621679454839] [a6989586621679454839] -> Type) -> *) (UnionBySym1 a6989586621679454839) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnionBySym1 a6989586621679454839) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454869 Bool -> Type) -> TyFun [a6989586621679454869] [Nat] -> *) (FindIndicesSym1 a6989586621679454869) Source # 

Methods

suppressUnusedWarnings :: Proxy (FindIndicesSym1 a6989586621679454869) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454870 Bool -> Type) -> TyFun [a6989586621679454870] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679454870) Source # 

Methods

suppressUnusedWarnings :: Proxy (FindIndexSym1 a6989586621679454870) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) -> TyFun [a6989586621679454937] [a6989586621679454937] -> *) (Scanr1Sym1 a6989586621679454937) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym1 a6989586621679454937) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) -> TyFun [a6989586621679454940] [a6989586621679454940] -> *) (Scanl1Sym1 a6989586621679454940) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym1 a6989586621679454940) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454943 Bool -> Type) -> TyFun [a6989586621679454943] Bool -> *) (AllSym1 a6989586621679454943) Source # 

Methods

suppressUnusedWarnings :: Proxy (AllSym1 a6989586621679454943) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) -> TyFun [a6989586621679454947] a6989586621679454947 -> *) (Foldr1Sym1 a6989586621679454947) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldr1Sym1 a6989586621679454947) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) -> TyFun [a6989586621679454949] a6989586621679454949 -> *) (Foldl1Sym1 a6989586621679454949) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl1Sym1 a6989586621679454949) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) -> TyFun [a6989586621679454876] a6989586621679454876 -> *) (MaximumBySym1 a6989586621679454876) Source # 

Methods

suppressUnusedWarnings :: Proxy (MaximumBySym1 a6989586621679454876) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) -> TyFun [a6989586621679454875] a6989586621679454875 -> *) (MinimumBySym1 a6989586621679454875) Source # 

Methods

suppressUnusedWarnings :: Proxy (MinimumBySym1 a6989586621679454875) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454948 (TyFun a6989586621679454948 a6989586621679454948 -> Type) -> Type) -> TyFun [a6989586621679454948] a6989586621679454948 -> *) (Foldl1'Sym1 a6989586621679454948) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl1'Sym1 a6989586621679454948) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454864 Bool -> Type) -> TyFun [a6989586621679454864] [a6989586621679454864] -> *) (DropWhileEndSym1 a6989586621679454864) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropWhileEndSym1 a6989586621679454864) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726369 (TyFun a6989586621679726369 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726369) (NonEmpty a6989586621679726369) -> *) (NubBySym1 a6989586621679726369) Source # 

Methods

suppressUnusedWarnings :: Proxy (NubBySym1 a6989586621679726369) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726390 (TyFun a6989586621679726390 Bool -> Type) -> Type) -> TyFun [a6989586621679726390] [NonEmpty a6989586621679726390] -> *) (GroupBySym1 a6989586621679726390) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupBySym1 a6989586621679726390) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726384 (TyFun a6989586621679726384 Bool -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726384) (NonEmpty (NonEmpty a6989586621679726384)) -> *) (GroupBy1Sym1 a6989586621679726384) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupBy1Sym1 a6989586621679726384) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726397 Bool -> Type) -> TyFun (NonEmpty a6989586621679726397) [a6989586621679726397] -> *) (TakeWhileSym1 a6989586621679726397) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeWhileSym1 a6989586621679726397) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726396 Bool -> Type) -> TyFun (NonEmpty a6989586621679726396) [a6989586621679726396] -> *) (DropWhileSym1 a6989586621679726396) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropWhileSym1 a6989586621679726396) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726395 Bool -> Type) -> TyFun (NonEmpty a6989586621679726395) ([a6989586621679726395], [a6989586621679726395]) -> *) (SpanSym1 a6989586621679726395) Source # 

Methods

suppressUnusedWarnings :: Proxy (SpanSym1 a6989586621679726395) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726394 Bool -> Type) -> TyFun (NonEmpty a6989586621679726394) ([a6989586621679726394], [a6989586621679726394]) -> *) (BreakSym1 a6989586621679726394) Source # 

Methods

suppressUnusedWarnings :: Proxy (BreakSym1 a6989586621679726394) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726393 Bool -> Type) -> TyFun (NonEmpty a6989586621679726393) [a6989586621679726393] -> *) (FilterSym1 a6989586621679726393) Source # 

Methods

suppressUnusedWarnings :: Proxy (FilterSym1 a6989586621679726393) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726392 Bool -> Type) -> TyFun (NonEmpty a6989586621679726392) ([a6989586621679726392], [a6989586621679726392]) -> *) (PartitionSym1 a6989586621679726392) Source # 

Methods

suppressUnusedWarnings :: Proxy (PartitionSym1 a6989586621679726392) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726367 (TyFun a6989586621679726367 Ordering -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726367) (NonEmpty a6989586621679726367) -> *) (SortBySym1 a6989586621679726367) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortBySym1 a6989586621679726367) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726404 (TyFun a6989586621679726404 a6989586621679726404 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726404) (NonEmpty a6989586621679726404) -> *) (Scanl1Sym1 a6989586621679726404) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym1 a6989586621679726404) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726403 (TyFun a6989586621679726403 a6989586621679726403 -> Type) -> Type) -> TyFun (NonEmpty a6989586621679726403) (NonEmpty a6989586621679726403) -> *) (Scanr1Sym1 a6989586621679726403) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym1 a6989586621679726403) t -> () Source #

SuppressUnusedWarnings ([a6989586621679277916] -> TyFun [a6989586621679277916] [a6989586621679277916] -> *) ((:++$$) a6989586621679277916) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:++$$) a6989586621679277916) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454843] -> TyFun Nat a6989586621679454843 -> *) ((:!!$$) a6989586621679454843) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:!!$$) a6989586621679454843) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454868] -> TyFun [a6989586621679454868] [a6989586621679454868] -> *) (IntersectSym1 a6989586621679454868) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersectSym1 a6989586621679454868) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454838] -> TyFun [a6989586621679454838] [a6989586621679454838] -> *) (UnionSym1 a6989586621679454838) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnionSym1 a6989586621679454838) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454881] -> TyFun [a6989586621679454881] [a6989586621679454881] -> *) ((:\\$$) a6989586621679454881) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:\\$$) a6989586621679454881) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454926] -> TyFun [a6989586621679454926] Bool -> *) (IsPrefixOfSym1 a6989586621679454926) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a6989586621679454926) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454924] -> TyFun [a6989586621679454924] Bool -> *) (IsInfixOfSym1 a6989586621679454924) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsInfixOfSym1 a6989586621679454924) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454956] -> TyFun [[a6989586621679454956]] [a6989586621679454956] -> *) (IntercalateSym1 a6989586621679454956) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntercalateSym1 a6989586621679454956) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454925] -> TyFun [a6989586621679454925] Bool -> *) (IsSuffixOfSym1 a6989586621679454925) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsSuffixOfSym1 a6989586621679454925) t -> () Source #

SuppressUnusedWarnings ([a6989586621679726379] -> TyFun (NonEmpty a6989586621679726379) Bool -> *) (IsPrefixOfSym1 a6989586621679726379) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsPrefixOfSym1 a6989586621679726379) t -> () Source #

SuppressUnusedWarnings ([a6989586621679873476] -> TyFun [a6989586621679873476] (Maybe [a6989586621679873476]) -> *) (StripPrefixSym1 a6989586621679873476) Source # 

Methods

suppressUnusedWarnings :: Proxy (StripPrefixSym1 a6989586621679873476) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454860] [a6989586621679454860] -> *) (DropSym1 a6989586621679454860) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropSym1 a6989586621679454860) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454861] [a6989586621679454861] -> *) (TakeSym1 a6989586621679454861) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeSym1 a6989586621679454861) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> *) (SplitAtSym1 a6989586621679454859) Source # 

Methods

suppressUnusedWarnings :: Proxy (SplitAtSym1 a6989586621679454859) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun a6989586621679454845 [a6989586621679454845] -> *) (ReplicateSym1 a6989586621679454845) Source # 

Methods

suppressUnusedWarnings :: Proxy (ReplicateSym1 a6989586621679454845) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679726400) [a6989586621679726400] -> *) (TakeSym1 a6989586621679726400) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeSym1 a6989586621679726400) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679726399) [a6989586621679726399] -> *) (DropSym1 a6989586621679726399) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropSym1 a6989586621679726399) t -> () Source #

SuppressUnusedWarnings (Nat -> TyFun (NonEmpty a6989586621679726398) ([a6989586621679726398], [a6989586621679726398]) -> *) (SplitAtSym1 a6989586621679726398) Source # 

Methods

suppressUnusedWarnings :: Proxy (SplitAtSym1 a6989586621679726398) t -> () Source #

SuppressUnusedWarnings (a3530822107858468865 -> TyFun [a3530822107858468865] [a3530822107858468865] -> *) ((:$$) a3530822107858468865) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:$$) a3530822107858468865) t -> () Source #

SuppressUnusedWarnings (a6989586621679072810 -> TyFun [a6989586621679072810] (NonEmpty a6989586621679072810) -> *) ((:|$$) a6989586621679072810) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:|$$) a6989586621679072810) t -> () Source #

SuppressUnusedWarnings (a6989586621679274033 -> a6989586621679274033 -> TyFun Bool a6989586621679274033 -> *) (Bool_Sym2 a6989586621679274033) Source # 

Methods

suppressUnusedWarnings :: Proxy (Bool_Sym2 a6989586621679274033) t -> () Source #

SuppressUnusedWarnings (a6989586621679274033 -> TyFun a6989586621679274033 (TyFun Bool a6989586621679274033 -> Type) -> *) (Bool_Sym1 a6989586621679274033) Source # 

Methods

suppressUnusedWarnings :: Proxy (Bool_Sym1 a6989586621679274033) t -> () Source #

SuppressUnusedWarnings (a6989586621679277906 -> TyFun a6989586621679277906 a6989586621679277906 -> *) (AsTypeOfSym1 a6989586621679277906) Source # 

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym1 a6989586621679277906) t -> () Source #

SuppressUnusedWarnings (a6989586621679294693 -> TyFun a6989586621679294693 Bool -> *) ((:==$$) a6989586621679294693) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:==$$) a6989586621679294693) t -> () Source #

SuppressUnusedWarnings (a6989586621679294693 -> TyFun a6989586621679294693 Bool -> *) ((:/=$$) a6989586621679294693) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:/=$$) a6989586621679294693) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:<=$$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:<=$$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Ordering -> *) (CompareSym1 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (CompareSym1 a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 a6989586621679309377 -> *) (MinSym1 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (MinSym1 a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 a6989586621679309377 -> *) (MaxSym1 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (MaxSym1 a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:>=$$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:>=$$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:>$$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:>$$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679309377 -> TyFun a6989586621679309377 Bool -> *) ((:<$$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:<$$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (a6989586621679407276 -> TyFun a6989586621679407276 a6989586621679407276 -> *) ((:-$$) a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:-$$) a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (a6989586621679407276 -> TyFun a6989586621679407276 a6989586621679407276 -> *) ((:+$$) a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:+$$) a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (a6989586621679407276 -> TyFun a6989586621679407276 a6989586621679407276 -> *) ((:*$$) a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:*$$) a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (a6989586621679409567 -> TyFun a6989586621679409567 a6989586621679409567 -> *) (SubtractSym1 a6989586621679409567) Source # 

Methods

suppressUnusedWarnings :: Proxy (SubtractSym1 a6989586621679409567) t -> () Source #

SuppressUnusedWarnings (a6989586621679424321 -> TyFun (Maybe a6989586621679424321) a6989586621679424321 -> *) (FromMaybeSym1 a6989586621679424321) Source # 

Methods

suppressUnusedWarnings :: Proxy (FromMaybeSym1 a6989586621679424321) t -> () Source #

SuppressUnusedWarnings (a6989586621679454855 -> TyFun [a6989586621679454855] [a6989586621679454855] -> *) (InsertSym1 a6989586621679454855) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertSym1 a6989586621679454855) t -> () Source #

SuppressUnusedWarnings (a6989586621679454882 -> TyFun [a6989586621679454882] [a6989586621679454882] -> *) (DeleteSym1 a6989586621679454882) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteSym1 a6989586621679454882) t -> () Source #

SuppressUnusedWarnings (a6989586621679454871 -> TyFun [a6989586621679454871] [Nat] -> *) (ElemIndicesSym1 a6989586621679454871) Source # 

Methods

suppressUnusedWarnings :: Proxy (ElemIndicesSym1 a6989586621679454871) t -> () Source #

SuppressUnusedWarnings (a6989586621679454872 -> TyFun [a6989586621679454872] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679454872) Source # 

Methods

suppressUnusedWarnings :: Proxy (ElemIndexSym1 a6989586621679454872) t -> () Source #

SuppressUnusedWarnings (a6989586621679454922 -> TyFun [a6989586621679454922] Bool -> *) (NotElemSym1 a6989586621679454922) Source # 

Methods

suppressUnusedWarnings :: Proxy (NotElemSym1 a6989586621679454922) t -> () Source #

SuppressUnusedWarnings (a6989586621679454923 -> TyFun [a6989586621679454923] Bool -> *) (ElemSym1 a6989586621679454923) Source # 

Methods

suppressUnusedWarnings :: Proxy (ElemSym1 a6989586621679454923) t -> () Source #

SuppressUnusedWarnings (a6989586621679454957 -> TyFun [a6989586621679454957] [a6989586621679454957] -> *) (IntersperseSym1 a6989586621679454957) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersperseSym1 a6989586621679454957) t -> () Source #

SuppressUnusedWarnings (a6989586621679726402 -> TyFun (NonEmpty a6989586621679726402) (NonEmpty a6989586621679726402) -> *) (IntersperseSym1 a6989586621679726402) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersperseSym1 a6989586621679726402) t -> () Source #

SuppressUnusedWarnings (a6989586621679726409 -> TyFun [a6989586621679726409] (NonEmpty a6989586621679726409) -> *) (InsertSym1 a6989586621679726409) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertSym1 a6989586621679726409) t -> () Source #

SuppressUnusedWarnings (a6989586621679726420 -> TyFun (NonEmpty a6989586621679726420) (NonEmpty a6989586621679726420) -> *) ((:<|$$) a6989586621679726420) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:<|$$) a6989586621679726420) t -> () Source #

SuppressUnusedWarnings (a6989586621679726419 -> TyFun (NonEmpty a6989586621679726419) (NonEmpty a6989586621679726419) -> *) (ConsSym1 a6989586621679726419) Source # 

Methods

suppressUnusedWarnings :: Proxy (ConsSym1 a6989586621679726419) t -> () Source #

SuppressUnusedWarnings (a6989586621679805857 -> TyFun a6989586621679805857 (TyFun a6989586621679805857 [a6989586621679805857] -> Type) -> *) (EnumFromThenToSym1 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (EnumFromThenToSym1 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (a6989586621679805857 -> a6989586621679805857 -> TyFun a6989586621679805857 [a6989586621679805857] -> *) (EnumFromThenToSym2 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (EnumFromThenToSym2 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (a6989586621679805857 -> TyFun a6989586621679805857 [a6989586621679805857] -> *) (EnumFromToSym1 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (EnumFromToSym1 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (NonEmpty a6989586621679726378 -> TyFun Nat a6989586621679726378 -> *) ((:!!$$) a6989586621679726378) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:!!$$) a6989586621679726378) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679442441 Bool -> Type) (TyFun (TyFun a6989586621679442441 a6989586621679442441 -> Type) (TyFun a6989586621679442441 a6989586621679442441 -> Type) -> Type) -> *) (UntilSym0 a6989586621679442441) Source # 

Methods

suppressUnusedWarnings :: Proxy (UntilSym0 a6989586621679442441) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679444727 Bool -> Type) (TyFun [a6989586621679444727] Bool -> Type) -> *) (Any_Sym0 a6989586621679444727) Source # 

Methods

suppressUnusedWarnings :: Proxy (Any_Sym0 a6989586621679444727) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454841 (TyFun a6989586621679454841 Bool -> Type) -> Type) (TyFun [a6989586621679454841] [a6989586621679454841] -> Type) -> *) (NubBySym0 a6989586621679454841) Source # 

Methods

suppressUnusedWarnings :: Proxy (NubBySym0 a6989586621679454841) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454850 Bool -> Type) (TyFun [a6989586621679454850] ([a6989586621679454850], [a6989586621679454850]) -> Type) -> *) (PartitionSym0 a6989586621679454850) Source # 

Methods

suppressUnusedWarnings :: Proxy (PartitionSym0 a6989586621679454850) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454862 Bool -> Type) (TyFun [a6989586621679454862] ([a6989586621679454862], [a6989586621679454862]) -> Type) -> *) (BreakSym0 a6989586621679454862) Source # 

Methods

suppressUnusedWarnings :: Proxy (BreakSym0 a6989586621679454862) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454863 Bool -> Type) (TyFun [a6989586621679454863] ([a6989586621679454863], [a6989586621679454863]) -> Type) -> *) (SpanSym0 a6989586621679454863) Source # 

Methods

suppressUnusedWarnings :: Proxy (SpanSym0 a6989586621679454863) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454853 (TyFun a6989586621679454853 Bool -> Type) -> Type) (TyFun [a6989586621679454853] [[a6989586621679454853]] -> Type) -> *) (GroupBySym0 a6989586621679454853) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupBySym0 a6989586621679454853) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454865 Bool -> Type) (TyFun [a6989586621679454865] [a6989586621679454865] -> Type) -> *) (DropWhileSym0 a6989586621679454865) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropWhileSym0 a6989586621679454865) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454866 Bool -> Type) (TyFun [a6989586621679454866] [a6989586621679454866] -> Type) -> *) (TakeWhileSym0 a6989586621679454866) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeWhileSym0 a6989586621679454866) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454874 Bool -> Type) (TyFun [a6989586621679454874] [a6989586621679454874] -> Type) -> *) (FilterSym0 a6989586621679454874) Source # 

Methods

suppressUnusedWarnings :: Proxy (FilterSym0 a6989586621679454874) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454873 Bool -> Type) (TyFun [a6989586621679454873] (Maybe a6989586621679454873) -> Type) -> *) (FindSym0 a6989586621679454873) Source # 

Methods

suppressUnusedWarnings :: Proxy (FindSym0 a6989586621679454873) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454867 (TyFun a6989586621679454867 Bool -> Type) -> Type) (TyFun [a6989586621679454867] (TyFun [a6989586621679454867] [a6989586621679454867] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679454867) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersectBySym0 a6989586621679454867) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454877 (TyFun a6989586621679454877 Ordering -> Type) -> Type) (TyFun a6989586621679454877 (TyFun [a6989586621679454877] [a6989586621679454877] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679454877) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertBySym0 a6989586621679454877) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454878 (TyFun a6989586621679454878 Ordering -> Type) -> Type) (TyFun [a6989586621679454878] [a6989586621679454878] -> Type) -> *) (SortBySym0 a6989586621679454878) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortBySym0 a6989586621679454878) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454880 (TyFun a6989586621679454880 Bool -> Type) -> Type) (TyFun a6989586621679454880 (TyFun [a6989586621679454880] [a6989586621679454880] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679454880) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteBySym0 a6989586621679454880) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454879 (TyFun a6989586621679454879 Bool -> Type) -> Type) (TyFun [a6989586621679454879] (TyFun [a6989586621679454879] [a6989586621679454879] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679454879) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteFirstsBySym0 a6989586621679454879) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454839 (TyFun a6989586621679454839 Bool -> Type) -> Type) (TyFun [a6989586621679454839] (TyFun [a6989586621679454839] [a6989586621679454839] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679454839) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnionBySym0 a6989586621679454839) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454869 Bool -> Type) (TyFun [a6989586621679454869] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679454869) Source # 

Methods

suppressUnusedWarnings :: Proxy (FindIndicesSym0 a6989586621679454869) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454870 Bool -> Type) (TyFun [a6989586621679454870] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679454870) Source # 

Methods

suppressUnusedWarnings :: Proxy (FindIndexSym0 a6989586621679454870) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454937 (TyFun a6989586621679454937 a6989586621679454937 -> Type) -> Type) (TyFun [a6989586621679454937] [a6989586621679454937] -> Type) -> *) (Scanr1Sym0 a6989586621679454937) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym0 a6989586621679454937) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454940 (TyFun a6989586621679454940 a6989586621679454940 -> Type) -> Type) (TyFun [a6989586621679454940] [a6989586621679454940] -> Type) -> *) (Scanl1Sym0 a6989586621679454940) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym0 a6989586621679454940) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454943 Bool -> Type) (TyFun [a6989586621679454943] Bool -> Type) -> *) (AllSym0 a6989586621679454943) Source # 

Methods

suppressUnusedWarnings :: Proxy (AllSym0 a6989586621679454943) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454947 (TyFun a6989586621679454947 a6989586621679454947 -> Type) -> Type) (TyFun [a6989586621679454947] a6989586621679454947 -> Type) -> *) (Foldr1Sym0 a6989586621679454947) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldr1Sym0 a6989586621679454947) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454949 (TyFun a6989586621679454949 a6989586621679454949 -> Type) -> Type) (TyFun [a6989586621679454949] a6989586621679454949 -> Type) -> *) (Foldl1Sym0 a6989586621679454949) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl1Sym0 a6989586621679454949) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454876 (TyFun a6989586621679454876 Ordering -> Type) -> Type) (TyFun [a6989586621679454876] a6989586621679454876 -> Type) -> *) (MaximumBySym0 a6989586621679454876) Source # 

Methods

suppressUnusedWarnings :: Proxy (MaximumBySym0 a6989586621679454876) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454875 (TyFun a6989586621679454875 Ordering -> Type) -> Type) (TyFun [a6989586621679454875] a6989586621679454875 -> Type) -> *) (MinimumBySym0 a6989586621679454875) Source # 

Methods

suppressUnusedWarnings :: Proxy (MinimumBySym0 a6989586621679454875) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454948 (TyFun a6989586621679454948 a6989586621679454948 -> Type) -> Type) (TyFun [a6989586621679454948] a6989586621679454948 -> Type) -> *) (Foldl1'Sym0 a6989586621679454948) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl1'Sym0 a6989586621679454948) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454864 Bool -> Type) (TyFun [a6989586621679454864] [a6989586621679454864] -> Type) -> *) (DropWhileEndSym0 a6989586621679454864) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropWhileEndSym0 a6989586621679454864) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726369 (TyFun a6989586621679726369 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679726369) (NonEmpty a6989586621679726369) -> Type) -> *) (NubBySym0 a6989586621679726369) Source # 

Methods

suppressUnusedWarnings :: Proxy (NubBySym0 a6989586621679726369) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726390 (TyFun a6989586621679726390 Bool -> Type) -> Type) (TyFun [a6989586621679726390] [NonEmpty a6989586621679726390] -> Type) -> *) (GroupBySym0 a6989586621679726390) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupBySym0 a6989586621679726390) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726384 (TyFun a6989586621679726384 Bool -> Type) -> Type) (TyFun (NonEmpty a6989586621679726384) (NonEmpty (NonEmpty a6989586621679726384)) -> Type) -> *) (GroupBy1Sym0 a6989586621679726384) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupBy1Sym0 a6989586621679726384) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726397 Bool -> Type) (TyFun (NonEmpty a6989586621679726397) [a6989586621679726397] -> Type) -> *) (TakeWhileSym0 a6989586621679726397) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeWhileSym0 a6989586621679726397) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726396 Bool -> Type) (TyFun (NonEmpty a6989586621679726396) [a6989586621679726396] -> Type) -> *) (DropWhileSym0 a6989586621679726396) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropWhileSym0 a6989586621679726396) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726395 Bool -> Type) (TyFun (NonEmpty a6989586621679726395) ([a6989586621679726395], [a6989586621679726395]) -> Type) -> *) (SpanSym0 a6989586621679726395) Source # 

Methods

suppressUnusedWarnings :: Proxy (SpanSym0 a6989586621679726395) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726394 Bool -> Type) (TyFun (NonEmpty a6989586621679726394) ([a6989586621679726394], [a6989586621679726394]) -> Type) -> *) (BreakSym0 a6989586621679726394) Source # 

Methods

suppressUnusedWarnings :: Proxy (BreakSym0 a6989586621679726394) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726393 Bool -> Type) (TyFun (NonEmpty a6989586621679726393) [a6989586621679726393] -> Type) -> *) (FilterSym0 a6989586621679726393) Source # 

Methods

suppressUnusedWarnings :: Proxy (FilterSym0 a6989586621679726393) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726392 Bool -> Type) (TyFun (NonEmpty a6989586621679726392) ([a6989586621679726392], [a6989586621679726392]) -> Type) -> *) (PartitionSym0 a6989586621679726392) Source # 

Methods

suppressUnusedWarnings :: Proxy (PartitionSym0 a6989586621679726392) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726367 (TyFun a6989586621679726367 Ordering -> Type) -> Type) (TyFun (NonEmpty a6989586621679726367) (NonEmpty a6989586621679726367) -> Type) -> *) (SortBySym0 a6989586621679726367) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortBySym0 a6989586621679726367) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726404 (TyFun a6989586621679726404 a6989586621679726404 -> Type) -> Type) (TyFun (NonEmpty a6989586621679726404) (NonEmpty a6989586621679726404) -> Type) -> *) (Scanl1Sym0 a6989586621679726404) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanl1Sym0 a6989586621679726404) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726403 (TyFun a6989586621679726403 a6989586621679726403 -> Type) -> Type) (TyFun (NonEmpty a6989586621679726403) (NonEmpty a6989586621679726403) -> Type) -> *) (Scanr1Sym0 a6989586621679726403) Source # 

Methods

suppressUnusedWarnings :: Proxy (Scanr1Sym0 a6989586621679726403) t -> () Source #

SuppressUnusedWarnings (TyFun [[a6989586621679454946]] [a6989586621679454946] -> *) (ConcatSym0 a6989586621679454946) Source # 

Methods

suppressUnusedWarnings :: Proxy (ConcatSym0 a6989586621679454946) t -> () Source #

SuppressUnusedWarnings (TyFun [[a6989586621679454844]] [[a6989586621679454844]] -> *) (TransposeSym0 a6989586621679454844) Source # 

Methods

suppressUnusedWarnings :: Proxy (TransposeSym0 a6989586621679454844) t -> () Source #

SuppressUnusedWarnings (TyFun [Maybe a6989586621679424318] [a6989586621679424318] -> *) (CatMaybesSym0 a6989586621679424318) Source # 

Methods

suppressUnusedWarnings :: Proxy (CatMaybesSym0 a6989586621679424318) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679277916] (TyFun [a6989586621679277916] [a6989586621679277916] -> Type) -> *) ((:++$) a6989586621679277916) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:++$) a6989586621679277916) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679424319] (Maybe a6989586621679424319) -> *) (ListToMaybeSym0 a6989586621679424319) Source # 

Methods

suppressUnusedWarnings :: Proxy (ListToMaybeSym0 a6989586621679424319) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454843] (TyFun Nat a6989586621679454843 -> Type) -> *) ((:!!$) a6989586621679454843) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:!!$) a6989586621679454843) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454846] Nat -> *) (LengthSym0 a6989586621679454846) Source # 

Methods

suppressUnusedWarnings :: Proxy (LengthSym0 a6989586621679454846) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454847] a6989586621679454847 -> *) (ProductSym0 a6989586621679454847) Source # 

Methods

suppressUnusedWarnings :: Proxy (ProductSym0 a6989586621679454847) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454848] a6989586621679454848 -> *) (SumSym0 a6989586621679454848) Source # 

Methods

suppressUnusedWarnings :: Proxy (SumSym0 a6989586621679454848) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454858] [[a6989586621679454858]] -> *) (GroupSym0 a6989586621679454858) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupSym0 a6989586621679454858) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454868] (TyFun [a6989586621679454868] [a6989586621679454868] -> Type) -> *) (IntersectSym0 a6989586621679454868) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersectSym0 a6989586621679454868) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454854] [a6989586621679454854] -> *) (SortSym0 a6989586621679454854) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortSym0 a6989586621679454854) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454838] (TyFun [a6989586621679454838] [a6989586621679454838] -> Type) -> *) (UnionSym0 a6989586621679454838) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnionSym0 a6989586621679454838) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454881] (TyFun [a6989586621679454881] [a6989586621679454881] -> Type) -> *) ((:\\$) a6989586621679454881) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:\\$) a6989586621679454881) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454842] [a6989586621679454842] -> *) (NubSym0 a6989586621679454842) Source # 

Methods

suppressUnusedWarnings :: Proxy (NubSym0 a6989586621679454842) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454926] (TyFun [a6989586621679454926] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679454926) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsPrefixOfSym0 a6989586621679454926) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454927] [[a6989586621679454927]] -> *) (TailsSym0 a6989586621679454927) Source # 

Methods

suppressUnusedWarnings :: Proxy (TailsSym0 a6989586621679454927) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454924] (TyFun [a6989586621679454924] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679454924) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsInfixOfSym0 a6989586621679454924) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454928] [[a6989586621679454928]] -> *) (InitsSym0 a6989586621679454928) Source # 

Methods

suppressUnusedWarnings :: Proxy (InitsSym0 a6989586621679454928) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454857] a6989586621679454857 -> *) (MaximumSym0 a6989586621679454857) Source # 

Methods

suppressUnusedWarnings :: Proxy (MaximumSym0 a6989586621679454857) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454856] a6989586621679454856 -> *) (MinimumSym0 a6989586621679454856) Source # 

Methods

suppressUnusedWarnings :: Proxy (MinimumSym0 a6989586621679454856) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454952] [[a6989586621679454952]] -> *) (PermutationsSym0 a6989586621679454952) Source # 

Methods

suppressUnusedWarnings :: Proxy (PermutationsSym0 a6989586621679454952) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454955] [[a6989586621679454955]] -> *) (SubsequencesSym0 a6989586621679454955) Source # 

Methods

suppressUnusedWarnings :: Proxy (SubsequencesSym0 a6989586621679454955) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454956] (TyFun [[a6989586621679454956]] [a6989586621679454956] -> Type) -> *) (IntercalateSym0 a6989586621679454956) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntercalateSym0 a6989586621679454956) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454958] [a6989586621679454958] -> *) (ReverseSym0 a6989586621679454958) Source # 

Methods

suppressUnusedWarnings :: Proxy (ReverseSym0 a6989586621679454958) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454925] (TyFun [a6989586621679454925] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679454925) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsSuffixOfSym0 a6989586621679454925) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454959] Bool -> *) (NullSym0 a6989586621679454959) Source # 

Methods

suppressUnusedWarnings :: Proxy (NullSym0 a6989586621679454959) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454960] [a6989586621679454960] -> *) (InitSym0 a6989586621679454960) Source # 

Methods

suppressUnusedWarnings :: Proxy (InitSym0 a6989586621679454960) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454961] [a6989586621679454961] -> *) (TailSym0 a6989586621679454961) Source # 

Methods

suppressUnusedWarnings :: Proxy (TailSym0 a6989586621679454961) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454962] a6989586621679454962 -> *) (LastSym0 a6989586621679454962) Source # 

Methods

suppressUnusedWarnings :: Proxy (LastSym0 a6989586621679454962) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454963] a6989586621679454963 -> *) (HeadSym0 a6989586621679454963) Source # 

Methods

suppressUnusedWarnings :: Proxy (HeadSym0 a6989586621679454963) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679726379] (TyFun (NonEmpty a6989586621679726379) Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679726379) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsPrefixOfSym0 a6989586621679726379) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679726391] [NonEmpty a6989586621679726391] -> *) (GroupSym0 a6989586621679726391) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupSym0 a6989586621679726391) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679726417] (NonEmpty a6989586621679726417) -> *) (FromListSym0 a6989586621679726417) Source # 

Methods

suppressUnusedWarnings :: Proxy (FromListSym0 a6989586621679726417) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679726411] (NonEmpty [a6989586621679726411]) -> *) (InitsSym0 a6989586621679726411) Source # 

Methods

suppressUnusedWarnings :: Proxy (InitsSym0 a6989586621679726411) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679726410] (NonEmpty [a6989586621679726410]) -> *) (TailsSym0 a6989586621679726410) Source # 

Methods

suppressUnusedWarnings :: Proxy (TailsSym0 a6989586621679726410) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679726428] (Maybe (NonEmpty a6989586621679726428)) -> *) (NonEmpty_Sym0 a6989586621679726428) Source # 

Methods

suppressUnusedWarnings :: Proxy (NonEmpty_Sym0 a6989586621679726428) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679873476] (TyFun [a6989586621679873476] (Maybe [a6989586621679873476]) -> Type) -> *) (StripPrefixSym0 a6989586621679873476) Source # 

Methods

suppressUnusedWarnings :: Proxy (StripPrefixSym0 a6989586621679873476) t -> () Source #

SuppressUnusedWarnings (TyFun (Maybe a6989586621679424320) [a6989586621679424320] -> *) (MaybeToListSym0 a6989586621679424320) Source # 

Methods

suppressUnusedWarnings :: Proxy (MaybeToListSym0 a6989586621679424320) t -> () Source #

SuppressUnusedWarnings (TyFun (Maybe a6989586621679424322) a6989586621679424322 -> *) (FromJustSym0 a6989586621679424322) Source # 

Methods

suppressUnusedWarnings :: Proxy (FromJustSym0 a6989586621679424322) t -> () Source #

SuppressUnusedWarnings (TyFun (Maybe a6989586621679424323) Bool -> *) (IsNothingSym0 a6989586621679424323) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsNothingSym0 a6989586621679424323) t -> () Source #

SuppressUnusedWarnings (TyFun (Maybe a6989586621679424324) Bool -> *) (IsJustSym0 a6989586621679424324) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsJustSym0 a6989586621679424324) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454860] [a6989586621679454860] -> Type) -> *) (DropSym0 a6989586621679454860) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropSym0 a6989586621679454860) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454861] [a6989586621679454861] -> Type) -> *) (TakeSym0 a6989586621679454861) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeSym0 a6989586621679454861) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679454859] ([a6989586621679454859], [a6989586621679454859]) -> Type) -> *) (SplitAtSym0 a6989586621679454859) Source # 

Methods

suppressUnusedWarnings :: Proxy (SplitAtSym0 a6989586621679454859) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679454845 [a6989586621679454845] -> Type) -> *) (ReplicateSym0 a6989586621679454845) Source # 

Methods

suppressUnusedWarnings :: Proxy (ReplicateSym0 a6989586621679454845) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679726400) [a6989586621679726400] -> Type) -> *) (TakeSym0 a6989586621679726400) Source # 

Methods

suppressUnusedWarnings :: Proxy (TakeSym0 a6989586621679726400) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679726399) [a6989586621679726399] -> Type) -> *) (DropSym0 a6989586621679726399) Source # 

Methods

suppressUnusedWarnings :: Proxy (DropSym0 a6989586621679726399) t -> () Source #

SuppressUnusedWarnings (TyFun Nat (TyFun (NonEmpty a6989586621679726398) ([a6989586621679726398], [a6989586621679726398]) -> Type) -> *) (SplitAtSym0 a6989586621679726398) Source # 

Methods

suppressUnusedWarnings :: Proxy (SplitAtSym0 a6989586621679726398) t -> () Source #

SuppressUnusedWarnings (TyFun Nat a6989586621679407276 -> *) (FromIntegerSym0 a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy (FromIntegerSym0 a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun Nat a6989586621679805857 -> *) (ToEnumSym0 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (ToEnumSym0 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (TyFun a3530822107858468865 (Maybe a3530822107858468865) -> *) (JustSym0 a3530822107858468865) Source # 

Methods

suppressUnusedWarnings :: Proxy (JustSym0 a3530822107858468865) t -> () Source #

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun [a3530822107858468865] [a3530822107858468865] -> Type) -> *) ((:$) a3530822107858468865) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:$) a3530822107858468865) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679072810 (TyFun [a6989586621679072810] (NonEmpty a6989586621679072810) -> Type) -> *) ((:|$) a6989586621679072810) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:|$) a6989586621679072810) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679274033 (TyFun a6989586621679274033 (TyFun Bool a6989586621679274033 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679274033) Source # 

Methods

suppressUnusedWarnings :: Proxy (Bool_Sym0 a6989586621679274033) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679277906 (TyFun a6989586621679277906 a6989586621679277906 -> Type) -> *) (AsTypeOfSym0 a6989586621679277906) Source # 

Methods

suppressUnusedWarnings :: Proxy (AsTypeOfSym0 a6989586621679277906) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679277915 a6989586621679277915 -> *) (IdSym0 a6989586621679277915) Source # 

Methods

suppressUnusedWarnings :: Proxy (IdSym0 a6989586621679277915) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679294693 (TyFun a6989586621679294693 Bool -> Type) -> *) ((:==$) a6989586621679294693) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:==$) a6989586621679294693) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679294693 (TyFun a6989586621679294693 Bool -> Type) -> *) ((:/=$) a6989586621679294693) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:/=$) a6989586621679294693) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:<=$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:<=$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Ordering -> Type) -> *) (CompareSym0 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (CompareSym0 a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 a6989586621679309377 -> Type) -> *) (MinSym0 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (MinSym0 a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 a6989586621679309377 -> Type) -> *) (MaxSym0 a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy (MaxSym0 a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:>=$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:>=$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:>$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:>$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679309377 (TyFun a6989586621679309377 Bool -> Type) -> *) ((:<$) a6989586621679309377) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:<$) a6989586621679309377) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679407276 a6989586621679407276 -> *) (NegateSym0 a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy (NegateSym0 a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679407276 (TyFun a6989586621679407276 a6989586621679407276 -> Type) -> *) ((:-$) a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:-$) a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679407276 (TyFun a6989586621679407276 a6989586621679407276 -> Type) -> *) ((:+$) a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:+$) a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679407276 a6989586621679407276 -> *) (SignumSym0 a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy (SignumSym0 a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679407276 a6989586621679407276 -> *) (AbsSym0 a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy (AbsSym0 a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679407276 (TyFun a6989586621679407276 a6989586621679407276 -> Type) -> *) ((:*$) a6989586621679407276) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:*$) a6989586621679407276) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679409567 (TyFun a6989586621679409567 a6989586621679409567 -> Type) -> *) (SubtractSym0 a6989586621679409567) Source # 

Methods

suppressUnusedWarnings :: Proxy (SubtractSym0 a6989586621679409567) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679424321 (TyFun (Maybe a6989586621679424321) a6989586621679424321 -> Type) -> *) (FromMaybeSym0 a6989586621679424321) Source # 

Methods

suppressUnusedWarnings :: Proxy (FromMaybeSym0 a6989586621679424321) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454855 (TyFun [a6989586621679454855] [a6989586621679454855] -> Type) -> *) (InsertSym0 a6989586621679454855) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertSym0 a6989586621679454855) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454882 (TyFun [a6989586621679454882] [a6989586621679454882] -> Type) -> *) (DeleteSym0 a6989586621679454882) Source # 

Methods

suppressUnusedWarnings :: Proxy (DeleteSym0 a6989586621679454882) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454871 (TyFun [a6989586621679454871] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679454871) Source # 

Methods

suppressUnusedWarnings :: Proxy (ElemIndicesSym0 a6989586621679454871) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454872 (TyFun [a6989586621679454872] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679454872) Source # 

Methods

suppressUnusedWarnings :: Proxy (ElemIndexSym0 a6989586621679454872) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454922 (TyFun [a6989586621679454922] Bool -> Type) -> *) (NotElemSym0 a6989586621679454922) Source # 

Methods

suppressUnusedWarnings :: Proxy (NotElemSym0 a6989586621679454922) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454923 (TyFun [a6989586621679454923] Bool -> Type) -> *) (ElemSym0 a6989586621679454923) Source # 

Methods

suppressUnusedWarnings :: Proxy (ElemSym0 a6989586621679454923) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679454957 (TyFun [a6989586621679454957] [a6989586621679454957] -> Type) -> *) (IntersperseSym0 a6989586621679454957) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersperseSym0 a6989586621679454957) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679726402 (TyFun (NonEmpty a6989586621679726402) (NonEmpty a6989586621679726402) -> Type) -> *) (IntersperseSym0 a6989586621679726402) Source # 

Methods

suppressUnusedWarnings :: Proxy (IntersperseSym0 a6989586621679726402) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679726409 (TyFun [a6989586621679726409] (NonEmpty a6989586621679726409) -> Type) -> *) (InsertSym0 a6989586621679726409) Source # 

Methods

suppressUnusedWarnings :: Proxy (InsertSym0 a6989586621679726409) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679726420 (TyFun (NonEmpty a6989586621679726420) (NonEmpty a6989586621679726420) -> Type) -> *) ((:<|$) a6989586621679726420) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:<|$) a6989586621679726420) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679726419 (TyFun (NonEmpty a6989586621679726419) (NonEmpty a6989586621679726419) -> Type) -> *) (ConsSym0 a6989586621679726419) Source # 

Methods

suppressUnusedWarnings :: Proxy (ConsSym0 a6989586621679726419) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679805857 (TyFun a6989586621679805857 (TyFun a6989586621679805857 [a6989586621679805857] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (EnumFromThenToSym0 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679805857 (TyFun a6989586621679805857 [a6989586621679805857] -> Type) -> *) (EnumFromToSym0 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (EnumFromToSym0 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679805857 Nat -> *) (FromEnumSym0 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (FromEnumSym0 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679805857 a6989586621679805857 -> *) (PredSym0 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (PredSym0 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679805857 a6989586621679805857 -> *) (SuccSym0 a6989586621679805857) Source # 

Methods

suppressUnusedWarnings :: Proxy (SuccSym0 a6989586621679805857) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726370) (NonEmpty a6989586621679726370) -> *) (NubSym0 a6989586621679726370) Source # 

Methods

suppressUnusedWarnings :: Proxy (NubSym0 a6989586621679726370) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726378) (TyFun Nat a6989586621679726378 -> Type) -> *) ((:!!$) a6989586621679726378) Source # 

Methods

suppressUnusedWarnings :: Proxy ((:!!$) a6989586621679726378) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726385) (NonEmpty (NonEmpty a6989586621679726385)) -> *) (Group1Sym0 a6989586621679726385) Source # 

Methods

suppressUnusedWarnings :: Proxy (Group1Sym0 a6989586621679726385) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726416) [a6989586621679726416] -> *) (ToListSym0 a6989586621679726416) Source # 

Methods

suppressUnusedWarnings :: Proxy (ToListSym0 a6989586621679726416) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726401) (NonEmpty a6989586621679726401) -> *) (ReverseSym0 a6989586621679726401) Source # 

Methods

suppressUnusedWarnings :: Proxy (ReverseSym0 a6989586621679726401) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726418) (NonEmpty a6989586621679726418) -> *) (SortSym0 a6989586621679726418) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortSym0 a6989586621679726418) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726421) [a6989586621679726421] -> *) (InitSym0 a6989586621679726421) Source # 

Methods

suppressUnusedWarnings :: Proxy (InitSym0 a6989586621679726421) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726422) a6989586621679726422 -> *) (LastSym0 a6989586621679726422) Source # 

Methods

suppressUnusedWarnings :: Proxy (LastSym0 a6989586621679726422) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726423) [a6989586621679726423] -> *) (TailSym0 a6989586621679726423) Source # 

Methods

suppressUnusedWarnings :: Proxy (TailSym0 a6989586621679726423) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726424) a6989586621679726424 -> *) (HeadSym0 a6989586621679726424) Source # 

Methods

suppressUnusedWarnings :: Proxy (HeadSym0 a6989586621679726424) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726427) (a6989586621679726427, Maybe (NonEmpty a6989586621679726427)) -> *) (UnconsSym0 a6989586621679726427) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnconsSym0 a6989586621679726427) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty a6989586621679726431) Nat -> *) (LengthSym0 a6989586621679726431) Source # 

Methods

suppressUnusedWarnings :: Proxy (LengthSym0 a6989586621679726431) t -> () Source #

SuppressUnusedWarnings (TyFun (NonEmpty (NonEmpty a6989586621679726368)) (NonEmpty (NonEmpty a6989586621679726368)) -> *) (TransposeSym0 a6989586621679726368) Source # 

Methods

suppressUnusedWarnings :: Proxy (TransposeSym0 a6989586621679726368) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> b6989586621679240792 -> TyFun [a6989586621679240791] b6989586621679240792 -> *) (FoldlSym2 a6989586621679240791 b6989586621679240792) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym2 a6989586621679240791 b6989586621679240792) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) -> TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> *) (FoldlSym1 a6989586621679240791 b6989586621679240792) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym1 a6989586621679240791 b6989586621679240792) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679277917 b6989586621679277918 -> Type) -> TyFun [a6989586621679277917] [b6989586621679277918] -> *) (MapSym1 a6989586621679277917 b6989586621679277918) Source # 

Methods

suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679277917 b6989586621679277918) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> b6989586621679277920 -> TyFun [a6989586621679277919] b6989586621679277920 -> *) (FoldrSym2 a6989586621679277919 b6989586621679277920) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym2 a6989586621679277919 b6989586621679277920) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) -> TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> *) (FoldrSym1 a6989586621679277919 b6989586621679277920) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym1 a6989586621679277919 b6989586621679277920) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679309367 a6989586621679309366 -> Type) -> b6989586621679309367 -> TyFun b6989586621679309367 Ordering -> *) (ComparingSym2 a6989586621679309366 b6989586621679309367) Source # 

Methods

suppressUnusedWarnings :: Proxy (ComparingSym2 a6989586621679309366 b6989586621679309367) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679309367 a6989586621679309366 -> Type) -> TyFun b6989586621679309367 (TyFun b6989586621679309367 Ordering -> Type) -> *) (ComparingSym1 a6989586621679309366 b6989586621679309367) Source # 

Methods

suppressUnusedWarnings :: Proxy (ComparingSym1 a6989586621679309366 b6989586621679309367) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679424316 (Maybe b6989586621679424317) -> Type) -> TyFun [a6989586621679424316] [b6989586621679424317] -> *) (MapMaybeSym1 a6989586621679424316 b6989586621679424317) Source # 

Methods

suppressUnusedWarnings :: Proxy (MapMaybeSym1 a6989586621679424316 b6989586621679424317) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679454929 (Maybe (a6989586621679454930, b6989586621679454929)) -> Type) -> TyFun b6989586621679454929 [a6989586621679454930] -> *) (UnfoldrSym1 b6989586621679454929 a6989586621679454930) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnfoldrSym1 b6989586621679454929 a6989586621679454930) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> *) (ScanrSym1 a6989586621679454938 b6989586621679454939) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym1 a6989586621679454938 b6989586621679454939) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) -> b6989586621679454939 -> TyFun [a6989586621679454938] [b6989586621679454939] -> *) (ScanrSym2 a6989586621679454938 b6989586621679454939) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym2 a6989586621679454938 b6989586621679454939) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> *) (ScanlSym1 a6989586621679454942 b6989586621679454941) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym1 a6989586621679454942 b6989586621679454941) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) -> b6989586621679454941 -> TyFun [a6989586621679454942] [b6989586621679454941] -> *) (ScanlSym2 a6989586621679454942 b6989586621679454941) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym2 a6989586621679454942 b6989586621679454941) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679454944 [b6989586621679454945] -> Type) -> TyFun [a6989586621679454944] [b6989586621679454945] -> *) (ConcatMapSym1 a6989586621679454944 b6989586621679454945) Source # 

Methods

suppressUnusedWarnings :: Proxy (ConcatMapSym1 a6989586621679454944 b6989586621679454945) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679454951 (TyFun a6989586621679454950 b6989586621679454951 -> Type) -> Type) -> b6989586621679454951 -> TyFun [a6989586621679454950] b6989586621679454951 -> *) (Foldl'Sym2 a6989586621679454950 b6989586621679454951) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl'Sym2 a6989586621679454950 b6989586621679454951) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679454951 (TyFun a6989586621679454950 b6989586621679454951 -> Type) -> Type) -> TyFun b6989586621679454951 (TyFun [a6989586621679454950] b6989586621679454951 -> Type) -> *) (Foldl'Sym1 a6989586621679454950 b6989586621679454951) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl'Sym1 a6989586621679454950 b6989586621679454951) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726389 b6989586621679726388 -> Type) -> TyFun [a6989586621679726389] [NonEmpty a6989586621679726389] -> *) (GroupWithSym1 b6989586621679726388 a6989586621679726389) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupWithSym1 b6989586621679726388 a6989586621679726389) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726387 b6989586621679726386 -> Type) -> TyFun [a6989586621679726387] [NonEmpty a6989586621679726387] -> *) (GroupAllWithSym1 b6989586621679726386 a6989586621679726387) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupAllWithSym1 b6989586621679726386 a6989586621679726387) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726383 b6989586621679726382 -> Type) -> TyFun (NonEmpty a6989586621679726383) (NonEmpty (NonEmpty a6989586621679726383)) -> *) (GroupWith1Sym1 b6989586621679726382 a6989586621679726383) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupWith1Sym1 b6989586621679726382 a6989586621679726383) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726412 b6989586621679726413 -> Type) -> TyFun (NonEmpty a6989586621679726412) (NonEmpty b6989586621679726413) -> *) (MapSym1 a6989586621679726412 b6989586621679726413) Source # 

Methods

suppressUnusedWarnings :: Proxy (MapSym1 a6989586621679726412 b6989586621679726413) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726366 o6989586621679726365 -> Type) -> TyFun (NonEmpty a6989586621679726366) (NonEmpty a6989586621679726366) -> *) (SortWithSym1 o6989586621679726365 a6989586621679726366) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortWithSym1 o6989586621679726365 a6989586621679726366) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726381 b6989586621679726380 -> Type) -> TyFun (NonEmpty a6989586621679726381) (NonEmpty (NonEmpty a6989586621679726381)) -> *) (GroupAllWith1Sym1 b6989586621679726380 a6989586621679726381) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupAllWith1Sym1 b6989586621679726380 a6989586621679726381) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679726407 (TyFun a6989586621679726408 b6989586621679726407 -> Type) -> Type) -> b6989586621679726407 -> TyFun [a6989586621679726408] (NonEmpty b6989586621679726407) -> *) (ScanlSym2 a6989586621679726408 b6989586621679726407) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym2 a6989586621679726408 b6989586621679726407) t -> () Source #

SuppressUnusedWarnings ((TyFun b6989586621679726407 (TyFun a6989586621679726408 b6989586621679726407 -> Type) -> Type) -> TyFun b6989586621679726407 (TyFun [a6989586621679726408] (NonEmpty b6989586621679726407) -> Type) -> *) (ScanlSym1 a6989586621679726408 b6989586621679726407) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym1 a6989586621679726408 b6989586621679726407) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726405 (TyFun b6989586621679726406 b6989586621679726406 -> Type) -> Type) -> b6989586621679726406 -> TyFun [a6989586621679726405] (NonEmpty b6989586621679726406) -> *) (ScanrSym2 a6989586621679726405 b6989586621679726406) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym2 a6989586621679726405 b6989586621679726406) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726405 (TyFun b6989586621679726406 b6989586621679726406 -> Type) -> Type) -> TyFun b6989586621679726406 (TyFun [a6989586621679726405] (NonEmpty b6989586621679726406) -> Type) -> *) (ScanrSym1 a6989586621679726405 b6989586621679726406) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym1 a6989586621679726405 b6989586621679726406) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726425 (b6989586621679726426, Maybe a6989586621679726425) -> Type) -> TyFun a6989586621679726425 (NonEmpty b6989586621679726426) -> *) (UnfoldrSym1 a6989586621679726425 b6989586621679726426) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnfoldrSym1 a6989586621679726425 b6989586621679726426) t -> () Source #

SuppressUnusedWarnings ((TyFun a6989586621679726429 (b6989586621679726430, Maybe a6989586621679726429) -> Type) -> TyFun a6989586621679726429 (NonEmpty b6989586621679726430) -> *) (UnfoldSym1 a6989586621679726429 b6989586621679726430) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnfoldSym1 a6989586621679726429 b6989586621679726430) t -> () Source #

SuppressUnusedWarnings ([a6989586621679454920] -> TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> *) (ZipSym1 a6989586621679454920 b6989586621679454921) Source # 

Methods

suppressUnusedWarnings :: Proxy (ZipSym1 a6989586621679454920 b6989586621679454921) t -> () Source #

SuppressUnusedWarnings ([a6989586621679873421] -> TyFun i6989586621679873420 a6989586621679873421 -> *) (GenericIndexSym1 i6989586621679873420 a6989586621679873421) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericIndexSym1 i6989586621679873420 a6989586621679873421) t -> () Source #

SuppressUnusedWarnings (a3530822107858468865 -> TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> *) (Tuple2Sym1 a3530822107858468865 b3530822107858468866) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym1 a3530822107858468865 b3530822107858468866) t -> () Source #

SuppressUnusedWarnings (a6989586621679277904 -> TyFun b6989586621679277905 b6989586621679277905 -> *) (SeqSym1 a6989586621679277904 b6989586621679277905) Source # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym1 a6989586621679277904 b6989586621679277905) t -> () Source #

SuppressUnusedWarnings (a6989586621679277913 -> TyFun b6989586621679277914 a6989586621679277913 -> *) (ConstSym1 b6989586621679277914 a6989586621679277913) Source # 

Methods

suppressUnusedWarnings :: Proxy (ConstSym1 b6989586621679277914 a6989586621679277913) t -> () Source #

SuppressUnusedWarnings (a6989586621679289772 -> TyFun (TyFun a6989586621679289772 b6989586621679289773 -> Type) b6989586621679289773 -> *) ((:&$$) a6989586621679289772 b6989586621679289773) Source # 

Methods

suppressUnusedWarnings :: Proxy (a6989586621679289772 :&$$ b6989586621679289773) t -> () Source #

SuppressUnusedWarnings (b6989586621679423211 -> (TyFun a6989586621679423212 b6989586621679423211 -> Type) -> TyFun (Maybe a6989586621679423212) b6989586621679423211 -> *) (Maybe_Sym2 a6989586621679423212 b6989586621679423211) Source # 

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym2 a6989586621679423212 b6989586621679423211) t -> () Source #

SuppressUnusedWarnings (b6989586621679423211 -> TyFun (TyFun a6989586621679423212 b6989586621679423211 -> Type) (TyFun (Maybe a6989586621679423212) b6989586621679423211 -> Type) -> *) (Maybe_Sym1 a6989586621679423212 b6989586621679423211) Source # 

Methods

suppressUnusedWarnings :: Proxy (Maybe_Sym1 a6989586621679423212 b6989586621679423211) t -> () Source #

SuppressUnusedWarnings (a6989586621679454851 -> TyFun [(a6989586621679454851, b6989586621679454852)] (Maybe b6989586621679454852) -> *) (LookupSym1 a6989586621679454851 b6989586621679454852) Source # 

Methods

suppressUnusedWarnings :: Proxy (LookupSym1 a6989586621679454851 b6989586621679454852) t -> () Source #

SuppressUnusedWarnings (i6989586621679873418 -> TyFun a6989586621679873419 [a6989586621679873419] -> *) (GenericReplicateSym1 i6989586621679873418 a6989586621679873419) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericReplicateSym1 i6989586621679873418 a6989586621679873419) t -> () Source #

SuppressUnusedWarnings (i6989586621679873422 -> TyFun [a6989586621679873423] ([a6989586621679873423], [a6989586621679873423]) -> *) (GenericSplitAtSym1 i6989586621679873422 a6989586621679873423) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericSplitAtSym1 i6989586621679873422 a6989586621679873423) t -> () Source #

SuppressUnusedWarnings (i6989586621679873424 -> TyFun [a6989586621679873425] [a6989586621679873425] -> *) (GenericDropSym1 i6989586621679873424 a6989586621679873425) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericDropSym1 i6989586621679873424 a6989586621679873425) t -> () Source #

SuppressUnusedWarnings (i6989586621679873426 -> TyFun [a6989586621679873427] [a6989586621679873427] -> *) (GenericTakeSym1 i6989586621679873426 a6989586621679873427) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericTakeSym1 i6989586621679873426 a6989586621679873427) t -> () Source #

SuppressUnusedWarnings (NonEmpty a6989586621679726376 -> TyFun (NonEmpty b6989586621679726377) (NonEmpty (a6989586621679726376, b6989586621679726377)) -> *) (ZipSym1 a6989586621679726376 b6989586621679726377) Source # 

Methods

suppressUnusedWarnings :: Proxy (ZipSym1 a6989586621679726376 b6989586621679726377) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun b6989586621679240792 (TyFun a6989586621679240791 b6989586621679240792 -> Type) -> Type) (TyFun b6989586621679240792 (TyFun [a6989586621679240791] b6989586621679240792 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679240791 b6989586621679240792) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldlSym0 a6989586621679240791 b6989586621679240792) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679277917 b6989586621679277918 -> Type) (TyFun [a6989586621679277917] [b6989586621679277918] -> Type) -> *) (MapSym0 a6989586621679277917 b6989586621679277918) Source # 

Methods

suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679277917 b6989586621679277918) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679277919 (TyFun b6989586621679277920 b6989586621679277920 -> Type) -> Type) (TyFun b6989586621679277920 (TyFun [a6989586621679277919] b6989586621679277920 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679277919 b6989586621679277920) Source # 

Methods

suppressUnusedWarnings :: Proxy (FoldrSym0 a6989586621679277919 b6989586621679277920) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun b6989586621679309367 a6989586621679309366 -> Type) (TyFun b6989586621679309367 (TyFun b6989586621679309367 Ordering -> Type) -> Type) -> *) (ComparingSym0 a6989586621679309366 b6989586621679309367) Source # 

Methods

suppressUnusedWarnings :: Proxy (ComparingSym0 a6989586621679309366 b6989586621679309367) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679424316 (Maybe b6989586621679424317) -> Type) (TyFun [a6989586621679424316] [b6989586621679424317] -> Type) -> *) (MapMaybeSym0 a6989586621679424316 b6989586621679424317) Source # 

Methods

suppressUnusedWarnings :: Proxy (MapMaybeSym0 a6989586621679424316 b6989586621679424317) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun b6989586621679454929 (Maybe (a6989586621679454930, b6989586621679454929)) -> Type) (TyFun b6989586621679454929 [a6989586621679454930] -> Type) -> *) (UnfoldrSym0 b6989586621679454929 a6989586621679454930) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnfoldrSym0 b6989586621679454929 a6989586621679454930) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454938 (TyFun b6989586621679454939 b6989586621679454939 -> Type) -> Type) (TyFun b6989586621679454939 (TyFun [a6989586621679454938] [b6989586621679454939] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679454938 b6989586621679454939) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym0 a6989586621679454938 b6989586621679454939) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun b6989586621679454941 (TyFun a6989586621679454942 b6989586621679454941 -> Type) -> Type) (TyFun b6989586621679454941 (TyFun [a6989586621679454942] [b6989586621679454941] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679454942 b6989586621679454941) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym0 a6989586621679454942 b6989586621679454941) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679454944 [b6989586621679454945] -> Type) (TyFun [a6989586621679454944] [b6989586621679454945] -> Type) -> *) (ConcatMapSym0 a6989586621679454944 b6989586621679454945) Source # 

Methods

suppressUnusedWarnings :: Proxy (ConcatMapSym0 a6989586621679454944 b6989586621679454945) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun b6989586621679454951 (TyFun a6989586621679454950 b6989586621679454951 -> Type) -> Type) (TyFun b6989586621679454951 (TyFun [a6989586621679454950] b6989586621679454951 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679454950 b6989586621679454951) Source # 

Methods

suppressUnusedWarnings :: Proxy (Foldl'Sym0 a6989586621679454950 b6989586621679454951) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726389 b6989586621679726388 -> Type) (TyFun [a6989586621679726389] [NonEmpty a6989586621679726389] -> Type) -> *) (GroupWithSym0 b6989586621679726388 a6989586621679726389) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupWithSym0 b6989586621679726388 a6989586621679726389) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726387 b6989586621679726386 -> Type) (TyFun [a6989586621679726387] [NonEmpty a6989586621679726387] -> Type) -> *) (GroupAllWithSym0 b6989586621679726386 a6989586621679726387) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupAllWithSym0 b6989586621679726386 a6989586621679726387) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726383 b6989586621679726382 -> Type) (TyFun (NonEmpty a6989586621679726383) (NonEmpty (NonEmpty a6989586621679726383)) -> Type) -> *) (GroupWith1Sym0 b6989586621679726382 a6989586621679726383) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupWith1Sym0 b6989586621679726382 a6989586621679726383) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726412 b6989586621679726413 -> Type) (TyFun (NonEmpty a6989586621679726412) (NonEmpty b6989586621679726413) -> Type) -> *) (MapSym0 a6989586621679726412 b6989586621679726413) Source # 

Methods

suppressUnusedWarnings :: Proxy (MapSym0 a6989586621679726412 b6989586621679726413) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726366 o6989586621679726365 -> Type) (TyFun (NonEmpty a6989586621679726366) (NonEmpty a6989586621679726366) -> Type) -> *) (SortWithSym0 o6989586621679726365 a6989586621679726366) Source # 

Methods

suppressUnusedWarnings :: Proxy (SortWithSym0 o6989586621679726365 a6989586621679726366) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726381 b6989586621679726380 -> Type) (TyFun (NonEmpty a6989586621679726381) (NonEmpty (NonEmpty a6989586621679726381)) -> Type) -> *) (GroupAllWith1Sym0 b6989586621679726380 a6989586621679726381) Source # 

Methods

suppressUnusedWarnings :: Proxy (GroupAllWith1Sym0 b6989586621679726380 a6989586621679726381) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun b6989586621679726407 (TyFun a6989586621679726408 b6989586621679726407 -> Type) -> Type) (TyFun b6989586621679726407 (TyFun [a6989586621679726408] (NonEmpty b6989586621679726407) -> Type) -> Type) -> *) (ScanlSym0 a6989586621679726408 b6989586621679726407) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanlSym0 a6989586621679726408 b6989586621679726407) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726405 (TyFun b6989586621679726406 b6989586621679726406 -> Type) -> Type) (TyFun b6989586621679726406 (TyFun [a6989586621679726405] (NonEmpty b6989586621679726406) -> Type) -> Type) -> *) (ScanrSym0 a6989586621679726405 b6989586621679726406) Source # 

Methods

suppressUnusedWarnings :: Proxy (ScanrSym0 a6989586621679726405 b6989586621679726406) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726425 (b6989586621679726426, Maybe a6989586621679726425) -> Type) (TyFun a6989586621679726425 (NonEmpty b6989586621679726426) -> Type) -> *) (UnfoldrSym0 a6989586621679726425 b6989586621679726426) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnfoldrSym0 a6989586621679726425 b6989586621679726426) t -> () Source #

SuppressUnusedWarnings (TyFun (TyFun a6989586621679726429 (b6989586621679726430, Maybe a6989586621679726429) -> Type) (TyFun a6989586621679726429 (NonEmpty b6989586621679726430) -> Type) -> *) (UnfoldSym0 a6989586621679726429 b6989586621679726430) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnfoldSym0 a6989586621679726429 b6989586621679726430) t -> () Source #

SuppressUnusedWarnings (TyFun [Either a6989586621679434166 b6989586621679434167] [b6989586621679434167] -> *) (RightsSym0 a6989586621679434166 b6989586621679434167) Source # 

Methods

suppressUnusedWarnings :: Proxy (RightsSym0 a6989586621679434166 b6989586621679434167) t -> () Source #

SuppressUnusedWarnings (TyFun [Either a6989586621679434168 b6989586621679434169] [a6989586621679434168] -> *) (LeftsSym0 b6989586621679434169 a6989586621679434168) Source # 

Methods

suppressUnusedWarnings :: Proxy (LeftsSym0 b6989586621679434169 a6989586621679434168) t -> () Source #

SuppressUnusedWarnings (TyFun [(a6989586621679454908, b6989586621679454909)] ([a6989586621679454908], [b6989586621679454909]) -> *) (UnzipSym0 a6989586621679454908 b6989586621679454909) Source # 

Methods

suppressUnusedWarnings :: Proxy (UnzipSym0 a6989586621679454908 b6989586621679454909) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454837] i6989586621679454836 -> *) (GenericLengthSym0 a6989586621679454837 i6989586621679454836) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericLengthSym0 a6989586621679454837 i6989586621679454836) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679454920] (TyFun [b6989586621679454921] [(a6989586621679454920, b6989586621679454921)] -> Type) -> *) (ZipSym0 a6989586621679454920 b6989586621679454921) Source # 

Methods

suppressUnusedWarnings :: Proxy (ZipSym0 a6989586621679454920 b6989586621679454921) t -> () Source #

SuppressUnusedWarnings (TyFun [a6989586621679873421] (TyFun i6989586621679873420 a6989586621679873421 -> Type) -> *) (GenericIndexSym0 i6989586621679873420 a6989586621679873421) Source # 

Methods

suppressUnusedWarnings :: Proxy (GenericIndexSym0 i6989586621679873420 a6989586621679873421) t -> () Source #

SuppressUnusedWarnings (TyFun (Either a6989586621679434160 b6989586621679434161) Bool -> *) (IsRightSym0 a6989586621679434160 b6989586621679434161) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsRightSym0 a6989586621679434160 b6989586621679434161) t -> () Source #

SuppressUnusedWarnings (TyFun (Either a6989586621679434162 b6989586621679434163) Bool -> *) (IsLeftSym0 a6989586621679434162 b6989586621679434163) Source # 

Methods

suppressUnusedWarnings :: Proxy (IsLeftSym0 a6989586621679434162 b6989586621679434163) t -> () Source #

SuppressUnusedWarnings (TyFun (a6989586621679419265, b6989586621679419266) (b6989586621679419266, a6989586621679419265) -> *) (SwapSym0 b6989586621679419266 a6989586621679419265) Source # 

Methods

suppressUnusedWarnings :: Proxy (SwapSym0 b6989586621679419266 a6989586621679419265) t -> () Source #

SuppressUnusedWarnings (TyFun (a6989586621679419273, b6989586621679419274) b6989586621679419274 -> *) (SndSym0 a6989586621679419273 b6989586621679419274) Source # 

Methods

suppressUnusedWarnings :: Proxy (SndSym0 a6989586621679419273 b6989586621679419274) t -> () Source #

SuppressUnusedWarnings (TyFun (a6989586621679419275, b6989586621679419276) a6989586621679419275 -> *) (FstSym0 b6989586621679419276 a6989586621679419275) Source # 

Methods

suppressUnusedWarnings :: Proxy (FstSym0 b6989586621679419276 a6989586621679419275) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679072801 (Either a6989586621679072801 b6989586621679072802) -> *) (LeftSym0 a6989586621679072801 b6989586621679072802) Source # 

Methods

suppressUnusedWarnings :: Proxy (LeftSym0 a6989586621679072801 b6989586621679072802) t -> () Source #

SuppressUnusedWarnings (TyFun b6989586621679072802 (Either a6989586621679072801 b6989586621679072802) -> *) (RightSym0 a6989586621679072801 b6989586621679072802) Source # 

Methods

suppressUnusedWarnings :: Proxy (RightSym0 a6989586621679072801 b6989586621679072802) t -> () Source #

SuppressUnusedWarnings (TyFun a3530822107858468865 (TyFun b3530822107858468866 (a3530822107858468865, b3530822107858468866) -> Type) -> *) (Tuple2Sym0 a3530822107858468865 b3530822107858468866) Source # 

Methods

suppressUnusedWarnings :: Proxy (Tuple2Sym0 a3530822107858468865 b3530822107858468866) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679277904 (TyFun b6989586621679277905 b6989586621679277905 -> Type) -> *) (SeqSym0 a6989586621679277904 b6989586621679277905) Source # 

Methods

suppressUnusedWarnings :: Proxy (SeqSym0 a6989586621679277904 b6989586621679277905) t -> () Source #

SuppressUnusedWarnings (TyFun a6989586621679277913 (TyFun b6989586621679277914 a6989586621679277913 -> Type) -> *) (C