module Text.XML.HaXml.OneOfN where

import Text.XML.HaXml.XmlContent

-- | Somewhat of a nonsense - a choice of a single item.  But sometimes it
--   occurs in auto-generated code.
data OneOf1 a
    = OneOf1 a
    deriving (OneOf1 a -> OneOf1 a -> Bool
(OneOf1 a -> OneOf1 a -> Bool)
-> (OneOf1 a -> OneOf1 a -> Bool) -> Eq (OneOf1 a)
forall a. Eq a => OneOf1 a -> OneOf1 a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: OneOf1 a -> OneOf1 a -> Bool
$c/= :: forall a. Eq a => OneOf1 a -> OneOf1 a -> Bool
== :: OneOf1 a -> OneOf1 a -> Bool
$c== :: forall a. Eq a => OneOf1 a -> OneOf1 a -> Bool
Eq,Int -> OneOf1 a -> ShowS
[OneOf1 a] -> ShowS
OneOf1 a -> String
(Int -> OneOf1 a -> ShowS)
-> (OneOf1 a -> String) -> ([OneOf1 a] -> ShowS) -> Show (OneOf1 a)
forall a. Show a => Int -> OneOf1 a -> ShowS
forall a. Show a => [OneOf1 a] -> ShowS
forall a. Show a => OneOf1 a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [OneOf1 a] -> ShowS
$cshowList :: forall a. Show a => [OneOf1 a] -> ShowS
show :: OneOf1 a -> String
$cshow :: forall a. Show a => OneOf1 a -> String
showsPrec :: Int -> OneOf1 a -> ShowS
$cshowsPrec :: forall a. Show a => Int -> OneOf1 a -> ShowS
Show)

instance (HTypeable a)
    => HTypeable (OneOf1 a)
  where      toHType :: OneOf1 a -> HType
toHType OneOf1 a
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf1" [] []
  --         toHType m = Defined "OneOf1" [a] []
  --            where a = toHType $ (\ (OneOf1 a)->a) $ m

instance (XmlContent a)
    => XmlContent (OneOf1 a)
  where
    parseContents :: XMLParser (OneOf1 a)
parseContents =
        (a -> OneOf1 a) -> XMLParser (OneOf1 a) -> XMLParser (OneOf1 a)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf1 a
forall a. a -> OneOf1 a
OneOf1
        (XMLParser (OneOf1 a) -> XMLParser (OneOf1 a))
-> XMLParser (OneOf1 a) -> XMLParser (OneOf1 a)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf1 a)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf1"
    toContents :: OneOf1 a -> [Content ()]
toContents (OneOf1 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x

foldOneOf1 :: (a->z) ->
               OneOf1 a
               -> z
foldOneOf1 :: (a -> z) -> OneOf1 a -> z
foldOneOf1 a -> z
a (OneOf1 a
z) = a -> z
a a
z

----

-- | Equivalent to the Either type, but using the regular naming
--   scheme of this module.
data OneOf2 a b
    = OneOf2 a | TwoOf2 b
    deriving (OneOf2 a b -> OneOf2 a b -> Bool
(OneOf2 a b -> OneOf2 a b -> Bool)
-> (OneOf2 a b -> OneOf2 a b -> Bool) -> Eq (OneOf2 a b)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b. (Eq a, Eq b) => OneOf2 a b -> OneOf2 a b -> Bool
/= :: OneOf2 a b -> OneOf2 a b -> Bool
$c/= :: forall a b. (Eq a, Eq b) => OneOf2 a b -> OneOf2 a b -> Bool
== :: OneOf2 a b -> OneOf2 a b -> Bool
$c== :: forall a b. (Eq a, Eq b) => OneOf2 a b -> OneOf2 a b -> Bool
Eq,Int -> OneOf2 a b -> ShowS
[OneOf2 a b] -> ShowS
OneOf2 a b -> String
(Int -> OneOf2 a b -> ShowS)
-> (OneOf2 a b -> String)
-> ([OneOf2 a b] -> ShowS)
-> Show (OneOf2 a b)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b. (Show a, Show b) => Int -> OneOf2 a b -> ShowS
forall a b. (Show a, Show b) => [OneOf2 a b] -> ShowS
forall a b. (Show a, Show b) => OneOf2 a b -> String
showList :: [OneOf2 a b] -> ShowS
$cshowList :: forall a b. (Show a, Show b) => [OneOf2 a b] -> ShowS
show :: OneOf2 a b -> String
$cshow :: forall a b. (Show a, Show b) => OneOf2 a b -> String
showsPrec :: Int -> OneOf2 a b -> ShowS
$cshowsPrec :: forall a b. (Show a, Show b) => Int -> OneOf2 a b -> ShowS
Show)

instance (HTypeable a,HTypeable b)
    => HTypeable (OneOf2 a b)
  where      toHType :: OneOf2 a b -> HType
toHType OneOf2 a b
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf2" [] []
  --         toHType m = Defined "OneOf2" [a,b] []
  --            where a = toHType $ (\ (OneOf2 a)->a) $ m
  --                  b = toHType $ (\ (TwoOf2 b)->b) $ m

instance (XmlContent a,XmlContent b)
    => XmlContent (OneOf2 a b)
  where
    parseContents :: XMLParser (OneOf2 a b)
parseContents =
        (a -> OneOf2 a b)
-> XMLParser (OneOf2 a b) -> XMLParser (OneOf2 a b)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf2 a b
forall a b. a -> OneOf2 a b
OneOf2 (XMLParser (OneOf2 a b) -> XMLParser (OneOf2 a b))
-> XMLParser (OneOf2 a b) -> XMLParser (OneOf2 a b)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf2 a b)
-> XMLParser (OneOf2 a b) -> XMLParser (OneOf2 a b)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf2 a b
forall a b. b -> OneOf2 a b
TwoOf2
        (XMLParser (OneOf2 a b) -> XMLParser (OneOf2 a b))
-> XMLParser (OneOf2 a b) -> XMLParser (OneOf2 a b)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf2 a b)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf2"
    toContents :: OneOf2 a b -> [Content ()]
toContents (OneOf2 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf2 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x

foldOneOf2 :: (a->z) -> (b->z) ->
               OneOf2 a b
               -> z
foldOneOf2 :: (a -> z) -> (b -> z) -> OneOf2 a b -> z
foldOneOf2 a -> z
a b -> z
b (OneOf2 a
z) = a -> z
a a
z
foldOneOf2 a -> z
a b -> z
b (TwoOf2 b
z) = b -> z
b b
z

----
data OneOf3 a b c
    = OneOf3 a | TwoOf3 b | ThreeOf3 c
    deriving (OneOf3 a b c -> OneOf3 a b c -> Bool
(OneOf3 a b c -> OneOf3 a b c -> Bool)
-> (OneOf3 a b c -> OneOf3 a b c -> Bool) -> Eq (OneOf3 a b c)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c.
(Eq a, Eq b, Eq c) =>
OneOf3 a b c -> OneOf3 a b c -> Bool
/= :: OneOf3 a b c -> OneOf3 a b c -> Bool
$c/= :: forall a b c.
(Eq a, Eq b, Eq c) =>
OneOf3 a b c -> OneOf3 a b c -> Bool
== :: OneOf3 a b c -> OneOf3 a b c -> Bool
$c== :: forall a b c.
(Eq a, Eq b, Eq c) =>
OneOf3 a b c -> OneOf3 a b c -> Bool
Eq,Int -> OneOf3 a b c -> ShowS
[OneOf3 a b c] -> ShowS
OneOf3 a b c -> String
(Int -> OneOf3 a b c -> ShowS)
-> (OneOf3 a b c -> String)
-> ([OneOf3 a b c] -> ShowS)
-> Show (OneOf3 a b c)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b c.
(Show a, Show b, Show c) =>
Int -> OneOf3 a b c -> ShowS
forall a b c. (Show a, Show b, Show c) => [OneOf3 a b c] -> ShowS
forall a b c. (Show a, Show b, Show c) => OneOf3 a b c -> String
showList :: [OneOf3 a b c] -> ShowS
$cshowList :: forall a b c. (Show a, Show b, Show c) => [OneOf3 a b c] -> ShowS
show :: OneOf3 a b c -> String
$cshow :: forall a b c. (Show a, Show b, Show c) => OneOf3 a b c -> String
showsPrec :: Int -> OneOf3 a b c -> ShowS
$cshowsPrec :: forall a b c.
(Show a, Show b, Show c) =>
Int -> OneOf3 a b c -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c)
    => HTypeable (OneOf3 a b c)
  where      toHType :: OneOf3 a b c -> HType
toHType OneOf3 a b c
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf3" [] []

instance (XmlContent a,XmlContent b,XmlContent c)
    => XmlContent (OneOf3 a b c)
  where
    parseContents :: XMLParser (OneOf3 a b c)
parseContents =
        (a -> OneOf3 a b c)
-> XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf3 a b c
forall a b c. a -> OneOf3 a b c
OneOf3 (XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c))
-> XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf3 a b c)
-> XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf3 a b c
forall a b c. b -> OneOf3 a b c
TwoOf3 (XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c))
-> XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf3 a b c)
-> XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf3 a b c
forall a b c. c -> OneOf3 a b c
ThreeOf3
        (XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c))
-> XMLParser (OneOf3 a b c) -> XMLParser (OneOf3 a b c)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf3 a b c)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf3"
    toContents :: OneOf3 a b c -> [Content ()]
