HSX.XMLGenerator

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.

Documentation

newtype XMLGenT m a

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

Constructors

XMLGenT (m a)

Instances

MonadTrans XMLGenT

(AppendChild m x, TypeCastM m1 m) => AppendChild m (XMLGenT m1 x)

(TypeCastM m1 m, SetAttr m x) => SetAttr m (XMLGenT m1 x)

(XMLGen m, EmbedAsAttr m a) => EmbedAsAttr m (XMLGenT m a)

(EmbedAsChild m c, TypeCastM m1 m) => EmbedAsChild m (XMLGenT m1 c)

Monad m => Monad (XMLGenT m)

Functor m => Functor (XMLGenT m)

MonadPlus m => MonadPlus (XMLGenT m)

MonadIO m => MonadIO (XMLGenT m)

unXMLGenT :: XMLGenT m a -> m a

un-lift.

type Name = (Maybe String, String)

class Monad m => XMLGen m where

Generate XML values in some XMLGenerator monad.

Associated Types

type XML m

data Child m

data Attribute m

Methods

genElement :: Name -> [XMLGenT m [Attribute m]] -> [XMLGenT m [Child m]] -> XMLGenT m (XML m)

genEElement :: Name -> [XMLGenT m [Attribute m]] -> XMLGenT m (XML m)

xmlToChild :: XML m -> Child m

type GenXML m = XMLGenT m (XML m)

Type synonyms to avoid writing out the XMLnGenT all the time

type GenXMLList m = XMLGenT m [XML m]

type GenChild m = XMLGenT m (Child m)

type GenChildList m = XMLGenT m [Child m]

type GenAttribute m = XMLGenT m (Attribute m)

type GenAttributeList m = XMLGenT m [Attribute m]

class XMLGen m => EmbedAsChild m c where

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 m

Instances

(XML m ~ x, XMLGen m) => EmbedAsChild m x

XMLGen m => EmbedAsChild m (Child m)

EmbedAsChild m c => EmbedAsChild m [c]

(EmbedAsChild m c, TypeCastM m1 m) => EmbedAsChild m (XMLGenT m1 c)

class XMLGen m => EmbedAsAttr m a where

Similarly embed values as attributes of an XML element.

Methods

asAttr :: a -> GenAttributeList m

Instances

EmbedAsAttr m a => EmbedAsAttr m [a]

XMLGen m => EmbedAsAttr m (Attribute m)

(XMLGen m, EmbedAsAttr m a) => EmbedAsAttr m (XMLGenT m a)

class (XMLGen m, SetAttr m (XML m), AppendChild m (XML m), EmbedAsChild m String, EmbedAsChild m Char, EmbedAsAttr m (Attr String String), EmbedAsAttr m (Attr String Int), EmbedAsAttr m (Attr String Bool)) => XMLGenerator m

data Attr n a

Constructors

n := a

Instances

(Show n, Show a) => Show (Attr n a)

class XMLGen m => SetAttr m elem where

Set attributes on XML elements

Methods

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

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

Instances

(TypeCastM m1 m, SetAttr m x) => SetAttr m (XMLGenT m1 x)

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

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

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

class XMLGen m => AppendChild m elem where

Methods

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

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

Instances

(AppendChild m x, TypeCastM m1 m) => AppendChild m (XMLGenT m1 x)

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

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

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

class Show n => IsName n where

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 -> Name

Instances

IsName String

Strings can represent names, meaning a simple name with no domain.

IsName Name

Names can represent names, of course.

IsName (String, String)

Pairs of strings can represent names, meaning a name qualified with a domain.

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

Methods

typeCast :: a -> b

Instances

TypeCast' () a b => TypeCast a b

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

Methods

typeCast' :: t -> a -> b

Instances

TypeCast'' t a b => TypeCast' t a b

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

Methods

typeCast'' :: t -> a -> b

Instances

TypeCast'' () a a

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

Methods

typeCastM :: ma x -> mb x

Instances

TypeCastM' () ma mb => TypeCastM ma mb

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

Methods

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

Instances

TypeCastM'' t ma mb => TypeCastM' t ma mb

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

Methods

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

Instances

TypeCastM'' () ma ma