Symantic.XML.Language

Documentation

class Textable repr where

Minimal complete definition

Nothing

Associated Types

type TextConstraint repr a :: Constraint

Methods

text :: Transformable repr => XML (UnTrans repr) => TextConstraint (UnTrans repr) a => repr (a -> k) k

text :: TextConstraint repr a => repr (a -> k) k

Instances

Textable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Associated Types

type TextConstraint RNCWriteSyn a :: Constraint

Methods

text :: TextConstraint RNCWriteSyn a => RNCWriteSyn (a -> k) k

Textable Write

Defined in Symantic.XML.Write

Associated Types

type TextConstraint Write a :: Constraint

Methods

text :: TextConstraint Write a => Write (a -> k) k

Textable TreeData

Defined in Symantic.XML.Tree.Data

Associated Types

type TextConstraint TreeData a :: Constraint

Methods

text :: TextConstraint TreeData a => TreeData (a -> k) k

Ord err => Textable (Read FileSourced err)

Defined in Symantic.XML.Read

Associated Types

type TextConstraint (Read FileSourced err) a :: Constraint

Methods

text :: TextConstraint (Read FileSourced err) a => Read FileSourced err (a -> k) k

class (Composable repr, Tupable repr, Eitherable repr, Textable repr) => XML repr where

Minimal complete definition

Nothing

Methods

namespace :: Maybe NCName -> Namespace -> repr k k

(namespace p ns) declares a namespace prefix (p) to be used for the Namespace (ns). Or make (ns) the default namespace if (p) is Nothing.

namespace :: Transformable repr => XML (UnTrans repr) => Maybe NCName -> Namespace -> repr k k

(namespace p ns) declares a namespace prefix (p) to be used for the Namespace (ns). Or make (ns) the default namespace if (p) is Nothing.

element :: Transformable repr => XML (UnTrans repr) => QName -> repr a k -> repr a k

element :: QName -> repr a k -> repr a k

attribute :: Transformable repr => XML (UnTrans repr) => QName -> repr a k -> repr a k

attribute :: QName -> repr a k -> repr a k

pi :: Transformable repr => XML (UnTrans repr) => PName -> repr (Text -> k) k

pi :: PName -> repr (Text -> k) k

literal :: Transformable repr => XML (UnTrans repr) => Text -> repr k k

literal :: Text -> repr k k

comment :: Transformable repr => XML (UnTrans repr) => repr (Text -> k) k

comment :: repr (Text -> k) k

cdata :: Transformable repr => XML (UnTrans repr) => repr (Text -> k) k

cdata :: repr (Text -> k) k

Instances

XML RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

namespace :: Maybe NCName -> Namespace -> RNCWriteSyn k k

element :: QName -> RNCWriteSyn a k -> RNCWriteSyn a k

attribute :: QName -> RNCWriteSyn a k -> RNCWriteSyn a k

pi :: PName -> RNCWriteSyn (Text -> k) k

literal :: Text -> RNCWriteSyn k k

comment :: RNCWriteSyn (Text -> k) k

cdata :: RNCWriteSyn (Text -> k) k

XML Write

Defined in Symantic.XML.Write

Methods

namespace :: Maybe NCName -> Namespace -> Write k k

element :: QName -> Write a k -> Write a k

attribute :: QName -> Write a k -> Write a k

pi :: PName -> Write (Text -> k) k

literal :: Text -> Write k k

comment :: Write (Text -> k) k

cdata :: Write (Text -> k) k

XML TreeData

Defined in Symantic.XML.Tree.Data

Methods

namespace :: Maybe NCName -> Namespace -> TreeData k k

element :: QName -> TreeData a k -> TreeData a k

attribute :: QName -> TreeData a k -> TreeData a k

pi :: PName -> TreeData (Text -> k) k

literal :: Text -> TreeData k k

comment :: TreeData (Text -> k) k

cdata :: TreeData (Text -> k) k

(Ord err, ReadConstraints src, Textable (Read src err)) => XML (Read src err)

Defined in Symantic.XML.Read

Methods

namespace :: Maybe NCName -> Namespace -> Read src err k k

element :: QName -> Read src err a k -> Read src err a k

attribute :: QName -> Read src err a k -> Read src err a k

pi :: PName -> Read src err (Text -> k) k

literal :: Text -> Read src err k k

comment :: Read src err (Text -> k) k

cdata :: Read src err (Text -> k) k

module Symantic.XML.Namespace

module Symantic.XML.Text