Safe Haskell | None |
---|---|
Language | Haskell98 |
This module implements generalized sum types. In theory, you could use a type representing a choice between different options by nesting the Either type. In practice, however, pattern matching against such a type can quickly become unwieldy. This module defines data types and functions for any number of choices from 2 to 20. The naming schema is based on Data.Either. For example:
data Choice3 a b c = Choice1of3 a | Choice2of3 b | Choice3of3 c deriving (...) choice3 :: (a -> x) -> (b -> x) -> (c -> x) -> Choice3 a b c -> x mapChoice3 :: (a1 -> a2) -> (b1 -> b2) -> (c1 -> c2) -> Choice a1 b1 c1 -> Choice a2 b2 c2 choice1of3s :: [Choice3 a b c] -> [a] choice2of3s :: [Choice3 a b c] -> [b] choice3of3s :: [Choice3 a b c] -> [c]
Documentation
Choice1of2 a | |
Choice2of2 b |
Instances
(Eq a, Eq b) => Eq (Choice2 a b) Source # | |
(Ord a, Ord b) => Ord (Choice2 a b) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(Read a, Read b) => Read (Choice2 a b) Source # | |
(Show a, Show b) => Show (Choice2 a b) Source # | |
(Lift a, Lift b) => Lift (Choice2 a b) Source # | |
(Arbitrary a, Arbitrary b) => Arbitrary (Choice2 a b) Source # | |
(ToJSON a, ToJSON b) => ToJSON (Choice2 a b) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b) => FromJSON (Choice2 a b) Source # | |
Choice1of3 a | |
Choice2of3 b | |
Choice3of3 c |
Instances
(Eq a, Eq b, Eq c) => Eq (Choice3 a b c) Source # | |
(Ord a, Ord b, Ord c) => Ord (Choice3 a b c) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice3 a b c -> Choice3 a b c -> Ordering # (<) :: Choice3 a b c -> Choice3 a b c -> Bool # (<=) :: Choice3 a b c -> Choice3 a b c -> Bool # (>) :: Choice3 a b c -> Choice3 a b c -> Bool # (>=) :: Choice3 a b c -> Choice3 a b c -> Bool # | |
(Read a, Read b, Read c) => Read (Choice3 a b c) Source # | |
(Show a, Show b, Show c) => Show (Choice3 a b c) Source # | |
(Lift a, Lift b, Lift c) => Lift (Choice3 a b c) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (Choice3 a b c) Source # | |
(ToJSON a, ToJSON b, ToJSON c) => ToJSON (Choice3 a b c) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c) => FromJSON (Choice3 a b c) Source # | |
Choice1of4 a | |
Choice2of4 b | |
Choice3of4 c | |
Choice4of4 d |
Instances
data Choice5 a b c d e Source #
Choice1of5 a | |
Choice2of5 b | |
Choice3of5 c | |
Choice4of5 d | |
Choice5of5 e |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (Choice5 a b c d e) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (Choice5 a b c d e) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice5 a b c d e -> Choice5 a b c d e -> Ordering # (<) :: Choice5 a b c d e -> Choice5 a b c d e -> Bool # (<=) :: Choice5 a b c d e -> Choice5 a b c d e -> Bool # (>) :: Choice5 a b c d e -> Choice5 a b c d e -> Bool # (>=) :: Choice5 a b c d e -> Choice5 a b c d e -> Bool # max :: Choice5 a b c d e -> Choice5 a b c d e -> Choice5 a b c d e # min :: Choice5 a b c d e -> Choice5 a b c d e -> Choice5 a b c d e # | |
(Read a, Read b, Read c, Read d, Read e) => Read (Choice5 a b c d e) Source # | |
(Show a, Show b, Show c, Show d, Show e) => Show (Choice5 a b c d e) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift (Choice5 a b c d e) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (Choice5 a b c d e) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (Choice5 a b c d e) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (Choice5 a b c d e) Source # | |
data Choice6 a b c d e f Source #
Choice1of6 a | |
Choice2of6 b | |
Choice3of6 c | |
Choice4of6 d | |
Choice5of6 e | |
Choice6of6 f |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (Choice6 a b c d e f) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (Choice6 a b c d e f) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice6 a b c d e f -> Choice6 a b c d e f -> Ordering # (<) :: Choice6 a b c d e f -> Choice6 a b c d e f -> Bool # (<=) :: Choice6 a b c d e f -> Choice6 a b c d e f -> Bool # (>) :: Choice6 a b c d e f -> Choice6 a b c d e f -> Bool # (>=) :: Choice6 a b c d e f -> Choice6 a b c d e f -> Bool # max :: Choice6 a b c d e f -> Choice6 a b c d e f -> Choice6 a b c d e f # min :: Choice6 a b c d e f -> Choice6 a b c d e f -> Choice6 a b c d e f # | |
(Read a, Read b, Read c, Read d, Read e, Read f) => Read (Choice6 a b c d e f) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f) => Show (Choice6 a b c d e f) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift (Choice6 a b c d e f) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (Choice6 a b c d e f) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (Choice6 a b c d e f) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (Choice6 a b c d e f) Source # | |
data Choice7 a b c d e f g Source #
Choice1of7 a | |
Choice2of7 b | |
Choice3of7 c | |
Choice4of7 d | |
Choice5of7 e | |
Choice6of7 f | |
Choice7of7 g |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (Choice7 a b c d e f g) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (Choice7 a b c d e f g) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Ordering # (<) :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Bool # (<=) :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Bool # (>) :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Bool # (>=) :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Bool # max :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Choice7 a b c d e f g # min :: Choice7 a b c d e f g -> Choice7 a b c d e f g -> Choice7 a b c d e f g # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g) => Read (Choice7 a b c d e f g) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (Choice7 a b c d e f g) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift (Choice7 a b c d e f g) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (Choice7 a b c d e f g) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (Choice7 a b c d e f g) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (Choice7 a b c d e f g) Source # | |
data Choice8 a b c d e f g h Source #
Choice1of8 a | |
Choice2of8 b | |
Choice3of8 c | |
Choice4of8 d | |
Choice5of8 e | |
Choice6of8 f | |
Choice7of8 g | |
Choice8of8 h |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (Choice8 a b c d e f g h) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord (Choice8 a b c d e f g h) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Ordering # (<) :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Bool # (<=) :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Bool # (>) :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Bool # (>=) :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Bool # max :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Choice8 a b c d e f g h # min :: Choice8 a b c d e f g h -> Choice8 a b c d e f g h -> Choice8 a b c d e f g h # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h) => Read (Choice8 a b c d e f g h) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (Choice8 a b c d e f g h) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h) => Lift (Choice8 a b c d e f g h) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => Arbitrary (Choice8 a b c d e f g h) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (Choice8 a b c d e f g h) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (Choice8 a b c d e f g h) Source # | |
data Choice9 a b c d e f g h i Source #
Choice1of9 a | |
Choice2of9 b | |
Choice3of9 c | |
Choice4of9 d | |
Choice5of9 e | |
Choice6of9 f | |
Choice7of9 g | |
Choice8of9 h | |
Choice9of9 i |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (Choice9 a b c d e f g h i) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i) => Ord (Choice9 a b c d e f g h i) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Ordering # (<) :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Bool # (<=) :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Bool # (>) :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Bool # (>=) :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Bool # max :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i # min :: Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i -> Choice9 a b c d e f g h i # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i) => Read (Choice9 a b c d e f g h i) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (Choice9 a b c d e f g h i) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i) => Lift (Choice9 a b c d e f g h i) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => Arbitrary (Choice9 a b c d e f g h i) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (Choice9 a b c d e f g h i) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (Choice9 a b c d e f g h i) Source # | |
data Choice10 a b c d e f g h i j Source #
Choice1of10 a | |
Choice2of10 b | |
Choice3of10 c | |
Choice4of10 d | |
Choice5of10 e | |
Choice6of10 f | |
Choice7of10 g | |
Choice8of10 h | |
Choice9of10 i | |
Choice10of10 j |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (Choice10 a b c d e f g h i j) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j) => Ord (Choice10 a b c d e f g h i j) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Ordering # (<) :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Bool # (<=) :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Bool # (>) :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Bool # (>=) :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Bool # max :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j # min :: Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j -> Choice10 a b c d e f g h i j # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j) => Read (Choice10 a b c d e f g h i j) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (Choice10 a b c d e f g h i j) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j) => Lift (Choice10 a b c d e f g h i j) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => Arbitrary (Choice10 a b c d e f g h i j) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (Choice10 a b c d e f g h i j) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (Choice10 a b c d e f g h i j) Source # | |
data Choice11 a b c d e f g h i j k Source #
Choice1of11 a | |
Choice2of11 b | |
Choice3of11 c | |
Choice4of11 d | |
Choice5of11 e | |
Choice6of11 f | |
Choice7of11 g | |
Choice8of11 h | |
Choice9of11 i | |
Choice10of11 j | |
Choice11of11 k |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (Choice11 a b c d e f g h i j k) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k) => Ord (Choice11 a b c d e f g h i j k) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Ordering # (<) :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Bool # (<=) :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Bool # (>) :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Bool # (>=) :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Bool # max :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k # min :: Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k -> Choice11 a b c d e f g h i j k # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k) => Read (Choice11 a b c d e f g h i j k) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (Choice11 a b c d e f g h i j k) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k) => Lift (Choice11 a b c d e f g h i j k) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k) => Arbitrary (Choice11 a b c d e f g h i j k) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k) => ToJSON (Choice11 a b c d e f g h i j k) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k) => FromJSON (Choice11 a b c d e f g h i j k) Source # | |
data Choice12 a b c d e f g h i j k l Source #
Choice1of12 a | |
Choice2of12 b | |
Choice3of12 c | |
Choice4of12 d | |
Choice5of12 e | |
Choice6of12 f | |
Choice7of12 g | |
Choice8of12 h | |
Choice9of12 i | |
Choice10of12 j | |
Choice11of12 k | |
Choice12of12 l |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (Choice12 a b c d e f g h i j k l) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l) => Ord (Choice12 a b c d e f g h i j k l) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Ordering # (<) :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Bool # (<=) :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Bool # (>) :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Bool # (>=) :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Bool # max :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l # min :: Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l -> Choice12 a b c d e f g h i j k l # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l) => Read (Choice12 a b c d e f g h i j k l) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (Choice12 a b c d e f g h i j k l) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l) => Lift (Choice12 a b c d e f g h i j k l) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l) => Arbitrary (Choice12 a b c d e f g h i j k l) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l) => ToJSON (Choice12 a b c d e f g h i j k l) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l) => FromJSON (Choice12 a b c d e f g h i j k l) Source # | |
data Choice13 a b c d e f g h i j k l m Source #
Choice1of13 a | |
Choice2of13 b | |
Choice3of13 c | |
Choice4of13 d | |
Choice5of13 e | |
Choice6of13 f | |
Choice7of13 g | |
Choice8of13 h | |
Choice9of13 i | |
Choice10of13 j | |
Choice11of13 k | |
Choice12of13 l | |
Choice13of13 m |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (Choice13 a b c d e f g h i j k l m) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m) => Ord (Choice13 a b c d e f g h i j k l m) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Ordering # (<) :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Bool # (<=) :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Bool # (>) :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Bool # (>=) :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Bool # max :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m # min :: Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m -> Choice13 a b c d e f g h i j k l m # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m) => Read (Choice13 a b c d e f g h i j k l m) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (Choice13 a b c d e f g h i j k l m) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m) => Lift (Choice13 a b c d e f g h i j k l m) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m) => Arbitrary (Choice13 a b c d e f g h i j k l m) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m) => ToJSON (Choice13 a b c d e f g h i j k l m) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m) => FromJSON (Choice13 a b c d e f g h i j k l m) Source # | |
data Choice14 a b c d e f g h i j k l m n Source #
Choice1of14 a | |
Choice2of14 b | |
Choice3of14 c | |
Choice4of14 d | |
Choice5of14 e | |
Choice6of14 f | |
Choice7of14 g | |
Choice8of14 h | |
Choice9of14 i | |
Choice10of14 j | |
Choice11of14 k | |
Choice12of14 l | |
Choice13of14 m | |
Choice14of14 n |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (Choice14 a b c d e f g h i j k l m n) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n) => Ord (Choice14 a b c d e f g h i j k l m n) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Ordering # (<) :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Bool # (<=) :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Bool # (>) :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Bool # (>=) :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Bool # max :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n # min :: Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n -> Choice14 a b c d e f g h i j k l m n # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n) => Read (Choice14 a b c d e f g h i j k l m n) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (Choice14 a b c d e f g h i j k l m n) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n) => Lift (Choice14 a b c d e f g h i j k l m n) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n) => Arbitrary (Choice14 a b c d e f g h i j k l m n) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n) => ToJSON (Choice14 a b c d e f g h i j k l m n) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n) => FromJSON (Choice14 a b c d e f g h i j k l m n) Source # | |
data Choice15 a b c d e f g h i j k l m n o Source #
Choice1of15 a | |
Choice2of15 b | |
Choice3of15 c | |
Choice4of15 d | |
Choice5of15 e | |
Choice6of15 f | |
Choice7of15 g | |
Choice8of15 h | |
Choice9of15 i | |
Choice10of15 j | |
Choice11of15 k | |
Choice12of15 l | |
Choice13of15 m | |
Choice14of15 n | |
Choice15of15 o |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (Choice15 a b c d e f g h i j k l m n o) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o) => Ord (Choice15 a b c d e f g h i j k l m n o) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Ordering # (<) :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Bool # (<=) :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Bool # (>) :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Bool # (>=) :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Bool # max :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o # min :: Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o -> Choice15 a b c d e f g h i j k l m n o # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o) => Read (Choice15 a b c d e f g h i j k l m n o) Source # | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (Choice15 a b c d e f g h i j k l m n o) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n, Lift o) => Lift (Choice15 a b c d e f g h i j k l m n o) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o) => Arbitrary (Choice15 a b c d e f g h i j k l m n o) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o) => ToJSON (Choice15 a b c d e f g h i j k l m n o) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o) => FromJSON (Choice15 a b c d e f g h i j k l m n o) Source # | |
data Choice16 a b c d e f g h i j k l m n o p Source #
Choice1of16 a | |
Choice2of16 b | |
Choice3of16 c | |
Choice4of16 d | |
Choice5of16 e | |
Choice6of16 f | |
Choice7of16 g | |
Choice8of16 h | |
Choice9of16 i | |
Choice10of16 j | |
Choice11of16 k | |
Choice12of16 l | |
Choice13of16 m | |
Choice14of16 n | |
Choice15of16 o | |
Choice16of16 p |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p) => Eq (Choice16 a b c d e f g h i j k l m n o p) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p) => Ord (Choice16 a b c d e f g h i j k l m n o p) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Ordering # (<) :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Bool # (<=) :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Bool # (>) :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Bool # (>=) :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Bool # max :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p # min :: Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p -> Choice16 a b c d e f g h i j k l m n o p # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p) => Read (Choice16 a b c d e f g h i j k l m n o p) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p) => Show (Choice16 a b c d e f g h i j k l m n o p) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n, Lift o, Lift p) => Lift (Choice16 a b c d e f g h i j k l m n o p) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p) => Arbitrary (Choice16 a b c d e f g h i j k l m n o p) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p) => ToJSON (Choice16 a b c d e f g h i j k l m n o p) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p) => FromJSON (Choice16 a b c d e f g h i j k l m n o p) Source # | |
data Choice17 a b c d e f g h i j k l m n o p q Source #
Choice1of17 a | |
Choice2of17 b | |
Choice3of17 c | |
Choice4of17 d | |
Choice5of17 e | |
Choice6of17 f | |
Choice7of17 g | |
Choice8of17 h | |
Choice9of17 i | |
Choice10of17 j | |
Choice11of17 k | |
Choice12of17 l | |
Choice13of17 m | |
Choice14of17 n | |
Choice15of17 o | |
Choice16of17 p | |
Choice17of17 q |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q) => Eq (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q) => Ord (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Ordering # (<) :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Bool # (<=) :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Bool # (>) :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Bool # (>=) :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Bool # max :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q # min :: Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q -> Choice17 a b c d e f g h i j k l m n o p q # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q) => Read (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q) => Show (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n, Lift o, Lift p, Lift q) => Lift (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q) => Arbitrary (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q) => ToJSON (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q) => FromJSON (Choice17 a b c d e f g h i j k l m n o p q) Source # | |
data Choice18 a b c d e f g h i j k l m n o p q r Source #
Choice1of18 a | |
Choice2of18 b | |
Choice3of18 c | |
Choice4of18 d | |
Choice5of18 e | |
Choice6of18 f | |
Choice7of18 g | |
Choice8of18 h | |
Choice9of18 i | |
Choice10of18 j | |
Choice11of18 k | |
Choice12of18 l | |
Choice13of18 m | |
Choice14of18 n | |
Choice15of18 o | |
Choice16of18 p | |
Choice17of18 q | |
Choice18of18 r |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r) => Eq (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q, Ord r) => Ord (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Ordering # (<) :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Bool # (<=) :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Bool # (>) :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Bool # (>=) :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Bool # max :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r # min :: Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r -> Choice18 a b c d e f g h i j k l m n o p q r # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q, Read r) => Read (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r) => Show (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n, Lift o, Lift p, Lift q, Lift r) => Lift (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q, Arbitrary r) => Arbitrary (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q, ToJSON r) => ToJSON (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q, FromJSON r) => FromJSON (Choice18 a b c d e f g h i j k l m n o p q r) Source # | |
data Choice19 a b c d e f g h i j k l m n o p q r s Source #
Choice1of19 a | |
Choice2of19 b | |
Choice3of19 c | |
Choice4of19 d | |
Choice5of19 e | |
Choice6of19 f | |
Choice7of19 g | |
Choice8of19 h | |
Choice9of19 i | |
Choice10of19 j | |
Choice11of19 k | |
Choice12of19 l | |
Choice13of19 m | |
Choice14of19 n | |
Choice15of19 o | |
Choice16of19 p | |
Choice17of19 q | |
Choice18of19 r | |
Choice19of19 s |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s) => Eq (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q, Ord r, Ord s) => Ord (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Ordering # (<) :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Bool # (<=) :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Bool # (>) :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Bool # (>=) :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Bool # max :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s # min :: Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s -> Choice19 a b c d e f g h i j k l m n o p q r s # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q, Read r, Read s) => Read (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s) => Show (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n, Lift o, Lift p, Lift q, Lift r, Lift s) => Lift (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q, Arbitrary r, Arbitrary s) => Arbitrary (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q, ToJSON r, ToJSON s) => ToJSON (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q, FromJSON r, FromJSON s) => FromJSON (Choice19 a b c d e f g h i j k l m n o p q r s) Source # | |
data Choice20 a b c d e f g h i j k l m n o p q r s t Source #
Choice1of20 a | |
Choice2of20 b | |
Choice3of20 c | |
Choice4of20 d | |
Choice5of20 e | |
Choice6of20 f | |
Choice7of20 g | |
Choice8of20 h | |
Choice9of20 i | |
Choice10of20 j | |
Choice11of20 k | |
Choice12of20 l | |
Choice13of20 m | |
Choice14of20 n | |
Choice15of20 o | |
Choice16of20 p | |
Choice17of20 q | |
Choice18of20 r | |
Choice19of20 s | |
Choice20of20 t |
Instances
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p, Eq q, Eq r, Eq s, Eq t) => Eq (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o, Ord p, Ord q, Ord r, Ord s, Ord t) => Ord (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
Defined in Data.Aeson.Schema.Choice compare :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Ordering # (<) :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Bool # (<=) :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Bool # (>) :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Bool # (>=) :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Bool # max :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t # min :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t -> Choice20 a b c d e f g h i j k l m n o p q r s t # | |
(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o, Read p, Read q, Read r, Read s, Read t) => Read (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
Defined in Data.Aeson.Schema.Choice | |
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t) => Show (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g, Lift h, Lift i, Lift j, Lift k, Lift l, Lift m, Lift n, Lift o, Lift p, Lift q, Lift r, Lift s, Lift t) => Lift (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q, Arbitrary r, Arbitrary s, Arbitrary t) => Arbitrary (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q, ToJSON r, ToJSON s, ToJSON t) => ToJSON (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
Defined in Data.Aeson.Schema.Choice toJSON :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Value # toEncoding :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Encoding # toJSONList :: [Choice20 a b c d e f g h i j k l m n o p q r s t] -> Value # toEncodingList :: [Choice20 a b c d e f g h i j k l m n o p q r s t] -> Encoding # | |
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q, FromJSON r, FromJSON s, FromJSON t) => FromJSON (Choice20 a b c d e f g h i j k l m n o p q r s t) Source # | |
choice20of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [t] Source #
choice19of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [s] Source #
choice18of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [r] Source #
choice17of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [q] Source #
choice16of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [p] Source #
choice15of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [o] Source #
choice14of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [n] Source #
choice13of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [m] Source #
choice12of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [l] Source #
choice11of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [k] Source #
choice10of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [j] Source #
choice9of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [i] Source #
choice8of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [h] Source #
choice7of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [g] Source #
choice6of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [f] Source #
choice5of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [e] Source #
choice4of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [d] Source #
choice3of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [c] Source #
choice2of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [b] Source #
choice1of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [a] Source #
mapChoice20 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> (a18 -> b18) -> (a19 -> b19) -> (a20 -> b20) -> Choice20 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 -> Choice20 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 Source #
choice20 :: forall a b c d e f g h i j k l m n o p q r s t res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> (r -> res) -> (s -> res) -> (t -> res) -> Choice20 a b c d e f g h i j k l m n o p q r s t -> res Source #
choice19of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [s] Source #
choice18of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [r] Source #
choice17of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [q] Source #
choice16of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [p] Source #
choice15of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [o] Source #
choice14of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [n] Source #
choice13of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [m] Source #
choice12of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [l] Source #
choice11of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [k] Source #
choice10of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [j] Source #
choice9of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [i] Source #
choice8of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [h] Source #
choice7of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [g] Source #
choice6of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [f] Source #
choice5of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [e] Source #
choice4of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [d] Source #
choice3of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [c] Source #
choice2of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [b] Source #
choice1of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [a] Source #
mapChoice19 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> (a18 -> b18) -> (a19 -> b19) -> Choice19 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 -> Choice19 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 Source #
choice19 :: forall a b c d e f g h i j k l m n o p q r s res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> (r -> res) -> (s -> res) -> Choice19 a b c d e f g h i j k l m n o p q r s -> res Source #
choice18of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [r] Source #
choice17of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [q] Source #
choice16of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [p] Source #
choice15of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [o] Source #
choice14of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [n] Source #
choice13of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [m] Source #
choice12of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [l] Source #
choice11of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [k] Source #
choice10of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [j] Source #
choice9of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [i] Source #
choice8of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [h] Source #
choice7of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [g] Source #
choice6of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [f] Source #
choice5of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [e] Source #
choice4of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [d] Source #
choice3of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [c] Source #
choice2of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [b] Source #
choice1of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [a] Source #
mapChoice18 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> (a18 -> b18) -> Choice18 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 -> Choice18 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 Source #
choice18 :: forall a b c d e f g h i j k l m n o p q r res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> (r -> res) -> Choice18 a b c d e f g h i j k l m n o p q r -> res Source #
choice17of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [q] Source #
choice16of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [p] Source #
choice15of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [o] Source #
choice14of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [n] Source #
choice13of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [m] Source #
choice12of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [l] Source #
choice11of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [k] Source #
choice10of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [j] Source #
choice9of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [i] Source #
choice8of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [h] Source #
choice7of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [g] Source #
choice6of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [f] Source #
choice5of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [e] Source #
choice4of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [d] Source #
choice3of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [c] Source #
choice2of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [b] Source #
choice1of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [a] Source #
mapChoice17 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> Choice17 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 -> Choice17 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 Source #
choice17 :: forall a b c d e f g h i j k l m n o p q res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> Choice17 a b c d e f g h i j k l m n o p q -> res Source #
choice16of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [p] Source #
choice15of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [o] Source #
choice14of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [n] Source #
choice13of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [m] Source #
choice12of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [l] Source #
choice11of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [k] Source #
choice10of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [j] Source #
choice9of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [i] Source #
choice8of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [h] Source #
choice7of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [g] Source #
choice6of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [f] Source #
choice5of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [e] Source #
choice4of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [d] Source #
choice3of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [c] Source #
choice2of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [b] Source #
choice1of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [a] Source #
mapChoice16 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> Choice16 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 -> Choice16 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 Source #
choice16 :: forall a b c d e f g h i j k l m n o p res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> Choice16 a b c d e f g h i j k l m n o p -> res Source #
choice15of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [o] Source #
choice14of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [n] Source #
choice13of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [m] Source #
choice12of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [l] Source #
choice11of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [k] Source #
choice10of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [j] Source #
choice9of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [i] Source #
choice8of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [h] Source #
choice7of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [g] Source #
choice6of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [f] Source #
choice5of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [e] Source #
choice4of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [d] Source #
choice3of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [c] Source #
choice2of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [b] Source #
choice1of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [a] Source #
mapChoice15 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> Choice15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 -> Choice15 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 Source #
choice15 :: forall a b c d e f g h i j k l m n o res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> Choice15 a b c d e f g h i j k l m n o -> res Source #
choice14of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [n] Source #
choice13of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [m] Source #
choice12of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [l] Source #
choice11of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [k] Source #
choice10of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [j] Source #
choice9of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [i] Source #
choice8of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [h] Source #
choice7of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [g] Source #
choice6of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [f] Source #
choice5of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [e] Source #
choice4of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [d] Source #
choice3of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [c] Source #
choice2of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [b] Source #
choice1of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [a] Source #
mapChoice14 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> Choice14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 -> Choice14 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 Source #
choice14 :: forall a b c d e f g h i j k l m n res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> Choice14 a b c d e f g h i j k l m n -> res Source #
choice13of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [m] Source #
choice12of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [l] Source #
choice11of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [k] Source #
choice10of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [j] Source #
choice9of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [i] Source #
choice8of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [h] Source #
choice7of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [g] Source #
choice6of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [f] Source #
choice5of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [e] Source #
choice4of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [d] Source #
choice3of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [c] Source #
choice2of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [b] Source #
choice1of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [a] Source #
mapChoice13 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> Choice13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 -> Choice13 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 Source #
choice13 :: forall a b c d e f g h i j k l m res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> Choice13 a b c d e f g h i j k l m -> res Source #
choice12of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [l] Source #
choice11of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [k] Source #
choice10of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [j] Source #
choice9of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [i] Source #
choice8of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [h] Source #
choice7of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [g] Source #
choice6of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [f] Source #
choice5of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [e] Source #
choice4of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [d] Source #
choice3of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [c] Source #
choice2of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [b] Source #
choice1of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [a] Source #
mapChoice12 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> Choice12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 -> Choice12 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 Source #
choice12 :: forall a b c d e f g h i j k l res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> Choice12 a b c d e f g h i j k l -> res Source #
choice11of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [k] Source #
choice10of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [j] Source #
choice9of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [i] Source #
choice8of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [h] Source #
choice7of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [g] Source #
choice6of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [f] Source #
choice5of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [e] Source #
choice4of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [d] Source #
choice3of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [c] Source #
choice2of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [b] Source #
choice1of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [a] Source #
mapChoice11 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> Choice11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 -> Choice11 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 Source #
choice11 :: forall a b c d e f g h i j k res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> Choice11 a b c d e f g h i j k -> res Source #
choice10of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [j] Source #
choice9of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [i] Source #
choice8of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [h] Source #
choice7of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [g] Source #
choice6of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [f] Source #
choice5of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [e] Source #
choice4of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [d] Source #
choice3of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [c] Source #
choice2of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [b] Source #
choice1of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [a] Source #
mapChoice10 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> Choice10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 -> Choice10 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 Source #
choice10 :: forall a b c d e f g h i j res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> Choice10 a b c d e f g h i j -> res Source #
choice9of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [i] Source #
choice8of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [h] Source #
choice7of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [g] Source #
choice6of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [f] Source #
choice5of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [e] Source #
choice4of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [d] Source #
choice3of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [c] Source #
choice2of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [b] Source #
choice1of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [a] Source #
mapChoice9 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 b1 b2 b3 b4 b5 b6 b7 b8 b9. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> Choice9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Choice9 b1 b2 b3 b4 b5 b6 b7 b8 b9 Source #
choice9 :: forall a b c d e f g h i res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> Choice9 a b c d e f g h i -> res Source #
choice8of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [h] Source #
choice7of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [g] Source #
choice6of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [f] Source #
choice5of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [e] Source #
choice4of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [d] Source #
choice3of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [c] Source #
choice2of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [b] Source #
choice1of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [a] Source #
mapChoice8 :: forall a1 a2 a3 a4 a5 a6 a7 a8 b1 b2 b3 b4 b5 b6 b7 b8. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> Choice8 a1 a2 a3 a4 a5 a6 a7 a8 -> Choice8 b1 b2 b3 b4 b5 b6 b7 b8 Source #
choice8 :: forall a b c d e f g h res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> Choice8 a b c d e f g h -> res Source #
choice7of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [g] Source #
choice6of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [f] Source #
choice5of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [e] Source #
choice4of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [d] Source #
choice3of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [c] Source #
choice2of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [b] Source #
choice1of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [a] Source #
mapChoice7 :: forall a1 a2 a3 a4 a5 a6 a7 b1 b2 b3 b4 b5 b6 b7. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> Choice7 a1 a2 a3 a4 a5 a6 a7 -> Choice7 b1 b2 b3 b4 b5 b6 b7 Source #
choice7 :: forall a b c d e f g res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> Choice7 a b c d e f g -> res Source #
choice6of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [f] Source #
choice5of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [e] Source #
choice4of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [d] Source #
choice3of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [c] Source #
choice2of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [b] Source #
choice1of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [a] Source #
mapChoice6 :: forall a1 a2 a3 a4 a5 a6 b1 b2 b3 b4 b5 b6. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> Choice6 a1 a2 a3 a4 a5 a6 -> Choice6 b1 b2 b3 b4 b5 b6 Source #
choice6 :: forall a b c d e f res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> Choice6 a b c d e f -> res Source #
choice5of5s :: forall a b c d e. [Choice5 a b c d e] -> [e] Source #
choice4of5s :: forall a b c d e. [Choice5 a b c d e] -> [d] Source #
choice3of5s :: forall a b c d e. [Choice5 a b c d e] -> [c] Source #
choice2of5s :: forall a b c d e. [Choice5 a b c d e] -> [b] Source #
choice1of5s :: forall a b c d e. [Choice5 a b c d e] -> [a] Source #
mapChoice5 :: forall a1 a2 a3 a4 a5 b1 b2 b3 b4 b5. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> Choice5 a1 a2 a3 a4 a5 -> Choice5 b1 b2 b3 b4 b5 Source #
choice5 :: forall a b c d e res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> Choice5 a b c d e -> res Source #
choice4of4s :: forall a b c d. [Choice4 a b c d] -> [d] Source #
choice3of4s :: forall a b c d. [Choice4 a b c d] -> [c] Source #
choice2of4s :: forall a b c d. [Choice4 a b c d] -> [b] Source #
choice1of4s :: forall a b c d. [Choice4 a b c d] -> [a] Source #
mapChoice4 :: forall a1 a2 a3 a4 b1 b2 b3 b4. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> Choice4 a1 a2 a3 a4 -> Choice4 b1 b2 b3 b4 Source #
choice4 :: forall a b c d res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> Choice4 a b c d -> res Source #
choice3of3s :: forall a b c. [Choice3 a b c] -> [c] Source #
choice2of3s :: forall a b c. [Choice3 a b c] -> [b] Source #
choice1of3s :: forall a b c. [Choice3 a b c] -> [a] Source #
mapChoice3 :: forall a1 a2 a3 b1 b2 b3. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> Choice3 a1 a2 a3 -> Choice3 b1 b2 b3 Source #
choice3 :: forall a b c res. (a -> res) -> (b -> res) -> (c -> res) -> Choice3 a b c -> res Source #
choice2of2s :: forall a b. [Choice2 a b] -> [b] Source #
choice1of2s :: forall a b. [Choice2 a b] -> [a] Source #
mapChoice2 :: forall a1 a2 b1 b2. (a1 -> b1) -> (a2 -> b2) -> Choice2 a1 a2 -> Choice2 b1 b2 Source #