Safe Haskell	None
Language	Haskell2010

Symantic.XML.Document

Synopsis

data LineColumn = LineColumn {
- lineNum :: Offset
- colNum :: Offset
}
newtype Offset = Offset Int
data FileRange pos = FileRange {
- fileRange_file :: FilePath
- fileRange_begin :: pos
- fileRange_end :: pos
}
type FileSourced = Sourced (FileSource Offset)
type FileSource pos = NonEmpty (FileRange pos)
class NoSource src where
- noSource :: src
data Sourced src a = Sourced {
- source :: src
- unSourced :: a
}
data QName = QName {
- qNameSpace :: Namespace
- qNameLocal :: NCName
}
data PName = PName {
- pNameSpace :: Maybe NCName
- pNameLocal :: NCName
}
newtype NCName = NCName {
- unNCName :: Text
}
data Namespaces prefix = Namespaces {
- namespaces_prefixes :: HashMap Namespace prefix
- namespaces_default :: Namespace
}
newtype Namespace = Namespace {
- unNamespace :: Text
}
newtype Name = Name {
- unName :: Text
}
newtype CharRef = CharRef Char
data EntityRef = EntityRef {
- entityRef_name :: NCName
- entityRef_value :: Text
}
data Escaped
- = EscapedPlain Text
- | EscapedEntityRef EntityRef
- | EscapedCharRef CharRef
newtype EscapedText = EscapedText (Seq Escaped)
data Node
- = NodeElem QName
- | NodeAttr QName
- | NodePI PName Text
- | NodeText EscapedText
- | NodeComment Text
- | NodeCDATA Text
type XMLs src = Seq (XML src)
type XML src = Tree (Sourced src Node)
pattern Tree0 :: a -> Tree a
union :: Semigroup (Sourced src EscapedText) => XMLs src -> XMLs src -> XMLs src
unions :: Semigroup (Sourced src EscapedText) => Foldable f => f (XMLs src) -> XMLs src
escapeText :: Text -> EscapedText
escapeChar :: Char -> Escaped
unescapeText :: EscapedText -> Text
entityRef_lt :: EntityRef
entityRef_gt :: EntityRef
entityRef_amp :: EntityRef
entityRef_quot :: EntityRef
entityRef_apos :: EntityRef
xmlns_xml :: Namespace
xmlns_xmlns :: Namespace
xmlns_empty :: Namespace
prefixifyQName :: Namespaces NCName -> QName -> PName
ncName :: Text -> Maybe NCName
poolNCNames :: [NCName]
freshNCName :: HashSet NCName -> NCName
freshifyNCName :: HashSet NCName -> NCName -> NCName
pName :: NCName -> PName
qName :: NCName -> QName
notSourced :: NoSource src => a -> Sourced src a
filePos1 :: LineColumn
data Tree a = Tree {
- unTree :: !a
- subTrees :: !(Trees a)
}
type Trees a = Seq (Tree a)
tree0 :: a -> Tree a

Documentation

data LineColumn Source #

Absolute text file position.

Constructors

LineColumn
Fields lineNum :: Offset colNum :: Offset

Instances

Eq LineColumn Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: LineColumn -> LineColumn -> Bool # (/=) :: LineColumn -> LineColumn -> Bool #
Ord LineColumn Source #
Instance details Defined in Symantic.XML.Document Methods compare :: LineColumn -> LineColumn -> Ordering # (<) :: LineColumn -> LineColumn -> Bool # (<=) :: LineColumn -> LineColumn -> Bool # (>) :: LineColumn -> LineColumn -> Bool # (>=) :: LineColumn -> LineColumn -> Bool # max :: LineColumn -> LineColumn -> LineColumn # min :: LineColumn -> LineColumn -> LineColumn #
Show LineColumn Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> LineColumn -> ShowS # show :: LineColumn -> String # showList :: [LineColumn] -> ShowS #
Default LineColumn Source #
Instance details Defined in Symantic.XML.Document Methods def :: LineColumn #
Show (FileRange LineColumn) Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> FileRange LineColumn -> ShowS # show :: FileRange LineColumn -> String # showList :: [FileRange LineColumn] -> ShowS #
Default (FileRange LineColumn) Source #
Instance details Defined in Symantic.XML.Document Methods def :: FileRange LineColumn #

