Safe Haskell	None
Language	Haskell98

HSP.Monad

Documentation

newtype HSPT xml m a Source #

Constructors

HSPT
Fields unHSPT :: m a

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 catchError :: HSPT xml m a -> (e -> HSPT xml m a) -> HSPT xml m a
MonadReader r m => MonadReader r (HSPT xml m) Source #
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
MonadWriter w m => MonadWriter w (HSPT xml m) Source #
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) Source #
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
MonadTrans (HSPT xml) Source #
Instance details Defined in HSP.Monad Methods lift :: Monad m => m a -> HSPT xml m a
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 (>>) :: HSPT xml m a -> HSPT xml m b -> HSPT xml m b return :: a -> HSPT xml m a
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 (<$) :: a -> HSPT xml m b -> HSPT xml m a
MonadFix m => MonadFix (HSPT xml m) Source #
Instance details Defined in HSP.Monad Methods mfix :: (a -> HSPT xml m a) -> HSPT xml m a
Applicative m => Applicative (HSPT xml m) Source #
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
Alternative m => Alternative (HSPT xml m) Source #
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) Source #
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
MonadIO m => MonadIO (HSPT xml m) Source #
Instance details Defined in HSP.Monad Methods liftIO :: IO a -> HSPT xml m a
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
(Functor m, Monad m) => XMLGenerator (HSPT XML m) Source #
Instance details Defined in HSP.Monad
(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 # 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 #
Instance details Defined in HSP.Monad 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 #
Instance details Defined in HSP.Monad 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 #
Instance details Defined in HSP.Monad Methods asAttr :: Attribute -> GenAttributeList (HSPT XML m) Source #
(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 Methods asChild :: Char -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text Source #
Instance details Defined in HSP.Monad Methods asChild :: Text -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) Text Source #
Instance details Defined in HSP.Monad Methods asChild :: Text -> GenChildList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsChild (HSPT XML m) String Source #
Instance details Defined in HSP.Monad Methods asChild :: String -> GenChildList (HSPT XML m) Source #
(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) => 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 ()) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text () -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text ()) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text () -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Int -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Int) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Int -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Bool -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Bool) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Bool -> GenAttributeList (HSPT XML m) Source #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Char -> GenAttributeList (HSPT XML m) Source #
(Monad m, Functor m) => EmbedAsAttr (HSPT XML m) (Attr Text Char) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Char -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text0 Text -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Text0 -> GenAttributeList (HSPT XML m) Source #
(Functor m, Monad m) => EmbedAsAttr (HSPT XML m) (Attr Text Text) Source #
Instance details Defined in HSP.Monad Methods asAttr :: Attr Text Text -> GenAttributeList (HSPT XML m) Source #
type XMLType (HSPT XML m) Source #
Instance details Defined in HSP.Monad type XMLType (HSPT XML m) = XML
type StringType (HSPT XML m) Source #
Instance details Defined in HSP.Monad type StringType (HSPT XML m) = Text
newtype ChildType (HSPT XML m) Source #
Instance details Defined in HSP.Monad newtype ChildType (HSPT XML m) = HSPChild { unHSPChild :: XML }
newtype AttributeType (HSPT XML m) Source #
Instance details Defined in HSP.Monad newtype AttributeType (HSPT XML m) = HSPAttr { unHSPAttr :: Attribute }