- type HSPT m = XMLGenT (HSPT' m)
- data XML
- data family Child m
- asChild :: EmbedAsChild m c => c -> GenChildList m
- genElement :: XMLGen m => Name -> [XMLGenT m [Attribute m]] -> [XMLGenT m [Child m]] -> XMLGenT m (XML m)
- genEElement :: XMLGen m => Name -> [XMLGenT m [Attribute m]] -> XMLGenT m (XML m)
- asAttr :: EmbedAsAttr m a => a -> GenAttributeList m
- data Attr n a = n := a
- webHspHtml :: WebIO m => HSPT m XML -> m (WebRes m)
- webToHsp :: Web m => m a -> HSPT m a
Documentation
data XML
The XML datatype representation. Is either an Element or CDATA.
data family Child m
asChild :: EmbedAsChild m c => c -> GenChildList m
genElement :: XMLGen m => Name -> [XMLGenT m [Attribute m]] -> [XMLGenT m [Child m]] -> XMLGenT m (XML m)
asAttr :: EmbedAsAttr m a => a -> GenAttributeList m
data Attr n a
n := a |
(IsName n, IsAttrNodeValue a) => EmbedAsAttr HJScript' (Attr n a) | |
(IsName n, IsAttrValue m a) => EmbedAsAttr (HSPT' m) (Attr n a) | |
(Show n, Show a) => Show (Attr n a) |