| Portability | requires newtype deriving and MPTCs with fundeps and type families |
|---|---|
| Stability | experimental |
| Maintainer | Niklas Broberg <niklas.broberg@gmail.com> |
| Safe Haskell | None |
HSP.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.
- newtype XMLGenT m a = XMLGenT (m a)
- unXMLGenT :: XMLGenT m a -> m a
- mapXMLGenT :: (m a -> n b) -> XMLGenT m a -> XMLGenT n b
- type Name a = (Maybe a, a)
- class Monad m => XMLGen m where
- type XMLType m
- type StringType m
- data ChildType m
- data AttributeType m
- 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
- type GenXML m = XMLGenT m (XMLType m)
- 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
- asChild :: c -> GenChildList m
- data Attr n a = n := a
- class XMLGen m => EmbedAsAttr m a where
- asAttr :: a -> GenAttributeList m
- 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
- class XMLGen m => SetAttr m elem where
- setAttr :: elem -> GenAttribute m -> GenXML m
- setAll :: elem -> GenAttributeList m -> GenXML m
- (<@) :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> attr -> GenXML m
- set :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> attr -> GenXML m
- (<<@) :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> [attr] -> GenXML m
- class XMLGen m => AppendChild m elem where
- (<:) :: (AppendChild m elem, EmbedAsChild m c) => elem -> c -> GenXML m
- app :: (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 s where
- class TypeCast a b | a -> b, b -> a where
- typeCast :: a -> b
- class TypeCast' t a b | t a -> b, t b -> a where
- typeCast' :: t -> a -> b
- class TypeCast'' t a b | t a -> b, t b -> a where
- typeCast'' :: t -> a -> b
- class TypeCastM ma mb | ma -> mb, mb -> ma where
- typeCastM :: ma x -> mb x
- class TypeCastM' t ma mb | t ma -> mb, t mb -> ma where
- typeCastM' :: t -> ma x -> mb x
- class TypeCastM'' t ma mb | t ma -> mb, t mb -> ma where
- typeCastM'' :: t -> ma x -> mb x
Documentation
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) | |
| MonadState s m => MonadState s (XMLGenT m) | |
| MonadWriter w m => MonadWriter w (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) |
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.
Methods
genElement :: Name (StringType m) -> [XMLGenT m [AttributeType m]] -> [XMLGenT m [ChildType m]] -> XMLGenT m (XMLType m)Source
genEElement :: Name (StringType m) -> [XMLGenT m [AttributeType m]] -> XMLGenT m (XMLType m)Source
xmlToChild :: XMLType m -> ChildType mSource
pcdataToChild :: StringType m -> ChildType mSource
type GenXML m = XMLGenT m (XMLType m)Source
Type synonyms to avoid writing out the XMLnGenT all the time
type GenXMLList m = XMLGenT m [XMLType m]Source
type GenChildList m = XMLGenT m [ChildType m]Source
type GenAttribute m = XMLGenT m (AttributeType m)Source
type GenAttributeList m = XMLGenT m [AttributeType m]Source
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
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) String | |
| (Functor m, Monad m) => EmbedAsChild (HSPT XML m) XML | |
| (Functor m, Monad m) => EmbedAsChild (HSPT XML m) [XML] |
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 Int) | |
| (Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) | |
| (Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) | |
| (Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) |
class XMLGen m => EmbedAsAttr m a whereSource
Similarly embed values as attributes of an XML element.
Methods
asAttr :: a -> GenAttributeList mSource
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 Int) | |
| (Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) | |
| (Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) | |
| (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 Source
Instances
| (Functor m, Monad m) => XMLGenerator (HSPT XML m) |
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
(<@) :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> attr -> GenXML mSource
prepend attr to the list of attributes for the elem
set :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> attr -> GenXML mSource
prepend attr to the list of attributes for the elem
(<<@) :: (SetAttr m elem, EmbedAsAttr m attr) => elem -> [attr] -> GenXML mSource
prepend the list of attr to the attributes for the elem
class XMLGen m => AppendChild m elem whereSource
Methods
appChild :: elem -> GenChild m -> GenXML mSource
appAll :: elem -> GenChildList m -> GenXML mSource
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 mSource
append child to the children of elem
app :: (AppendChild m elem, EmbedAsChild m c) => elem -> c -> GenXML mSource
append child to the children of elem
(<<:) :: (AppendChild m elem, EmbedAsChild m c) => elem -> [c] -> GenXML mSource
append children to the children of elem
class Show n => IsName n s 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.
Instances
| IsName String String | 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. |
class TypeCast' t a b | t a -> b, t b -> a whereSource
Instances
| TypeCast'' t a b => TypeCast' t a b |
class TypeCast'' t a b | t a -> b, t b -> a whereSource
Methods
typeCast'' :: t -> a -> bSource
Instances
| TypeCast'' () a a |
class TypeCastM ma mb | ma -> mb, mb -> ma whereSource
Instances
| TypeCastM' () ma mb => TypeCastM ma mb |
class TypeCastM' t ma mb | t ma -> mb, t mb -> ma whereSource
Methods
typeCastM' :: t -> ma x -> mb xSource
Instances
| TypeCastM'' t ma mb => TypeCastM' t ma mb |
class TypeCastM'' t ma mb | t ma -> mb, t mb -> ma whereSource
Methods
typeCastM'' :: t -> ma x -> mb xSource
Instances
| TypeCastM'' () ma ma |