Safe Haskell	Safe
Language	Haskell2010

Data.Tuple.Constraint.TypeFamily

Contents

Constraint tuples

Description

This module provides type aliases that emulate the behavior of GHC's constraint tuple syntax. Unlike GHC's built-in constraint tuples, the type aliases in this library can be partially applied.

The type aliases in this module are defined by way of type families decompose applications of constraint tuple type constructors to their arguments.

Synopsis

type CTuple0 = Decomposer0 (() :: Constraint)
class c1 => CTuple1 c1
type CTuple2 = Decomposer2 (((), ()) :: Constraint)
type CTuple3 = Decomposer3 (((), (), ()) :: Constraint)
type CTuple4 = Decomposer4 (((), (), (), ()) :: Constraint)
type CTuple5 = Decomposer5 (((), (), (), (), ()) :: Constraint)
type CTuple6 = Decomposer6 (((), (), (), (), (), ()) :: Constraint)
type CTuple7 = Decomposer7 (((), (), (), (), (), (), ()) :: Constraint)
type CTuple8 = Decomposer8 (((), (), (), (), (), (), (), ()) :: Constraint)
type CTuple9 = Decomposer9 (((), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple10 = Decomposer10 (((), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple11 = Decomposer11 (((), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple12 = Decomposer12 (((), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple13 = Decomposer13 (((), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple14 = Decomposer14 (((), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple15 = Decomposer15 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple16 = Decomposer16 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple17 = Decomposer17 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple18 = Decomposer18 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple19 = Decomposer19 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple20 = Decomposer20 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple21 = Decomposer21 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple22 = Decomposer22 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple23 = Decomposer23 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple24 = Decomposer24 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple25 = Decomposer25 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple26 = Decomposer26 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple27 = Decomposer27 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple28 = Decomposer28 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple29 = Decomposer29 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple30 = Decomposer30 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple31 = Decomposer31 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple32 = Decomposer32 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple33 = Decomposer33 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple34 = Decomposer34 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple35 = Decomposer35 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple36 = Decomposer36 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple37 = Decomposer37 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple38 = Decomposer38 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple39 = Decomposer39 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple40 = Decomposer40 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple41 = Decomposer41 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple42 = Decomposer42 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple43 = Decomposer43 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple44 = Decomposer44 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple45 = Decomposer45 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple46 = Decomposer46 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple47 = Decomposer47 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple48 = Decomposer48 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple49 = Decomposer49 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple50 = Decomposer50 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple51 = Decomposer51 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple52 = Decomposer52 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple53 = Decomposer53 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple54 = Decomposer54 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple55 = Decomposer55 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple56 = Decomposer56 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple57 = Decomposer57 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple58 = Decomposer58 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple59 = Decomposer59 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple60 = Decomposer60 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple61 = Decomposer61 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)
type CTuple62 = Decomposer62 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint)

Constraint tuples

type CTuple0 = Decomposer0 (() :: Constraint) Source #

A type alias for a constraint tuple with 0 arguments.

class c1 => CTuple1 c1 Source #

A constraint tuple class with 1 argument.

Instances

c1 => CTuple1 c1 Source #
Instance details Defined in Data.Tuple.Constraint

type CTuple2 = Decomposer2 (((), ()) :: Constraint) Source #

A type alias for a constraint tuple with 2 arguments.

type CTuple3 = Decomposer3 (((), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 3 arguments.

type CTuple4 = Decomposer4 (((), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 4 arguments.

type CTuple5 = Decomposer5 (((), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 5 arguments.

type CTuple6 = Decomposer6 (((), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 6 arguments.

type CTuple7 = Decomposer7 (((), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 7 arguments.

type CTuple8 = Decomposer8 (((), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 8 arguments.

type CTuple9 = Decomposer9 (((), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 9 arguments.

type CTuple10 = Decomposer10 (((), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 10 arguments.

type CTuple11 = Decomposer11 (((), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 11 arguments.

type CTuple12 = Decomposer12 (((), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 12 arguments.

type CTuple13 = Decomposer13 (((), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 13 arguments.

type CTuple14 = Decomposer14 (((), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 14 arguments.

type CTuple15 = Decomposer15 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 15 arguments.

type CTuple16 = Decomposer16 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 16 arguments.

type CTuple17 = Decomposer17 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 17 arguments.

type CTuple18 = Decomposer18 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 18 arguments.

type CTuple19 = Decomposer19 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 19 arguments.

type CTuple20 = Decomposer20 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 20 arguments.

type CTuple21 = Decomposer21 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 21 arguments.

type CTuple22 = Decomposer22 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 22 arguments.

type CTuple23 = Decomposer23 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 23 arguments.

type CTuple24 = Decomposer24 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 24 arguments.

type CTuple25 = Decomposer25 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 25 arguments.

type CTuple26 = Decomposer26 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 26 arguments.

type CTuple27 = Decomposer27 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 27 arguments.

type CTuple28 = Decomposer28 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 28 arguments.

type CTuple29 = Decomposer29 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 29 arguments.

type CTuple30 = Decomposer30 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 30 arguments.

type CTuple31 = Decomposer31 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 31 arguments.

type CTuple32 = Decomposer32 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 32 arguments.

type CTuple33 = Decomposer33 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 33 arguments.

type CTuple34 = Decomposer34 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 34 arguments.

type CTuple35 = Decomposer35 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 35 arguments.

type CTuple36 = Decomposer36 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 36 arguments.

type CTuple37 = Decomposer37 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 37 arguments.

type CTuple38 = Decomposer38 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 38 arguments.

type CTuple39 = Decomposer39 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 39 arguments.

type CTuple40 = Decomposer40 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 40 arguments.

type CTuple41 = Decomposer41 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 41 arguments.

type CTuple42 = Decomposer42 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 42 arguments.

type CTuple43 = Decomposer43 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 43 arguments.

type CTuple44 = Decomposer44 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 44 arguments.

type CTuple45 = Decomposer45 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 45 arguments.

type CTuple46 = Decomposer46 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 46 arguments.

type CTuple47 = Decomposer47 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 47 arguments.

type CTuple48 = Decomposer48 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 48 arguments.

type CTuple49 = Decomposer49 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 49 arguments.

type CTuple50 = Decomposer50 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 50 arguments.

type CTuple51 = Decomposer51 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 51 arguments.

type CTuple52 = Decomposer52 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 52 arguments.

type CTuple53 = Decomposer53 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 53 arguments.

type CTuple54 = Decomposer54 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 54 arguments.

type CTuple55 = Decomposer55 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 55 arguments.

type CTuple56 = Decomposer56 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 56 arguments.

type CTuple57 = Decomposer57 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 57 arguments.

type CTuple58 = Decomposer58 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 58 arguments.

type CTuple59 = Decomposer59 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 59 arguments.

type CTuple60 = Decomposer60 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 60 arguments.

type CTuple61 = Decomposer61 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 61 arguments.

type CTuple62 = Decomposer62 (((), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), (), ()) :: Constraint) Source #

A type alias for a constraint tuple with 62 arguments.