module Text.XML.Basic.Name.Qualified where
import qualified Text.XML.Basic.Name as Name
import qualified Data.Accessor.Basic as Accessor
data T = Cons {T -> String
namespace_, T -> String
local_ :: String}
deriving (Int -> T -> ShowS
[T] -> ShowS
T -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [T] -> ShowS
$cshowList :: [T] -> ShowS
show :: T -> String
$cshow :: T -> String
showsPrec :: Int -> T -> ShowS
$cshowsPrec :: Int -> T -> ShowS
Show, T -> T -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: T -> T -> Bool
$c/= :: T -> T -> Bool
== :: T -> T -> Bool
$c== :: T -> T -> Bool
Eq, Eq T
T -> T -> Bool
T -> T -> Ordering
T -> T -> T
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 :: T -> T -> T
$cmin :: T -> T -> T
max :: T -> T -> T
$cmax :: T -> T -> T
>= :: T -> T -> Bool
$c>= :: T -> T -> Bool
> :: T -> T -> Bool
$c> :: T -> T -> Bool
<= :: T -> T -> Bool
$c<= :: T -> T -> Bool
< :: T -> T -> Bool
$c< :: T -> T -> Bool
compare :: T -> T -> Ordering
$ccompare :: T -> T -> Ordering
Ord)
namespace :: Accessor.T T String
namespace :: T T String
namespace = forall a r. (a -> r -> r) -> (r -> a) -> T r a
Accessor.fromSetGet (\String
n T
p -> T
p{namespace_ :: String
namespace_ = String
n}) T -> String
namespace_
local :: Accessor.T T String
local :: T T String
local = forall a r. (a -> r -> r) -> (r -> a) -> T r a
Accessor.fromSetGet (\String
n T
p -> T
p{local_ :: String
local_ = String
n}) T -> String
local_
fromString :: String -> T
fromString :: String -> T
fromString =
forall a b c. (a -> b -> c) -> (a, b) -> c
uncurry String -> String -> T
Cons forall b c a. (b -> c) -> (a -> b) -> a -> c
.
(\(String
n,String
pl) ->
case String
pl of
Char
':':String
l -> (String
n,String
l)
String
_ -> (String
"",String
n)) forall b c a. (b -> c) -> (a -> b) -> a -> c
.
forall a. (a -> Bool) -> [a] -> ([a], [a])
break (Char
':'forall a. Eq a => a -> a -> Bool
==)
toString :: T -> String
toString :: T -> String
toString (Cons String
n String
l) =
if forall (t :: * -> *) a. Foldable t => t a -> Bool
null String
n
then String
l
else String
n forall a. [a] -> [a] -> [a]
++ Char
':' forall a. a -> [a] -> [a]
: String
l
instance Name.Tag T where
tagFromString :: String -> T
tagFromString = String -> T
fromString
tagToString :: T -> String
tagToString = T -> String
toString
instance Name.Attribute T where
attributeFromString :: String -> T
attributeFromString = String -> T
fromString
attributeToString :: T -> String
attributeToString = T -> String
toString