Safe Haskell	None
Language	Haskell98

Data.Aeson.Schema.Choice

Description

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

data Choice2 a b Source #

Constructors

Choice1of2 a
Choice2of2 b

Instances

(Eq a, Eq b) => Eq (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: Choice2 a b -> Choice2 a b -> Bool # (/=) :: Choice2 a b -> Choice2 a b -> Bool #
(Ord a, Ord b) => Ord (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods compare :: Choice2 a b -> Choice2 a b -> Ordering # (<) :: Choice2 a b -> Choice2 a b -> Bool # (<=) :: Choice2 a b -> Choice2 a b -> Bool # (>) :: Choice2 a b -> Choice2 a b -> Bool # (>=) :: Choice2 a b -> Choice2 a b -> Bool # max :: Choice2 a b -> Choice2 a b -> Choice2 a b # min :: Choice2 a b -> Choice2 a b -> Choice2 a b #
(Read a, Read b) => Read (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice2 a b) # readList :: ReadS [Choice2 a b] # readPrec :: ReadPrec (Choice2 a b) # readListPrec :: ReadPrec [Choice2 a b] #
(Show a, Show b) => Show (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice2 a b -> ShowS # show :: Choice2 a b -> String # showList :: [Choice2 a b] -> ShowS #
(Lift a, Lift b) => Lift (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice2 a b -> Q Exp #
(Arbitrary a, Arbitrary b) => Arbitrary (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice2 a b) # shrink :: Choice2 a b -> [Choice2 a b] #
(ToJSON a, ToJSON b) => ToJSON (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice2 a b -> Value # toEncoding :: Choice2 a b -> Encoding # toJSONList :: [Choice2 a b] -> Value # toEncodingList :: [Choice2 a b] -> Encoding #
(FromJSON a, FromJSON b) => FromJSON (Choice2 a b) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice2 a b) # parseJSONList :: Value -> Parser [Choice2 a b] #

data Choice3 a b c Source #

Constructors

Choice1of3 a
Choice2of3 b
Choice3of3 c

Instances

(Eq a, Eq b, Eq c) => Eq (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: Choice3 a b c -> Choice3 a b c -> Bool # (/=) :: Choice3 a b c -> Choice3 a b c -> Bool #
(Ord a, Ord b, Ord c) => Ord (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 # max :: Choice3 a b c -> Choice3 a b c -> Choice3 a b c # min :: Choice3 a b c -> Choice3 a b c -> Choice3 a b c #
(Read a, Read b, Read c) => Read (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice3 a b c) # readList :: ReadS [Choice3 a b c] # readPrec :: ReadPrec (Choice3 a b c) # readListPrec :: ReadPrec [Choice3 a b c] #
(Show a, Show b, Show c) => Show (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice3 a b c -> ShowS # show :: Choice3 a b c -> String # showList :: [Choice3 a b c] -> ShowS #
(Lift a, Lift b, Lift c) => Lift (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice3 a b c -> Q Exp #
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice3 a b c) # shrink :: Choice3 a b c -> [Choice3 a b c] #
(ToJSON a, ToJSON b, ToJSON c) => ToJSON (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice3 a b c -> Value # toEncoding :: Choice3 a b c -> Encoding # toJSONList :: [Choice3 a b c] -> Value # toEncodingList :: [Choice3 a b c] -> Encoding #
(FromJSON a, FromJSON b, FromJSON c) => FromJSON (Choice3 a b c) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice3 a b c) # parseJSONList :: Value -> Parser [Choice3 a b c] #

data Choice4 a b c d Source #

Constructors

Choice1of4 a
Choice2of4 b
Choice3of4 c
Choice4of4 d

Instances

(Eq a, Eq b, Eq c, Eq d) => Eq (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: Choice4 a b c d -> Choice4 a b c d -> Bool # (/=) :: Choice4 a b c d -> Choice4 a b c d -> Bool #
(Ord a, Ord b, Ord c, Ord d) => Ord (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods compare :: Choice4 a b c d -> Choice4 a b c d -> Ordering # (<) :: Choice4 a b c d -> Choice4 a b c d -> Bool # (<=) :: Choice4 a b c d -> Choice4 a b c d -> Bool # (>) :: Choice4 a b c d -> Choice4 a b c d -> Bool # (>=) :: Choice4 a b c d -> Choice4 a b c d -> Bool # max :: Choice4 a b c d -> Choice4 a b c d -> Choice4 a b c d # min :: Choice4 a b c d -> Choice4 a b c d -> Choice4 a b c d #
(Read a, Read b, Read c, Read d) => Read (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice4 a b c d) # readList :: ReadS [Choice4 a b c d] # readPrec :: ReadPrec (Choice4 a b c d) # readListPrec :: ReadPrec [Choice4 a b c d] #
(Show a, Show b, Show c, Show d) => Show (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice4 a b c d -> ShowS # show :: Choice4 a b c d -> String # showList :: [Choice4 a b c d] -> ShowS #
(Lift a, Lift b, Lift c, Lift d) => Lift (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice4 a b c d -> Q Exp #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice4 a b c d) # shrink :: Choice4 a b c d -> [Choice4 a b c d] #
(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice4 a b c d -> Value # toEncoding :: Choice4 a b c d -> Encoding # toJSONList :: [Choice4 a b c d] -> Value # toEncodingList :: [Choice4 a b c d] -> Encoding #
(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (Choice4 a b c d) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice4 a b c d) # parseJSONList :: Value -> Parser [Choice4 a b c d] #

data Choice5 a b c d e Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (Choice5 a b c d e) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice5 a b c d e) # readList :: ReadS [Choice5 a b c d e] # readPrec :: ReadPrec (Choice5 a b c d e) # readListPrec :: ReadPrec [Choice5 a b c d e] #
(Show a, Show b, Show c, Show d, Show e) => Show (Choice5 a b c d e) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice5 a b c d e -> ShowS # show :: Choice5 a b c d e -> String # showList :: [Choice5 a b c d e] -> ShowS #
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift (Choice5 a b c d e) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice5 a b c d e -> Q Exp #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (Choice5 a b c d e) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice5 a b c d e) # shrink :: Choice5 a b c d e -> [Choice5 a b c d e] #
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (Choice5 a b c d e) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice5 a b c d e -> Value # toEncoding :: Choice5 a b c d e -> Encoding # toJSONList :: [Choice5 a b c d e] -> Value # toEncodingList :: [Choice5 a b c d e] -> Encoding #
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (Choice5 a b c d e) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice5 a b c d e) # parseJSONList :: Value -> Parser [Choice5 a b c d e] #

data Choice6 a b c d e f Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (Choice6 a b c d e f) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice6 a b c d e f) # readList :: ReadS [Choice6 a b c d e f] # readPrec :: ReadPrec (Choice6 a b c d e f) # readListPrec :: ReadPrec [Choice6 a b c d e f] #
(Show a, Show b, Show c, Show d, Show e, Show f) => Show (Choice6 a b c d e f) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice6 a b c d e f -> ShowS # show :: Choice6 a b c d e f -> String # showList :: [Choice6 a b c d e f] -> ShowS #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift (Choice6 a b c d e f) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice6 a b c d e f -> Q Exp #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (Choice6 a b c d e f) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice6 a b c d e f) # shrink :: Choice6 a b c d e f -> [Choice6 a b c d e f] #
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (Choice6 a b c d e f) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice6 a b c d e f -> Value # toEncoding :: Choice6 a b c d e f -> Encoding # toJSONList :: [Choice6 a b c d e f] -> Value # toEncodingList :: [Choice6 a b c d e f] -> Encoding #
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (Choice6 a b c d e f) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice6 a b c d e f) # parseJSONList :: Value -> Parser [Choice6 a b c d e f] #

data Choice7 a b c d e f g Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (Choice7 a b c d e f g) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice7 a b c d e f g) # readList :: ReadS [Choice7 a b c d e f g] # readPrec :: ReadPrec (Choice7 a b c d e f g) # readListPrec :: ReadPrec [Choice7 a b c d e f g] #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (Choice7 a b c d e f g) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice7 a b c d e f g -> ShowS # show :: Choice7 a b c d e f g -> String # showList :: [Choice7 a b c d e f g] -> ShowS #
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift (Choice7 a b c d e f g) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice7 a b c d e f g -> Q Exp #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (Choice7 a b c d e f g) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice7 a b c d e f g) # shrink :: Choice7 a b c d e f g -> [Choice7 a b c d e f g] #
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (Choice7 a b c d e f g) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice7 a b c d e f g -> Value # toEncoding :: Choice7 a b c d e f g -> Encoding # toJSONList :: [Choice7 a b c d e f g] -> Value # toEncodingList :: [Choice7 a b c d e f g] -> Encoding #
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (Choice7 a b c d e f g) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice7 a b c d e f g) # parseJSONList :: Value -> Parser [Choice7 a b c d e f g] #

data Choice8 a b c d e f g h Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice8 a b c d e f g h) # readList :: ReadS [Choice8 a b c d e f g h] # readPrec :: ReadPrec (Choice8 a b c d e f g h) # readListPrec :: ReadPrec [Choice8 a b c d e f g h] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice8 a b c d e f g h -> ShowS # show :: Choice8 a b c d e f g h -> String # showList :: [Choice8 a b c d e f g h] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice8 a b c d e f g h -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice8 a b c d e f g h) # shrink :: Choice8 a b c d e f g h -> [Choice8 a b c d e f g h] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice8 a b c d e f g h -> Value # toEncoding :: Choice8 a b c d e f g h -> Encoding # toJSONList :: [Choice8 a b c d e f g h] -> Value # toEncodingList :: [Choice8 a b c d e f g h] -> Encoding #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice8 a b c d e f g h) # parseJSONList :: Value -> Parser [Choice8 a b c d e f g h] #

data Choice9 a b c d e f g h i Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice9 a b c d e f g h i) # readList :: ReadS [Choice9 a b c d e f g h i] # readPrec :: ReadPrec (Choice9 a b c d e f g h i) # readListPrec :: ReadPrec [Choice9 a b c d e f g h i] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice9 a b c d e f g h i -> ShowS # show :: Choice9 a b c d e f g h i -> String # showList :: [Choice9 a b c d e f g h i] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice9 a b c d e f g h i -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice9 a b c d e f g h i) # shrink :: Choice9 a b c d e f g h i -> [Choice9 a b c d e f g h i] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice9 a b c d e f g h i -> Value # toEncoding :: Choice9 a b c d e f g h i -> Encoding # toJSONList :: [Choice9 a b c d e f g h i] -> Value # toEncodingList :: [Choice9 a b c d e f g h i] -> Encoding #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice9 a b c d e f g h i) # parseJSONList :: Value -> Parser [Choice9 a b c d e f g h i] #

data Choice10 a b c d e f g h i j Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice10 a b c d e f g h i j) # readList :: ReadS [Choice10 a b c d e f g h i j] # readPrec :: ReadPrec (Choice10 a b c d e f g h i j) # readListPrec :: ReadPrec [Choice10 a b c d e f g h i j] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice10 a b c d e f g h i j -> ShowS # show :: Choice10 a b c d e f g h i j -> String # showList :: [Choice10 a b c d e f g h i j] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice10 a b c d e f g h i j -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice10 a b c d e f g h i j) # shrink :: Choice10 a b c d e f g h i j -> [Choice10 a b c d e f g h i j] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice10 a b c d e f g h i j -> Value # toEncoding :: Choice10 a b c d e f g h i j -> Encoding # toJSONList :: [Choice10 a b c d e f g h i j] -> Value # toEncodingList :: [Choice10 a b c d e f g h i j] -> Encoding #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice10 a b c d e f g h i j) # parseJSONList :: Value -> Parser [Choice10 a b c d e f g h i j] #

data Choice11 a b c d e f g h i j k Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice11 a b c d e f g h i j k) # readList :: ReadS [Choice11 a b c d e f g h i j k] # readPrec :: ReadPrec (Choice11 a b c d e f g h i j k) # readListPrec :: ReadPrec [Choice11 a b c d e f g h i j k] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice11 a b c d e f g h i j k -> ShowS # show :: Choice11 a b c d e f g h i j k -> String # showList :: [Choice11 a b c d e f g h i j k] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice11 a b c d e f g h i j k -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice11 a b c d e f g h i j k) # shrink :: Choice11 a b c d e f g h i j k -> [Choice11 a b c d e f g h i j k] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice11 a b c d e f g h i j k -> Value # toEncoding :: Choice11 a b c d e f g h i j k -> Encoding # toJSONList :: [Choice11 a b c d e f g h i j k] -> Value # toEncodingList :: [Choice11 a b c d e f g h i j k] -> Encoding #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice11 a b c d e f g h i j k) # parseJSONList :: Value -> Parser [Choice11 a b c d e f g h i j k] #

data Choice12 a b c d e f g h i j k l Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice12 a b c d e f g h i j k l) # readList :: ReadS [Choice12 a b c d e f g h i j k l] # readPrec :: ReadPrec (Choice12 a b c d e f g h i j k l) # readListPrec :: ReadPrec [Choice12 a b c d e f g h i j k l] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice12 a b c d e f g h i j k l -> ShowS # show :: Choice12 a b c d e f g h i j k l -> String # showList :: [Choice12 a b c d e f g h i j k l] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice12 a b c d e f g h i j k l -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice12 a b c d e f g h i j k l) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice12 a b c d e f g h i j k l -> Value # toEncoding :: Choice12 a b c d e f g h i j k l -> Encoding # toJSONList :: [Choice12 a b c d e f g h i j k l] -> Value # toEncodingList :: [Choice12 a b c d e f g h i j k l] -> 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 (Choice12 a b c d e f g h i j k l) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice12 a b c d e f g h i j k l) # parseJSONList :: Value -> Parser [Choice12 a b c d e f g h i j k l] #

data Choice13 a b c d e f g h i j k l m Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice13 a b c d e f g h i j k l m) # readList :: ReadS [Choice13 a b c d e f g h i j k l m] # readPrec :: ReadPrec (Choice13 a b c d e f g h i j k l m) # readListPrec :: ReadPrec [Choice13 a b c d e f g h i j k l m] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice13 a b c d e f g h i j k l m -> ShowS # show :: Choice13 a b c d e f g h i j k l m -> String # showList :: [Choice13 a b c d e f g h i j k l m] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice13 a b c d e f g h i j k l m -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice13 a b c d e f g h i j k l m) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice13 a b c d e f g h i j k l m -> Value # toEncoding :: Choice13 a b c d e f g h i j k l m -> Encoding # toJSONList :: [Choice13 a b c d e f g h i j k l m] -> Value # toEncodingList :: [Choice13 a b c d e f g h i j k l m] -> 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 (Choice13 a b c d e f g h i j k l m) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice13 a b c d e f g h i j k l m) # parseJSONList :: Value -> Parser [Choice13 a b c d e f g h i j k l m] #

