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 }