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 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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0, Lift r0, Lift s0, Lift t0) => Lift (Choice20 a b c d e f g h i j k l m n o p q r s t)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0, Lift r0, Lift s0) => Lift (Choice19 a b c d e f g h i j k l m n o p q r s)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0, Lift r0) => Lift (Choice18 a b c d e f g h i j k l m n o p q r)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0) => Lift (Choice17 a b c d e f g h i j k l m n o p q)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0) => Lift (Choice16 a b c d e f g h i j k l m n o p)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0) => Lift (Choice15 a b c d e f g h i j k l m n o)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0) => Lift (Choice14 a b c d e f g h i j k l m n)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0) => Lift (Choice13 a b c d e f g h i j k l m)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0) => Lift (Choice12 a b c d e f g h i j k l)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0) => Lift (Choice11 a b c d e f g h i j k)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0) => Lift (Choice10 a b c d e f g h i j)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0) => Lift (Choice9 a b c d e f g h i)

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)
(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)
(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)
(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)
(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)
(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)
(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)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0) => Lift (Choice8 a b c d e f g h)

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)
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (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)
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (Choice7 a b c d e f g)
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (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)
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (Choice7 a b c d e f g)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0) => Lift (Choice7 a b c d e f g)

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)
(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (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)
(Show a, Show b, Show c, Show d, Show e, Show f) => Show (Choice6 a b c d e f)
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (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)
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (Choice6 a b c d e f)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0) => Lift (Choice6 a b c d e f)

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)
(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (Choice5 a b c d e)
(Read a, Read b, Read c, Read d, Read e) => Read (Choice5 a b c d e)
(Show a, Show b, Show c, Show d, Show e) => Show (Choice5 a b c d e)
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (Choice5 a b c d e)
(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (Choice5 a b c d e)
(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (Choice5 a b c d e)
(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0) => Lift (Choice5 a b c d e)

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)
(Ord a, Ord b, Ord c, Ord d) => Ord (Choice4 a b c d)
(Read a, Read b, Read c, Read d) => Read (Choice4 a b c d)
(Show a, Show b, Show c, Show d) => Show (Choice4 a b c d)
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (Choice4 a b c d)
(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (Choice4 a b c d)
(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (Choice4 a b c d)
(Lift a0, Lift b0, Lift c0, Lift d0) => Lift (Choice4 a b c d)

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)
(Ord a, Ord b, Ord c) => Ord (Choice3 a b c)
(Read a, Read b, Read c) => Read (Choice3 a b c)
(Show a, Show b, Show c) => Show (Choice3 a b c)
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (Choice3 a b c)
(ToJSON a, ToJSON b, ToJSON c) => ToJSON (Choice3 a b c)
(FromJSON a, FromJSON b, FromJSON c) => FromJSON (Choice3 a b c)
(Lift a0, Lift b0, Lift c0) => Lift (Choice3 a b c)

data Choice2 a b Source

Constructors

Choice1of2 a
Choice2of2 b

Instances

(Eq a, Eq b) => Eq (Choice2 a b)
(Ord a, Ord b) => Ord (Choice2 a b)
(Read a, Read b) => Read (Choice2 a b)
(Show a, Show b) => Show (Choice2 a b)
(Arbitrary a, Arbitrary b) => Arbitrary (Choice2 a b)
(ToJSON a, ToJSON b) => ToJSON (Choice2 a b)
(FromJSON a, FromJSON b) => FromJSON (Choice2 a b)
(Lift a0, Lift b0) => Lift (Choice2 a b)

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