HSP

Documentation

type HSP = HSPT IO

The HSP monad is a reader wrapper around the IO monad, but extended with an XMLGenerator wrapper. type HSP' = ReaderT HSPEnv IO type HSP = XMLGenT HSP'

type HSPT m = XMLGenT (HSPT' m)

type HSPT' m = RWST HSPEnv () (Maybe XMLMetaData) m

runHSP :: Maybe XMLMetaData -> HSP a -> HSPEnv -> IO (Maybe XMLMetaData, a)

Runs a HSP computation in a particular environment. Since HSP wraps the IO monad, the result of running it will be an IO computation.

evalHSP :: Maybe XMLMetaData -> HSP a -> IO (Maybe XMLMetaData, a)

runHSPT :: Monad m => Maybe XMLMetaData -> HSPT m a -> HSPEnv -> m (Maybe XMLMetaData, a)

evalHSPT :: MonadIO m => Maybe XMLMetaData -> HSPT m a -> m (Maybe XMLMetaData, a)

getEnv :: HSP HSPEnv

Supplies the HSP environment.

getParam :: String -> HSP (Maybe String)

getIncNumber :: HSP Int

doIO :: IO a -> HSP a

Execute an IO computation within the HSP monad.

catch :: HSP a -> (Exception -> HSP a) -> HSP a

Catch a user-caused exception.

setMetaData :: Monad m => Maybe XMLMetaData -> HSPT m ()

withMetaData :: Monad m => Maybe XMLMetaData -> HSPT m a -> HSPT m a

module HSP.Env

module HSP.XML

module HSP.XML.PCDATA

module HSP.HTML

class Monad m => IsAttrValue m a where

Methods

toAttrValue :: a -> HSPT m AttrValue

Instances

Monad m => IsAttrValue m Bool

Monad m => IsAttrValue m Int

Monad m => IsAttrValue m String

Monad m => IsAttrValue m AttrValue

IsAttrValue IO a => IsAttrValue IO (IO a)

Monad m => IsAttrValue m (HJScript (Exp t))

Monad m => IsAttrValue m (HJScript ())

Monad m => IsAttrValue m (Block t)

IsAttrValue m a => IsAttrValue m (HSPT m a)

extract :: GetAttrValue a => Name -> Attributes -> (Maybe a, Attributes)

module HSX.XMLGenerator

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)

module HSP.HJScript