Safe Haskell	None
Language	Haskell2010

Symantic.XML.Namespace

Contents

Type QName

Synopsis

data QName = QName {
- qNameSpace :: Namespace
- qNameLocal :: NCName
}
qName :: NCName -> QName
newtype Namespace = Namespace {
- unNamespace :: Text
}
xmlns_xml :: Namespace
xmlns_xmlns :: Namespace
xmlns_xsd :: Namespace
xmlns_empty :: Namespace
data Namespaces prefix = Namespaces {
- namespaces_prefixes :: HashMap Namespace prefix
- namespaces_default :: Namespace
}
defaultNamespaces :: IsString prefix => Namespaces prefix
prefixifyQName :: Namespaces NCName -> QName -> PName
data PName = PName {
- pNameSpace :: Maybe NCName
- pNameLocal :: NCName
}
pName :: NCName -> PName
newtype NCName = NCName {
- unNCName :: Text
}
ncName :: Text -> Maybe NCName
poolNCNames :: [NCName]
freshNCName :: HashSet NCName -> NCName
freshifyNCName :: HashSet NCName -> NCName -> NCName

Type `QName`

data QName Source #

Qualified name.

Constructors

QName
Fields qNameSpace :: Namespace eg. "http://www.w3.org/1999/XSL/Transform" qNameLocal :: NCName eg. "stylesheet"

Instances

Eq QName Source #
Instance details Defined in Symantic.XML.Namespace Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #
Ord QName Source #
Instance details Defined in Symantic.XML.Namespace Methods compare :: QName -> QName -> Ordering # (<) :: QName -> QName -> Bool # (<=) :: QName -> QName -> Bool # (>) :: QName -> QName -> Bool # (>=) :: QName -> QName -> Bool # max :: QName -> QName -> QName # min :: QName -> QName -> QName #
Show QName Source #
Instance details Defined in Symantic.XML.Namespace Methods showsPrec :: Int -> QName -> ShowS # show :: QName -> String # showList :: [QName] -> ShowS #
IsString QName Source #
Instance details Defined in Symantic.XML.Namespace Methods fromString :: String -> QName #
Generic QName Source #
Instance details Defined in Symantic.XML.Namespace Associated Types type Rep QName :: Type -> Type # Methods from :: QName -> Rep QName x # to :: Rep QName x -> QName #
Hashable QName Source #
Instance details Defined in Symantic.XML.Namespace Methods hashWithSalt :: Int -> QName -> Int # hash :: QName -> Int #
ReadConstraints src => Stream (ReadStream src) Source #
Instance details Defined in Symantic.XML.Read Associated Types type Token (ReadStream src) :: Type # type Tokens (ReadStream src) :: Type # Methods tokenToChunk :: Proxy (ReadStream src) -> Token (ReadStream src) -> Tokens (ReadStream src) # tokensToChunk :: Proxy (ReadStream src) -> [Token (ReadStream src)] -> Tokens (ReadStream src) # chunkToTokens :: Proxy (ReadStream src) -> Tokens (ReadStream src) -> [Token (ReadStream src)] # chunkLength :: Proxy (ReadStream src) -> Tokens (ReadStream src) -> Int # chunkEmpty :: Proxy (ReadStream src) -> Tokens (ReadStream src) -> Bool # take1_ :: ReadStream src -> Maybe (Token (ReadStream src), ReadStream src) # takeN_ :: Int -> ReadStream src -> Maybe (Tokens (ReadStream src), ReadStream src) # takeWhile_ :: (Token (ReadStream src) -> Bool) -> ReadStream src -> (Tokens (ReadStream src), ReadStream src) # showTokens :: Proxy (ReadStream src) -> NonEmpty (Token (ReadStream src)) -> String # tokensLength :: Proxy (ReadStream src) -> NonEmpty (Token (ReadStream src)) -> Int # reachOffset :: Int -> PosState (ReadStream src) -> (String, PosState (ReadStream src)) # reachOffsetNoLine :: Int -> PosState (ReadStream src) -> PosState (ReadStream src) #
type Rep QName Source #
Instance details Defined in Symantic.XML.Namespace type Rep QName = D1 (MetaData "QName" "Symantic.XML.Namespace" "symantic-xml-2.0.0.20200523-jM6LpgjT5J7Po0rhpFlI8" False) (C1 (MetaCons "QName" PrefixI True) (S1 (MetaSel (Just "qNameSpace") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Namespace) :*: S1 (MetaSel (Just "qNameLocal") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 NCName)))
type Tokens (ReadStream src) Source #
Instance details Defined in Symantic.XML.Read type Tokens (ReadStream src) = ReadStream src
type Token (ReadStream src) Source #
Instance details Defined in Symantic.XML.Read type Token (ReadStream src) = Either (HashMap QName (src EscapedAttr)) (Tree src)

