Factis.Haskoon.WebHsp

Documentation

type HSPT m = XMLGenT (HSPT' m)

data XML

The XML datatype representation. Is either an Element or CDATA.

Instances

Show XML

Monad m => AppendChild (HSPT' m) XML

Monad m => SetAttr (HSPT' m) XML

Monad m => EmbedAsChild (HSPT' m) 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

Constructors

n := a

Instances

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

webHspHtml :: WebIO m => HSPT m XML -> m (WebRes m)

webToHsp :: Web m => m a -> HSPT m a