toContents (OneOf3 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf3 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf3 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x

foldOneOf3 :: (a->z) -> (b->z) -> (c->z) ->
               OneOf3 a b c
               -> z
foldOneOf3 :: (a -> z) -> (b -> z) -> (c -> z) -> OneOf3 a b c -> z
foldOneOf3 a -> z
a b -> z
b c -> z
c (OneOf3 a
z) = a -> z
a a
z
foldOneOf3 a -> z
a b -> z
b c -> z
c (TwoOf3 b
z) = b -> z
b b
z
foldOneOf3 a -> z
a b -> z
b c -> z
c (ThreeOf3 c
z) = c -> z
c c
z

----
data OneOf4 a b c d
    = OneOf4 a | TwoOf4 b | ThreeOf4 c | FourOf4 d
    deriving (OneOf4 a b c d -> OneOf4 a b c d -> Bool
(OneOf4 a b c d -> OneOf4 a b c d -> Bool)
-> (OneOf4 a b c d -> OneOf4 a b c d -> Bool)
-> Eq (OneOf4 a b c d)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d.
(Eq a, Eq b, Eq c, Eq d) =>
OneOf4 a b c d -> OneOf4 a b c d -> Bool
/= :: OneOf4 a b c d -> OneOf4 a b c d -> Bool
$c/= :: forall a b c d.
(Eq a, Eq b, Eq c, Eq d) =>
OneOf4 a b c d -> OneOf4 a b c d -> Bool
== :: OneOf4 a b c d -> OneOf4 a b c d -> Bool
$c== :: forall a b c d.
(Eq a, Eq b, Eq c, Eq d) =>
OneOf4 a b c d -> OneOf4 a b c d -> Bool
Eq,Int -> OneOf4 a b c d -> ShowS
[OneOf4 a b c d] -> ShowS
OneOf4 a b c d -> String
(Int -> OneOf4 a b c d -> ShowS)
-> (OneOf4 a b c d -> String)
-> ([OneOf4 a b c d] -> ShowS)
-> Show (OneOf4 a b c d)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b c d.
(Show a, Show b, Show c, Show d) =>
Int -> OneOf4 a b c d -> ShowS
forall a b c d.
(Show a, Show b, Show c, Show d) =>
[OneOf4 a b c d] -> ShowS
forall a b c d.
(Show a, Show b, Show c, Show d) =>
OneOf4 a b c d -> String
showList :: [OneOf4 a b c d] -> ShowS
$cshowList :: forall a b c d.
(Show a, Show b, Show c, Show d) =>
[OneOf4 a b c d] -> ShowS
show :: OneOf4 a b c d -> String
$cshow :: forall a b c d.
(Show a, Show b, Show c, Show d) =>
OneOf4 a b c d -> String
showsPrec :: Int -> OneOf4 a b c d -> ShowS
$cshowsPrec :: forall a b c d.
(Show a, Show b, Show c, Show d) =>
Int -> OneOf4 a b c d -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d)
    => HTypeable (OneOf4 a b c d)
  where      toHType :: OneOf4 a b c d -> HType
toHType OneOf4 a b c d
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf4" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d)
    => XmlContent (OneOf4 a b c d)
  where
    parseContents :: XMLParser (OneOf4 a b c d)
parseContents =
        (a -> OneOf4 a b c d)
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf4 a b c d
forall a b c d. a -> OneOf4 a b c d
OneOf4 (XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d))
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf4 a b c d)
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf4 a b c d
forall a b c d. b -> OneOf4 a b c d
TwoOf4 (XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d))
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf4 a b c d)
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf4 a b c d
forall a b c d. c -> OneOf4 a b c d
ThreeOf4 (XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d))
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf4 a b c d)
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf4 a b c d
forall a b c d. d -> OneOf4 a b c d
FourOf4
        (XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d))
-> XMLParser (OneOf4 a b c d) -> XMLParser (OneOf4 a b c d)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf4 a b c d)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf4"
    toContents :: OneOf4 a b c d -> [Content ()]
toContents (OneOf4 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf4 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf4 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf4 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x

foldOneOf4 :: (a->z) -> (b->z) -> (c->z) -> (d->z) ->
               OneOf4 a b c d
               -> z
foldOneOf4 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> OneOf4 a b c d -> z
foldOneOf4 a -> z
a b -> z
b c -> z
c d -> z
d (OneOf4 a
z) = a -> z
a a
z
foldOneOf4 a -> z
a b -> z
b c -> z
c d -> z
d (TwoOf4 b
z) = b -> z
b b
z
foldOneOf4 a -> z
a b -> z
b c -> z
c d -> z
d (ThreeOf4 c
z) = c -> z
c c
z
foldOneOf4 a -> z
a b -> z
b c -> z
c d -> z
d (FourOf4 d
z) = d -> z
d d
z

----
data OneOf5 a b c d e
    = OneOf5 a | TwoOf5 b | ThreeOf5 c | FourOf5 d | FiveOf5 e
    deriving (OneOf5 a b c d e -> OneOf5 a b c d e -> Bool
(OneOf5 a b c d e -> OneOf5 a b c d e -> Bool)
-> (OneOf5 a b c d e -> OneOf5 a b c d e -> Bool)
-> Eq (OneOf5 a b c d e)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e.
(Eq a, Eq b, Eq c, Eq d, Eq e) =>
OneOf5 a b c d e -> OneOf5 a b c d e -> Bool
/= :: OneOf5 a b c d e -> OneOf5 a b c d e -> Bool
$c/= :: forall a b c d e.
(Eq a, Eq b, Eq c, Eq d, Eq e) =>
OneOf5 a b c d e -> OneOf5 a b c d e -> Bool
== :: OneOf5 a b c d e -> OneOf5 a b c d e -> Bool
$c== :: forall a b c d e.
(Eq a, Eq b, Eq c, Eq d, Eq e) =>
OneOf5 a b c d e -> OneOf5 a b c d e -> Bool
Eq,Int -> OneOf5 a b c d e -> ShowS
[OneOf5 a b c d e] -> ShowS
OneOf5 a b c d e -> String
(Int -> OneOf5 a b c d e -> ShowS)
-> (OneOf5 a b c d e -> String)
-> ([OneOf5 a b c d e] -> ShowS)
-> Show (OneOf5 a b c d e)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b c d e.
(Show a, Show b, Show c, Show d, Show e) =>
Int -> OneOf5 a b c d e -> ShowS
forall a b c d e.
(Show a, Show b, Show c, Show d, Show e) =>
[OneOf5 a b c d e] -> ShowS
forall a b c d e.
(Show a, Show b, Show c, Show d, Show e) =>
OneOf5 a b c d e -> String
showList :: [OneOf5 a b c d e] -> ShowS
$cshowList :: forall a b c d e.
(Show a, Show b, Show c, Show d, Show e) =>
[OneOf5 a b c d e] -> ShowS
show :: OneOf5 a b c d e -> String
$cshow :: forall a b c d e.
(Show a, Show b, Show c, Show d, Show e) =>
OneOf5 a b c d e -> String
showsPrec :: Int -> OneOf5 a b c d e -> ShowS
$cshowsPrec :: forall a b c d e.
(Show a, Show b, Show c, Show d, Show e) =>
Int -> OneOf5 a b c d e -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e)
    => HTypeable (OneOf5 a b c d e)
  where      toHType :: OneOf5 a b c d e -> HType
toHType OneOf5 a b c d e
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf5" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e)
    => XmlContent (OneOf5 a b c d e)
  where
    parseContents :: XMLParser (OneOf5 a b c d e)
parseContents =
        (a -> OneOf5 a b c d e)
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf5 a b c d e
forall a b c d e. a -> OneOf5 a b c d e
OneOf5 (XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e))
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf5 a b c d e)
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf5 a b c d e
forall a b c d e. b -> OneOf5 a b c d e
TwoOf5 (XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e))
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf5 a b c d e)
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf5 a b c d e
forall a b c d e. c -> OneOf5 a b c d e
ThreeOf5 (XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e))
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf5 a b c d e)
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf5 a b c d e
forall a b c d e. d -> OneOf5 a b c d e
FourOf5
        (XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e))
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf5 a b c d e)
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf5 a b c d e
forall a b c d e. e -> OneOf5 a b c d e
FiveOf5
        (XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e))
-> XMLParser (OneOf5 a b c d e) -> XMLParser (OneOf5 a b c d e)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf5 a b c d e)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf5"
    toContents :: OneOf5 a b c d e -> [Content ()]
toContents (OneOf5 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf5 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf5 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf5 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf5 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x

foldOneOf5 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) ->
               OneOf5 a b c d e
               -> z
foldOneOf5 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> OneOf5 a b c d e
-> z
foldOneOf5 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e (OneOf5 a
z) = a -> z
a a
z
foldOneOf5 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e (TwoOf5 b
z) = b -> z
b b
z
foldOneOf5 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e (ThreeOf5 c
z) = c -> z
c c
z
foldOneOf5 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e (FourOf5 d
z) = d -> z
d d
z
foldOneOf5 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e (FiveOf5 e
z) = e -> z
e e
z

----
data OneOf6 a b c d e f
    = OneOf6 a | TwoOf6 b | ThreeOf6 c | FourOf6 d | FiveOf6 e | SixOf6 f
    deriving (OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool
(OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool)
-> (OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool)
-> Eq (OneOf6 a b c d e f)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) =>
OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool
/= :: OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool
$c/= :: forall a b c d e f.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) =>
OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool
== :: OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool
$c== :: forall a b c d e f.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) =>
OneOf6 a b c d e f -> OneOf6 a b c d e f -> Bool
Eq,Int -> OneOf6 a b c d e f -> ShowS
[OneOf6 a b c d e f] -> ShowS
OneOf6 a b c d e f -> String
(Int -> OneOf6 a b c d e f -> ShowS)
-> (OneOf6 a b c d e f -> String)
-> ([OneOf6 a b c d e f] -> ShowS)
-> Show (OneOf6 a b c d e f)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b c d e f.
(Show a, Show b, Show c, Show d, Show e, Show f) =>
Int -> OneOf6 a b c d e f -> ShowS
forall a b c d e f.
(Show a, Show b, Show c, Show d, Show e, Show f) =>
[OneOf6 a b c d e f] -> ShowS
forall a b c d e f.
(Show a, Show b, Show c, Show d, Show e, Show f) =>
OneOf6 a b c d e f -> String
showList :: [OneOf6 a b c d e f] -> ShowS
$cshowList :: forall a b c d e f.
(Show a, Show b, Show c, Show d, Show e, Show f) =>
[OneOf6 a b c d e f] -> ShowS
show :: OneOf6 a b c d e f -> String
$cshow :: forall a b c d e f.
(Show a, Show b, Show c, Show d, Show e, Show f) =>
OneOf6 a b c d e f -> String
showsPrec :: Int -> OneOf6 a b c d e f -> ShowS
$cshowsPrec :: forall a b c d e f.
(Show a, Show b, Show c, Show d, Show e, Show f) =>
Int -> OneOf6 a b c d e f -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f)
    => HTypeable (OneOf6 a b c d e f)
  where      toHType :: OneOf6 a b c d e f -> HType