data Choice14 a b c d e f g h i j k l m n Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice14 a b c d e f g h i j k l m n) # readList :: ReadS [Choice14 a b c d e f g h i j k l m n] # readPrec :: ReadPrec (Choice14 a b c d e f g h i j k l m n) # readListPrec :: ReadPrec [Choice14 a b c d e f g h i j k l m n] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice14 a b c d e f g h i j k l m n -> ShowS # show :: Choice14 a b c d e f g h i j k l m n -> String # showList :: [Choice14 a b c d e f g h i j k l m n] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice14 a b c d e f g h i j k l m n -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice14 a b c d e f g h i j k l m n) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice14 a b c d e f g h i j k l m n -> Value # toEncoding :: Choice14 a b c d e f g h i j k l m n -> Encoding # toJSONList :: [Choice14 a b c d e f g h i j k l m n] -> Value # toEncodingList :: [Choice14 a b c d e f g h i j k l m n] -> 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 (Choice14 a b c d e f g h i j k l m n) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice14 a b c d e f g h i j k l m n) # parseJSONList :: Value -> Parser [Choice14 a b c d e f g h i j k l m n] #

data Choice15 a b c d e f g h i j k l m n o Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice15 a b c d e f g h i j k l m n o) # readList :: ReadS [Choice15 a b c d e f g h i j k l m n o] # readPrec :: ReadPrec (Choice15 a b c d e f g h i j k l m n o) # readListPrec :: ReadPrec [Choice15 a b c d e f g h i j k l m n o] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice15 a b c d e f g h i j k l m n o -> ShowS # show :: Choice15 a b c d e f g h i j k l m n o -> String # showList :: [Choice15 a b c d e f g h i j k l m n o] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice15 a b c d e f g h i j k l m n o -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice15 a b c d e f g h i j k l m n o) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice15 a b c d e f g h i j k l m n o -> Value # toEncoding :: Choice15 a b c d e f g h i j k l m n o -> Encoding # toJSONList :: [Choice15 a b c d e f g h i j k l m n o] -> Value # toEncodingList :: [Choice15 a b c d e f g h i j k l m n o] -> 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 (Choice15 a b c d e f g h i j k l m n o) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice15 a b c d e f g h i j k l m n o) # parseJSONList :: Value -> Parser [Choice15 a b c d e f g h i j k l m n o] #

