Symantic.RNC.Validate

Documentation

validateXML :: Ord e => Parsec e (XMLs src) a -> XMLs src -> Either (ParseErrorBundle (XMLs src) e) a

p_XMLs :: Ord err => Ord src => Stream (Seq (XML src)) => Parsec err (XMLs src) a -> XMLs src -> Parsec err (XMLs src) a

p_XMLs p xs returns a parser parsing xs entirely with p, updating stateOffset and re-raising any exception.

isIgnoredNode :: Node -> Bool

Whether the given Node must be ignored by the RNC parser.

data Perm m a

Unprivatized Permutation to fix runPermutation. so that the TrivialError has an unexpected token which is an Node containing a FileSource useful when reporting errors.

Constructors

Perm (Maybe a) (m (Perm m a))

Instances

Functor m => Functor (Perm m)

Defined in Symantic.RNC.Validate

Methods

fmap :: (a -> b) -> Perm m a -> Perm m b

(<$) :: a -> Perm m b -> Perm m a

Alternative m => Applicative (Perm m)

Defined in Symantic.RNC.Validate

Methods

pure :: a -> Perm m a

(<*>) :: Perm m (a -> b) -> Perm m a -> Perm m b

liftA2 :: (a -> b -> c) -> Perm m a -> Perm m b -> Perm m c

(*>) :: Perm m a -> Perm m b -> Perm m b

(<*) :: Perm m a -> Perm m b -> Perm m a

Orphan instances

(Ord err, Ord src, NoSource src, Stream (Seq (XML src)), Token (Seq (XML src)) ~ Tree (Sourced src Node)) => Sym_RNC (Parsec err (XMLs src))

Methods

namespace :: Maybe NCName -> Namespace -> Parsec err (XMLs src) ()

element :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a

attribute :: QName -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a

any :: Parsec err (XMLs src) ()

anyElem :: Namespace -> (NCName -> Parsec err (XMLs src) a) -> Parsec err (XMLs src) a

escapedText :: Parsec err (XMLs src) EscapedText

text :: Parsec err (XMLs src) Text

fail :: Parsec err (XMLs src) a

try :: Parsec err (XMLs src) a -> Parsec err (XMLs src) a

option :: a -> Parsec err (XMLs src) a -> Parsec err (XMLs src) a

optional :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Maybe a)

choice :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) a

intermany :: [Parsec err (XMLs src) a] -> Parsec err (XMLs src) [a]

manySeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a)

someSeq :: Parsec err (XMLs src) a -> Parsec err (XMLs src) (Seq a)

(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Permutation (ParsecT err (XMLs src) m)

Methods

runPermutation :: Permutation (ParsecT err (XMLs src) m) a -> ParsecT err (XMLs src) m a

toPermutation :: ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a

toPermutationWithDefault :: a -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) a

(<$$>) :: (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b

(<$?>) :: (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b

(<$*>) :: ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b

(<$:>) :: (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b

(<||>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b

(<|?>) :: Permutation (ParsecT err (XMLs src) m) (a -> b) -> (a, ParsecT err (XMLs src) m a) -> Permutation (ParsecT err (XMLs src) m) b

(<|*>) :: Permutation (ParsecT err (XMLs src) m) ([a] -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b

(<|:>) :: Permutation (ParsecT err (XMLs src) m) (Seq a -> b) -> ParsecT err (XMLs src) m a -> Permutation (ParsecT err (XMLs src) m) b

(Ord err, Ord src, Stream (Seq (XML src))) => Sym_Rule (ParsecT err (XMLs src) m)

Methods

rule :: Show a => String -> ParsecT err (XMLs src) m a -> ParsecT err (XMLs src) m a

arg :: String -> ParsecT err (XMLs src) m ()