Safe Haskell	None
Language	Haskell98

HSP.Monad

Documentation

newtype HSPT xml m a #

Constructors

HSPT
Fields unHSPT :: m a

Instances

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 # fail :: String -> 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
data ChildType (HSPT XML m) #
Instance details Defined in HSP.Monad data ChildType (HSPT XML m) = HSPChild { unHSPChild :: XML }
data AttributeType (HSPT XML m) #
Instance details Defined in HSP.Monad data AttributeType (HSPT XML m) = HSPAttr { unHSPAttr :: Attribute }