{- |
This name type preserves the characters case of its input
and divides the names into namespace and local identifier.
-}
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