Symantic.XML.Write

Type Write

newtype Write params k

Constructors

Write

Fields

• unWrite :: (WriteSyn -> k) -> params

Instances

Constant Write

Defined in Symantic.XML.Write

Methods

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

Dicurryable Write

Defined in Symantic.XML.Write

Methods

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

Eitherable Write

Defined in Symantic.XML.Write

Methods

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

Emptyable Write

Defined in Symantic.XML.Write

Methods

empty :: Write k k

Optionable Write

Defined in Symantic.XML.Write

Methods

option :: Write k k -> Write k k

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

Repeatable Write

Defined in Symantic.XML.Write

Methods

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

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

Tupable Write

Defined in Symantic.XML.Write

Methods

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

Unitable Write

Defined in Symantic.XML.Write

Methods

unit :: Write (() -> k) k

Dimapable Write

Defined in Symantic.XML.Write

Methods

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

Composable Write

Defined in Symantic.XML.Write

Methods

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

Voidable Write

Defined in Symantic.XML.Write

Methods

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

Permutable Write

Defined in Symantic.XML.Write

Associated Types

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

Methods

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

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

noPerm :: Permutation Write k k

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

optionalPerm :: (Eitherable Write, Dimapable Write, Permutable Write) => Write (a -> k) k -> Permutation Write (Maybe 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

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

Definable Write

Defined in Symantic.XML.Write

Methods

define :: DefineName -> Write a k -> Write a k

RelaxNG Write

Defined in Symantic.XML.Write

Methods

elementMatch :: NameClass -> Write a k -> Write (QName -> a) k

attributeMatch :: NameClass -> Write a k -> Write (QName -> a) k

Tupable (WritePerm Write)

Defined in Symantic.XML.Write

Methods

(<:>) :: WritePerm Write (a -> k) k -> WritePerm Write (b -> k) k -> WritePerm Write ((a, b) -> k) k

Dimapable (WritePerm Write)

Defined in Symantic.XML.Write

Methods

dimap :: (a -> b) -> (b -> a) -> WritePerm Write (a -> k) k -> WritePerm Write (b -> k) k

Composable (WritePerm Write)

Defined in Symantic.XML.Write

Methods

(<.>) :: WritePerm Write a b -> WritePerm Write b c -> WritePerm Write a c

type Permutation Write

Defined in Symantic.XML.Write

type Permutation Write = WritePerm Write

type TextConstraint Write a

Defined in Symantic.XML.Write

type TextConstraint Write a = EncodeText a

write :: Write params ByteString -> params

runWrite :: WriteInh -> Write params ByteString -> params

writeUtf8 :: FilePath -> Write params (IO (Maybe ErrorWrite)) -> params

Type Write

type ErrorWrite = IOError

Type WriteInh

data WriteInh

Top-down inheritage.

Constructors

WriteInh

Fields

• writeInh_namespaces :: Namespaces NCName

  Namespaces from the parent element.

• writeInh_indent :: Builder
• writeInh_indent_delta :: Text

defaultWriteInh :: WriteInh

Type WriteSyn

data WriteSyn

Bottom-up synthesis to build element or attribute.

Constructors

WriteSyn

Fields

• writeSyn_attrs :: HashMap QName Text
• writeSyn_attr :: Text
• writeSyn_namespaces_default :: Maybe Namespace
• writeSyn_namespaces_prefixes :: HashMap Namespace NCName
• writeSyn_result :: WriteInh -> Maybe Builder

Instances

Semigroup WriteSyn

Defined in Symantic.XML.Write

Methods

(<>) :: WriteSyn -> WriteSyn -> WriteSyn

sconcat :: NonEmpty WriteSyn -> WriteSyn

stimes :: Integral b => b -> WriteSyn -> WriteSyn

Monoid WriteSyn

Defined in Symantic.XML.Write

Methods

mempty :: WriteSyn

mappend :: WriteSyn -> WriteSyn -> WriteSyn

mconcat :: [WriteSyn] -> WriteSyn

Type WritePerm

newtype WritePerm repr xml k

Constructors

WritePerm

Fields

• unWritePerm :: repr xml k

Instances

Tupable (WritePerm Write)

Defined in Symantic.XML.Write

Methods

(<:>) :: WritePerm Write (a -> k) k -> WritePerm Write (b -> k) k -> WritePerm Write ((a, b) -> k) k

Transformable (WritePerm repr)

Defined in Symantic.XML.Write

Associated Types

type UnTrans (WritePerm repr) :: Type -> Type -> Type

Methods

noTrans :: UnTrans (WritePerm repr) a b -> WritePerm repr a b

unTrans :: WritePerm repr a b -> UnTrans (WritePerm repr) a b

trans1 :: (UnTrans (WritePerm repr) a b -> UnTrans (WritePerm repr) c d) -> WritePerm repr a b -> WritePerm repr c d

trans2 :: (UnTrans (WritePerm repr) a b -> UnTrans (WritePerm repr) c d -> UnTrans (WritePerm repr) e f) -> WritePerm repr a b -> WritePerm repr c d -> WritePerm repr e f

Dimapable (WritePerm Write)

Defined in Symantic.XML.Write

Methods

dimap :: (a -> b) -> (b -> a) -> WritePerm Write (a -> k) k -> WritePerm Write (b -> k) k

Composable (WritePerm Write)

Defined in Symantic.XML.Write

Methods

(<.>) :: WritePerm Write a b -> WritePerm Write b c -> WritePerm Write a c

type UnTrans (WritePerm repr)

Defined in Symantic.XML.Write

type UnTrans (WritePerm repr) = repr

nl :: WriteInh -> Builder

Class EncodeText

class EncodeText a where

Minimal complete definition

Nothing

Methods

encodeText :: a -> Text

encodeText :: Show a => a -> Text

Instances

EncodeText Bool

Defined in Symantic.XML.Write

Methods

encodeText :: Bool -> Text

EncodeText Int

Defined in Symantic.XML.Write

Methods

encodeText :: Int -> Text

EncodeText Integer

Defined in Symantic.XML.Write

Methods

encodeText :: Integer -> Text

EncodeText Natural

Defined in Symantic.XML.Write

Methods

encodeText :: Natural -> Text

EncodeText String

Defined in Symantic.XML.Write

Methods

encodeText :: String -> Text

EncodeText Text

Defined in Symantic.XML.Write

Methods

encodeText :: Text -> Text0

EncodeText Text

Defined in Symantic.XML.Write

Methods

encodeText :: Text -> Text