data Choice16 a b c d e f g h i j k l m n o p Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice16 a b c d e f g h i j k l m n o p) # readList :: ReadS [Choice16 a b c d e f g h i j k l m n o p] # readPrec :: ReadPrec (Choice16 a b c d e f g h i j k l m n o p) # readListPrec :: ReadPrec [Choice16 a b c d e f g h i j k l m n o p] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice16 a b c d e f g h i j k l m n o p -> ShowS # show :: Choice16 a b c d e f g h i j k l m n o p -> String # showList :: [Choice16 a b c d e f g h i j k l m n o p] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice16 a b c d e f g h i j k l m n o p -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice16 a b c d e f g h i j k l m n o p) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice16 a b c d e f g h i j k l m n o p -> Value # toEncoding :: Choice16 a b c d e f g h i j k l m n o p -> Encoding # toJSONList :: [Choice16 a b c d e f g h i j k l m n o p] -> Value # toEncodingList :: [Choice16 a b c d e f g h i j k l m n o p] -> 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 (Choice16 a b c d e f g h i j k l m n o p) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice16 a b c d e f g h i j k l m n o p) # parseJSONList :: Value -> Parser [Choice16 a b c d e f g h i j k l m n o p] #

data Choice17 a b c d e f g h i j k l m n o p q Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice17 a b c d e f g h i j k l m n o p q) # readList :: ReadS [Choice17 a b c d e f g h i j k l m n o p q] # readPrec :: ReadPrec (Choice17 a b c d e f g h i j k l m n o p q) # readListPrec :: ReadPrec [Choice17 a b c d e f g h i j k l m n o p q] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice17 a b c d e f g h i j k l m n o p q -> ShowS # show :: Choice17 a b c d e f g h i j k l m n o p q -> String # showList :: [Choice17 a b c d e f g h i j k l m n o p q] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice17 a b c d e f g h i j k l m n o p q -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice17 a b c d e f g h i j k l m n o p q) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice17 a b c d e f g h i j k l m n o p q -> Value # toEncoding :: Choice17 a b c d e f g h i j k l m n o p q -> Encoding # toJSONList :: [Choice17 a b c d e f g h i j k l m n o p q] -> Value # toEncodingList :: [Choice17 a b c d e f g h i j k l m n o p q] -> 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 (Choice17 a b c d e f g h i j k l m n o p q) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice17 a b c d e f g h i j k l m n o p q) # parseJSONList :: Value -> Parser [Choice17 a b c d e f g h i j k l m n o p q] #