toHType OneOf6 a b c d e f
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf6" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f)
    => XmlContent (OneOf6 a b c d e f)
  where
    parseContents :: XMLParser (OneOf6 a b c d e f)
parseContents =
        (a -> OneOf6 a b c d e f)
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf6 a b c d e f
forall a b c d e f. a -> OneOf6 a b c d e f
OneOf6 (XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f))
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf6 a b c d e f)
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf6 a b c d e f
forall a b c d e f. b -> OneOf6 a b c d e f
TwoOf6 (XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f))
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf6 a b c d e f)
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf6 a b c d e f
forall a b c d e f. c -> OneOf6 a b c d e f
ThreeOf6 (XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f))
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf6 a b c d e f)
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf6 a b c d e f
forall a b c d e f. d -> OneOf6 a b c d e f
FourOf6
        (XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f))
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf6 a b c d e f)
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf6 a b c d e f
forall a b c d e f. e -> OneOf6 a b c d e f
FiveOf6 (XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f))
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf6 a b c d e f)
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf6 a b c d e f
forall a b c d e f. f -> OneOf6 a b c d e f
SixOf6
        (XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f))
-> XMLParser (OneOf6 a b c d e f) -> XMLParser (OneOf6 a b c d e f)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf6 a b c d e f)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf6"
    toContents :: OneOf6 a b c d e f -> [Content ()]
toContents (OneOf6 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf6 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf6 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf6 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf6 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf6 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x

foldOneOf6 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               OneOf6 a b c d e f
               -> z
foldOneOf6 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> OneOf6 a b c d e f
-> z
foldOneOf6 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f (OneOf6 a
z) = a -> z
a a
z
foldOneOf6 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f (TwoOf6 b
z) = b -> z
b b
z
foldOneOf6 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f (ThreeOf6 c
z) = c -> z
c c
z
foldOneOf6 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f (FourOf6 d
z) = d -> z
d d
z
foldOneOf6 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f (FiveOf6 e
z) = e -> z
e e
z
foldOneOf6 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f (SixOf6 f
z) = f -> z
f f
z

----
data OneOf7 a b c d e f g
    = OneOf7 a | TwoOf7 b | ThreeOf7 c | FourOf7 d | FiveOf7 e | SixOf7 f
    | SevenOf7 g
    deriving (OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool
(OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool)
-> (OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool)
-> Eq (OneOf7 a b c d e f g)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) =>
OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool
/= :: OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool
$c/= :: forall a b c d e f g.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) =>
OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool
== :: OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool
$c== :: forall a b c d e f g.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) =>
OneOf7 a b c d e f g -> OneOf7 a b c d e f g -> Bool
Eq,Int -> OneOf7 a b c d e f g -> ShowS
[OneOf7 a b c d e f g] -> ShowS
OneOf7 a b c d e f g -> String
(Int -> OneOf7 a b c d e f g -> ShowS)
-> (OneOf7 a b c d e f g -> String)
-> ([OneOf7 a b c d e f g] -> ShowS)
-> Show (OneOf7 a b c d e f g)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b c d e f g.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) =>
Int -> OneOf7 a b c d e f g -> ShowS
forall a b c d e f g.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) =>
[OneOf7 a b c d e f g] -> ShowS
forall a b c d e f g.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) =>
OneOf7 a b c d e f g -> String
showList :: [OneOf7 a b c d e f g] -> ShowS
$cshowList :: forall a b c d e f g.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) =>
[OneOf7 a b c d e f g] -> ShowS
show :: OneOf7 a b c d e f g -> String
$cshow :: forall a b c d e f g.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) =>
OneOf7 a b c d e f g -> String
showsPrec :: Int -> OneOf7 a b c d e f g -> ShowS
$cshowsPrec :: forall a b c d e f g.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) =>
Int -> OneOf7 a b c d e f g -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g)
    => HTypeable (OneOf7 a b c d e f g)
  where      toHType :: OneOf7 a b c d e f g -> HType
toHType OneOf7 a b c d e f g
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf7" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g)
    => XmlContent (OneOf7 a b c d e f g)
  where
    parseContents :: XMLParser (OneOf7 a b c d e f g)
parseContents =
        (a -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf7 a b c d e f g
forall a b c d e f g. a -> OneOf7 a b c d e f g
OneOf7 (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf7 a b c d e f g
forall a b c d e f g. b -> OneOf7 a b c d e f g
TwoOf7 (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf7 a b c d e f g
forall a b c d e f g. c -> OneOf7 a b c d e f g
ThreeOf7 (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf7 a b c d e f g
forall a b c d e f g. d -> OneOf7 a b c d e f g
FourOf7
        (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf7 a b c d e f g
forall a b c d e f g. e -> OneOf7 a b c d e f g
FiveOf7 (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf7 a b c d e f g
forall a b c d e f g. f -> OneOf7 a b c d e f g
SixOf7 (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf7 a b c d e f g
forall a b c d e f g. g -> OneOf7 a b c d e f g
SevenOf7
        (XMLParser (OneOf7 a b c d e f g)
 -> XMLParser (OneOf7 a b c d e f g))
-> XMLParser (OneOf7 a b c d e f g)
-> XMLParser (OneOf7 a b c d e f g)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf7 a b c d e f g)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf7"
    toContents :: OneOf7 a b c d e f g -> [Content ()]
toContents (OneOf7 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf7 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf7 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf7 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf7 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf7 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf7 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x

foldOneOf7 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) ->
               OneOf7 a b c d e f g
               -> z
foldOneOf7 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> OneOf7 a b c d e f g
-> z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (OneOf7 a
z) = a -> z
a a
z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (TwoOf7 b
z) = b -> z
b b
z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (ThreeOf7 c
z) = c -> z
c c
z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (FourOf7 d
z) = d -> z
d d
z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (FiveOf7 e
z) = e -> z
e e
z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (SixOf7 f
z) = f -> z
f f
z
foldOneOf7 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g (SevenOf7 g
z) = g -> z
g g
z

----
data OneOf8 a b c d e f g h
    = OneOf8 a | TwoOf8 b | ThreeOf8 c | FourOf8 d | FiveOf8 e | SixOf8 f
    | SevenOf8 g | EightOf8 h
    deriving (OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool
(OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool)
-> (OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool)
-> Eq (OneOf8 a b c d e f g h)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) =>
OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool
/= :: OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool
$c/= :: forall a b c d e f g h.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) =>
OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool
== :: OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool
$c== :: forall a b c d e f g h.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) =>
OneOf8 a b c d e f g h -> OneOf8 a b c d e f g h -> Bool
Eq,Int -> OneOf8 a b c d e f g h -> ShowS
[OneOf8 a b c d e f g h] -> ShowS
OneOf8 a b c d e f g h -> String
(Int -> OneOf8 a b c d e f g h -> ShowS)
-> (OneOf8 a b c d e f g h -> String)
-> ([OneOf8 a b c d e f g h] -> ShowS)
-> Show (OneOf8 a b c d e f g h)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall a b c d e f g h.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) =>
Int -> OneOf8 a b c d e f g h -> ShowS
forall a b c d e f g h.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) =>
[OneOf8 a b c d e f g h] -> ShowS
forall a b c d e f g h.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) =>
OneOf8 a b c d e f g h -> String
showList :: [OneOf8 a b c d e f g h] -> ShowS
$cshowList :: forall a b c d e f g h.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) =>
[OneOf8 a b c d e f g h] -> ShowS
show :: OneOf8 a b c d e f g h -> String
$cshow :: forall a b c d e f g h.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) =>
OneOf8 a b c d e f g h -> String
showsPrec :: Int -> OneOf8 a b c d e f g h -> ShowS
$cshowsPrec :: forall a b c d e f g h.
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) =>
Int -> OneOf8 a b c d e f g h -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h)
    => HTypeable (OneOf8 a b c d e f g h)
  where      toHType :: OneOf8 a b c d e f g h -> HType
toHType OneOf8 a b c d e f g h
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf8" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h)
    => XmlContent (OneOf8 a b c d e f g h)
  where
    parseContents :: XMLParser (OneOf8 a b c d e f g h)
