Symantic.RNC.Write

Documentation

newtype Writer a

Constructors

Writer

Fields

• unWriter :: Namespaces NCName -> RuleMode -> (Infix, Side) -> Pair -> Text

Instances

Functor Writer

Defined in Symantic.RNC.Write

Methods

fmap :: (a -> b) -> Writer a -> Writer b

(<$) :: a -> Writer b -> Writer a

Applicative Writer

Defined in Symantic.RNC.Write

Methods

pure :: a -> Writer a

(<*>) :: Writer (a -> b) -> Writer a -> Writer b

liftA2 :: (a -> b -> c) -> Writer a -> Writer b -> Writer c

(*>) :: Writer a -> Writer b -> Writer b

(<*) :: Writer a -> Writer b -> Writer a

Alternative Writer

Defined in Symantic.RNC.Write

Methods

empty :: Writer a

(<|>) :: Writer a -> Writer a -> Writer a

some :: Writer a -> Writer [a]

many :: Writer a -> Writer [a]

Sym_Permutation Writer

Defined in Symantic.RNC.Write

Methods

runPermutation :: Permutation Writer a -> Writer a

toPermutation :: Writer a -> Permutation Writer a

toPermutationWithDefault :: a -> Writer a -> Permutation Writer a

(<$$>) :: (a -> b) -> Writer a -> Permutation Writer b

(<$?>) :: (a -> b) -> (a, Writer a) -> Permutation Writer b

(<$*>) :: ([a] -> b) -> Writer a -> Permutation Writer b

(<$:>) :: (Seq a -> b) -> Writer a -> Permutation Writer b

(<||>) :: Permutation Writer (a -> b) -> Writer a -> Permutation Writer b

(<|?>) :: Permutation Writer (a -> b) -> (a, Writer a) -> Permutation Writer b

(<|*>) :: Permutation Writer ([a] -> b) -> Writer a -> Permutation Writer b

(<|:>) :: Permutation Writer (Seq a -> b) -> Writer a -> Permutation Writer b

Sym_Rule Writer

Defined in Symantic.RNC.Write

Methods

rule :: Show a => String -> Writer a -> Writer a

arg :: String -> Writer ()

Sym_RNC Writer

Defined in Symantic.RNC.Write

Methods

namespace :: Maybe NCName -> Namespace -> Writer ()

element :: QName -> Writer a -> Writer a

attribute :: QName -> Writer a -> Writer a

any :: Writer ()

anyElem :: Namespace -> (NCName -> Writer a) -> Writer a

escapedText :: Writer EscapedText

text :: Writer Text

fail :: Writer a

try :: Writer a -> Writer a

option :: a -> Writer a -> Writer a

optional :: Writer a -> Writer (Maybe a)

choice :: [Writer a] -> Writer a

intermany :: [Writer a] -> Writer [a]

manySeq :: Writer a -> Writer (Seq a)

someSeq :: Writer a -> Writer (Seq a)

type Permutation Writer

Defined in Symantic.RNC.Write

type Permutation Writer = Compose [] Writer

writeRNC :: [NS a] -> [Writer a] -> Text

Get textual rendition of given RuleWriter.

runWriter :: Namespaces NCName -> Writer a -> Text

Get textual rendition of given Writer.

coerceWriter :: Writer a -> Writer b

writeText :: Text -> Writer a

Writer returns a constant rendition.

module Symantic.RNC.Write.Fixity

module Symantic.RNC.Write.Namespaces