Symantic.XML.RelaxNG.Language

Class RelaxNG

class (XML repr, Permutable repr, Definable repr) => RelaxNG repr where

Minimal complete definition

Nothing

Methods

elementMatch :: Transformable repr => RelaxNG (UnTrans repr) => NameClass -> repr a k -> repr (QName -> a) k

Like element but with a matching pattern instead of a specific QName.

elementMatch :: NameClass -> repr a k -> repr (QName -> a) k

Like element but with a matching pattern instead of a specific QName.

attributeMatch :: Transformable repr => RelaxNG (UnTrans repr) => NameClass -> repr a k -> repr (QName -> a) k

Like attribute but with a matching pattern instead of a specific QName.

attributeMatch :: NameClass -> repr a k -> repr (QName -> a) k

Like attribute but with a matching pattern instead of a specific QName.

Instances

RelaxNG RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

elementMatch :: NameClass -> RNCWriteSyn a k -> RNCWriteSyn (QName -> a) k

attributeMatch :: NameClass -> RNCWriteSyn a k -> RNCWriteSyn (QName -> a) k

RelaxNG Write

Defined in Symantic.XML.Write

Methods

elementMatch :: NameClass -> Write a k -> Write (QName -> a) k

attributeMatch :: NameClass -> Write a k -> Write (QName -> a) k

RelaxNG TreeData

Defined in Symantic.XML.Tree.Data

Methods

elementMatch :: NameClass -> TreeData a k -> TreeData (QName -> a) k

attributeMatch :: NameClass -> TreeData a k -> TreeData (QName -> a) k

(Ord err, ReadConstraints src, Textable (Read src err), Definable (Read src err)) => RelaxNG (Read src err)

Defined in Symantic.XML.Read

Methods

elementMatch :: NameClass -> Read src err a k -> Read src err (QName -> a) k

attributeMatch :: NameClass -> Read src err a k -> Read src err (QName -> a) k

Type Definable

class Definable repr where

Minimal complete definition

Nothing

Methods

define :: DefineName -> repr a k -> repr a k

(define name expr) declares a rule named (name) and matching the RelaxNG schema (expr).

Useful for rendering the RelaxNG schema, and necessary to avoid infinite recursion when printing a RelaxNG schema calling itself recursively.

WARNING: DefineNames must be unique inside a whole RelaxNG schema.

define :: Transformable repr => RelaxNG (UnTrans repr) => DefineName -> repr f k -> repr f k

(define name expr) declares a rule named (name) and matching the RelaxNG schema (expr).

Useful for rendering the RelaxNG schema, and necessary to avoid infinite recursion when printing a RelaxNG schema calling itself recursively.

WARNING: DefineNames must be unique inside a whole RelaxNG schema.

Instances

Definable RNCWriteSynPerm

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

define :: DefineName -> RNCWriteSynPerm a k -> RNCWriteSynPerm a k

Definable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

define :: DefineName -> RNCWriteSyn a k -> RNCWriteSyn a k

Definable Write

Defined in Symantic.XML.Write

Methods

define :: DefineName -> Write a k -> Write a k

Definable TreeData

Defined in Symantic.XML.Tree.Data

Methods

define :: DefineName -> TreeData a k -> TreeData a k

Definable (ReadPerm src err)

Defined in Symantic.XML.Read

Methods

define :: DefineName -> ReadPerm src err a k -> ReadPerm src err a k

Ord err => Definable (Read FileSourced err)

Defined in Symantic.XML.Read

Methods

define :: DefineName -> Read FileSourced err a k -> Read FileSourced err a k

Type DefineName

type DefineName = String

Type NameClass

data NameClass

Constructors

NameClass_Any

(:::) Namespace NCName infix 9

(:*) Namespace

(:-:) NameClass NameClass infixl 6

(:|:) NameClass NameClass infixr 2

Instances

IsString NameClass

Only parses "*", "{some-namespace}*", or "{some-namespace}some-localname".

Defined in Symantic.XML.RelaxNG.Language

Methods

fromString :: String -> NameClass

Textify (Namespaces NCName, (Infix, Side), NameClass)

Defined in Symantic.XML.RelaxNG.Language

Methods

textify :: (Namespaces NCName, (Infix, Side), NameClass) -> Builder

(*:*) :: NameClass

matchNameClass :: NameClass -> QName -> Bool

(matchNameClass nc q) returns True iif. the NameClass (nc) matches the QName (q).

namespacesNameClass :: NameClass -> HashMap Namespace (Maybe NCName)

Return the namespaces used by the given NameClass