parseContents =
        (a -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf8 a b c d e f g h
forall a b c d e f g h. a -> OneOf8 a b c d e f g h
OneOf8 (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf8 a b c d e f g h
forall a b c d e f g h. b -> OneOf8 a b c d e f g h
TwoOf8 (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf8 a b c d e f g h
forall a b c d e f g h. c -> OneOf8 a b c d e f g h
ThreeOf8 (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf8 a b c d e f g h
forall a b c d e f g h. d -> OneOf8 a b c d e f g h
FourOf8
        (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf8 a b c d e f g h
forall a b c d e f g h. e -> OneOf8 a b c d e f g h
FiveOf8 (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf8 a b c d e f g h
forall a b c d e f g h. f -> OneOf8 a b c d e f g h
SixOf8 (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf8 a b c d e f g h
forall a b c d e f g h. g -> OneOf8 a b c d e f g h
SevenOf8 (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf8 a b c d e f g h
forall a b c d e f g h. h -> OneOf8 a b c d e f g h
EightOf8
        (XMLParser (OneOf8 a b c d e f g h)
 -> XMLParser (OneOf8 a b c d e f g h))
-> XMLParser (OneOf8 a b c d e f g h)
-> XMLParser (OneOf8 a b c d e f g h)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf8 a b c d e f g h)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf8"
    toContents :: OneOf8 a b c d e f g h -> [Content ()]
toContents (OneOf8 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf8 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf8 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf8 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf8 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf8 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf8 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf8 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x

foldOneOf8 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) ->
               OneOf8 a b c d e f g h
               -> z
foldOneOf8 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> OneOf8 a b c d e f g h
-> z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (OneOf8 a
z) = a -> z
a a
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (TwoOf8 b
z) = b -> z
b b
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (ThreeOf8 c
z) = c -> z
c c
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (FourOf8 d
z) = d -> z
d d
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (FiveOf8 e
z) = e -> z
e e
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (SixOf8 f
z) = f -> z
f f
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (SevenOf8 g
z) = g -> z
g g
z
foldOneOf8 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h (EightOf8 h
z) = h -> z
h h
z

----
data OneOf9 a b c d e f g h i
    = OneOf9 a | TwoOf9 b | ThreeOf9 c | FourOf9 d | FiveOf9 e | SixOf9 f
    | SevenOf9 g | EightOf9 h | NineOf9 i
    deriving (OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool
(OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool)
-> (OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool)
-> Eq (OneOf9 a b c d e f g h i)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) =>
OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool
/= :: OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool
$c/= :: forall a b c d e f g h i.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) =>
OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool
== :: OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool
$c== :: forall a b c d e f g h i.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) =>
OneOf9 a b c d e f g h i -> OneOf9 a b c d e f g h i -> Bool
Eq,Int -> OneOf9 a b c d e f g h i -> ShowS
[OneOf9 a b c d e f g h i] -> ShowS
OneOf9 a b c d e f g h i -> String
(Int -> OneOf9 a b c d e f g h i -> ShowS)
-> (OneOf9 a b c d e f g h i -> String)
-> ([OneOf9 a b c d e f g h i] -> ShowS)
-> Show (OneOf9 a b c d e f g h i)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf9 a b c d e f g h i -> ShowS
forall 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) =>
[OneOf9 a b c d e f g h i] -> ShowS
forall 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) =>
OneOf9 a b c d e f g h i -> String
showList :: [OneOf9 a b c d e f g h i] -> ShowS
$cshowList :: forall 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) =>
[OneOf9 a b c d e f g h i] -> ShowS
show :: OneOf9 a b c d e f g h i -> String
$cshow :: forall 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) =>
OneOf9 a b c d e f g h i -> String
showsPrec :: Int -> OneOf9 a b c d e f g h i -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf9 a b c d e f g h i -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i)
    => HTypeable (OneOf9 a b c d e f g h i)
  where      toHType :: OneOf9 a b c d e f g h i -> HType
toHType OneOf9 a b c d e f g h i
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf9" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i)
    => XmlContent (OneOf9 a b c d e f g h i)
  where
    parseContents :: XMLParser (OneOf9 a b c d e f g h i)
parseContents =
        (a -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. a -> OneOf9 a b c d e f g h i
OneOf9 (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. b -> OneOf9 a b c d e f g h i
TwoOf9 (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. c -> OneOf9 a b c d e f g h i
ThreeOf9 (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. d -> OneOf9 a b c d e f g h i
FourOf9
        (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. e -> OneOf9 a b c d e f g h i
FiveOf9 (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. f -> OneOf9 a b c d e f g h i
SixOf9 (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. g -> OneOf9 a b c d e f g h i
SevenOf9 (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. h -> OneOf9 a b c d e f g h i
EightOf9
        (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf9 a b c d e f g h i
forall a b c d e f g h i. i -> OneOf9 a b c d e f g h i
NineOf9
        (XMLParser (OneOf9 a b c d e f g h i)
 -> XMLParser (OneOf9 a b c d e f g h i))
-> XMLParser (OneOf9 a b c d e f g h i)
-> XMLParser (OneOf9 a b c d e f g h i)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf9 a b c d e f g h i)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf9"
    toContents :: OneOf9 a b c d e f g h i -> [Content ()]
toContents (OneOf9 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf9 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf9 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf9 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf9 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf9 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf9 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf9 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf9 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x

foldOneOf9 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) ->
               OneOf9 a b c d e f g h i
               -> z
foldOneOf9 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> OneOf9 a b c d e f g h i
-> z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (OneOf9 a
z) = a -> z
a a
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (TwoOf9 b
z) = b -> z
b b
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (ThreeOf9 c
z) = c -> z
c c
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (FourOf9 d
z) = d -> z
d d
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (FiveOf9 e
z) = e -> z
e e
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (SixOf9 f
z) = f -> z
f f
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (SevenOf9 g
z) = g -> z
g g
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (EightOf9 h
z) = h -> z
h h
z
foldOneOf9 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i (NineOf9 i
z) = i -> z
i i
z

----
data OneOf10 a b c d e f g h i j
    = OneOf10 a | TwoOf10 b | ThreeOf10 c | FourOf10 d | FiveOf10 e
    | SixOf10 f | SevenOf10 g | EightOf10 h | NineOf10 i | TenOf10 j
    deriving (OneOf10 a b c d e f g h i j -> OneOf10 a b c d e f g h i j -> Bool
(OneOf10 a b c d e f g h i j
 -> OneOf10 a b c d e f g h i j -> Bool)
-> (OneOf10 a b c d e f g h i j
    -> OneOf10 a b c d e f g h i j -> Bool)
-> Eq (OneOf10 a b c d e f g h i j)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) =>
OneOf10 a b c d e f g h i j -> OneOf10 a b c d e f g h i j -> Bool
/= :: OneOf10 a b c d e f g h i j -> OneOf10 a b c d e f g h i j -> Bool
$c/= :: forall a b c d e f g h i j.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) =>
OneOf10 a b c d e f g h i j -> OneOf10 a b c d e f g h i j -> Bool
== :: OneOf10 a b c d e f g h i j -> OneOf10 a b c d e f g h i j -> Bool
$c== :: forall a b c d e f g h i j.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) =>
OneOf10 a b c d e f g h i j -> OneOf10 a b c d e f g h i j -> Bool
Eq,Int -> OneOf10 a b c d e f g h i j -> ShowS
[OneOf10 a b c d e f g h i j] -> ShowS
OneOf10 a b c d e f g h i j -> String
(Int -> OneOf10 a b c d e f g h i j -> ShowS)
-> (OneOf10 a b c d e f g h i j -> String)
-> ([OneOf10 a b c d e f g h i j] -> ShowS)
-> Show (OneOf10 a b c d e f g h i j)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf10 a b c d e f g h i j -> ShowS
forall 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) =>
[OneOf10 a b c d e f g h i j] -> ShowS
forall 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) =>
OneOf10 a b c d e f g h i j -> String
showList :: [OneOf10 a b c d e f g h i j] -> ShowS
$cshowList :: forall 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) =>
[OneOf10 a b c d e f g h i j] -> ShowS
show :: OneOf10 a b c d e f g h i j -> String
$cshow :: forall 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) =>
OneOf10 a b c d e f g h i j -> String
showsPrec :: Int -> OneOf10 a b c d e f g h i j -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf10 a b c d e f g h i j -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j)
    => HTypeable (OneOf10 a b c d e f g h i j)
  where      toHType :: OneOf10 a b c d e f g h i j -> HType
toHType OneOf10 a b c d e f g h i j
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf10" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j)
    => XmlContent (OneOf10 a b c d e f g h i j)
  where
    parseContents :: XMLParser (OneOf10 a b c d e f g h i j)
parseContents =
        (a -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. a -> OneOf10 a b c d e f g h i j
OneOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. b -> OneOf10 a b c d e f g h i j
TwoOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. c -> OneOf10 a b c d e f g h i j
ThreeOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. d -> OneOf10 a b c d e f g h i j
FourOf10
        (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. e -> OneOf10 a b c d e f g h i j
FiveOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. f -> OneOf10 a b c d e f g h i j
SixOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. g -> OneOf10 a b c d e f g h i j
SevenOf10
        (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. h -> OneOf10 a b c d e f g h i j
EightOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. i -> OneOf10 a b c d e f g h i j
NineOf10 (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf10 a b c d e f g h i j
forall a b c d e f g h i j. j -> OneOf10 a b c d e f g h i j
TenOf10
        (XMLParser (OneOf10 a b c d e f g h i j)
 -> XMLParser (OneOf10 a b c d e f g h i j))
-> XMLParser (OneOf10 a b c d e f g h i j)
-> XMLParser (OneOf10 a b c d e f g h i j)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf10 a b c d e f g h i j)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf10"
    toContents :: OneOf10 a b c d e f g h i j -> [Content ()]
toContents (OneOf10 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf10 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf10 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf10 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf10 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf10 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf10 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf10 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf10 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf10 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x

foldOneOf10 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) -> (j->z) ->
               OneOf10 a b c d e f g h i j
               -> z
foldOneOf10 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> (j -> z)
-> OneOf10 a b c d e f g h i j
-> z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (OneOf10 a
z) = a -> z
a a
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (TwoOf10 b
z) = b -> z
b b
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (ThreeOf10 c
z) = c -> z
c c
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (FourOf10 d
z) = d -> z
d d
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (FiveOf10 e
z) = e -> z
e e
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (SixOf10 f
z) = f -> z
f f
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (SevenOf10 g
z) = g -> z
g g
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (EightOf10 h
z) = h -> z
h h
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (NineOf10 i
z) = i -> z
i i
z
foldOneOf10 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j (TenOf10 j
z) = j -> z
j j
z

----
data OneOf11 a b c d e f g h i j k
    = OneOf11 a | TwoOf11 b | ThreeOf11 c | FourOf11 d | FiveOf11 e
    | SixOf11 f | SevenOf11 g | EightOf11 h | NineOf11 i | TenOf11 j
    | ElevenOf11 k
    deriving (OneOf11 a b c d e f g h i j k
-> OneOf11 a b c d e f g h i j k -> Bool
(OneOf11 a b c d e f g h i j k
 -> OneOf11 a b c d e f g h i j k -> Bool)
-> (OneOf11 a b c d e f g h i j k
    -> OneOf11 a b c d e f g h i j k -> Bool)
-> Eq (OneOf11 a b c d e f g h i j k)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j k.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j,
 Eq k) =>
OneOf11 a b c d e f g h i j k
-> OneOf11 a b c d e f g h i j k -> Bool
/= :: OneOf11 a b c d e f g h i j k
-> OneOf11 a b c d e f g h i j k -> Bool
$c/= :: forall a b c d e f g h i j k.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j,
 Eq k) =>
OneOf11 a b c d e f g h i j k
-> OneOf11 a b c d e f g h i j k -> Bool
== :: OneOf11 a b c d e f g h i j k
-> OneOf11 a b c d e f g h i j k -> Bool
$c== :: forall a b c d e f g h i j k.
(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j,
 Eq k) =>
OneOf11 a b c d e f g h i j k
-> OneOf11 a b c d e f g h i j k -> Bool
Eq,Int -> OneOf11 a b c d e f g h i j k -> ShowS
[OneOf11 a b c d e f g h i j k] -> ShowS
OneOf11 a b c d e f g h i j k -> String
(Int -> OneOf11 a b c d e f g h i j k -> ShowS)
-> (OneOf11 a b c d e f g h i j k -> String)
-> ([OneOf11 a b c d e f g h i j k] -> ShowS)
-> Show (OneOf11 a b c d e f g h i j k)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf11 a b c d e f g h i j k -> ShowS
forall 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) =>
[OneOf11 a b c d e f g h i j k] -> ShowS
forall 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) =>
OneOf11 a b c d e f g h i j k -> String
showList :: [OneOf11 a b c d e f g h i j k] -> ShowS
$cshowList :: forall 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) =>
[OneOf11 a b c d e f g h i j k] -> ShowS
show :: OneOf11 a b c d e f g h i j k -> String
$cshow :: forall 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) =>
OneOf11 a b c d e f g h i j k -> String
showsPrec :: Int -> OneOf11 a b c d e f g h i j k -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf11 a b c d e f g h i j k -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j
         ,HTypeable k)
    => HTypeable (OneOf11 a b c d e f g h i j k)
  where      toHType :: OneOf11 a b c d e f g h i j k -> HType
