@@ -4,7 +4,6 @@ module Text.XML.DOM.Parser.FromDom
44 , proxyFromDom
55 -- * Explicit methods for convenience
66 , elementFromDom
7− , unionFromDom
87 , textFromDom
98 , stringFromDom
109 , charFromDom
@@ -21,7 +20,6 @@ module Text.XML.DOM.Parser.FromDom
2120import Control.Applicative
2221import Control.Lens
2322import Data.Fixed
24−import Data.OpenUnion
2523import Data.Scientific
2624import Data.Text as T hiding (empty)
2725import Data.Typeable
@@ -29,7 +27,6 @@ import Data.Void
2927import Text.XML
3028import Text.XML.DOM.Parser.Content
3129import Text.XML.DOM.Parser.Types
32−import TypeFun.Data.List hiding (Union)
3330
3431proxyFromDom
3532 :: forall proxy m a
@@ -116,23 +113,6 @@ instance FromDom Bool where
116113boolFromDom :: (Monad m) => DomParserT Identity m Bool
117114boolFromDom = parseContent readBool
118115
119−instance FromDom (Union '[]) where
120− fromDom = empty
121−
122−instance
123− ( Typeable a, FromDom a, FromDom (Union as)
124− , SubList as (a ': as) )
125− => FromDom (Union (a ': as)) where
126− -- fromDom :: forall m. (DomParserMonad m) => m a
127− fromDom = (liftUnion <$> (proxyFromDom (Proxy :: Proxy a)))
128− <|> (reUnion <$> (proxyFromDom (Proxy :: Proxy (Union as))))
129−
130−unionFromDom
131− :: (Monad m, FromDom (Union as))
132− => proxy as
133− -> DomParserT Identity m (Union as)
134−unionFromDom _ = fromDom
135−
136116instance FromDom Element where
137117 fromDom = elementFromDom
138118