hsp-0.10.0: Haskell Server Pages is a library for writing dynamic server-side web pages.
Safe HaskellSafe-Inferred
LanguageHaskell98

HSP.Monad

Documentation

newtype HSPT xml m a Source #

Constructors

HSPT 

Fields

Instances

Instances details
MonadError e m => MonadError e (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

throwError :: e -> HSPT xml m a Source #

catchError :: HSPT xml m a -> (e -> HSPT xml m a) -> HSPT xml m a Source #

MonadReader r m => MonadReader r (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

ask :: HSPT xml m r Source #

local :: (r -> r) -> HSPT xml m a -> HSPT xml m a Source #

reader :: (r -> a) -> HSPT xml m a Source #

MonadState s m => MonadState s (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

get :: HSPT xml m s Source #

put :: s -> HSPT xml m () Source #

state :: (s -> (a, s)) -> HSPT xml m a Source #

MonadWriter w m => MonadWriter w (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

writer :: (a, w) -> HSPT xml m a Source #

tell :: w -> HSPT xml m () Source #

listen :: HSPT xml m a -> HSPT xml m (a, w) Source #

pass :: HSPT xml m (a, w -> w) -> HSPT xml m a Source #

MonadTrans (HSPT xml) Source # 
Instance details

Defined in HSP.Monad

Methods

lift :: Monad m => m a -> HSPT xml m a Source #

MonadFix m => MonadFix (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

mfix :: (a -> HSPT xml m a) -> HSPT xml m a Source #

MonadIO m => MonadIO (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

liftIO :: IO a -> HSPT xml m a Source #

Alternative m => Alternative (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

empty :: HSPT xml m a Source #

(<|>) :: HSPT xml m a -> HSPT xml m a -> HSPT xml m a Source #

some :: HSPT xml m a -> HSPT xml m [a] Source #

many :: HSPT xml m a -> HSPT xml m [a] Source #

Applicative m => Applicative (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

pure :: a -> HSPT xml m a Source #

(<*>) :: HSPT xml m (a -> b) -> HSPT xml m a -> HSPT xml m b Source #

liftA2 :: (a -> b -> c) -> HSPT xml m a -> HSPT xml m b -> HSPT xml m c Source #

(*>) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m b Source #

(<*) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m a Source #

Functor m => Functor (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

fmap :: (a -> b) -> HSPT xml m a -> HSPT xml m b Source #

(<$) :: a -> HSPT xml m b -> HSPT xml m a Source #

Monad m => Monad (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

(>>=) :: HSPT xml m a -> (a -> HSPT xml m b) -> HSPT xml m b Source #

(>>) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m b Source #

return :: a -> HSPT xml m a Source #

MonadPlus m => MonadPlus (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

mzero :: HSPT xml m a Source #

mplus :: HSPT xml m a -> HSPT xml m a -> HSPT xml m a Source #

(Functor m, Monad m) => XMLGen (HSPT XML m) Source # 
Instance details

Defined in HSP.Monad

Associated Types

type XMLType (HSPT XML m) Source #

type StringType (HSPT XML m) Source #

data ChildType (HSPT XML m) Source #

data AttributeType (HSPT XML m) Source #

(Functor m, Monad m) => XMLGenerator (HSPT XML m) Source # 
Instance details

Defined in HSP.Monad

MonadCont m => MonadCont (HSPT xml m) Source # 
Instance details

Defined in HSP.Monad

Methods

callCC :: ((a -> HSPT xml m b) -> HSPT xml m a) -> HSPT xml m a Source #

(Functor m, Monad m) => AppendChild (HSPT XML m) XML Source # 
Instance details

Defined in HSP.Monad

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) Attribute Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) XML Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) String Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) () Source # 
Instance details

Defined in HSP.Monad

Methods

asChild :: () -> GenChildList (HSPT XML m) Source #

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Char Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => SetAttr (HSPT XML m) XML Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsChild (HSPT XML m) [XML] Source # 
Instance details

Defined in HSP.Monad

Methods

asChild :: [XML] -> GenChildList (HSPT XML m) Source #

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) Source # 
Instance details

Defined in HSP.Monad

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) Source # 
Instance details

Defined in HSP.Monad

(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) Source # 
Instance details

Defined in HSP.Monad

(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) Source # 
Instance details

Defined in HSP.Monad

newtype AttributeType (HSPT XML m) Source # 
Instance details

Defined in HSP.Monad

newtype ChildType (HSPT XML m) Source # 
Instance details

Defined in HSP.Monad

type StringType (HSPT XML m) Source # 
Instance details

Defined in HSP.Monad

type StringType (HSPT XML m) = Text
type XMLType (HSPT XML m) Source # 
Instance details

Defined in HSP.Monad

type XMLType (HSPT XML m) = XML