toHType OneOf11 a b c d e f g h i j k
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf11" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j
         ,XmlContent k)
    => XmlContent (OneOf11 a b c d e f g h i j k)
  where
    parseContents :: XMLParser (OneOf11 a b c d e f g h i j k)
parseContents =
        (a -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. a -> OneOf11 a b c d e f g h i j k
OneOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. b -> OneOf11 a b c d e f g h i j k
TwoOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. c -> OneOf11 a b c d e f g h i j k
ThreeOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. d -> OneOf11 a b c d e f g h i j k
FourOf11
        (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. e -> OneOf11 a b c d e f g h i j k
FiveOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. f -> OneOf11 a b c d e f g h i j k
SixOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. g -> OneOf11 a b c d e f g h i j k
SevenOf11
        (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. h -> OneOf11 a b c d e f g h i j k
EightOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. i -> OneOf11 a b c d e f g h i j k
NineOf11 (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. j -> OneOf11 a b c d e f g h i j k
TenOf11
        (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ (k -> OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice k -> OneOf11 a b c d e f g h i j k
forall a b c d e f g h i j k. k -> OneOf11 a b c d e f g h i j k
ElevenOf11
        (XMLParser (OneOf11 a b c d e f g h i j k)
 -> XMLParser (OneOf11 a b c d e f g h i j k))
-> XMLParser (OneOf11 a b c d e f g h i j k)
-> XMLParser (OneOf11 a b c d e f g h i j k)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf11 a b c d e f g h i j k)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf11"
    toContents :: OneOf11 a b c d e f g h i j k -> [Content ()]
toContents (OneOf11 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf11 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf11 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf11 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf11 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf11 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf11 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf11 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf11 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf11 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x
    toContents (ElevenOf11 k
x) = k -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents k
x

foldOneOf11 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) -> (j->z) -> (k->z) ->
               OneOf11 a b c d e f g h i j k
               -> z
foldOneOf11 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> (j -> z)
-> (k -> z)
-> OneOf11 a b c d e f g h i j k
-> z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (OneOf11 a
z) = a -> z
a a
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (TwoOf11 b
z) = b -> z
b b
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (ThreeOf11 c
z) = c -> z
c c
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (FourOf11 d
z) = d -> z
d d
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (FiveOf11 e
z) = e -> z
e e
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (SixOf11 f
z) = f -> z
f f
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (SevenOf11 g
z) = g -> z
g g
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (EightOf11 h
z) = h -> z
h h
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (NineOf11 i
z) = i -> z
i i
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (TenOf11 j
z) = j -> z
j j
z
foldOneOf11 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k (ElevenOf11 k
z) = k -> z
k k
z

----
data OneOf12 a b c d e f g h i j k l
    = OneOf12 a | TwoOf12 b | ThreeOf12 c | FourOf12 d | FiveOf12 e
    | SixOf12 f | SevenOf12 g | EightOf12 h | NineOf12 i | TenOf12 j
    | ElevenOf12 k | TwelveOf12 l
    deriving (OneOf12 a b c d e f g h i j k l
-> OneOf12 a b c d e f g h i j k l -> Bool
(OneOf12 a b c d e f g h i j k l
 -> OneOf12 a b c d e f g h i j k l -> Bool)
-> (OneOf12 a b c d e f g h i j k l
    -> OneOf12 a b c d e f g h i j k l -> Bool)
-> Eq (OneOf12 a b c d e f g h i j k l)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j k 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) =>
OneOf12 a b c d e f g h i j k l
-> OneOf12 a b c d e f g h i j k l -> Bool
/= :: OneOf12 a b c d e f g h i j k l
-> OneOf12 a b c d e f g h i j k l -> Bool
$c/= :: forall a b c d e f g h i j k 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) =>
OneOf12 a b c d e f g h i j k l
-> OneOf12 a b c d e f g h i j k l -> Bool
== :: OneOf12 a b c d e f g h i j k l
-> OneOf12 a b c d e f g h i j k l -> Bool
$c== :: forall a b c d e f g h i j k 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) =>
OneOf12 a b c d e f g h i j k l
-> OneOf12 a b c d e f g h i j k l -> Bool
Eq,Int -> OneOf12 a b c d e f g h i j k l -> ShowS
[OneOf12 a b c d e f g h i j k l] -> ShowS
OneOf12 a b c d e f g h i j k l -> String
(Int -> OneOf12 a b c d e f g h i j k l -> ShowS)
-> (OneOf12 a b c d e f g h i j k l -> String)
-> ([OneOf12 a b c d e f g h i j k l] -> ShowS)
-> Show (OneOf12 a b c d e f g h i j k l)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf12 a b c d e f g h i j k l -> ShowS
forall 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) =>
[OneOf12 a b c d e f g h i j k l] -> ShowS
forall 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) =>
OneOf12 a b c d e f g h i j k l -> String
showList :: [OneOf12 a b c d e f g h i j k l] -> ShowS
$cshowList :: forall 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) =>
[OneOf12 a b c d e f g h i j k l] -> ShowS
show :: OneOf12 a b c d e f g h i j k l -> String
$cshow :: forall 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) =>
OneOf12 a b c d e f g h i j k l -> String
showsPrec :: Int -> OneOf12 a b c d e f g h i j k l -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf12 a b c d e f g h i j k l -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j
         ,HTypeable k,HTypeable l)
    => HTypeable (OneOf12 a b c d e f g h i j k l)
  where      toHType :: OneOf12 a b c d e f g h i j k l -> HType
toHType OneOf12 a b c d e f g h i j k l
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf12" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j
         ,XmlContent k,XmlContent l)
    => XmlContent (OneOf12 a b c d e f g h i j k l)
  where
    parseContents :: XMLParser (OneOf12 a b c d e f g h i j k l)