qName :: NCName -> QName Source #

Type `Namespace`

newtype Namespace Source #

Constructors

Namespace
Fields unNamespace :: Text

Instances

Eq Namespace Source #
Instance details Defined in Symantic.XML.Namespace Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #
Ord Namespace Source #
Instance details Defined in Symantic.XML.Namespace Methods compare :: Namespace -> Namespace -> Ordering # (<) :: Namespace -> Namespace -> Bool # (<=) :: Namespace -> Namespace -> Bool # (>) :: Namespace -> Namespace -> Bool # (>=) :: Namespace -> Namespace -> Bool # max :: Namespace -> Namespace -> Namespace # min :: Namespace -> Namespace -> Namespace #
Show Namespace Source #
Instance details Defined in Symantic.XML.Namespace Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #
IsString Namespace Source #
Instance details Defined in Symantic.XML.Namespace Methods fromString :: String -> Namespace #
Hashable Namespace Source #
Instance details Defined in Symantic.XML.Namespace Methods hashWithSalt :: Int -> Namespace -> Int # hash :: Namespace -> Int #
Textify Namespace Source #
Instance details Defined in Symantic.XML.Text Methods textify :: Namespace -> Builder Source #

xmlns_xml :: Namespace Source #

xmlns_xmlns :: Namespace Source #

xmlns_xsd :: Namespace Source #

xmlns_empty :: Namespace Source #

Type `Namespaces`

data Namespaces prefix Source #

Constructors

Namespaces
Fields namespaces_prefixes :: HashMap Namespace prefix namespaces_default :: Namespace

Instances

Functor Namespaces Source #
Instance details Defined in Symantic.XML.Namespace Methods fmap :: (a -> b) -> Namespaces a -> Namespaces b # (<$) :: a -> Namespaces b -> Namespaces a #
Show prefix => Show (Namespaces prefix) Source #
Instance details Defined in Symantic.XML.Namespace Methods showsPrec :: Int -> Namespaces prefix -> ShowS # show :: Namespaces prefix -> String # showList :: [Namespaces prefix] -> ShowS #
Semigroup (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Namespace Methods (<>) :: Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) # sconcat :: NonEmpty (Namespaces (Maybe NCName)) -> Namespaces (Maybe NCName) # stimes :: Integral b => b -> Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) #
Semigroup (Namespaces NCName) Source #
Instance details Defined in Symantic.XML.Namespace Methods (<>) :: Namespaces NCName -> Namespaces NCName -> Namespaces NCName # sconcat :: NonEmpty (Namespaces NCName) -> Namespaces NCName # stimes :: Integral b => b -> Namespaces NCName -> Namespaces NCName #
Monoid (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Namespace Methods mempty :: Namespaces (Maybe NCName) # mappend :: Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) # mconcat :: [Namespaces (Maybe NCName)] -> Namespaces (Maybe NCName) #
Monoid (Namespaces NCName) Source #
Instance details Defined in Symantic.XML.Namespace Methods mempty :: Namespaces NCName # mappend :: Namespaces NCName -> Namespaces NCName -> Namespaces NCName # mconcat :: [Namespaces NCName] -> Namespaces NCName #
Textify (Namespaces NCName, (Infix, Side), NameClass) Source #
Instance details Defined in Symantic.XML.RelaxNG.Language Methods textify :: (Namespaces NCName, (Infix, Side), NameClass) -> Builder Source #

defaultNamespaces :: IsString prefix => Namespaces prefix Source #

prefixifyQName :: Namespaces NCName -> QName -> PName Source #

Type `PName`

data PName Source #

Prefixed NCName

Constructors

PName
Fields pNameSpace :: Maybe NCName eg. Just "xml" pNameLocal :: NCName eg. "stylesheet"

Instances

Eq PName Source #
Instance details Defined in Symantic.XML.Namespace Methods (==) :: PName -> PName -> Bool # (/=) :: PName -> PName -> Bool #
Ord PName Source #
Instance details Defined in Symantic.XML.Namespace Methods compare :: PName -> PName -> Ordering # (<) :: PName -> PName -> Bool # (<=) :: PName -> PName -> Bool # (>) :: PName -> PName -> Bool # (>=) :: PName -> PName -> Bool # max :: PName -> PName -> PName # min :: PName -> PName -> PName #
Show PName Source #
Instance details Defined in Symantic.XML.Namespace Methods showsPrec :: Int -> PName -> ShowS # show :: PName -> String # showList :: [PName] -> ShowS #
IsString PName Source #
Instance details Defined in Symantic.XML.Namespace Methods fromString :: String -> PName #
Generic PName Source #
Instance details Defined in Symantic.XML.Namespace Associated Types type Rep PName :: Type -> Type # Methods from :: PName -> Rep PName x # to :: Rep PName x -> PName #
Textify PName Source #
Instance details Defined in Symantic.XML.Text Methods textify :: PName -> Builder Source #
type Rep PName Source #
Instance details Defined in Symantic.XML.Namespace type Rep PName = D1 (MetaData "PName" "Symantic.XML.Namespace" "symantic-xml-2.0.0.20200523-jM6LpgjT5J7Po0rhpFlI8" False) (C1 (MetaCons "PName" PrefixI True) (S1 (MetaSel (Just "pNameSpace") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe NCName)) :*: S1 (MetaSel (Just "pNameLocal") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 NCName)))

