Sums

Anonymous sum types. Like tuples, but for sum types rather than product types. Easier than using nested Either.

Documentation

data S0

data S1 t1

Constructors

S1_1 t1

Instances

Eq t1 => Eq (S1 t1)

Methods

(==) :: S1 t1 -> S1 t1 -> Bool

(/=) :: S1 t1 -> S1 t1 -> Bool

Ord t1 => Ord (S1 t1)

Methods

compare :: S1 t1 -> S1 t1 -> Ordering

(<) :: S1 t1 -> S1 t1 -> Bool

(<=) :: S1 t1 -> S1 t1 -> Bool

(>) :: S1 t1 -> S1 t1 -> Bool

(>=) :: S1 t1 -> S1 t1 -> Bool

max :: S1 t1 -> S1 t1 -> S1 t1

min :: S1 t1 -> S1 t1 -> S1 t1

Show t1 => Show (S1 t1)

Methods

showsPrec :: Int -> S1 t1 -> ShowS

show :: S1 t1 -> String

showList :: [S1 t1] -> ShowS

data S2 t1 t2

Constructors

S2_1 t1

S2_2 t2

Instances

(Eq t2, Eq t1) => Eq (S2 t1 t2)

Methods

(==) :: S2 t1 t2 -> S2 t1 t2 -> Bool

(/=) :: S2 t1 t2 -> S2 t1 t2 -> Bool

(Ord t2, Ord t1) => Ord (S2 t1 t2)

Methods

compare :: S2 t1 t2 -> S2 t1 t2 -> Ordering

(<) :: S2 t1 t2 -> S2 t1 t2 -> Bool

(<=) :: S2 t1 t2 -> S2 t1 t2 -> Bool

(>) :: S2 t1 t2 -> S2 t1 t2 -> Bool

(>=) :: S2 t1 t2 -> S2 t1 t2 -> Bool

max :: S2 t1 t2 -> S2 t1 t2 -> S2 t1 t2

min :: S2 t1 t2 -> S2 t1 t2 -> S2 t1 t2

(Show t2, Show t1) => Show (S2 t1 t2)

Methods

showsPrec :: Int -> S2 t1 t2 -> ShowS

show :: S2 t1 t2 -> String

showList :: [S2 t1 t2] -> ShowS

data S3 t1 t2 t3

Constructors

S3_1 t1

S3_2 t2

S3_3 t3

Instances

(Eq t3, Eq t2, Eq t1) => Eq (S3 t1 t2 t3)

Methods

(==) :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Bool

(/=) :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Bool

(Ord t3, Ord t2, Ord t1) => Ord (S3 t1 t2 t3)

Methods

compare :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Ordering

(<) :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Bool

(<=) :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Bool

(>) :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Bool

(>=) :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> Bool

max :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> S3 t1 t2 t3

min :: S3 t1 t2 t3 -> S3 t1 t2 t3 -> S3 t1 t2 t3

(Show t3, Show t2, Show t1) => Show (S3 t1 t2 t3)

Methods

showsPrec :: Int -> S3 t1 t2 t3 -> ShowS

show :: S3 t1 t2 t3 -> String

showList :: [S3 t1 t2 t3] -> ShowS

data S4 t1 t2 t3 t4

Constructors

S4_1 t1

S4_2 t2

S4_3 t3

S4_4 t4

Instances

(Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S4 t1 t2 t3 t4)

Methods

(==) :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Bool

(/=) :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Bool

(Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S4 t1 t2 t3 t4)

Methods

compare :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Ordering

(<) :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Bool

(<=) :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Bool

(>) :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Bool

(>=) :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> Bool

max :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4

min :: S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4 -> S4 t1 t2 t3 t4

(Show t4, Show t3, Show t2, Show t1) => Show (S4 t1 t2 t3 t4)

Methods

showsPrec :: Int -> S4 t1 t2 t3 t4 -> ShowS

show :: S4 t1 t2 t3 t4 -> String

showList :: [S4 t1 t2 t3 t4] -> ShowS

data S5 t1 t2 t3 t4 t5

Constructors

S5_1 t1

S5_2 t2

S5_3 t3

S5_4 t4

S5_5 t5

Instances

(Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S5 t1 t2 t3 t4 t5)

Methods

(==) :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Bool

(/=) :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Bool

(Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S5 t1 t2 t3 t4 t5)

Methods

compare :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Ordering

(<) :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Bool

(<=) :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Bool

(>) :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Bool

(>=) :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> Bool

max :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5

min :: S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5 -> S5 t1 t2 t3 t4 t5

(Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S5 t1 t2 t3 t4 t5)

Methods