parseContents =
        (a -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
a -> OneOf12 a b c d e f g h i j k l
OneOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
b -> OneOf12 a b c d e f g h i j k l
TwoOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
c -> OneOf12 a b c d e f g h i j k l
ThreeOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
d -> OneOf12 a b c d e f g h i j k l
FourOf12
        (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
e -> OneOf12 a b c d e f g h i j k l
FiveOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
f -> OneOf12 a b c d e f g h i j k l
SixOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
g -> OneOf12 a b c d e f g h i j k l
SevenOf12
        (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
h -> OneOf12 a b c d e f g h i j k l
EightOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
i -> OneOf12 a b c d e f g h i j k l
NineOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
j -> OneOf12 a b c d e f g h i j k l
TenOf12
        (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (k -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice k -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
k -> OneOf12 a b c d e f g h i j k l
ElevenOf12 (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ (l -> OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice l -> OneOf12 a b c d e f g h i j k l
forall a b c d e f g h i j k l.
l -> OneOf12 a b c d e f g h i j k l
TwelveOf12
        (XMLParser (OneOf12 a b c d e f g h i j k l)
 -> XMLParser (OneOf12 a b c d e f g h i j k l))
-> XMLParser (OneOf12 a b c d e f g h i j k l)
-> XMLParser (OneOf12 a b c d e f g h i j k l)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf12 a b c d e f g h i j k l)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf12"
    toContents :: OneOf12 a b c d e f g h i j k l -> [Content ()]
toContents (OneOf12 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf12 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf12 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf12 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf12 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf12 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf12 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf12 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf12 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf12 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x
    toContents (ElevenOf12 k
x) = k -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents k
x
    toContents (TwelveOf12 l
x) = l -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents l
x

foldOneOf12 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) -> (j->z) -> (k->z) -> (l->z) ->
               OneOf12 a b c d e f g h i j k l
               -> z
foldOneOf12 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> (j -> z)
-> (k -> z)
-> (l -> z)
-> OneOf12 a b c d e f g h i j k l
-> z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (OneOf12 a
z) = a -> z
a a
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (TwoOf12 b
z) = b -> z
b b
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (ThreeOf12 c
z) = c -> z
c c
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (FourOf12 d
z) = d -> z
d d
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (FiveOf12 e
z) = e -> z
e e
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (SixOf12 f
z) = f -> z
f f
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (SevenOf12 g
z) = g -> z
g g
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (EightOf12 h
z) = h -> z
h h
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (NineOf12 i
z) = i -> z
i i
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (TenOf12 j
z) = j -> z
j j
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (ElevenOf12 k
z) = k -> z
k k
z
foldOneOf12 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l (TwelveOf12 l
z) = l -> z
l l
z

----
data OneOf13 a b c d e f g h i j k l m
    = OneOf13 a | TwoOf13 b | ThreeOf13 c | FourOf13 d | FiveOf13 e
    | SixOf13 f | SevenOf13 g | EightOf13 h | NineOf13 i | TenOf13 j
    | ElevenOf13 k | TwelveOf13 l | ThirteenOf13 m
    deriving (OneOf13 a b c d e f g h i j k l m
-> OneOf13 a b c d e f g h i j k l m -> Bool
(OneOf13 a b c d e f g h i j k l m
 -> OneOf13 a b c d e f g h i j k l m -> Bool)
-> (OneOf13 a b c d e f g h i j k l m
    -> OneOf13 a b c d e f g h i j k l m -> Bool)
-> Eq (OneOf13 a b c d e f g h i j k l m)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j k l 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) =>
OneOf13 a b c d e f g h i j k l m
-> OneOf13 a b c d e f g h i j k l m -> Bool
/= :: OneOf13 a b c d e f g h i j k l m
-> OneOf13 a b c d e f g h i j k l m -> Bool
$c/= :: forall a b c d e f g h i j k l 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) =>
OneOf13 a b c d e f g h i j k l m
-> OneOf13 a b c d e f g h i j k l m -> Bool
== :: OneOf13 a b c d e f g h i j k l m
-> OneOf13 a b c d e f g h i j k l m -> Bool
$c== :: forall a b c d e f g h i j k l 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) =>
OneOf13 a b c d e f g h i j k l m
-> OneOf13 a b c d e f g h i j k l m -> Bool
Eq,Int -> OneOf13 a b c d e f g h i j k l m -> ShowS
[OneOf13 a b c d e f g h i j k l m] -> ShowS
OneOf13 a b c d e f g h i j k l m -> String
(Int -> OneOf13 a b c d e f g h i j k l m -> ShowS)
-> (OneOf13 a b c d e f g h i j k l m -> String)
-> ([OneOf13 a b c d e f g h i j k l m] -> ShowS)
-> Show (OneOf13 a b c d e f g h i j k l m)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf13 a b c d e f g h i j k l m -> ShowS
forall 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) =>
[OneOf13 a b c d e f g h i j k l m] -> ShowS
forall 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) =>
OneOf13 a b c d e f g h i j k l m -> String
showList :: [OneOf13 a b c d e f g h i j k l m] -> ShowS
$cshowList :: forall 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) =>
[OneOf13 a b c d e f g h i j k l m] -> ShowS
show :: OneOf13 a b c d e f g h i j k l m -> String
$cshow :: forall 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) =>
OneOf13 a b c d e f g h i j k l m -> String
showsPrec :: Int -> OneOf13 a b c d e f g h i j k l m -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf13 a b c d e f g h i j k l m -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j
         ,HTypeable k,HTypeable l,HTypeable m)
    => HTypeable (OneOf13 a b c d e f g h i j k l m)
  where      toHType :: OneOf13 a b c d e f g h i j k l m -> HType
toHType OneOf13 a b c d e f g h i j k l m
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf13" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j
         ,XmlContent k,XmlContent l,XmlContent m)
    => XmlContent (OneOf13 a b c d e f g h i j k l m)
  where
    parseContents :: XMLParser (OneOf13 a b c d e f g h i j k l m)
parseContents =
        (a -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
a -> OneOf13 a b c d e f g h i j k l m
OneOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
b -> OneOf13 a b c d e f g h i j k l m
TwoOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
c -> OneOf13 a b c d e f g h i j k l m
ThreeOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
d -> OneOf13 a b c d e f g h i j k l m
FourOf13
        (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
e -> OneOf13 a b c d e f g h i j k l m
FiveOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
f -> OneOf13 a b c d e f g h i j k l m
SixOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
g -> OneOf13 a b c d e f g h i j k l m
SevenOf13
        (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
h -> OneOf13 a b c d e f g h i j k l m
EightOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
i -> OneOf13 a b c d e f g h i j k l m
NineOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
j -> OneOf13 a b c d e f g h i j k l m
TenOf13
        (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (k -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice k -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
k -> OneOf13 a b c d e f g h i j k l m
ElevenOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (l -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice l -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
l -> OneOf13 a b c d e f g h i j k l m
TwelveOf13 (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ (m -> OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice m -> OneOf13 a b c d e f g h i j k l m
forall a b c d e f g h i j k l m.
m -> OneOf13 a b c d e f g h i j k l m
ThirteenOf13
        (XMLParser (OneOf13 a b c d e f g h i j k l m)
 -> XMLParser (OneOf13 a b c d e f g h i j k l m))
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
-> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf13 a b c d e f g h i j k l m)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf13"
    toContents :: OneOf13 a b c d e f g h i j k l m -> [Content ()]
toContents (OneOf13 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf13 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf13 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf13 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf13 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf13 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf13 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf13 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf13 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf13 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x
    toContents (ElevenOf13 k
x) = k -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents k
x
    toContents (TwelveOf13 l
x) = l -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents l
x
    toContents (ThirteenOf13 m
x) = m -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents m
x

foldOneOf13 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) -> (j->z) -> (k->z) -> (l->z) ->
               (m->z) ->
               OneOf13 a b c d e f g h i j k l m
               -> z
foldOneOf13 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> (j -> z)
-> (k -> z)
-> (l -> z)
-> (m -> z)
-> OneOf13 a b c d e f g h i j k l m
-> z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (OneOf13 a
z) = a -> z
a a
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (TwoOf13 b
z) = b -> z
b b
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (ThreeOf13 c
z) = c -> z
c c
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (FourOf13 d
z) = d -> z
d d
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (FiveOf13 e
z) = e -> z
e e
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (SixOf13 f
z) = f -> z
f f
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (SevenOf13 g
z) = g -> z
g g
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (EightOf13 h
z) = h -> z
h h
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (NineOf13 i
z) = i -> z
i i
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (TenOf13 j
z) = j -> z
j j
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (ElevenOf13 k
z) = k -> z
k k
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (TwelveOf13 l
z) = l -> z
l l
z
foldOneOf13 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m (ThirteenOf13 m
z) = m -> z
m m
z

----
data OneOf14 a b c d e f g h i j k l m n
    = OneOf14 a | TwoOf14 b | ThreeOf14 c | FourOf14 d | FiveOf14 e
    | SixOf14 f | SevenOf14 g | EightOf14 h | NineOf14 i | TenOf14 j
    | ElevenOf14 k | TwelveOf14 l | ThirteenOf14 m | FourteenOf14 n
    deriving (OneOf14 a b c d e f g h i j k l m n
-> OneOf14 a b c d e f g h i j k l m n -> Bool
(OneOf14 a b c d e f g h i j k l m n
 -> OneOf14 a b c d e f g h i j k l m n -> Bool)
-> (OneOf14 a b c d e f g h i j k l m n
    -> OneOf14 a b c d e f g h i j k l m n -> Bool)
-> Eq (OneOf14 a b c d e f g h i j k l m n)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j k l m 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) =>
OneOf14 a b c d e f g h i j k l m n
-> OneOf14 a b c d e f g h i j k l m n -> Bool
/= :: OneOf14 a b c d e f g h i j k l m n
-> OneOf14 a b c d e f g h i j k l m n -> Bool
$c/= :: forall a b c d e f g h i j k l m 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) =>
OneOf14 a b c d e f g h i j k l m n
-> OneOf14 a b c d e f g h i j k l m n -> Bool
== :: OneOf14 a b c d e f g h i j k l m n
-> OneOf14 a b c d e f g h i j k l m n -> Bool
$c== :: forall a b c d e f g h i j k l m 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) =>
OneOf14 a b c d e f g h i j k l m n
-> OneOf14 a b c d e f g h i j k l m n -> Bool
Eq,Int -> OneOf14 a b c d e f g h i j k l m n -> ShowS
[OneOf14 a b c d e f g h i j k l m n] -> ShowS
OneOf14 a b c d e f g h i j k l m n -> String
(Int -> OneOf14 a b c d e f g h i j k l m n -> ShowS)
-> (OneOf14 a b c d e f g h i j k l m n -> String)
-> ([OneOf14 a b c d e f g h i j k l m n] -> ShowS)
-> Show (OneOf14 a b c d e f g h i j k l m n)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf14 a b c d e f g h i j k l m n -> ShowS
forall 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) =>
[OneOf14 a b c d e f g h i j k l m n] -> ShowS
forall 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) =>
OneOf14 a b c d e f g h i j k l m n -> String
showList :: [OneOf14 a b c d e f g h i j k l m n] -> ShowS
$cshowList :: forall 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) =>
[OneOf14 a b c d e f g h i j k l m n] -> ShowS
show :: OneOf14 a b c d e f g h i j k l m n -> String
$cshow :: forall 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) =>
OneOf14 a b c d e f g h i j k l m n -> String
showsPrec :: Int -> OneOf14 a b c d e f g h i j k l m n -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf14 a b c d e f g h i j k l m n -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j
         ,HTypeable k,HTypeable l,HTypeable m,HTypeable n)
    => HTypeable (OneOf14 a b c d e f g h i j k l m n)
  where      toHType :: OneOf14 a b c d e f g h i j k l m n -> HType
