Symantic.XML.RelaxNG.Compact.Write

Documentation

writeRNC :: RNCWriteSyn a k -> Text

Get textual rendition of given RNCWriteSyn.

runRNCWriteSyn :: RNCWriteSyn a k -> Builder

Get textual rendition of given RNCWriteSyn.

Type RNCWriteState

data RNCWriteState

Chained values.

Constructors

RNCWriteState

Fields

• rncWriteState_namespaces :: Namespaces (Maybe NCName)

  The Namespaces used throughout the RelaxNG schema.

• rncWriteState_defines :: Map DefineName (RNCWriteInh -> Maybe Builder)

  Used to avoid infinite recursion, by looking up the DefineName of define.

Type RNCWriteSyn

data RNCWriteSyn a k

Synthetized (bottom-up) values.

Constructors

RNCWriteSyn

Fields

• rncWriteSyn_state :: Chained RNCWriteState
• rncWriteSyn_schema :: RNCWriteInh -> Maybe Builder

Instances

Constant RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

constant :: a -> RNCWriteSyn (a -> k) k

Dicurryable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

dicurry :: CurryN args => proxy args -> (args -..-> r) -> (r -> Tuples args) -> RNCWriteSyn (args -..-> k) k -> RNCWriteSyn (r -> k) k

Eitherable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

(<+>) :: RNCWriteSyn (a -> k) k -> RNCWriteSyn (b -> k) k -> RNCWriteSyn (Either a b -> k) k

Emptyable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

empty :: RNCWriteSyn k k

Optionable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

option :: RNCWriteSyn k k -> RNCWriteSyn k k

optional :: RNCWriteSyn (a -> k) k -> RNCWriteSyn (Maybe a -> k) k

Repeatable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

many0 :: RNCWriteSyn (a -> k) k -> RNCWriteSyn ([a] -> k) k

many1 :: RNCWriteSyn (a -> k) k -> RNCWriteSyn ([a] -> k) k

Tupable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

(<:>) :: RNCWriteSyn (a -> k) k -> RNCWriteSyn (b -> k) k -> RNCWriteSyn ((a, b) -> k) k

Unitable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

unit :: RNCWriteSyn (() -> k) k

Dimapable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

dimap :: (a -> b) -> (b -> a) -> RNCWriteSyn (a -> k) k -> RNCWriteSyn (b -> k) k

Composable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

(<.>) :: RNCWriteSyn a b -> RNCWriteSyn b c -> RNCWriteSyn a c

Voidable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

void :: a -> RNCWriteSyn (a -> b) k -> RNCWriteSyn b k

Permutable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Associated Types

type Permutation RNCWriteSyn = (r :: Type -> Type -> Type)

Methods

permutable :: Permutation RNCWriteSyn (a -> k) k -> RNCWriteSyn (a -> k) k

perm :: RNCWriteSyn (a -> k) k -> Permutation RNCWriteSyn (a -> k) k

noPerm :: Permutation RNCWriteSyn k k

permWithDefault :: a -> RNCWriteSyn (a -> k) k -> Permutation RNCWriteSyn (a -> k) k

optionalPerm :: (Eitherable RNCWriteSyn, Dimapable RNCWriteSyn, Permutable RNCWriteSyn) => RNCWriteSyn (a -> k) k -> Permutation RNCWriteSyn (Maybe a -> k) k

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

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

Definable RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

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

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

IsString (RNCWriteSyn a k)

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

fromString :: String -> RNCWriteSyn a k

type Permutation RNCWriteSyn

Defined in Symantic.XML.RelaxNG.Compact.Write

type Permutation RNCWriteSyn = RNCWriteSynPerm

type TextConstraint RNCWriteSyn a

Defined in Symantic.XML.RelaxNG.Compact.Write

type TextConstraint RNCWriteSyn a = RNCText a

type Chained a = a -> a

Like the State st () monad, but without (). The name comme from chained-attribute from Attribute Grammar.

coerceRNCWriteSyn :: RNCWriteSyn a k -> RNCWriteSyn a' k'

pairRNCWriteInh :: Semigroup s => IsString s => RNCWriteInh -> Infix -> Maybe s -> Maybe s

Type RNCWriteInh

data RNCWriteInh

Constructors

RNCWriteInh

Fields

• rncWriteInh_namespaces :: Namespaces NCName
• rncWriteInh_op :: (Infix, Side)
• rncWriteInh_pair :: Pair

Type RNCWriteSynPerm

newtype RNCWriteSynPerm a k

Constructors

RNCWriteSynPerm

Fields

• rncWriteSynPerm_alternatives :: [RNCWriteSyn a k]

  Collect alternatives for rendering them all at once in runPermutation.

Instances

Tupable RNCWriteSynPerm

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

(<:>) :: RNCWriteSynPerm (a -> k) k -> RNCWriteSynPerm (b -> k) k -> RNCWriteSynPerm ((a, b) -> k) k

Dimapable RNCWriteSynPerm

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

dimap :: (a -> b) -> (b -> a) -> RNCWriteSynPerm (a -> k) k -> RNCWriteSynPerm (b -> k) k

Composable RNCWriteSynPerm

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

(<.>) :: RNCWriteSynPerm a b -> RNCWriteSynPerm b c -> RNCWriteSynPerm a c

Definable RNCWriteSynPerm

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

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

Class RNCText

class RNCText a where

Minimal complete definition

rncText_qname

Methods

rncText_qname :: QName

rncText_params :: Map Text Text

Instances

RNCText Bool

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text Text

RNCText Int

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text Text

RNCText Integer

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text Text

RNCText Natural

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text Text

RNCText String

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text Text

RNCText Text

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text0 Text0

RNCText Text

Defined in Symantic.XML.RelaxNG.Compact.Write

Methods

rncText_qname :: QName

rncText_params :: Map Text Text