Symantic.RNC.Write.Namespaces

Documentation

runNS :: forall a. [NS a] -> Namespaces NCName

Collect Namespaces used and get them a dedicated prefix.

coerceNS :: NS a -> NS b

Type NS

newtype NS a

Collect Namespacess and any prefixes associated with it, using State to avoid recurring into already visited rules.

Constructors

NS

Fields

• unNS :: State State (Namespaces (Maybe NCName))

Instances

Functor NS

Defined in Symantic.RNC.Write.Namespaces

Methods

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

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

Applicative NS

Defined in Symantic.RNC.Write.Namespaces

Methods

pure :: a -> NS a

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

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

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

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

Alternative NS

Defined in Symantic.RNC.Write.Namespaces

Methods

empty :: NS a

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

some :: NS a -> NS [a]

many :: NS a -> NS [a]

Sym_Permutation NS

Defined in Symantic.RNC.Write.Namespaces

Methods

runPermutation :: Permutation NS a -> NS a

toPermutation :: NS a -> Permutation NS a

toPermutationWithDefault :: a -> NS a -> Permutation NS a

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

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

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

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

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

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

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

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

Sym_Rule NS

Defined in Symantic.RNC.Write.Namespaces

Methods

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

arg :: String -> NS ()

Sym_RNC NS

Defined in Symantic.RNC.Write.Namespaces

Methods

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

element :: QName -> NS a -> NS a

attribute :: QName -> NS a -> NS a

any :: NS ()

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

escapedText :: NS EscapedText

text :: NS Text

fail :: NS a

try :: NS a -> NS a

option :: a -> NS a -> NS a

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

choice :: [NS a] -> NS a

intermany :: [NS a] -> NS [a]

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

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

Show (NS a)

Defined in Symantic.RNC.Write.Namespaces

Methods

showsPrec :: Int -> NS a -> ShowS

show :: NS a -> String

showList :: [NS a] -> ShowS

Semigroup (NS a)

Defined in Symantic.RNC.Write.Namespaces

Methods

(<>) :: NS a -> NS a -> NS a

sconcat :: NonEmpty (NS a) -> NS a

stimes :: Integral b => b -> NS a -> NS a

Monoid (NS a)

Defined in Symantic.RNC.Write.Namespaces

Methods

mempty :: NS a

mappend :: NS a -> NS a -> NS a

mconcat :: [NS a] -> NS a

type Permutation NS

Defined in Symantic.RNC.Write.Namespaces

type Permutation NS = NS

Type State

newtype State

Constructors

State

Fields

• state_rules :: HashSet String

Instances

Show State

Defined in Symantic.RNC.Write.Namespaces

Methods

showsPrec :: Int -> State -> ShowS

show :: State -> String

showList :: [State] -> ShowS

Default State

Defined in Symantic.RNC.Write.Namespaces

Methods

def :: State