hsx-0.9.1: HSX (Haskell Source with XML) allows literal XML syntax to be used in Haskell source code.

Portabilityrequires newtype deriving and MPTCs with fundeps
Stabilityexperimental
MaintainerNiklas Broberg, niklas.broberg@chalmers.se

HSX.XMLGenerator

Description

The class and monad transformer that forms the basis of the literal XML syntax translation. Literal tags will be translated into functions of the GenerateXML class, and any instantiating monads with associated XML types can benefit from that syntax.

Synopsis

Documentation

newtype XMLGenT m a Source

The monad transformer that allows a monad to generate XML values.

Constructors

XMLGenT (m a) 

unXMLGenT :: XMLGenT m a -> m aSource

un-lift.

mapXMLGenT :: (m a -> n b) -> XMLGenT m a -> XMLGenT n bSource

map the inner monad

class Monad m => XMLGen m whereSource

Generate XML values in some XMLGenerator monad.

Associated Types

type XML m Source

data Child m Source

data Attribute m Source

type GenXML m = XMLGenT m (XML m)Source

Type synonyms to avoid writing out the XMLnGenT all the time

class XMLGen m => EmbedAsChild m c whereSource

Embed values as child nodes of an XML element. The parent type will be clear from the context so it is not mentioned.

Methods

asChild :: c -> GenChildList mSource

class XMLGen m => EmbedAsAttr m a whereSource

Similarly embed values as attributes of an XML element.

data Attr n a Source

Constructors

n := a 

class XMLGen m => SetAttr m elem whereSource

Set attributes on XML elements

Methods

setAttr :: elem -> GenAttribute m -> GenXML mSource

setAll :: elem -> GenAttributeList m -> GenXML mSource

set :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> attr -> GenXML mSource

(<@) :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> attr -> GenXML mSource

(<<@) :: (SetAttr m elem, EmbedAsAttr m a) => elem -> [a] -> GenXML mSource

class XMLGen m => AppendChild m elem whereSource

Methods

appChild :: elem -> GenChild m -> GenXML mSource

appAll :: elem -> GenChildList m -> GenXML mSource

app :: (AppendChild m elem, EmbedAsChild m c) => elem -> c -> GenXML mSource

(<:) :: (AppendChild m elem, EmbedAsChild m c) => elem -> c -> GenXML mSource

(<<:) :: (AppendChild m elem, EmbedAsChild m c) => elem -> [c] -> GenXML mSource

class Show n => IsName n whereSource

Names can be simple or qualified with a domain. We want to conveniently use both simple strings or pairs wherever a Name is expected.

Methods

toName :: n -> NameSource

class TypeCast a b | a -> b, b -> a whereSource

Methods

typeCast :: a -> bSource

class TypeCast' t a b | t a -> b, t b -> a whereSource

Methods

typeCast' :: t -> a -> bSource

class TypeCast'' t a b | t a -> b, t b -> a whereSource

Methods

typeCast'' :: t -> a -> bSource

class TypeCastM ma mb | ma -> mb, mb -> ma whereSource

Methods

typeCastM :: ma x -> mb xSource

class TypeCastM' t ma mb | t ma -> mb, t mb -> ma whereSource

Methods

typeCastM' :: t -> ma x -> mb xSource

class TypeCastM'' t ma mb | t ma -> mb, t mb -> ma whereSource

Methods

typeCastM'' :: t -> ma x -> mb xSource