showsPrec :: Int -> S5 t1 t2 t3 t4 t5 -> ShowS

show :: S5 t1 t2 t3 t4 t5 -> String

showList :: [S5 t1 t2 t3 t4 t5] -> ShowS

data S6 t1 t2 t3 t4 t5 t6

Constructors

S6_1 t1

S6_2 t2

S6_3 t3

S6_4 t4

S6_5 t5

S6_6 t6

Instances

(Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S6 t1 t2 t3 t4 t5 t6)

Methods

(==) :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Bool

(/=) :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Bool

(Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S6 t1 t2 t3 t4 t5 t6)

Methods

compare :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Ordering

(<) :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Bool

(<=) :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Bool

(>) :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Bool

(>=) :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> Bool

max :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6

min :: S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6 -> S6 t1 t2 t3 t4 t5 t6

(Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S6 t1 t2 t3 t4 t5 t6)

Methods

showsPrec :: Int -> S6 t1 t2 t3 t4 t5 t6 -> ShowS

show :: S6 t1 t2 t3 t4 t5 t6 -> String

showList :: [S6 t1 t2 t3 t4 t5 t6] -> ShowS

data S7 t1 t2 t3 t4 t5 t6 t7

Constructors

S7_1 t1

S7_2 t2

S7_3 t3

S7_4 t4

S7_5 t5

S7_6 t6

S7_7 t7

Instances

(Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S7 t1 t2 t3 t4 t5 t6 t7)

Methods

(==) :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Bool

(/=) :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Bool

(Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S7 t1 t2 t3 t4 t5 t6 t7)

Methods

compare :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Ordering

(<) :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Bool

(<=) :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Bool

(>) :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Bool

(>=) :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> Bool

max :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7

min :: S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7 -> S7 t1 t2 t3 t4 t5 t6 t7

(Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S7 t1 t2 t3 t4 t5 t6 t7)

Methods

showsPrec :: Int -> S7 t1 t2 t3 t4 t5 t6 t7 -> ShowS

show :: S7 t1 t2 t3 t4 t5 t6 t7 -> String

showList :: [S7 t1 t2 t3 t4 t5 t6 t7] -> ShowS

data S8 t1 t2 t3 t4 t5 t6 t7 t8

Constructors

S8_1 t1

S8_2 t2

S8_3 t3

S8_4 t4

S8_5 t5

S8_6 t6

S8_7 t7

S8_8 t8

Instances

(Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S8 t1 t2 t3 t4 t5 t6 t7 t8)

Methods

(==) :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Bool

(/=) :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Bool

(Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S8 t1 t2 t3 t4 t5 t6 t7 t8)

Methods

compare :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Ordering

(<) :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Bool

(<=) :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Bool

(>) :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Bool

(>=) :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> Bool

max :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8

min :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> S8 t1 t2 t3 t4 t5 t6 t7 t8

(Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S8 t1 t2 t3 t4 t5 t6 t7 t8)

Methods

showsPrec :: Int -> S8 t1 t2 t3 t4 t5 t6 t7 t8 -> ShowS

show :: S8 t1 t2 t3 t4 t5 t6 t7 t8 -> String

showList :: [S8 t1 t2 t3 t4 t5 t6 t7 t8] -> ShowS

data S9 t1 t2 t3 t4 t5 t6 t7 t8 t9

Constructors

S9_1 t1

S9_2 t2

S9_3 t3

S9_4 t4

S9_5 t5

S9_6 t6

S9_7 t7

S9_8 t8

S9_9 t9

Instances

(Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9)

Methods

(==) :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Bool

(/=) :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Bool

(Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9)

Methods

compare :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Ordering

(<) :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Bool

(<=) :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Bool

(>) :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Bool

(>=) :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> Bool

max :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9

min :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9

(Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S9 t1 t2 t3 t4 t5 t6 t7 t8 t9)

Methods

showsPrec :: Int -> S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> ShowS

show :: S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 -> String

showList :: [S9 t1 t2 t3 t4 t5 t6 t7 t8 t9] -> ShowS

data S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10

Constructors

S10_1 t1

S10_2 t2

S10_3 t3

S10_4 t4

S10_5 t5

S10_6 t6

S10_7 t7

S10_8 t8

S10_9 t9

S10_10 t10

Instances

(Eq t10, Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10)

Methods

(==) :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Bool

(/=) :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Bool

(Ord t10, Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10)

Methods

compare :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Ordering

(<) :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Bool

(<=) :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Bool

(>) :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Bool

(>=) :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> Bool

max :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10

min :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10

(Show t10, Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10)

Methods

showsPrec :: Int -> S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> ShowS

show :: S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 -> String

showList :: [S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10] -> ShowS

