{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE FlexibleContexts #-}
module Text.XML.Stream.Token
    ( tokenToBuilder
    , TName (..)
    , Token (..)
    , TAttribute
    , NSLevel (..)
    ) where

import Data.XML.Types (Instruction (..), Content (..), ExternalID (..))
import qualified Data.Text as T
import Data.Text (Text)
import Data.Text.Encoding (encodeUtf8Builder, encodeUtf8BuilderEscaped)
import Data.String (IsString (fromString))
import Data.ByteString.Builder (Builder)
import qualified Data.ByteString.Builder.Prim as E
import Data.ByteString.Builder.Prim ((>*<), (>$<), condB)
import Data.Monoid (mconcat, mempty, (<>))
import Data.Map (Map)
import qualified Data.Set as Set
import Data.List (foldl')
import Control.Arrow (first)
import Data.Word (Word8)

oneSpace :: Builder
oneSpace :: Builder
oneSpace = " "

data Token = TokenXMLDeclaration [TAttribute]
           | TokenInstruction Instruction
           | TokenBeginElement TName [TAttribute] Bool Int -- ^ indent
           | TokenEndElement TName
           | TokenContent Content
           | TokenComment Text
           | TokenDoctype Text (Maybe ExternalID) [(Text, Text)]
           | TokenCDATA Text
    deriving Int -> Token -> ShowS
[Token] -> ShowS
Token -> String
(Int -> Token -> ShowS)
-> (Token -> String) -> ([Token] -> ShowS) -> Show Token
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Token] -> ShowS
$cshowList :: [Token] -> ShowS
show :: Token -> String
$cshow :: Token -> String
showsPrec :: Int -> Token -> ShowS
$cshowsPrec :: Int -> Token -> ShowS
Show
tokenToBuilder :: Token -> Builder
tokenToBuilder :: Token -> Builder
tokenToBuilder (TokenXMLDeclaration attrs :: [TAttribute]
attrs) =
    "<?xml" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    Builder -> [TAttribute] -> Builder
foldAttrs Builder
oneSpace [TAttribute]
attrs Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    "?>"
tokenToBuilder (TokenInstruction (Instruction target :: Text
target data_ :: Text
data_)) =
    "<?" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    Text -> Builder
encodeUtf8Builder Text
target Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    " " Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    Text -> Builder
encodeUtf8Builder Text
data_ Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    "?>"
tokenToBuilder (TokenBeginElement name :: TName
name attrs' :: [TAttribute]
attrs' isEmpty :: Bool
isEmpty indent :: Int
indent) =
    "<" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    TName -> Builder
tnameToText TName
name Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    Builder -> [TAttribute] -> Builder
foldAttrs
        (if Int
indent Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== 0 Bool -> Bool -> Bool
|| [TAttribute] -> Bool
forall a. [a] -> Bool
lessThan3 [TAttribute]
attrs
            then Builder
oneSpace
            else [Builder] -> Builder
forall a. Monoid a => [a] -> a
mconcat ([Builder] -> Builder) -> [Builder] -> Builder
forall a b. (a -> b) -> a -> b
$ ("\n" Builder -> [Builder] -> [Builder]
forall a. a -> [a] -> [a]
: Int -> Builder -> [Builder]
forall a. Int -> a -> [a]
replicate Int
indent " "))
        [TAttribute]
attrs Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    (if Bool
isEmpty then "/>" else ">")
  where
    attrs :: [TAttribute]
attrs = [TAttribute] -> [TAttribute]
nubAttrs ([TAttribute] -> [TAttribute]) -> [TAttribute] -> [TAttribute]
forall a b. (a -> b) -> a -> b
$ (TAttribute -> TAttribute) -> [TAttribute] -> [TAttribute]
forall a b. (a -> b) -> [a] -> [b]
map ((TName -> TName) -> TAttribute -> TAttribute
forall (a :: * -> * -> *) b c d.
Arrow a =>
a b c -> a (b, d) (c, d)
first TName -> TName
splitTName) [TAttribute]
attrs'
    lessThan3 :: [a] -> Bool
lessThan3 [] = Bool
True
    lessThan3 [_] = Bool
True
    lessThan3 [_, _] = Bool
True
    lessThan3 _ = Bool
False
tokenToBuilder (TokenEndElement name :: TName
name) = "</" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> TName -> Builder
tnameToText TName
name Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> ">"
tokenToBuilder (TokenContent c :: Content
c) = Content -> Builder
contentToText Content
c
tokenToBuilder (TokenCDATA t :: Text
t) = "<![CDATA[" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> Text -> Builder
escCDATA Text
t Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> "]]>"
tokenToBuilder (TokenComment t :: Text
t) = "<!--" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> Text -> Builder
encodeUtf8Builder Text
t Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> "-->"
tokenToBuilder (TokenDoctype name :: Text
name eid :: Maybe ExternalID
eid _) =
    "<!DOCTYPE " Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    Text -> Builder
encodeUtf8Builder Text
name Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    Maybe ExternalID -> Builder
go Maybe ExternalID
eid Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
    ">"
  where
    go :: Maybe ExternalID -> Builder
go Nothing = Builder
forall a. Monoid a => a
mempty
    go (Just (SystemID uri :: Text
uri)) = " SYSTEM \"" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> Text -> Builder
encodeUtf8Builder Text
uri Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> "\""
    go (Just (PublicID pid :: Text
pid uri :: Text
uri)) =
        " PUBLIC \"" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
        Text -> Builder
encodeUtf8Builder Text
pid Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
        "\" \"" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
        Text -> Builder
encodeUtf8Builder Text
uri Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
        "\""

data TName = TName (Maybe Text) Text
    deriving (Int -> TName -> ShowS
[TName] -> ShowS
TName -> String
(Int -> TName -> ShowS)
-> (TName -> String) -> ([TName] -> ShowS) -> Show TName
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [TName] -> ShowS
$cshowList :: [TName] -> ShowS
show :: TName -> String
$cshow :: TName -> String
showsPrec :: Int -> TName -> ShowS
$cshowsPrec :: Int -> TName -> ShowS
Show, TName -> TName -> Bool
(TName -> TName -> Bool) -> (TName -> TName -> Bool) -> Eq TName
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: TName -> TName -> Bool
$c/= :: TName -> TName -> Bool
== :: TName -> TName -> Bool
$c== :: TName -> TName -> Bool
Eq, Eq TName
Eq TName =>
(TName -> TName -> Ordering)
-> (TName -> TName -> Bool)
-> (TName -> TName -> Bool)
-> (TName -> TName -> Bool)
-> (TName -> TName -> Bool)
-> (TName -> TName -> TName)
-> (TName -> TName -> TName)
-> Ord TName
TName -> TName -> Bool
TName -> TName -> Ordering
TName -> TName -> TName
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: TName -> TName -> TName
$cmin :: TName -> TName -> TName
max :: TName -> TName -> TName
$cmax :: TName -> TName -> TName
>= :: TName -> TName -> Bool
$c>= :: TName -> TName -> Bool
> :: TName -> TName -> Bool
$c> :: TName -> TName -> Bool
<= :: TName -> TName -> Bool
$c<= :: TName -> TName -> Bool
< :: TName -> TName -> Bool
$c< :: TName -> TName -> Bool
compare :: TName -> TName -> Ordering
$ccompare :: TName -> TName -> Ordering
$cp1Ord :: Eq TName
Ord)

tnameToText :: TName -> Builder
tnameToText :: TName -> Builder
tnameToText (TName Nothing name :: Text
name) = Text -> Builder
encodeUtf8Builder Text
name
tnameToText (TName (Just prefix :: Text
prefix) name :: Text
name) =
  Text -> Builder
encodeUtf8Builder Text
prefix Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> ":" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> Text -> Builder
encodeUtf8Builder Text
name

contentToText :: Content -> Builder
contentToText :: Content -> Builder
contentToText (ContentText t :: Text
t) = BoundedPrim Word8 -> Text -> Builder
encodeUtf8BuilderEscaped BoundedPrim Word8
charUtf8XmlEscaped Text
t
contentToText (ContentEntity e :: Text
e) = "&" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> Text -> Builder
encodeUtf8Builder Text
e Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> ";"

{-# INLINE charUtf8XmlEscaped #-}
charUtf8XmlEscaped :: E.BoundedPrim Word8
charUtf8XmlEscaped :: BoundedPrim Word8
charUtf8XmlEscaped =
    (Word8 -> Bool)
-> BoundedPrim Word8 -> BoundedPrim Word8 -> BoundedPrim Word8
forall a.
(a -> Bool) -> BoundedPrim a -> BoundedPrim a -> BoundedPrim a
condB (Word8 -> Word8 -> Bool
forall a. Ord a => a -> a -> Bool
>  Word8
_gt) (FixedPrim Word8 -> BoundedPrim Word8
forall a. FixedPrim a -> BoundedPrim a
E.liftFixedToBounded FixedPrim Word8
E.word8) (BoundedPrim Word8 -> BoundedPrim Word8)
-> BoundedPrim Word8 -> BoundedPrim Word8
forall a b. (a -> b) -> a -> b
$
    (Word8 -> Bool)
-> BoundedPrim Word8 -> BoundedPrim Word8 -> BoundedPrim Word8
forall a.
(a -> Bool) -> BoundedPrim a -> BoundedPrim a -> BoundedPrim a
condB (Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
_lt) ((Word8, (Word8, (Word8, Word8))) -> BoundedPrim Word8
forall a. (Word8, (Word8, (Word8, Word8))) -> BoundedPrim a
fixed4 (Word8
_am,(Word8
_l,(Word8
_t,Word8
_sc)))) (BoundedPrim Word8 -> BoundedPrim Word8)
-> BoundedPrim Word8 -> BoundedPrim Word8
forall a b. (a -> b) -> a -> b
$       -- &lt;
    (Word8 -> Bool)
-> BoundedPrim Word8 -> BoundedPrim Word8 -> BoundedPrim Word8
forall a.
(a -> Bool) -> BoundedPrim a -> BoundedPrim a -> BoundedPrim a
condB (Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
_gt) ((Word8, (Word8, (Word8, Word8))) -> BoundedPrim Word8
forall a. (Word8, (Word8, (Word8, Word8))) -> BoundedPrim a
fixed4 (Word8
_am,(Word8
_g,(Word8
_t,Word8
_sc)))) (BoundedPrim Word8 -> BoundedPrim Word8)
-> BoundedPrim Word8 -> BoundedPrim Word8
forall a b. (a -> b) -> a -> b
$       -- &gt;
    (Word8 -> Bool)
-> BoundedPrim Word8 -> BoundedPrim Word8 -> BoundedPrim Word8
forall a.
(a -> Bool) -> BoundedPrim a -> BoundedPrim a -> BoundedPrim a
condB (Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
_am) ((Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim Word8
forall a.
(Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim a
fixed5 (Word8
_am,(Word8
_a,(Word8
_m,(Word8
_p,Word8
_sc))))) (BoundedPrim Word8 -> BoundedPrim Word8)
-> BoundedPrim Word8 -> BoundedPrim Word8
forall a b. (a -> b) -> a -> b
$  -- &amp;
    (Word8 -> Bool)
-> BoundedPrim Word8 -> BoundedPrim Word8 -> BoundedPrim Word8
forall a.
(a -> Bool) -> BoundedPrim a -> BoundedPrim a -> BoundedPrim a
condB (Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
_dq) ((Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim Word8
forall a.
(Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim a
fixed5 (Word8
_am,(Word8
_ha,(Word8
_3,(Word8
_4,Word8
_sc))))) (BoundedPrim Word8 -> BoundedPrim Word8)
-> BoundedPrim Word8 -> BoundedPrim Word8
forall a b. (a -> b) -> a -> b
$ -- &#34;
    (Word8 -> Bool)
-> BoundedPrim Word8 -> BoundedPrim Word8 -> BoundedPrim Word8
forall a.
(a -> Bool) -> BoundedPrim a -> BoundedPrim a -> BoundedPrim a
condB (Word8 -> Word8 -> Bool
forall a. Eq a => a -> a -> Bool
== Word8
_sq) ((Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim Word8
forall a.
(Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim a
fixed5 (Word8
_am,(Word8
_ha,(Word8
_3,(Word8
_9,Word8
_sc))))) (BoundedPrim Word8 -> BoundedPrim Word8)
-> BoundedPrim Word8 -> BoundedPrim Word8
forall a b. (a -> b) -> a -> b
$ -- &#39;
    (FixedPrim Word8 -> BoundedPrim Word8
forall a. FixedPrim a -> BoundedPrim a
E.liftFixedToBounded FixedPrim Word8
E.word8)         -- fallback for Chars smaller than '>'
  where
    _gt :: Word8
_gt = 62 -- >
    _lt :: Word8
_lt = 60 -- <
    _am :: Word8
_am = 38 -- &
    _dq :: Word8
_dq = 34 -- "
    _sq :: Word8
_sq = 39 -- '
    _l :: Word8
_l  = 108 -- l
    _t :: Word8
_t  = 116 -- t
    _g :: Word8
_g  = 103 -- g
    _a :: Word8
_a  = 97  -- a
    _m :: Word8
_m  = 109 -- m
    _p :: Word8
_p  = 112 -- p
    _3 :: Word8
_3  = 51  -- 3
    _4 :: Word8
_4  = 52  -- 4
    _ha :: Word8
_ha = 35  -- #, hash
    _9 :: Word8
_9  = 57  -- 9
    _sc :: Word8
_sc = 59  -- ;
    {-# INLINE fixed4 #-}
    fixed4 :: (Word8, (Word8, (Word8, Word8))) -> BoundedPrim a
fixed4 x :: (Word8, (Word8, (Word8, Word8)))
x = FixedPrim a -> BoundedPrim a
forall a. FixedPrim a -> BoundedPrim a
E.liftFixedToBounded (FixedPrim a -> BoundedPrim a) -> FixedPrim a -> BoundedPrim a
forall a b. (a -> b) -> a -> b
$ (Word8, (Word8, (Word8, Word8)))
-> a -> (Word8, (Word8, (Word8, Word8)))
forall a b. a -> b -> a
const (Word8, (Word8, (Word8, Word8)))
x (a -> (Word8, (Word8, (Word8, Word8))))
-> FixedPrim (Word8, (Word8, (Word8, Word8))) -> FixedPrim a
forall (f :: * -> *) b a. Contravariant f => (b -> a) -> f a -> f b
>$<
      FixedPrim Word8
E.word8 FixedPrim Word8
-> FixedPrim (Word8, (Word8, Word8))
-> FixedPrim (Word8, (Word8, (Word8, Word8)))
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8 FixedPrim Word8
-> FixedPrim (Word8, Word8) -> FixedPrim (Word8, (Word8, Word8))
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8 FixedPrim Word8 -> FixedPrim Word8 -> FixedPrim (Word8, Word8)
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8

    {-# INLINE fixed5 #-}
    fixed5 :: (Word8, (Word8, (Word8, (Word8, Word8)))) -> BoundedPrim a
fixed5 x :: (Word8, (Word8, (Word8, (Word8, Word8))))
x = FixedPrim a -> BoundedPrim a
forall a. FixedPrim a -> BoundedPrim a
E.liftFixedToBounded (FixedPrim a -> BoundedPrim a) -> FixedPrim a -> BoundedPrim a
forall a b. (a -> b) -> a -> b
$ (Word8, (Word8, (Word8, (Word8, Word8))))
-> a -> (Word8, (Word8, (Word8, (Word8, Word8))))
forall a b. a -> b -> a
const (Word8, (Word8, (Word8, (Word8, Word8))))
x (a -> (Word8, (Word8, (Word8, (Word8, Word8)))))
-> FixedPrim (Word8, (Word8, (Word8, (Word8, Word8))))
-> FixedPrim a
forall (f :: * -> *) b a. Contravariant f => (b -> a) -> f a -> f b
>$<
      FixedPrim Word8
E.word8 FixedPrim Word8
-> FixedPrim (Word8, (Word8, (Word8, Word8)))
-> FixedPrim (Word8, (Word8, (Word8, (Word8, Word8))))
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8 FixedPrim Word8
-> FixedPrim (Word8, (Word8, Word8))
-> FixedPrim (Word8, (Word8, (Word8, Word8)))
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8 FixedPrim Word8
-> FixedPrim (Word8, Word8) -> FixedPrim (Word8, (Word8, Word8))
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8 FixedPrim Word8 -> FixedPrim Word8 -> FixedPrim (Word8, Word8)
forall (f :: * -> *) a b. Monoidal f => f a -> f b -> f (a, b)
>*< FixedPrim Word8
E.word8

type TAttribute = (TName, [Content])

foldAttrs :: Builder -- ^ before
          -> [TAttribute]
          -> Builder
foldAttrs :: Builder -> [TAttribute] -> Builder
foldAttrs before :: Builder
before =
    (TAttribute -> Builder) -> [TAttribute] -> Builder
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
foldMap TAttribute -> Builder
forall (t :: * -> *). Foldable t => (TName, t Content) -> Builder
go
  where
    go :: (TName, t Content) -> Builder
go (key :: TName
key, val :: t Content
val) =
      Builder
before Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
      TName -> Builder
tnameToText TName
key Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
      "=\"" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
      (Content -> Builder) -> t Content -> Builder
forall (t :: * -> *) m a.
(Foldable t, Monoid m) =>
(a -> m) -> t a -> m
foldMap Content -> Builder
go' t Content
val Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<>
      "\""
    go' :: Content -> Builder
go' (ContentText t :: Text
t) =
      BoundedPrim Word8 -> Text -> Builder
encodeUtf8BuilderEscaped BoundedPrim Word8
charUtf8XmlEscaped Text
t
    go' (ContentEntity t :: Text
t) = "&" Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> Text -> Builder
encodeUtf8Builder Text
t Builder -> Builder -> Builder
forall a. Semigroup a => a -> a -> a
<> ";"

instance IsString TName where
    fromString :: String -> TName
fromString = Maybe Text -> Text -> TName
TName Maybe Text
forall a. Maybe a
Nothing (Text -> TName) -> (String -> Text) -> String -> TName
forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> Text
T.pack

data NSLevel = NSLevel
    { NSLevel -> Maybe Text
defaultNS :: Maybe Text
    , NSLevel -> Map Text Text
prefixes :: Map Text Text
    }
    deriving Int -> NSLevel -> ShowS
[NSLevel] -> ShowS
NSLevel -> String
(Int -> NSLevel -> ShowS)
-> (NSLevel -> String) -> ([NSLevel] -> ShowS) -> Show NSLevel
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [NSLevel] -> ShowS
$cshowList :: [NSLevel] -> ShowS
show :: NSLevel -> String
$cshow :: NSLevel -> String
showsPrec :: Int -> NSLevel -> ShowS
$cshowsPrec :: Int -> NSLevel -> ShowS
Show

nubAttrs :: [TAttribute] -> [TAttribute]
nubAttrs :: [TAttribute] -> [TAttribute]
nubAttrs orig :: [TAttribute]
orig =
    [TAttribute] -> [TAttribute]
front []
  where
    (front :: [TAttribute] -> [TAttribute]
front, _) = (([TAttribute] -> [TAttribute], Set TName)
 -> TAttribute -> ([TAttribute] -> [TAttribute], Set TName))
-> ([TAttribute] -> [TAttribute], Set TName)
-> [TAttribute]
-> ([TAttribute] -> [TAttribute], Set TName)
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' ([TAttribute] -> [TAttribute], Set TName)
-> TAttribute -> ([TAttribute] -> [TAttribute], Set TName)
forall a b c.
Ord a =>
([(a, b)] -> c, Set a) -> (a, b) -> ([(a, b)] -> c, Set a)
go ([TAttribute] -> [TAttribute]
forall a. a -> a
id, Set TName
forall a. Set a
Set.empty) [TAttribute]
orig
    go :: ([(a, b)] -> c, Set a) -> (a, b) -> ([(a, b)] -> c, Set a)
go (dlist :: [(a, b)] -> c
dlist, used :: Set a
used) (k :: a
k, v :: b
v)
        | a
k a -> Set a -> Bool
forall a. Ord a => a -> Set a -> Bool
`Set.member` Set a
used = ([(a, b)] -> c
dlist, Set a
used)
        | Bool
otherwise = ([(a, b)] -> c
dlist ([(a, b)] -> c) -> ([(a, b)] -> [(a, b)]) -> [(a, b)] -> c
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((a
k, b
v)(a, b) -> [(a, b)] -> [(a, b)]
forall a. a -> [a] -> [a]
:), a -> Set a -> Set a
forall a. Ord a => a -> Set a -> Set a
Set.insert a
k Set a
used)

splitTName :: TName -> TName
splitTName :: TName -> TName
splitTName x :: TName
x@(TName Just{} _) = TName
x
splitTName x :: TName
x@(TName Nothing t :: Text
t)
    | Text -> Bool
T.null Text
b = TName
x
    | Bool
otherwise = Maybe Text -> Text -> TName
TName (Text -> Maybe Text
forall a. a -> Maybe a
Just Text
a) (Text -> TName) -> Text -> TName
forall a b. (a -> b) -> a -> b
$ Int -> Text -> Text
T.drop 1 Text
b
  where
    (a :: Text
a, b :: Text
b) = (Char -> Bool) -> Text -> (Text, Text)
T.break (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
== ':') Text
t

escCDATA :: Text -> Builder
escCDATA :: Text -> Builder
escCDATA s :: Text
s = Text -> Builder
encodeUtf8Builder (Text -> Text -> Text -> Text
T.replace "]]>" "]]]]><![CDATA[>" Text
s)