Safe Haskell	None
Language	Haskell2010

Sums

Description

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

Documentation

data S0 Source #

data S1 t1 Source #

Constructors

S1_1 t1

Instances

Eq t1 => Eq (S1 t1) Source #
Methods (==) :: S1 t1 -> S1 t1 -> Bool # (/=) :: S1 t1 -> S1 t1 -> Bool #
Ord t1 => Ord (S1 t1) Source #
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) Source #
Methods showsPrec :: Int -> S1 t1 -> ShowS # show :: S1 t1 -> String # showList :: [S1 t1] -> ShowS #

data S2 t1 t2 Source #

Constructors

S2_1 t1
S2_2 t2

Instances

(Eq t2, Eq t1) => Eq (S2 t1 t2) Source #
Methods (==) :: S2 t1 t2 -> S2 t1 t2 -> Bool # (/=) :: S2 t1 t2 -> S2 t1 t2 -> Bool #
(Ord t2, Ord t1) => Ord (S2 t1 t2) Source #
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) Source #
Methods showsPrec :: Int -> S2 t1 t2 -> ShowS # show :: S2 t1 t2 -> String # showList :: [S2 t1 t2] -> ShowS #

data S3 t1 t2 t3 Source #

Constructors

S3_1 t1
S3_2 t2
S3_3 t3

Instances

(Eq t3, Eq t2, Eq t1) => Eq (S3 t1 t2 t3) Source #
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) Source #
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) Source #
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 Source #

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

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

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

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

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

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

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

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

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

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

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

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