data S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11

Constructors

S11_1 t1

S11_2 t2

S11_3 t3

S11_4 t4

S11_5 t5

S11_6 t6

S11_7 t7

S11_8 t8

S11_9 t9

S11_10 t10

S11_11 t11

Instances

(Eq t11, Eq t10, Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11)

Methods

(==) :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Bool

(/=) :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Bool

(Ord t11, Ord t10, Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11)

Methods

compare :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Ordering

(<) :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Bool

(<=) :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Bool

(>) :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Bool

(>=) :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> Bool

max :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11

min :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11

(Show t11, Show t10, Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11)

Methods

showsPrec :: Int -> S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> ShowS

show :: S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 -> String

showList :: [S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11] -> ShowS

data S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12

Constructors

S12_1 t1

S12_2 t2

S12_3 t3

S12_4 t4

S12_5 t5

S12_6 t6

S12_7 t7

S12_8 t8

S12_9 t9

S12_10 t10

S12_11 t11

S12_12 t12

Instances

(Eq t12, Eq t11, Eq t10, Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12)

Methods

(==) :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Bool

(/=) :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Bool

(Ord t12, Ord t11, Ord t10, Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12)

Methods

compare :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Ordering

(<) :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Bool

(<=) :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Bool

(>) :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Bool

(>=) :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> Bool

max :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12

min :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12

(Show t12, Show t11, Show t10, Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12)

Methods

showsPrec :: Int -> S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> ShowS

show :: S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 -> String

showList :: [S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12] -> ShowS

data S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13

Constructors

S13_1 t1

S13_2 t2

S13_3 t3

S13_4 t4

S13_5 t5

S13_6 t6

S13_7 t7

S13_8 t8

S13_9 t9

S13_10 t10

S13_11 t11

S13_12 t12

S13_13 t13

Instances

(Eq t13, Eq t12, Eq t11, Eq t10, Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13)

Methods

(==) :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Bool

(/=) :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Bool

(Ord t13, Ord t12, Ord t11, Ord t10, Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13)

Methods

compare :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Ordering

(<) :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Bool

(<=) :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Bool

(>) :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Bool

(>=) :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> Bool

max :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13

min :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13

(Show t13, Show t12, Show t11, Show t10, Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13)

Methods

showsPrec :: Int -> S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> ShowS

show :: S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 -> String

showList :: [S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13] -> ShowS

data S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14

Constructors

S14_1 t1

S14_2 t2

S14_3 t3

S14_4 t4

S14_5 t5

S14_6 t6

S14_7 t7

S14_8 t8

S14_9 t9

S14_10 t10

S14_11 t11

S14_12 t12

S14_13 t13

S14_14 t14

Instances

(Eq t14, Eq t13, Eq t12, Eq t11, Eq t10, Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14)

Methods

(==) :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Bool

(/=) :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Bool

(Ord t14, Ord t13, Ord t12, Ord t11, Ord t10, Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14)

Methods

compare :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Ordering

(<) :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Bool

(<=) :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Bool

(>) :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Bool

(>=) :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> Bool

max :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14

min :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14

(Show t14, Show t13, Show t12, Show t11, Show t10, Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14)

Methods

showsPrec :: Int -> S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> ShowS

show :: S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 -> String

showList :: [S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14] -> ShowS

data S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15

Constructors

S15_1 t1

S15_2 t2

S15_3 t3

S15_4 t4

S15_5 t5

S15_6 t6

S15_7 t7

S15_8 t8

S15_9 t9

S15_10 t10

S15_11 t11

S15_12 t12

S15_13 t13

S15_14 t14

S15_15 t15

Instances

(Eq t15, Eq t14, Eq t13, Eq t12, Eq t11, Eq t10, Eq t9, Eq t8, Eq t7, Eq t6, Eq t5, Eq t4, Eq t3, Eq t2, Eq t1) => Eq (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15)

Methods

(==) :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Bool

(/=) :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Bool

(Ord t15, Ord t14, Ord t13, Ord t12, Ord t11, Ord t10, Ord t9, Ord t8, Ord t7, Ord t6, Ord t5, Ord t4, Ord t3, Ord t2, Ord t1) => Ord (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15)

Methods

compare :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Ordering

(<) :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Bool

(<=) :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Bool

(>) :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Bool

(>=) :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> Bool

max :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15

min :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15

(Show t15, Show t14, Show t13, Show t12, Show t11, Show t10, Show t9, Show t8, Show t7, Show t6, Show t5, Show t4, Show t3, Show t2, Show t1) => Show (S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15)

Methods

showsPrec :: Int -> S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> ShowS

show :: S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 -> String

showList :: [S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15] -> ShowS