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

Safe Haskell | None
Language | Haskell98

HSP.Monad

# Documentation

newtype HSPT xml m a Source #

Constructors

HSPT |

Fields

- unHSPT :: m a

Instances

MonadError e m => MonadError e (HSPT xml m) Source # |
Methods throwError :: e -> HSPT xml m a # catchError :: HSPT xml m a -> (e -> HSPT xml m a) -> HSPT xml m a #
MonadReader r m => MonadReader r (HSPT xml m) Source # |
Methods ask :: HSPT xml m r # local :: (r -> r) -> HSPT xml m a -> HSPT xml m a # reader :: (r -> a) -> HSPT xml m a #
MonadState s m => MonadState s (HSPT xml m) Source # |
Methods get :: HSPT xml m s # put :: s -> HSPT xml m () # state :: (s -> (a, s)) -> HSPT xml m a #
MonadWriter w m => MonadWriter w (HSPT xml m) Source # |
Methods writer :: (a, w) -> HSPT xml m a # tell :: w -> HSPT xml m () # listen :: HSPT xml m a -> HSPT xml m (a, w) # pass :: HSPT xml m (a, w -> w) -> HSPT xml m a #
MonadTrans (HSPT xml) Source # |
Methods lift :: Monad m => m a -> HSPT xml m a #
Monad m => Monad (HSPT xml m) Source # |
Methods (>>=) :: HSPT xml m a -> (a -> HSPT xml m b) -> HSPT xml m b # (>>) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m b # return :: a -> HSPT xml m a # fail :: String -> HSPT xml m a #
Functor m => Functor (HSPT xml m) Source # |
Methods fmap :: (a -> b) -> HSPT xml m a -> HSPT xml m b # (<$) :: a -> HSPT xml m b -> HSPT xml m a #
MonadFix m => MonadFix (HSPT xml m) Source # |
Methods mfix :: (a -> HSPT xml m a) -> HSPT xml m a #
Applicative m => Applicative (HSPT xml m) Source # |
Methods pure :: a -> HSPT xml m a # (<*>) :: HSPT xml m (a -> b) -> HSPT xml m a -> HSPT xml m b # (*>) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m b # (<*) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m a #
MonadIO m => MonadIO (HSPT xml m) Source # |
Methods liftIO :: IO a -> HSPT xml m a #
Alternative m => Alternative (HSPT xml m) Source # |
Methods empty :: HSPT xml m a # (<|>) :: HSPT xml m a -> HSPT xml m a -> HSPT xml m a # some :: HSPT xml m a -> HSPT xml m [a] # many :: HSPT xml m a -> HSPT xml m [a] #
MonadPlus m => MonadPlus (HSPT xml m) Source # |
Methods mzero :: HSPT xml m a # mplus :: HSPT xml m a -> HSPT xml m a -> HSPT xml m a #
MonadCont m => MonadCont (HSPT xml m) Source # |
Methods callCC :: ((a -> HSPT xml m b) -> HSPT xml m a) -> HSPT xml m a #
(Functor m, Monad m) => XMLGenerator (HSPT XML m) Source # |
(Functor m, Monad m) => XMLGen (HSPT XML m) Source # |

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 #

Methods

genElement :: Name (StringType (HSPT XML m)) -> [XMLGenT (HSPT XML m) [AttributeType (HSPT XML m)]] -> [XMLGenT (HSPT XML m) [ChildType (HSPT XML m)]] -> XMLGenT (HSPT XML m) (XMLType (HSPT XML m)) Source #

genEElement :: Name (StringType (HSPT XML m)) -> [XMLGenT (HSPT XML m) [AttributeType (HSPT XML m)]] -> XMLGenT (HSPT XML m) (XMLType (HSPT XML m)) Source #

xmlToChild :: XMLType (HSPT XML m) -> ChildType (HSPT XML m) Source #

pcdataToChild :: StringType (HSPT XML m) -> ChildType (HSPT XML m) Source #

(Functor m, Monad m) => AppendChild (HSPT XML m) XML Source # |
Methods appChild :: XML -> GenChild (HSPT XML m) -> GenXML (HSPT XML m) Source # appAll :: XML -> GenChildList (HSPT XML m) -> GenXML (HSPT XML m) Source #
(Functor m, Monad m) => SetAttr (HSPT XML m) XML Source # |
Methods setAttr :: XML -> GenAttribute (HSPT XML m) -> GenXML (HSPT XML m) Source # setAll :: XML -> GenAttributeList (HSPT XML m) -> GenXML (HSPT XML m) Source #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) Attribute Source # |
Methods asAttr :: Attribute -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) () Source # |
Methods asChild :: () -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Char Source # |
Methods asChild :: Char -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text Source # |
Methods asChild :: Text -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text Source # |
Methods asChild :: Text -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) String Source # |
Methods asChild :: String -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) XML Source # |
Methods asChild :: XML -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) [XML] Source # |
Methods asChild :: [XML] -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) Source # |
Methods asAttr :: Attr Text () -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) Source # |
Methods asAttr :: Attr Text () -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) Source # |
Methods asAttr :: Attr Text Int -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) Source # |
Methods asAttr :: Attr Text Int -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) Source # |
Methods asAttr :: Attr Text Bool -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) Source # |
Methods asAttr :: Attr Text Bool -> GenAttributeList (HSPT XML m) Source #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) Source # |
Methods asAttr :: Attr Text Char -> GenAttributeList (HSPT XML m) Source #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) Source # |
Methods asAttr :: Attr Text Char -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # |
Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # |
Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # |
Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source # |
Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) Source #
type XMLType (HSPT XML m) Source # |
type XMLType (HSPT XML m) = XML
type StringType (HSPT XML m) Source # |
type StringType (HSPT XML m) = Text
data ChildType (HSPT XML m) Source # |

data ChildType (HSPT XML m) = HSPChild {

- unHSPChild :: XML

}

data AttributeType (HSPT XML m) Source # |

data AttributeType (HSPT XML m) = HSPAttr {

- unHSPAttr :: Attribute

}