HSP.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

MonadRWS r w s m => MonadRWS r w s (XMLGenT m)

MonadError e m => MonadError e (XMLGenT m)

MonadReader r m => MonadReader r (XMLGenT m)

MonadWriter w m => MonadWriter w (XMLGenT m)

MonadState s m => MonadState s (XMLGenT m)

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

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

(EmbedAsAttr m (Attr a v), TypeCastM m1 m) => EmbedAsAttr m (Attr a (XMLGenT m1 v))

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

(EmbedAsChild m c, ~ (* -> *) m n) => EmbedAsChild m (XMLGenT n c)

Monad m => Monad (XMLGenT m)

Functor m => Functor (XMLGenT m)

MonadPlus m => MonadPlus (XMLGenT m)

Applicative m => Applicative (XMLGenT m)

Alternative m => Alternative (XMLGenT m)

MonadIO m => MonadIO (XMLGenT m)

MonadCont m => MonadCont (XMLGenT m)

unXMLGenT :: XMLGenT m a -> m a

un-lift.

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

map the inner monad

type Name a = (Maybe a, a)

class Monad m => XMLGen m where

Generate XML values in some XMLGenerator monad.

Associated Types

type XMLType m

type StringType m

data ChildType m

data AttributeType m

Methods

genElement :: Name (StringType m) -> [XMLGenT m [AttributeType m]] -> [XMLGenT m [ChildType m]] -> XMLGenT m (XMLType m)

genEElement :: Name (StringType m) -> [XMLGenT m [AttributeType m]] -> XMLGenT m (XMLType m)

xmlToChild :: XMLType m -> ChildType m

pcdataToChild :: StringType m -> ChildType m

Instances

(Functor m, Monad m) => XMLGen (HSPT XML m)

type GenXML m = XMLGenT m (XMLType m)

Type synonyms to avoid writing out the XMLnGenT all the time

type GenXMLList m = XMLGenT m [XMLType m]

type GenChild m = XMLGenT m (ChildType m)

type GenChildList m = XMLGenT m [ChildType m]

type GenAttribute m = XMLGenT m (AttributeType m)

type GenAttributeList m = XMLGenT m [AttributeType 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

XMLGen m => EmbedAsChild m ()

(XMLGen m, ~ * (XMLType m) x) => EmbedAsChild m x

XMLGen m => EmbedAsChild m (ChildType m)

EmbedAsChild m c => EmbedAsChild m [c]

(EmbedAsChild m c, ~ (* -> *) m n) => EmbedAsChild m (XMLGenT n c)

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) ()

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Char

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) String

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) XML

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) [XML]

data Attr n a

Constructors

n := a

Instances

(EmbedAsAttr m (Attr a v), TypeCastM m1 m) => EmbedAsAttr m (Attr a (XMLGenT m1 v))

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

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ())

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ())

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool)

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char)

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

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 (AttributeType m)

(EmbedAsAttr m (Attr a v), TypeCastM m1 m) => EmbedAsAttr m (Attr a (XMLGenT m1 v))

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

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) Attribute

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ())

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ())

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool)

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char)

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text)

class (XMLGen m, SetAttr m (XMLType m), AppendChild m (XMLType m), EmbedAsChild m (XMLType m), EmbedAsChild m [XMLType m], EmbedAsChild m Text, EmbedAsChild m Char, EmbedAsChild m (), EmbedAsAttr m (Attr Text Text), EmbedAsAttr m (Attr Text Int), EmbedAsAttr m (Attr Text Bool)) => XMLGenerator m

Instances

(Functor m, Monad m) => XMLGenerator (HSPT XML m)

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)

(Functor m, Monad m) => SetAttr (HSPT XML m) XML

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

prepend attr to the list of attributes for the elem

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

prepend attr to the list of attributes for the elem

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

prepend the list of attr to the attributes for the elem

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)

(Functor m, Monad m) => AppendChild (HSPT XML m) XML

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

append child to the children of elem

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

append child to the children of elem

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

append children to the children of elem

class Show n => IsName n s 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 s

Instances

IsName String String

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

IsName String Text

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

IsName Text Text

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

IsName Text Text

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

Show a => IsName (Name a) a

Names can represent names, of course.

IsName (String, String) Text

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

IsName (Text, Text) Text

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

IsName (Text, Text) Text

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