data Choice18 a b c d e f g h i j k l m n o p q r Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice18 a b c d e f g h i j k l m n o p q r) # readList :: ReadS [Choice18 a b c d e f g h i j k l m n o p q r] # readPrec :: ReadPrec (Choice18 a b c d e f g h i j k l m n o p q r) # readListPrec :: ReadPrec [Choice18 a b c d e f g h i j k l m n o p q r] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice18 a b c d e f g h i j k l m n o p q r -> ShowS # show :: Choice18 a b c d e f g h i j k l m n o p q r -> String # showList :: [Choice18 a b c d e f g h i j k l m n o p q r] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice18 a b c d e f g h i j k l m n o p q r -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice18 a b c d e f g h i j k l m n o p q r) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice18 a b c d e f g h i j k l m n o p q r -> Value # toEncoding :: Choice18 a b c d e f g h i j k l m n o p q r -> Encoding # toJSONList :: [Choice18 a b c d e f g h i j k l m n o p q r] -> Value # toEncodingList :: [Choice18 a b c d e f g h i j k l m n o p q r] -> 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 (Choice18 a b c d e f g h i j k l m n o p q r) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice18 a b c d e f g h i j k l m n o p q r) # parseJSONList :: Value -> Parser [Choice18 a b c d e f g h i j k l m n o p q r] #