newtype Offset Source #

Constructors

Offset Int

Instances

Eq Offset Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: Offset -> Offset -> Bool # (/=) :: Offset -> Offset -> Bool #
Ord Offset Source #
Instance details Defined in Symantic.XML.Document Methods compare :: Offset -> Offset -> Ordering # (<) :: Offset -> Offset -> Bool # (<=) :: Offset -> Offset -> Bool # (>) :: Offset -> Offset -> Bool # (>=) :: Offset -> Offset -> Bool # max :: Offset -> Offset -> Offset # min :: Offset -> Offset -> Offset #
Show Offset Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> Offset -> ShowS # show :: Offset -> String # showList :: [Offset] -> ShowS #
Semigroup Offset Source #
Instance details Defined in Symantic.XML.Document Methods (<>) :: Offset -> Offset -> Offset # sconcat :: NonEmpty Offset -> Offset # stimes :: Integral b => b -> Offset -> Offset #
Monoid Offset Source #
Instance details Defined in Symantic.XML.Document Methods mempty :: Offset # mappend :: Offset -> Offset -> Offset # mconcat :: [Offset] -> Offset #
Default Offset Source #
Instance details Defined in Symantic.XML.Document Methods def :: Offset #
NoSource Offset Source #
Instance details Defined in Symantic.XML.Document Methods noSource :: Offset Source #
Show (FileRange Offset) Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> FileRange Offset -> ShowS # show :: FileRange Offset -> String # showList :: [FileRange Offset] -> ShowS #
Default (FileRange Offset) Source #
Instance details Defined in Symantic.XML.Document Methods def :: FileRange Offset #
Semigroup a => Semigroup (Sourced (FileSource Offset) a) Source #
Instance details Defined in Symantic.XML.Document Methods (<>) :: Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a # sconcat :: NonEmpty (Sourced (FileSource Offset) a) -> Sourced (FileSource Offset) a # stimes :: Integral b => b -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a #

data FileRange pos Source #

Constructors

FileRange
Fields fileRange_file :: FilePath fileRange_begin :: pos fileRange_end :: pos

Instances

Eq pos => Eq (FileRange pos) Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: FileRange pos -> FileRange pos -> Bool # (/=) :: FileRange pos -> FileRange pos -> Bool #
Ord pos => Ord (FileRange pos) Source #
Instance details Defined in Symantic.XML.Document Methods compare :: FileRange pos -> FileRange pos -> Ordering # (<) :: FileRange pos -> FileRange pos -> Bool # (<=) :: FileRange pos -> FileRange pos -> Bool # (>) :: FileRange pos -> FileRange pos -> Bool # (>=) :: FileRange pos -> FileRange pos -> Bool # max :: FileRange pos -> FileRange pos -> FileRange pos # min :: FileRange pos -> FileRange pos -> FileRange pos #
Show (FileRange LineColumn) Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> FileRange LineColumn -> ShowS # show :: FileRange LineColumn -> String # showList :: [FileRange LineColumn] -> ShowS #
Show (FileRange Offset) Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> FileRange Offset -> ShowS # show :: FileRange Offset -> String # showList :: [FileRange Offset] -> ShowS #
Default (FileRange LineColumn) Source #
Instance details Defined in Symantic.XML.Document Methods def :: FileRange LineColumn #
Default (FileRange Offset) Source #
Instance details Defined in Symantic.XML.Document Methods def :: FileRange Offset #
Default pos => NoSource (FileRange pos) Source #
Instance details Defined in Symantic.XML.Document Methods noSource :: FileRange pos Source #
Default pos => NoSource (FileSource pos) Source #
Instance details Defined in Symantic.XML.Document Methods noSource :: FileSource pos Source #
Semigroup a => Semigroup (Sourced (FileSource Offset) a) Source #
Instance details Defined in Symantic.XML.Document Methods (<>) :: Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a # sconcat :: NonEmpty (Sourced (FileSource Offset) a) -> Sourced (FileSource Offset) a # stimes :: Integral b => b -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a #

