Safe Haskell	None
Language	Haskell2010

Symantic.RNC.Write.Namespaces

Contents

Type NS
- Type State

Synopsis

runNS :: forall a. [NS a] -> Namespaces NCName
coerceNS :: NS a -> NS b
newtype NS a = NS {
- unNS :: State State (Namespaces (Maybe NCName))
}
newtype State = State {
- state_rules :: HashSet String
}

Documentation

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

Collect Namespaces used and get them a dedicated prefix.

coerceNS :: NS a -> NS b Source #

Type `NS`

newtype NS a Source #

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 Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods fmap :: (a -> b) -> NS a -> NS b # (<$) :: a -> NS b -> NS a #
Applicative NS Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods runPermutation :: Permutation NS a -> NS a Source # toPermutation :: NS a -> Permutation NS a Source # toPermutationWithDefault :: a -> NS a -> Permutation NS a Source # (<$$>) :: (a -> b) -> NS a -> Permutation NS b Source # (<$?>) :: (a -> b) -> (a, NS a) -> Permutation NS b Source # (<$>) :: ([a] -> b) -> NS a -> Permutation NS b Source # (<$:>) :: (Seq a -> b) -> NS a -> Permutation NS b Source # (<\|\|>) :: Permutation NS (a -> b) -> NS a -> Permutation NS b Source # (<\|?>) :: Permutation NS (a -> b) -> (a, NS a) -> Permutation NS b Source # (<\|>) :: Permutation NS ([a] -> b) -> NS a -> Permutation NS b Source # (<\|:>) :: Permutation NS (Seq a -> b) -> NS a -> Permutation NS b Source #
Sym_Rule NS Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods rule :: Show a => String -> NS a -> NS a Source # arg :: String -> NS () Source #
Sym_RNC NS Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods namespace :: Maybe NCName -> Namespace -> NS () Source # element :: QName -> NS a -> NS a Source # attribute :: QName -> NS a -> NS a Source # any :: NS () Source # anyElem :: Namespace -> (NCName -> NS a) -> NS a Source # escapedText :: NS EscapedText Source # text :: NS Text Source # fail :: NS a Source # try :: NS a -> NS a Source # option :: a -> NS a -> NS a Source # optional :: NS a -> NS (Maybe a) Source # choice :: [NS a] -> NS a Source # intermany :: [NS a] -> NS [a] Source # manySeq :: NS a -> NS (Seq a) Source # someSeq :: NS a -> NS (Seq a) Source #
Show (NS a) Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods showsPrec :: Int -> NS a -> ShowS # show :: NS a -> String # showList :: [NS a] -> ShowS #
Semigroup (NS a) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Symantic.RNC.Write.Namespaces type Permutation NS = NS

Type `State`

newtype State Source #

Constructors

State
Fields state_rules :: HashSet String

Instances

Show State Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods showsPrec :: Int -> State -> ShowS # show :: State -> String # showList :: [State] -> ShowS #
Default State Source #
Instance details Defined in Symantic.RNC.Write.Namespaces Methods def :: State #

Documentation

Type NS

Type State

Type `NS`

Type `State`