data Choice19 a b c d e f g h i j k l m n o p q r s Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice19 a b c d e f g h i j k l m n o p q r s) # readList :: ReadS [Choice19 a b c d e f g h i j k l m n o p q r s] # readPrec :: ReadPrec (Choice19 a b c d e f g h i j k l m n o p q r s) # readListPrec :: ReadPrec [Choice19 a b c d e f g h i j k l m n o p q r s] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice19 a b c d e f g h i j k l m n o p q r s -> ShowS # show :: Choice19 a b c d e f g h i j k l m n o p q r s -> String # showList :: [Choice19 a b c d e f g h i j k l m n o p q r s] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice19 a b c d e f g h i j k l m n o p q r s -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice19 a b c d e f g h i j k l m n o p q r s) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods toJSON :: Choice19 a b c d e f g h i j k l m n o p q r s -> Value # toEncoding :: Choice19 a b c d e f g h i j k l m n o p q r s -> Encoding # toJSONList :: [Choice19 a b c d e f g h i j k l m n o p q r s] -> Value # toEncodingList :: [Choice19 a b c d e f g h i j k l m n o p q r s] -> 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 (Choice19 a b c d e f g h i j k l m n o p q r s) Source #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice19 a b c d e f g h i j k l m n o p q r s) # parseJSONList :: Value -> Parser [Choice19 a b c d e f g h i j k l m n o p q r s] #