toHType OneOf14 a b c d e f g h i j k l m n
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf14" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j
         ,XmlContent k,XmlContent l,XmlContent m,XmlContent n)
    => XmlContent (OneOf14 a b c d e f g h i j k l m n)
  where
    parseContents :: XMLParser (OneOf14 a b c d e f g h i j k l m n)
parseContents =
        (a -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
a -> OneOf14 a b c d e f g h i j k l m n
OneOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
b -> OneOf14 a b c d e f g h i j k l m n
TwoOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
c -> OneOf14 a b c d e f g h i j k l m n
ThreeOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
d -> OneOf14 a b c d e f g h i j k l m n
FourOf14
        (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
e -> OneOf14 a b c d e f g h i j k l m n
FiveOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
f -> OneOf14 a b c d e f g h i j k l m n
SixOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
g -> OneOf14 a b c d e f g h i j k l m n
SevenOf14
        (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
h -> OneOf14 a b c d e f g h i j k l m n
EightOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
i -> OneOf14 a b c d e f g h i j k l m n
NineOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
j -> OneOf14 a b c d e f g h i j k l m n
TenOf14
        (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (k -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice k -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
k -> OneOf14 a b c d e f g h i j k l m n
ElevenOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (l -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice l -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
l -> OneOf14 a b c d e f g h i j k l m n
TwelveOf14 (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (m -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice m -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
m -> OneOf14 a b c d e f g h i j k l m n
ThirteenOf14
        (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ (n -> OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice n -> OneOf14 a b c d e f g h i j k l m n
forall a b c d e f g h i j k l m n.
n -> OneOf14 a b c d e f g h i j k l m n
FourteenOf14
        (XMLParser (OneOf14 a b c d e f g h i j k l m n)
 -> XMLParser (OneOf14 a b c d e f g h i j k l m n))
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
-> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf14 a b c d e f g h i j k l m n)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf14"
    toContents :: OneOf14 a b c d e f g h i j k l m n -> [Content ()]
toContents (OneOf14 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf14 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf14 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf14 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf14 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf14 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf14 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf14 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf14 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf14 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x
    toContents (ElevenOf14 k
x) = k -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents k
x
    toContents (TwelveOf14 l
x) = l -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents l
x
    toContents (ThirteenOf14 m
x) = m -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents m
x
    toContents (FourteenOf14 n
x) = n -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents n
x

foldOneOf14 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) -> (j->z) -> (k->z) -> (l->z) ->
               (m->z) -> (n->z) ->
               OneOf14 a b c d e f g h i j k l m n
               -> z
foldOneOf14 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> (j -> z)
-> (k -> z)
-> (l -> z)
-> (m -> z)
-> (n -> z)
-> OneOf14 a b c d e f g h i j k l m n
-> z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (OneOf14 a
z) = a -> z
a a
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (TwoOf14 b
z) = b -> z
b b
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (ThreeOf14 c
z) = c -> z
c c
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (FourOf14 d
z) = d -> z
d d
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (FiveOf14 e
z) = e -> z
e e
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (SixOf14 f
z) = f -> z
f f
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (SevenOf14 g
z) = g -> z
g g
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (EightOf14 h
z) = h -> z
h h
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (NineOf14 i
z) = i -> z
i i
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (TenOf14 j
z) = j -> z
j j
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (ElevenOf14 k
z) = k -> z
k k
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (TwelveOf14 l
z) = l -> z
l l
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (ThirteenOf14 m
z) = m -> z
m m
z
foldOneOf14 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n (FourteenOf14 n
z) = n -> z
n n
z

----
data OneOf15 a b c d e f g h i j k l m n o
    = OneOf15 a | TwoOf15 b | ThreeOf15 c | FourOf15 d | FiveOf15 e
    | SixOf15 f | SevenOf15 g | EightOf15 h | NineOf15 i | TenOf15 j
    | ElevenOf15 k | TwelveOf15 l | ThirteenOf15 m | FourteenOf15 n
    | FifteenOf15 o
    deriving (OneOf15 a b c d e f g h i j k l m n o
-> OneOf15 a b c d e f g h i j k l m n o -> Bool
(OneOf15 a b c d e f g h i j k l m n o
 -> OneOf15 a b c d e f g h i j k l m n o -> Bool)
-> (OneOf15 a b c d e f g h i j k l m n o
    -> OneOf15 a b c d e f g h i j k l m n o -> Bool)
-> Eq (OneOf15 a b c d e f g h i j k l m n o)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j k l m n 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) =>
OneOf15 a b c d e f g h i j k l m n o
-> OneOf15 a b c d e f g h i j k l m n o -> Bool
/= :: OneOf15 a b c d e f g h i j k l m n o
-> OneOf15 a b c d e f g h i j k l m n o -> Bool
$c/= :: forall a b c d e f g h i j k l m n 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) =>
OneOf15 a b c d e f g h i j k l m n o
-> OneOf15 a b c d e f g h i j k l m n o -> Bool
== :: OneOf15 a b c d e f g h i j k l m n o
-> OneOf15 a b c d e f g h i j k l m n o -> Bool
$c== :: forall a b c d e f g h i j k l m n 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) =>
OneOf15 a b c d e f g h i j k l m n o
-> OneOf15 a b c d e f g h i j k l m n o -> Bool
Eq,Int -> OneOf15 a b c d e f g h i j k l m n o -> ShowS
[OneOf15 a b c d e f g h i j k l m n o] -> ShowS
OneOf15 a b c d e f g h i j k l m n o -> String
(Int -> OneOf15 a b c d e f g h i j k l m n o -> ShowS)
-> (OneOf15 a b c d e f g h i j k l m n o -> String)
-> ([OneOf15 a b c d e f g h i j k l m n o] -> ShowS)
-> Show (OneOf15 a b c d e f g h i j k l m n o)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf15 a b c d e f g h i j k l m n o -> ShowS
forall 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) =>
[OneOf15 a b c d e f g h i j k l m n o] -> ShowS
forall 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) =>
OneOf15 a b c d e f g h i j k l m n o -> String
showList :: [OneOf15 a b c d e f g h i j k l m n o] -> ShowS
$cshowList :: forall 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) =>
[OneOf15 a b c d e f g h i j k l m n o] -> ShowS
show :: OneOf15 a b c d e f g h i j k l m n o -> String
$cshow :: forall 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) =>
OneOf15 a b c d e f g h i j k l m n o -> String
showsPrec :: Int -> OneOf15 a b c d e f g h i j k l m n o -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf15 a b c d e f g h i j k l m n o -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j
         ,HTypeable k,HTypeable l,HTypeable m,HTypeable n,HTypeable o)
    => HTypeable (OneOf15 a b c d e f g h i j k l m n o)
  where      toHType :: OneOf15 a b c d e f g h i j k l m n o -> HType
toHType OneOf15 a b c d e f g h i j k l m n o
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf15" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j
         ,XmlContent k,XmlContent l,XmlContent m,XmlContent n,XmlContent o)
    => XmlContent (OneOf15 a b c d e f g h i j k l m n o)
  where
    parseContents :: XMLParser (OneOf15 a b c d e f g h i j k l m n o)
parseContents =
        (a -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
a -> OneOf15 a b c d e f g h i j k l m n o
OneOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
b -> OneOf15 a b c d e f g h i j k l m n o
TwoOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
c -> OneOf15 a b c d e f g h i j k l m n o
ThreeOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
d -> OneOf15 a b c d e f g h i j k l m n o
FourOf15
        (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
e -> OneOf15 a b c d e f g h i j k l m n o
FiveOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
f -> OneOf15 a b c d e f g h i j k l m n o
SixOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
g -> OneOf15 a b c d e f g h i j k l m n o
SevenOf15
        (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
h -> OneOf15 a b c d e f g h i j k l m n o
EightOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
i -> OneOf15 a b c d e f g h i j k l m n o
NineOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
j -> OneOf15 a b c d e f g h i j k l m n o
TenOf15
        (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (k -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice k -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
k -> OneOf15 a b c d e f g h i j k l m n o
ElevenOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (l -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice l -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
l -> OneOf15 a b c d e f g h i j k l m n o
TwelveOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (m -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice m -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
m -> OneOf15 a b c d e f g h i j k l m n o
ThirteenOf15
        (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (n -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice n -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
n -> OneOf15 a b c d e f g h i j k l m n o
FourteenOf15 (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ (o -> OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice o -> OneOf15 a b c d e f g h i j k l m n o
forall a b c d e f g h i j k l m n o.
o -> OneOf15 a b c d e f g h i j k l m n o
FifteenOf15
        (XMLParser (OneOf15 a b c d e f g h i j k l m n o)
 -> XMLParser (OneOf15 a b c d e f g h i j k l m n o))
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
-> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf15 a b c d e f g h i j k l m n o)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf15"
    toContents :: OneOf15 a b c d e f g h i j k l m n o -> [Content ()]
toContents (OneOf15 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf15 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf15 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf15 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf15 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf15 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf15 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf15 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf15 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf15 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x
    toContents (ElevenOf15 k
x) = k -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents k
x
    toContents (TwelveOf15 l
x) = l -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents l
x
    toContents (ThirteenOf15 m
x) = m -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents m
x
    toContents (FourteenOf15 n
x) = n -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents n
x
    toContents (FifteenOf15 o
x) = o -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents o
x

foldOneOf15 :: (a->z) -> (b->z) -> (c->z) -> (d->z) -> (e->z) -> (f->z) ->
               (g->z) -> (h->z) -> (i->z) -> (j->z) -> (k->z) -> (l->z) ->
               (m->z) -> (n->z) -> (o->z) ->
               OneOf15 a b c d e f g h i j k l m n o
               -> z
foldOneOf15 :: (a -> z)
-> (b -> z)
-> (c -> z)
-> (d -> z)
-> (e -> z)
-> (f -> z)
-> (g -> z)
-> (h -> z)
-> (i -> z)
-> (j -> z)
-> (k -> z)
-> (l -> z)
-> (m -> z)
-> (n -> z)
-> (o -> z)
-> OneOf15 a b c d e f g h i j k l m n o
-> z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (OneOf15 a
z) = a -> z
a a
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (TwoOf15 b
z) = b -> z
b b
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (ThreeOf15 c
z) = c -> z
c c
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (FourOf15 d
z) = d -> z
d d
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (FiveOf15 e
z) = e -> z
e e
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (SixOf15 f
z) = f -> z
f f
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (SevenOf15 g
z) = g -> z
g g
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (EightOf15 h
z) = h -> z
h h
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (NineOf15 i
z) = i -> z
i i
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (TenOf15 j
z) = j -> z
j j
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (ElevenOf15 k
z) = k -> z
k k
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (TwelveOf15 l
z) = l -> z
l l
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (ThirteenOf15 m
z) = m -> z
m m
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (FourteenOf15 n
z) = n -> z
n n
z
foldOneOf15 a -> z
a b -> z
b c -> z
c d -> z
d e -> z
e f -> z
f g -> z
g h -> z
h i -> z
i j -> z
j k -> z
k l -> z
l m -> z
m n -> z
n o -> z
o (FifteenOf15 o
z) = o -> z
o o
z

----
data OneOf16 a b c d e f g h i j k l m n o p
    = OneOf16 a | TwoOf16 b | ThreeOf16 c | FourOf16 d | FiveOf16 e
    | SixOf16 f | SevenOf16 g | EightOf16 h | NineOf16 i | TenOf16 j
    | ElevenOf16 k | TwelveOf16 l | ThirteenOf16 m | FourteenOf16 n
    | FifteenOf16 o | SixteenOf16 p
    deriving (OneOf16 a b c d e f g h i j k l m n o p
-> OneOf16 a b c d e f g h i j k l m n o p -> Bool
(OneOf16 a b c d e f g h i j k l m n o p
 -> OneOf16 a b c d e f g h i j k l m n o p -> Bool)
-> (OneOf16 a b c d e f g h i j k l m n o p
    -> OneOf16 a b c d e f g h i j k l m n o p -> Bool)
-> Eq (OneOf16 a b c d e f g h i j k l m n o p)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall a b c d e f g h i j k l m n o 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) =>
OneOf16 a b c d e f g h i j k l m n o p
-> OneOf16 a b c d e f g h i j k l m n o p -> Bool
/= :: OneOf16 a b c d e f g h i j k l m n o p
-> OneOf16 a b c d e f g h i j k l m n o p -> Bool
$c/= :: forall a b c d e f g h i j k l m n o 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) =>
OneOf16 a b c d e f g h i j k l m n o p
-> OneOf16 a b c d e f g h i j k l m n o p -> Bool
== :: OneOf16 a b c d e f g h i j k l m n o p
-> OneOf16 a b c d e f g h i j k l m n o p -> Bool
$c== :: forall a b c d e f g h i j k l m n o 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) =>
OneOf16 a b c d e f g h i j k l m n o p
-> OneOf16 a b c d e f g h i j k l m n o p -> Bool
Eq,Int -> OneOf16 a b c d e f g h i j k l m n o p -> ShowS
[OneOf16 a b c d e f g h i j k l m n o p] -> ShowS
OneOf16 a b c d e f g h i j k l m n o p -> String
(Int -> OneOf16 a b c d e f g h i j k l m n o p -> ShowS)
-> (OneOf16 a b c d e f g h i j k l m n o p -> String)
-> ([OneOf16 a b c d e f g h i j k l m n o p] -> ShowS)
-> Show (OneOf16 a b c d e f g h i j k l m n o p)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall 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) =>
Int -> OneOf16 a b c d e f g h i j k l m n o p -> ShowS
forall 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) =>
[OneOf16 a b c d e f g h i j k l m n o p] -> ShowS
forall 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) =>
OneOf16 a b c d e f g h i j k l m n o p -> String
showList :: [OneOf16 a b c d e f g h i j k l m n o p] -> ShowS
$cshowList :: forall 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) =>
[OneOf16 a b c d e f g h i j k l m n o p] -> ShowS
show :: OneOf16 a b c d e f g h i j k l m n o p -> String
$cshow :: forall 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) =>
OneOf16 a b c d e f g h i j k l m n o p -> String
showsPrec :: Int -> OneOf16 a b c d e f g h i j k l m n o p -> ShowS
$cshowsPrec :: forall 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) =>
Int -> OneOf16 a b c d e f g h i j k l m n o p -> ShowS
Show)

instance (HTypeable a,HTypeable b,HTypeable c,HTypeable d,HTypeable e
         ,HTypeable f,HTypeable g,HTypeable h,HTypeable i,HTypeable j
         ,HTypeable k,HTypeable l,HTypeable m,HTypeable n,HTypeable o
         ,HTypeable p)
    => HTypeable (OneOf16 a b c d e f g h i j k l m n o p)
  where      toHType :: OneOf16 a b c d e f g h i j k l m n o p -> HType
toHType OneOf16 a b c d e f g h i j k l m n o p
_ = String -> [HType] -> [Constr] -> HType
Defined String
"OneOf16" [] []

instance (XmlContent a,XmlContent b,XmlContent c,XmlContent d,XmlContent e
         ,XmlContent f,XmlContent g,XmlContent h,XmlContent i,XmlContent j
         ,XmlContent k,XmlContent l,XmlContent m,XmlContent n,XmlContent o
         ,XmlContent p)
    => XmlContent (OneOf16 a b c d e f g h i j k l m n o p)
  where
    parseContents :: XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
parseContents =
        (a -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice a -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
a -> OneOf16 a b c d e f g h i j k l m n o p
OneOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (b -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice b -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
b -> OneOf16 a b c d e f g h i j k l m n o p
TwoOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (c -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice c -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
c -> OneOf16 a b c d e f g h i j k l m n o p
ThreeOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (d -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice d -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
d -> OneOf16 a b c d e f g h i j k l m n o p
FourOf16
        (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (e -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice e -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
e -> OneOf16 a b c d e f g h i j k l m n o p
FiveOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (f -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice f -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
f -> OneOf16 a b c d e f g h i j k l m n o p
SixOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (g -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice g -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
g -> OneOf16 a b c d e f g h i j k l m n o p
SevenOf16
        (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (h -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice h -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
h -> OneOf16 a b c d e f g h i j k l m n o p
EightOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (i -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice i -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
i -> OneOf16 a b c d e f g h i j k l m n o p
NineOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (j -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice j -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
j -> OneOf16 a b c d e f g h i j k l m n o p
TenOf16
        (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (k -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice k -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
k -> OneOf16 a b c d e f g h i j k l m n o p
ElevenOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (l -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice l -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
l -> OneOf16 a b c d e f g h i j k l m n o p
TwelveOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (m -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice m -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
m -> OneOf16 a b c d e f g h i j k l m n o p
ThirteenOf16
        (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (n -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice n -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
n -> OneOf16 a b c d e f g h i j k l m n o p
FourteenOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (o -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice o -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
o -> OneOf16 a b c d e f g h i j k l m n o p
FifteenOf16 (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ (p -> OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. XmlContent a => (a -> b) -> XMLParser b -> XMLParser b
choice p -> OneOf16 a b c d e f g h i j k l m n o p
forall a b c d e f g h i j k l m n o p.
p -> OneOf16 a b c d e f g h i j k l m n o p
SixteenOf16
        (XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
 -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p))
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
-> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall a b. (a -> b) -> a -> b
$ String -> XMLParser (OneOf16 a b c d e f g h i j k l m n o p)
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"OneOf16"
    toContents :: OneOf16 a b c d e f g h i j k l m n o p -> [Content ()]
toContents (OneOf16 a
x) = a -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents a
x
    toContents (TwoOf16 b
x) = b -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents b
x
    toContents (ThreeOf16 c
x) = c -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents c
x
    toContents (FourOf16 d
x) = d -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents d
x
    toContents (FiveOf16 e
x) = e -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents e
x
    toContents (SixOf16 f
x) = f -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents f
x
    toContents (SevenOf16 g
x) = g -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents g
x
    toContents (EightOf16 h
x) = h -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents h
x
    toContents (NineOf16 i
x) = i -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents i
x
    toContents (TenOf16 j
x) = j -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents j
x
    toContents (ElevenOf16 k
x) = k -> [Content ()]
forall a. XmlContent a => a -> [Content ()]
toContents k
x
    toContents