pName :: NCName -> PName Source #

Type `NCName`

newtype NCName Source #

Non-colonized name.

Constructors

NCName
Fields unNCName :: Text

Instances

Eq NCName Source #
Instance details Defined in Symantic.XML.Namespace Methods (==) :: NCName -> NCName -> Bool # (/=) :: NCName -> NCName -> Bool #
Ord NCName Source #
Instance details Defined in Symantic.XML.Namespace Methods compare :: NCName -> NCName -> Ordering # (<) :: NCName -> NCName -> Bool # (<=) :: NCName -> NCName -> Bool # (>) :: NCName -> NCName -> Bool # (>=) :: NCName -> NCName -> Bool # max :: NCName -> NCName -> NCName # min :: NCName -> NCName -> NCName #
Show NCName Source #
Instance details Defined in Symantic.XML.Namespace Methods showsPrec :: Int -> NCName -> ShowS # show :: NCName -> String # showList :: [NCName] -> ShowS #
IsString NCName Source #
Instance details Defined in Symantic.XML.Namespace Methods fromString :: String -> NCName #
Hashable NCName Source #
Instance details Defined in Symantic.XML.Namespace Methods hashWithSalt :: Int -> NCName -> Int # hash :: NCName -> Int #
Textify NCName Source #
Instance details Defined in Symantic.XML.Text Methods textify :: NCName -> Builder Source #
Semigroup (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Namespace Methods (<>) :: Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) # sconcat :: NonEmpty (Namespaces (Maybe NCName)) -> Namespaces (Maybe NCName) # stimes :: Integral b => b -> Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) #
Semigroup (Namespaces NCName) Source #
Instance details Defined in Symantic.XML.Namespace Methods (<>) :: Namespaces NCName -> Namespaces NCName -> Namespaces NCName # sconcat :: NonEmpty (Namespaces NCName) -> Namespaces NCName # stimes :: Integral b => b -> Namespaces NCName -> Namespaces NCName #
Monoid (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Namespace Methods mempty :: Namespaces (Maybe NCName) # mappend :: Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) -> Namespaces (Maybe NCName) # mconcat :: [Namespaces (Maybe NCName)] -> Namespaces (Maybe NCName) #
Monoid (Namespaces NCName) Source #
Instance details Defined in Symantic.XML.Namespace Methods mempty :: Namespaces NCName # mappend :: Namespaces NCName -> Namespaces NCName -> Namespaces NCName # mconcat :: [Namespaces NCName] -> Namespaces NCName #
Textify (Namespaces NCName, (Infix, Side), NameClass) Source #
Instance details Defined in Symantic.XML.RelaxNG.Language Methods textify :: (Namespaces NCName, (Infix, Side), NameClass) -> Builder Source #

ncName :: Text -> Maybe NCName Source #

poolNCNames :: [NCName] Source #

freshNCName :: HashSet NCName -> NCName Source #

freshifyNCName :: HashSet NCName -> NCName -> NCName Source #

Type QName

Type Namespace

Type Namespaces

Type PName

Type NCName

Type `QName`

Type `Namespace`

Type `Namespaces`

Type `PName`

Type `NCName`