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 #

Constructors

HSPT |
Fields unHSPT :: m a

#### Instances

Instances details

MonadWriter w m => MonadWriter w (HSPT xml m) # |
Instance details Defined in HSP.Monad 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 #
MonadState s m => MonadState s (HSPT xml m) # |
Instance details Defined in HSP.Monad Methods get :: HSPT xml m s # put :: s -> HSPT xml m () # state :: (s -> (a, s)) -> HSPT xml m a #
MonadReader r m => MonadReader r (HSPT xml m) # |
Instance details Defined in HSP.Monad Methods ask :: HSPT xml m r # local :: (r -> r) -> HSPT xml m a -> HSPT xml m a # reader :: (r -> a) -> HSPT xml m a #
MonadError e m => MonadError e (HSPT xml m) # |
Instance details Defined in HSP.Monad Methods throwError :: e -> HSPT xml m a # catchError :: HSPT xml m a -> (e -> HSPT xml m a) -> HSPT xml m a #
MonadTrans (HSPT xml) # |
Instance details Defined in HSP.Monad Methods lift :: Monad m => m a -> HSPT xml m a #
Monad m => Monad (HSPT xml m) # |
Instance details Defined in HSP.Monad 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 #
Functor m => Functor (HSPT xml m) # |
Instance details Defined in HSP.Monad 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) # |
Instance details Defined in HSP.Monad Methods mfix :: (a -> HSPT xml m a) -> HSPT xml m a #
Applicative m => Applicative (HSPT xml m) # |
Instance details Defined in HSP.Monad Methods pure :: a -> HSPT xml m a # (<*>) :: HSPT xml m (a -> b) -> HSPT xml m a -> HSPT xml m b # liftA2 :: (a -> b -> c) -> HSPT xml m a -> HSPT xml m b -> HSPT xml m c # (*>) :: 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) # |
Instance details Defined in HSP.Monad Methods liftIO :: IO a -> HSPT xml m a #
Alternative m => Alternative (HSPT xml m) # |
Instance details Defined in HSP.Monad 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) # |
Instance details Defined in HSP.Monad 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) # |
Instance details Defined in HSP.Monad Methods callCC :: ((a -> HSPT xml m b) -> HSPT xml m a) -> HSPT xml m a #
(Functor m, Monad m) => XMLGenerator (HSPT XML m) # |
Instance details Defined in HSP.Monad
(Functor m, Monad m) => XMLGen (HSPT XML m) # |
Instance details Defined in HSP.Monad Associated Types type XMLType (HSPT XML m) # type StringType (HSPT XML m) # data ChildType (HSPT XML m) # data AttributeType (HSPT XML m) # 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)) # genEElement :: Name (StringType (HSPT XML m)) -> [XMLGenT (HSPT XML m) [AttributeType (HSPT XML m)]] -> XMLGenT (HSPT XML m) (XMLType (HSPT XML m)) # xmlToChild :: XMLType (HSPT XML m) -> ChildType (HSPT XML m) # pcdataToChild :: StringType (HSPT XML m) -> ChildType (HSPT XML m) #
(Functor m, Monad m) => AppendChild (HSPT XML m) XML # |
Instance details Defined in HSP.Monad Methods appChild :: XML -> GenChild (HSPT XML m) -> GenXML (HSPT XML m) # appAll :: XML -> GenChildList (HSPT XML m) -> GenXML (HSPT XML m) #
(Functor m, Monad m) => SetAttr (HSPT XML m) XML # |
Instance details Defined in HSP.Monad Methods setAttr :: XML -> GenAttribute (HSPT XML m) -> GenXML (HSPT XML m) # setAll :: XML -> GenAttributeList (HSPT XML m) -> GenXML (HSPT XML m) #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) Attribute # |
Instance details Defined in HSP.Monad Methods asAttr :: Attribute -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) () # |
Instance details Defined in HSP.Monad Methods asChild :: () -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Char # |
Instance details Defined in HSP.Monad Methods asChild :: Char -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text # |
Instance details Defined in HSP.Monad Methods asChild :: Text -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text # |
Instance details Defined in HSP.Monad Methods asChild :: Text -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) String # |
Instance details Defined in HSP.Monad Methods asChild :: String -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) XML # |
Instance details Defined in HSP.Monad Methods asChild :: XML -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) [XML] # |
Instance details Defined in HSP.Monad Methods asChild :: [XML] -> GenChildList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text () -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text () -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Int -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Int -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Bool -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Bool -> GenAttributeList (HSPT XML m) #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Char -> GenAttributeList (HSPT XML m) #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Char -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text0 Text -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Text0 -> GenAttributeList (HSPT XML m) #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) # |
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) #
type XMLType (HSPT XML m) # |
Instance details Defined in HSP.Monad type XMLType (HSPT XML m) = XML
type StringType (HSPT XML m) # |
Instance details Defined in HSP.Monad type StringType (HSPT XML m) = Text
newtype ChildType (HSPT XML m) # |
Instance details Defined in HSP.Monad newtype ChildType (HSPT XML m) = HSPChild { unHSPChild :: XML }
newtype AttributeType (HSPT XML m) # |
Instance details Defined in HSP.Monad newtype AttributeType (HSPT XML m) = HSPAttr { unHSPAttr :: Attribute }