data Choice20 a b c d e f g h i j k l m n o p q r s t Source #

Constructors

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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods (==) :: 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 #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods readsPrec :: Int -> ReadS (Choice20 a b c d e f g h i j k l m n o p q r s t) # readList :: ReadS [Choice20 a b c d e f g h i j k l m n o p q r s t] # readPrec :: ReadPrec (Choice20 a b c d e f g h i j k l m n o p q r s t) # readListPrec :: ReadPrec [Choice20 a b c d e f g h i j k l m n o p q r s t] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods showsPrec :: Int -> Choice20 a b c d e f g h i j k l m n o p q r s t -> ShowS # show :: Choice20 a b c d e f g h i j k l m n o p q r s t -> String # showList :: [Choice20 a b c d e f g h i j k l m n o p q r s t] -> ShowS #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods lift :: Choice20 a b c d e f g h i j k l m n o p q r s t -> Q Exp #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods arbitrary :: Gen (Choice20 a b c d e f g h i j k l m n o p q r s t) # shrink :: 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] #
(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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods 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 #
Instance details Defined in Data.Aeson.Schema.Choice Methods parseJSON :: Value -> Parser (Choice20 a b c d e f g h i j k l m n o p q r s t) # parseJSONList :: Value -> Parser [Choice20 a b c d e f g h i j k l m n o p q r s t] #

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 #

choice2 :: forall a b res. (a -> res) -> (b -> res) -> Choice2 a b -> res Source #