type FileSourced = Sourced (FileSource Offset) Source #

type FileSource pos = NonEmpty (FileRange pos) Source #

class NoSource src where Source #

Methods

noSource :: src Source #

Instances

NoSource Offset Source #
Instance details Defined in Symantic.XML.Document Methods noSource :: Offset Source #
Default pos => NoSource (FileRange pos) Source #
Instance details Defined in Symantic.XML.Document Methods noSource :: FileRange pos Source #
Default pos => NoSource (FileSource pos) Source #
Instance details Defined in Symantic.XML.Document Methods noSource :: FileSource pos Source #

data Sourced src a Source #

Constructors

Sourced
Fields source :: src unSourced :: a

Instances

Functor (Sourced src) Source #
Instance details Defined in Symantic.XML.Document Methods fmap :: (a -> b) -> Sourced src a -> Sourced src b # (<$) :: a -> Sourced src b -> Sourced src a #
NoSource src => Writeable (XMLs src) Source #
Instance details Defined in Symantic.XML.Write Methods write :: XMLs src -> Write Source #
NoSource src => Writeable (XML src) Source #
Instance details Defined in Symantic.XML.Write Methods write :: XML src -> Write Source #
(Eq src, Eq a) => Eq (Sourced src a) Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: Sourced src a -> Sourced src a -> Bool # (/=) :: Sourced src a -> Sourced src a -> Bool #
(Ord src, Ord a) => Ord (Sourced src a) Source #
Instance details Defined in Symantic.XML.Document Methods compare :: Sourced src a -> Sourced src a -> Ordering # (<) :: Sourced src a -> Sourced src a -> Bool # (<=) :: Sourced src a -> Sourced src a -> Bool # (>) :: Sourced src a -> Sourced src a -> Bool # (>=) :: Sourced src a -> Sourced src a -> Bool # max :: Sourced src a -> Sourced src a -> Sourced src a # min :: Sourced src a -> Sourced src a -> Sourced src a #
(Show src, Show a) => Show (Sourced src a) Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> Sourced src a -> ShowS # show :: Sourced src a -> String # showList :: [Sourced src a] -> ShowS #
Semigroup a => Semigroup (Sourced (FileSource Offset) a) Source #
Instance details Defined in Symantic.XML.Document Methods (<>) :: Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a # sconcat :: NonEmpty (Sourced (FileSource Offset) a) -> Sourced (FileSource Offset) a # stimes :: Integral b => b -> Sourced (FileSource Offset) a -> Sourced (FileSource Offset) a #
(Ord err, Ord src, NoSource src, Stream (Seq (XML src)), Token (Seq (XML src)) ~ Tree (Sourced src Node)) => Sym_RNC (Parsec err (XMLs src)) Source #
Instance details Defined in Symantic.RNC.Validate Methods namespace :: Maybe NCName -> Namespace -> Parsec err (XMLs src) () Source # element :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # attribute :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # any :: Parsec err (XMLs src) () Source # anyElem :: Namespace -> (NCName -> Parsec err (XMLs src) a) -> Parsec err (XMLs src) a Source # escapedText :: Parsec err (XMLs src) EscapedText Source # text :: Parsec err (XMLs src) Text Source # fail :: Parsec err (XMLs src) a Source # try :: Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # option :: a -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # optional :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Maybe a) Source # choice :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) a Source # intermany :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) [a] Source # manySeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a) Source # someSeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a) Source #
(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Permutation (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate Methods runPermutation :: Permutation (ParsecT err (XMLs src) m) a -> ParsecT err (XMLs src) m a Source # toPermutation :: ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a Source # toPermutationWithDefault :: a -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a Source # (<$$>) :: (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<$?>) :: (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b Source # (<$>) :: ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<$:>) :: (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|\|>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|?>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|>) :: Permutation (ParsecT err (XMLs src) m) ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|:>) :: Permutation (ParsecT err (XMLs src) m) (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source #
(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Rule (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate Methods rule :: Show a => String -> ParsecT err (XMLs src) m a -> ParsecT err (XMLs src) m a Source # arg :: String -> ParsecT err (XMLs src) m () Source #
type Permutation (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate type Permutation (ParsecT err (XMLs src) m) = Perm (ParsecT err (XMLs src) m)

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.Document Methods (==) :: QName -> QName -> Bool # (/=) :: QName -> QName -> Bool #
Ord QName Source #
Instance details Defined in Symantic.XML.Document 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.Document Methods showsPrec :: Int -> QName -> ShowS # show :: QName -> String # showList :: [QName] -> ShowS #
IsString QName Source #
Instance details Defined in Symantic.XML.Document Methods fromString :: String -> QName #
Generic QName Source #
Instance details Defined in Symantic.XML.Document 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.Document Methods hashWithSalt :: Int -> QName -> Int # hash :: QName -> Int #
type Rep QName Source #
Instance details Defined in Symantic.XML.Document type Rep QName = D1 (MetaData "QName" "Symantic.XML.Document" "symantic-xml-1.0.0.20190223-FvgnS5499gNFNEq7fF4WT9" False) (C1 (MetaCons "QName" PrefixI True) (S1 (MetaSel (Just "qNameSpace") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Namespace) :*: S1 (MetaSel (Just "qNameLocal") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 NCName)))

data PName Source #

Prefixed name.

Constructors

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

Instances

Eq PName Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: PName -> PName -> Bool # (/=) :: PName -> PName -> Bool #
Ord PName Source #
Instance details Defined in Symantic.XML.Document 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.Document Methods showsPrec :: Int -> PName -> ShowS # show :: PName -> String # showList :: [PName] -> ShowS #
IsString PName Source #
Instance details Defined in Symantic.XML.Document Methods fromString :: String -> PName #
Generic PName Source #
Instance details Defined in Symantic.XML.Document Associated Types type Rep PName :: Type -> Type # Methods from :: PName -> Rep PName x # to :: Rep PName x -> PName #
Hashable PName Source #
Instance details Defined in Symantic.XML.Document Methods hashWithSalt :: Int -> PName -> Int # hash :: PName -> Int #
Buildable PName Source #
Instance details Defined in Symantic.XML.Write Methods build :: PName -> Builder Source #
type Rep PName Source #
Instance details Defined in Symantic.XML.Document type Rep PName = D1 (MetaData "PName" "Symantic.XML.Document" "symantic-xml-1.0.0.20190223-FvgnS5499gNFNEq7fF4WT9" 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)))

newtype NCName Source #

Non-colonized name.

Constructors

NCName
Fields unNCName :: Text

Instances

Eq NCName Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: NCName -> NCName -> Bool # (/=) :: NCName -> NCName -> Bool #
Ord NCName Source #
Instance details Defined in Symantic.XML.Document 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.Document Methods showsPrec :: Int -> NCName -> ShowS # show :: NCName -> String # showList :: [NCName] -> ShowS #
IsString NCName Source #
Instance details Defined in Symantic.XML.Document Methods fromString :: String -> NCName #
Hashable NCName Source #
Instance details Defined in Symantic.XML.Document Methods hashWithSalt :: Int -> NCName -> Int # hash :: NCName -> Int #
Writeable NCName Source #
Instance details Defined in Symantic.XML.Write Methods write :: NCName -> Write Source #
Buildable NCName Source #
Instance details Defined in Symantic.XML.Write Methods build :: NCName -> Builder Source #
Semigroup (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Document 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.Document 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.Document 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.Document Methods mempty :: Namespaces NCName # mappend :: Namespaces NCName -> Namespaces NCName -> Namespaces NCName # mconcat :: [Namespaces NCName] -> Namespaces NCName #
Default (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Document Methods def :: Namespaces (Maybe NCName) #
Default (Namespaces NCName) Source #
Instance details Defined in Symantic.XML.Document Methods def :: Namespaces NCName #

data Namespaces prefix Source #

Constructors

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

Instances

Show prefix => Show (Namespaces prefix) Source #
Instance details Defined in Symantic.XML.Document 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.Document 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.Document 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.Document 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.Document Methods mempty :: Namespaces NCName # mappend :: Namespaces NCName -> Namespaces NCName -> Namespaces NCName # mconcat :: [Namespaces NCName] -> Namespaces NCName #
Default (Namespaces (Maybe NCName)) Source #
Instance details Defined in Symantic.XML.Document Methods def :: Namespaces (Maybe NCName) #
Default (Namespaces NCName) Source #
Instance details Defined in Symantic.XML.Document Methods def :: Namespaces NCName #

newtype Namespace Source #

Constructors

Namespace
Fields unNamespace :: Text

Instances

Eq Namespace Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #
Ord Namespace Source #
Instance details Defined in Symantic.XML.Document 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.Document Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #
IsString Namespace Source #
Instance details Defined in Symantic.XML.Document Methods fromString :: String -> Namespace #
Hashable Namespace Source #
Instance details Defined in Symantic.XML.Document Methods hashWithSalt :: Int -> Namespace -> Int # hash :: Namespace -> Int #
Buildable Namespace Source #
Instance details Defined in Symantic.XML.Write Methods build :: Namespace -> Builder Source #

newtype Name Source #

Constructors

Name
Fields unName :: Text

Instances

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

newtype CharRef Source #

Constructors

CharRef Char

Instances

Eq CharRef Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: CharRef -> CharRef -> Bool # (/=) :: CharRef -> CharRef -> Bool #
Ord CharRef Source #
Instance details Defined in Symantic.XML.Document Methods compare :: CharRef -> CharRef -> Ordering # (<) :: CharRef -> CharRef -> Bool # (<=) :: CharRef -> CharRef -> Bool # (>) :: CharRef -> CharRef -> Bool # (>=) :: CharRef -> CharRef -> Bool # max :: CharRef -> CharRef -> CharRef # min :: CharRef -> CharRef -> CharRef #
Show CharRef Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> CharRef -> ShowS # show :: CharRef -> String # showList :: [CharRef] -> ShowS #
Buildable CharRef Source #
Instance details Defined in Symantic.XML.Write Methods build :: CharRef -> Builder Source #

data EntityRef Source #

Constructors

EntityRef
Fields entityRef_name :: NCName entityRef_value :: Text

Instances

Eq EntityRef Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: EntityRef -> EntityRef -> Bool # (/=) :: EntityRef -> EntityRef -> Bool #
Ord EntityRef Source #
Instance details Defined in Symantic.XML.Document Methods compare :: EntityRef -> EntityRef -> Ordering # (<) :: EntityRef -> EntityRef -> Bool # (<=) :: EntityRef -> EntityRef -> Bool # (>) :: EntityRef -> EntityRef -> Bool # (>=) :: EntityRef -> EntityRef -> Bool # max :: EntityRef -> EntityRef -> EntityRef # min :: EntityRef -> EntityRef -> EntityRef #
Show EntityRef Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> EntityRef -> ShowS # show :: EntityRef -> String # showList :: [EntityRef] -> ShowS #
Buildable EntityRef Source #
Instance details Defined in Symantic.XML.Write Methods build :: EntityRef -> Builder Source #

data Escaped Source #

EscapedText lexemes.

Constructors

EscapedPlain Text
EscapedEntityRef EntityRef
EscapedCharRef CharRef

Instances

Eq Escaped Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: Escaped -> Escaped -> Bool # (/=) :: Escaped -> Escaped -> Bool #
Ord Escaped Source #
Instance details Defined in Symantic.XML.Document Methods compare :: Escaped -> Escaped -> Ordering # (<) :: Escaped -> Escaped -> Bool # (<=) :: Escaped -> Escaped -> Bool # (>) :: Escaped -> Escaped -> Bool # (>=) :: Escaped -> Escaped -> Bool # max :: Escaped -> Escaped -> Escaped # min :: Escaped -> Escaped -> Escaped #
Show Escaped Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> Escaped -> ShowS # show :: Escaped -> String # showList :: [Escaped] -> ShowS #

newtype EscapedText Source #

Constructors

EscapedText (Seq Escaped)

Instances

Eq EscapedText Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: EscapedText -> EscapedText -> Bool # (/=) :: EscapedText -> EscapedText -> Bool #
Ord EscapedText Source #
Instance details Defined in Symantic.XML.Document Methods compare :: EscapedText -> EscapedText -> Ordering # (<) :: EscapedText -> EscapedText -> Bool # (<=) :: EscapedText -> EscapedText -> Bool # (>) :: EscapedText -> EscapedText -> Bool # (>=) :: EscapedText -> EscapedText -> Bool # max :: EscapedText -> EscapedText -> EscapedText # min :: EscapedText -> EscapedText -> EscapedText #
Show EscapedText Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> EscapedText -> ShowS # show :: EscapedText -> String # showList :: [EscapedText] -> ShowS #
Semigroup EscapedText Source #
Instance details Defined in Symantic.XML.Document Methods (<>) :: EscapedText -> EscapedText -> EscapedText # sconcat :: NonEmpty EscapedText -> EscapedText # stimes :: Integral b => b -> EscapedText -> EscapedText #
Monoid EscapedText Source #
Instance details Defined in Symantic.XML.Document Methods mempty :: EscapedText # mappend :: EscapedText -> EscapedText -> EscapedText # mconcat :: [EscapedText] -> EscapedText #
Buildable EscapedText Source #
Instance details Defined in Symantic.XML.Write Methods build :: EscapedText -> Builder Source #

data Node Source #

Constructors

NodeElem QName	Node with some `NodeAttr` and then other `Node`s as children.
NodeAttr QName	Node with a `NodeText` child.
NodePI PName Text	Leaf (except for `?xml?` which has `NodeAttr`s.
NodeText EscapedText	Leaf.
NodeComment Text	Leaf.
NodeCDATA Text	Leaf.

Instances

Eq Node Source #
Instance details Defined in Symantic.XML.Document Methods (==) :: Node -> Node -> Bool # (/=) :: Node -> Node -> Bool #
Ord Node Source #
Instance details Defined in Symantic.XML.Document Methods compare :: Node -> Node -> Ordering # (<) :: Node -> Node -> Bool # (<=) :: Node -> Node -> Bool # (>) :: Node -> Node -> Bool # (>=) :: Node -> Node -> Bool # max :: Node -> Node -> Node # min :: Node -> Node -> Node #
Show Node Source #
Instance details Defined in Symantic.XML.Document Methods showsPrec :: Int -> Node -> ShowS # show :: Node -> String # showList :: [Node] -> ShowS #
NoSource src => Writeable (XMLs src) Source #
Instance details Defined in Symantic.XML.Write Methods write :: XMLs src -> Write Source #
NoSource src => Writeable (XML src) Source #
Instance details Defined in Symantic.XML.Write Methods write :: XML src -> Write Source #
(Ord err, Ord src, NoSource src, Stream (Seq (XML src)), Token (Seq (XML src)) ~ Tree (Sourced src Node)) => Sym_RNC (Parsec err (XMLs src)) Source #
Instance details Defined in Symantic.RNC.Validate Methods namespace :: Maybe NCName -> Namespace -> Parsec err (XMLs src) () Source # element :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # attribute :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # any :: Parsec err (XMLs src) () Source # anyElem :: Namespace -> (NCName -> Parsec err (XMLs src) a) -> Parsec err (XMLs src) a Source # escapedText :: Parsec err (XMLs src) EscapedText Source # text :: Parsec err (XMLs src) Text Source # fail :: Parsec err (XMLs src) a Source # try :: Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # option :: a -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # optional :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Maybe a) Source # choice :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) a Source # intermany :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) [a] Source # manySeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a) Source # someSeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a) Source #
(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Permutation (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate Methods runPermutation :: Permutation (ParsecT err (XMLs src) m) a -> ParsecT err (XMLs src) m a Source # toPermutation :: ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a Source # toPermutationWithDefault :: a -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a Source # (<$$>) :: (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<$?>) :: (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b Source # (<$>) :: ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<$:>) :: (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|\|>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|?>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|>) :: Permutation (ParsecT err (XMLs src) m) ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|:>) :: Permutation (ParsecT err (XMLs src) m) (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source #
(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Rule (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate Methods rule :: Show a => String -> ParsecT err (XMLs src) m a -> ParsecT err (XMLs src) m a Source # arg :: String -> ParsecT err (XMLs src) m () Source #
type Permutation (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate type Permutation (ParsecT err (XMLs src) m) = Perm (ParsecT err (XMLs src) m)

type XMLs src = Seq (XML src) Source #

type XML src = Tree (Sourced src Node) Source #

pattern Tree0 :: a -> Tree a Source #

union :: Semigroup (Sourced src EscapedText) => XMLs src -> XMLs src -> XMLs src Source #

Unify two XMLs, merging border NodeTexts if any.

unions :: Semigroup (Sourced src EscapedText) => Foldable f => f (XMLs src) -> XMLs src Source #

escapeText :: Text -> EscapedText Source #

escapeChar :: Char -> Escaped Source #

unescapeText :: EscapedText -> Text Source #

entityRef_lt :: EntityRef Source #

entityRef_gt :: EntityRef Source #

entityRef_amp :: EntityRef Source #

entityRef_quot :: EntityRef Source #

entityRef_apos :: EntityRef Source #

xmlns_xml :: Namespace Source #

xmlns_xmlns :: Namespace Source #

xmlns_empty :: Namespace Source #

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

ncName :: Text -> Maybe NCName Source #

poolNCNames :: [NCName] Source #

freshNCName :: HashSet NCName -> NCName Source #

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

pName :: NCName -> PName Source #

qName :: NCName -> QName Source #

notSourced :: NoSource src => a -> Sourced src a Source #

filePos1 :: LineColumn Source #

data Tree a #

Constructors

Tree
Fields unTree :: !a subTrees :: !(Trees a)

Instances

Monad Tree
Instance details Defined in Data.TreeSeq.Strict Methods (>>=) :: Tree a -> (a -> Tree b) -> Tree b # (>>) :: Tree a -> Tree b -> Tree b # return :: a -> Tree a # fail :: String -> Tree a #
Functor Tree
Instance details Defined in Data.TreeSeq.Strict Methods fmap :: (a -> b) -> Tree a -> Tree b # (<$) :: a -> Tree b -> Tree a #
Applicative Tree
Instance details Defined in Data.TreeSeq.Strict Methods pure :: a -> Tree a # (<>) :: Tree (a -> b) -> Tree a -> Tree b # liftA2 :: (a -> b -> c) -> Tree a -> Tree b -> Tree c # (>) :: Tree a -> Tree b -> Tree b # (<*) :: Tree a -> Tree b -> Tree a #
Foldable Tree
Instance details Defined in Data.TreeSeq.Strict Methods fold :: Monoid m => Tree m -> m # foldMap :: Monoid m => (a -> m) -> Tree a -> m # foldr :: (a -> b -> b) -> b -> Tree a -> b # foldr' :: (a -> b -> b) -> b -> Tree a -> b # foldl :: (b -> a -> b) -> b -> Tree a -> b # foldl' :: (b -> a -> b) -> b -> Tree a -> b # foldr1 :: (a -> a -> a) -> Tree a -> a # foldl1 :: (a -> a -> a) -> Tree a -> a # toList :: Tree a -> [a] # null :: Tree a -> Bool # length :: Tree a -> Int # elem :: Eq a => a -> Tree a -> Bool # maximum :: Ord a => Tree a -> a # minimum :: Ord a => Tree a -> a # sum :: Num a => Tree a -> a # product :: Num a => Tree a -> a #
Traversable Tree
Instance details Defined in Data.TreeSeq.Strict Methods traverse :: Applicative f => (a -> f b) -> Tree a -> f (Tree b) # sequenceA :: Applicative f => Tree (f a) -> f (Tree a) # mapM :: Monad m => (a -> m b) -> Tree a -> m (Tree b) # sequence :: Monad m => Tree (m a) -> m (Tree a) #
Eq a => Eq (Tree a)
Instance details Defined in Data.TreeSeq.Strict Methods (==) :: Tree a -> Tree a -> Bool # (/=) :: Tree a -> Tree a -> Bool #
Ord a => Ord (Tree a)
Instance details Defined in Data.TreeSeq.Strict Methods compare :: Tree a -> Tree a -> Ordering # (<) :: Tree a -> Tree a -> Bool # (<=) :: Tree a -> Tree a -> Bool # (>) :: Tree a -> Tree a -> Bool # (>=) :: Tree a -> Tree a -> Bool # max :: Tree a -> Tree a -> Tree a # min :: Tree a -> Tree a -> Tree a #
Show a => Show (Tree a)
Instance details Defined in Data.TreeSeq.Strict Methods showsPrec :: Int -> Tree a -> ShowS # show :: Tree a -> String # showList :: [Tree a] -> ShowS #
NoSource src => Writeable (XMLs src) Source #
Instance details Defined in Symantic.XML.Write Methods write :: XMLs src -> Write Source #
NoSource src => Writeable (XML src) Source #
Instance details Defined in Symantic.XML.Write Methods write :: XML src -> Write Source #
(Ord err, Ord src, NoSource src, Stream (Seq (XML src)), Token (Seq (XML src)) ~ Tree (Sourced src Node)) => Sym_RNC (Parsec err (XMLs src)) Source #
Instance details Defined in Symantic.RNC.Validate Methods namespace :: Maybe NCName -> Namespace -> Parsec err (XMLs src) () Source # element :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # attribute :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # any :: Parsec err (XMLs src) () Source # anyElem :: Namespace -> (NCName -> Parsec err (XMLs src) a) -> Parsec err (XMLs src) a Source # escapedText :: Parsec err (XMLs src) EscapedText Source # text :: Parsec err (XMLs src) Text Source # fail :: Parsec err (XMLs src) a Source # try :: Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # option :: a -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a Source # optional :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Maybe a) Source # choice :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) a Source # intermany :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) [a] Source # manySeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a) Source # someSeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a) Source #
(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Permutation (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate Methods runPermutation :: Permutation (ParsecT err (XMLs src) m) a -> ParsecT err (XMLs src) m a Source # toPermutation :: ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a Source # toPermutationWithDefault :: a -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a Source # (<$$>) :: (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<$?>) :: (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b Source # (<$>) :: ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<$:>) :: (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|\|>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|?>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|>) :: Permutation (ParsecT err (XMLs src) m) ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source # (<\|:>) :: Permutation (ParsecT err (XMLs src) m) (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b Source #
(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Rule (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate Methods rule :: Show a => String -> ParsecT err (XMLs src) m a -> ParsecT err (XMLs src) m a Source # arg :: String -> ParsecT err (XMLs src) m () Source #
type Permutation (ParsecT err (XMLs src) m) Source #
Instance details Defined in Symantic.RNC.Validate type Permutation (ParsecT err (XMLs src) m) = Perm (ParsecT err (XMLs src) m)

type Trees a = Seq (Tree a) #

tree0 :: a -> Tree a #