Safe Haskell | None |
---|---|
Language | Haskell2010 |
Anonymous sum types. Like tuples, but for sum types rather than
product types. Easier than using nested Either
.
Documentation
S1_1 t1 |
data S8 t1 t2 t3 t4 t5 t6 t7 t8 Source #
(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 # | |
(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 # | |
(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 # | |
data S9 t1 t2 t3 t4 t5 t6 t7 t8 t9 Source #
(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 # | |
(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 # | |
(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 # | |
data S10 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 Source #
(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 # | |
(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 # | |
(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 # | |
data S11 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 Source #
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 |
(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 # | |
(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 # | |
(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 # | |
data S12 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 Source #
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 |
(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 # | |
(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 # | |
(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 # | |
data S13 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 Source #
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 |
(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 # | |
(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 # | |
(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 # | |
data S14 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 Source #
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 |
(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 # | |
(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 # | |
(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 # | |
data S15 t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 Source #
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 |
(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 # | |
(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 # | |
(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 # | |