Safe Haskell | None |
---|
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
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 |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 r0 s0 t0) |
data Choice19 a b c d e f g h i j k l m n o p q r s Source
Choice1of19 a | |
Choice2of19 b | |
Choice3of19 c | |
Choice4of19 d | |
Choice5of19 e | |
Choice6of19 f | |
Choice7of19 g | |
Choice8of19 h | |
Choice9of19 i | |
Choice10of19 j | |
Choice11of19 k | |
Choice12of19 l | |
Choice13of19 m | |
Choice14of19 n | |
Choice15of19 o | |
Choice16of19 p | |
Choice17of19 q | |
Choice18of19 r | |
Choice19of19 s |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 r0 s0) |
data Choice18 a b c d e f g h i j k l m n o p q r Source
Choice1of18 a | |
Choice2of18 b | |
Choice3of18 c | |
Choice4of18 d | |
Choice5of18 e | |
Choice6of18 f | |
Choice7of18 g | |
Choice8of18 h | |
Choice9of18 i | |
Choice10of18 j | |
Choice11of18 k | |
Choice12of18 l | |
Choice13of18 m | |
Choice14of18 n | |
Choice15of18 o | |
Choice16of18 p | |
Choice17of18 q | |
Choice18of18 r |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 r0) |
data Choice17 a b c d e f g h i j k l m n o p q Source
Choice1of17 a | |
Choice2of17 b | |
Choice3of17 c | |
Choice4of17 d | |
Choice5of17 e | |
Choice6of17 f | |
Choice7of17 g | |
Choice8of17 h | |
Choice9of17 i | |
Choice10of17 j | |
Choice11of17 k | |
Choice12of17 l | |
Choice13of17 m | |
Choice14of17 n | |
Choice15of17 o | |
Choice16of17 p | |
Choice17of17 q |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0) |
data Choice16 a b c d e f g h i j k l m n o p Source
Choice1of16 a | |
Choice2of16 b | |
Choice3of16 c | |
Choice4of16 d | |
Choice5of16 e | |
Choice6of16 f | |
Choice7of16 g | |
Choice8of16 h | |
Choice9of16 i | |
Choice10of16 j | |
Choice11of16 k | |
Choice12of16 l | |
Choice13of16 m | |
Choice14of16 n | |
Choice15of16 o | |
Choice16of16 p |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0) |
data Choice15 a b c d e f g h i j k l m n o Source
Choice1of15 a | |
Choice2of15 b | |
Choice3of15 c | |
Choice4of15 d | |
Choice5of15 e | |
Choice6of15 f | |
Choice7of15 g | |
Choice8of15 h | |
Choice9of15 i | |
Choice10of15 j | |
Choice11of15 k | |
Choice12of15 l | |
Choice13of15 m | |
Choice14of15 n | |
Choice15of15 o |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0) |
data Choice14 a b c d e f g h i j k l m n Source
Choice1of14 a | |
Choice2of14 b | |
Choice3of14 c | |
Choice4of14 d | |
Choice5of14 e | |
Choice6of14 f | |
Choice7of14 g | |
Choice8of14 h | |
Choice9of14 i | |
Choice10of14 j | |
Choice11of14 k | |
Choice12of14 l | |
Choice13of14 m | |
Choice14of14 n |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0) |
data Choice13 a b c d e f g h i j k l m Source
Choice1of13 a | |
Choice2of13 b | |
Choice3of13 c | |
Choice4of13 d | |
Choice5of13 e | |
Choice6of13 f | |
Choice7of13 g | |
Choice8of13 h | |
Choice9of13 i | |
Choice10of13 j | |
Choice11of13 k | |
Choice12of13 l | |
Choice13of13 m |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0) |
data Choice12 a b c d e f g h i j k l Source
Choice1of12 a | |
Choice2of12 b | |
Choice3of12 c | |
Choice4of12 d | |
Choice5of12 e | |
Choice6of12 f | |
Choice7of12 g | |
Choice8of12 h | |
Choice9of12 i | |
Choice10of12 j | |
Choice11of12 k | |
Choice12of12 l |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0) |
data Choice11 a b c d e f g h i j k Source
Choice1of11 a | |
Choice2of11 b | |
Choice3of11 c | |
Choice4of11 d | |
Choice5of11 e | |
Choice6of11 f | |
Choice7of11 g | |
Choice8of11 h | |
Choice9of11 i | |
Choice10of11 j | |
Choice11of11 k |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0) |
data Choice10 a b c d e f g h i j Source
Choice1of10 a | |
Choice2of10 b | |
Choice3of10 c | |
Choice4of10 d | |
Choice5of10 e | |
Choice6of10 f | |
Choice7of10 g | |
Choice8of10 h | |
Choice9of10 i | |
Choice10of10 j |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0) |
data Choice9 a b c d e f g h i Source
Choice1of9 a | |
Choice2of9 b | |
Choice3of9 c | |
Choice4of9 d | |
Choice5of9 e | |
Choice6of9 f | |
Choice7of9 g | |
Choice8of9 h | |
Choice9of9 i |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0 i0) |
data Choice8 a b c d e f g h Source
Choice1of8 a | |
Choice2of8 b | |
Choice3of8 c | |
Choice4of8 d | |
Choice5of8 e | |
Choice6of8 f | |
Choice7of8 g | |
Choice8of8 h |
(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) | |
(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 a0 b0 c0 d0 e0 f0 g0 h0) |
data Choice7 a b c d e f g Source
Choice1of7 a | |
Choice2of7 b | |
Choice3of7 c | |
Choice4of7 d | |
Choice5of7 e | |
Choice6of7 f | |
Choice7of7 g |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (Choice7 a b c d e f 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 a0 b0 c0 d0 e0 f0 g0) |
data Choice6 a b c d e f Source
Choice1of6 a | |
Choice2of6 b | |
Choice3of6 c | |
Choice4of6 d | |
Choice5of6 e | |
Choice6of6 f |
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (Choice6 a b c d e 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 a0 b0 c0 d0 e0 f0) |
Choice1of5 a | |
Choice2of5 b | |
Choice3of5 c | |
Choice4of5 d | |
Choice5of5 e |
(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (Choice5 a b c d 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 a0 b0 c0 d0 e0) |
Choice1of4 a | |
Choice2of4 b | |
Choice3of4 c | |
Choice4of4 d |
(Eq a, Eq b, Eq c, Eq d) => Eq (Choice4 a b c 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 a0 b0 c0 d0) |
Choice1of3 a | |
Choice2of3 b | |
Choice3of3 c |
(Eq a, Eq b, Eq c) => Eq (Choice3 a b 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 a0 b0 c0) |
Choice1of2 a | |
Choice2of2 b |
(Eq a, Eq b) => Eq (Choice2 a 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 a0 b0) |
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 b20Source
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 -> resSource
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 b19Source
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 -> resSource
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 b18Source
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 -> resSource
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 b17Source
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 -> resSource
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 b16Source
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 -> resSource
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 b15Source
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 -> resSource
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 b14Source
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 -> resSource
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 b13Source
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 -> resSource
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 b12Source
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 -> resSource
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 b11Source
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 -> resSource
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 b10Source
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 -> resSource
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 b9Source
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 -> resSource
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 b8Source
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 -> resSource
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 b7Source
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 -> resSource
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 b6Source
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 -> resSource
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 b5Source
choice5 :: forall a b c d e res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> Choice5 a b c d e -> resSource
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 b4Source
choice4 :: forall a b c d res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> Choice4 a b c d -> resSource
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 b3Source
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 b2Source