Safe Haskell	None
Language	Haskell98

HSP.JMacroT

Description

This experimental module provides a monad transformer JMacroT and corresponding XMLGenerator instance which can be used to directly generate javascript which builds an XML/HTML DOM.

This is similar to the 'ToJExpr XMLToDOM' instance except that there is no intermediate XML type. The XMLGenerator instance directly generates the javascript needed to build the DOM.

This is intellectually fun. But it is not clear how it is valuable. That is why this module is marked as experimental.

Synopsis

Documentation

newtype JMacroT m a Source #

isomorphic to IdentityT, but used for generating javascript that generates XML/HTML

Constructors

JMacroT
Fields unJMacroT :: m a

Instances

MonadTrans JMacroT Source #
Methods lift :: Monad m => m a -> JMacroT m a #
(MonadState s m, MonadWriter w m, MonadReader r m) => MonadRWS r w s (JMacroT m) Source #

MonadWriter w m => MonadWriter w (JMacroT m) Source #
Methods writer :: (a, w) -> JMacroT m a # tell :: w -> JMacroT m () # listen :: JMacroT m a -> JMacroT m (a, w) # pass :: JMacroT m (a, w -> w) -> JMacroT m a #
MonadState s m => MonadState s (JMacroT m) Source #
Methods get :: JMacroT m s # put :: s -> JMacroT m () # state :: (s -> (a, s)) -> JMacroT m a #
MonadReader r m => MonadReader r (JMacroT m) Source #
Methods ask :: JMacroT m r # local :: (r -> r) -> JMacroT m a -> JMacroT m a # reader :: (r -> a) -> JMacroT m a #
MonadError e m => MonadError e (JMacroT m) Source #
Methods throwError :: e -> JMacroT m a # catchError :: JMacroT m a -> (e -> JMacroT m a) -> JMacroT m a #
Monad m => Monad (JMacroT m) Source #
Methods (>>=) :: JMacroT m a -> (a -> JMacroT m b) -> JMacroT m b # (>>) :: JMacroT m a -> JMacroT m b -> JMacroT m b # return :: a -> JMacroT m a # fail :: String -> JMacroT m a #
Functor m => Functor (JMacroT m) Source #
Methods fmap :: (a -> b) -> JMacroT m a -> JMacroT m b # (<$) :: a -> JMacroT m b -> JMacroT m a #
Applicative m => Applicative (JMacroT m) Source #
Methods pure :: a -> JMacroT m a # (<>) :: JMacroT m (a -> b) -> JMacroT m a -> JMacroT m b # liftA2 :: (a -> b -> c) -> JMacroT m a -> JMacroT m b -> JMacroT m c # (>) :: JMacroT m a -> JMacroT m b -> JMacroT m b # (<*) :: JMacroT m a -> JMacroT m b -> JMacroT m a #
Alternative m => Alternative (JMacroT m) Source #
Methods empty :: JMacroT m a # (<\|>) :: JMacroT m a -> JMacroT m a -> JMacroT m a # some :: JMacroT m a -> JMacroT m [a] # many :: JMacroT m a -> JMacroT m [a] #
MonadPlus m => MonadPlus (JMacroT m) Source #
Methods mzero :: JMacroT m a # mplus :: JMacroT m a -> JMacroT m a -> JMacroT m a #
MonadIO m => MonadIO (JMacroT m) Source #
Methods liftIO :: IO a -> JMacroT m a #
(Functor m, Monad m) => XMLGen (JMacroT m) Source #
Associated Types type XMLType (JMacroT m :: * -> ) :: # type StringType (JMacroT m :: * -> ) :: # data ChildType (JMacroT m :: * -> ) :: # data AttributeType (JMacroT m :: * -> ) :: # Methods genElement :: Name (StringType (JMacroT m)) -> [XMLGenT (JMacroT m) [AttributeType (JMacroT m)]] -> [XMLGenT (JMacroT m) [ChildType (JMacroT m)]] -> XMLGenT (JMacroT m) (XMLType (JMacroT m)) # genEElement :: Name (StringType (JMacroT m)) -> [XMLGenT (JMacroT m) [AttributeType (JMacroT m)]] -> XMLGenT (JMacroT m) (XMLType (JMacroT m)) # xmlToChild :: XMLType (JMacroT m) -> ChildType (JMacroT m) # pcdataToChild :: StringType (JMacroT m) -> ChildType (JMacroT m) #
(Functor m, Monad m, (~) * (StringType (JMacroT m)) Text) => XMLGenerator (JMacroT m) Source #

MonadCont m => MonadCont (JMacroT m) Source #
Methods callCC :: ((a -> JMacroT m b) -> JMacroT m a) -> JMacroT m a #
(Functor m, Monad m) => EmbedAsChild (JMacroT m) () Source #
Methods asChild :: () -> GenChildList (JMacroT m) #
(Functor m, Monad m) => EmbedAsChild (JMacroT m) Text Source #
Methods asChild :: Text -> GenChildList (JMacroT m) #
(Functor m, Monad m) => EmbedAsChild (JMacroT m) Text Source #
Methods asChild :: Text -> GenChildList (JMacroT m) #
(Functor m, Monad m, (~) * (StringType (JMacroT m)) Text) => EmbedAsChild (JMacroT m) String Source #
Methods asChild :: String -> GenChildList (JMacroT m) #
(Functor m, Monad m, (~) * (StringType (JMacroT m)) Text) => EmbedAsChild (JMacroT m) Char Source #
Methods asChild :: Char -> GenChildList (JMacroT m) #
(Functor m, Monad m) => SetAttr (JMacroT m) JExpr Source #
Methods setAttr :: JExpr -> GenAttribute (JMacroT m) -> GenXML (JMacroT m) # setAll :: JExpr -> GenAttributeList (JMacroT m) -> GenXML (JMacroT m) #
(Functor m, Monad m) => AppendChild (JMacroT m) JExpr Source #
Methods appChild :: JExpr -> GenChild (JMacroT m) -> GenXML (JMacroT m) # appAll :: JExpr -> GenChildList (JMacroT m) -> GenXML (JMacroT m) #
(Functor m, Monad m) => EmbedAsAttr (JMacroT m) (Attr Text Int) Source #
Methods asAttr :: Attr Text Int -> GenAttributeList (JMacroT m) #
(Functor m, Monad m) => EmbedAsAttr (JMacroT m) (Attr Text Bool) Source #
Methods asAttr :: Attr Text Bool -> GenAttributeList (JMacroT m) #
(Functor m, Monad m) => EmbedAsAttr (JMacroT m) (Attr Text Text) Source #
Methods asAttr :: Attr Text Text -> GenAttributeList (JMacroT m) #
ToJExpr a => ToJExpr (XMLGenT JMacroM a) Source #
Methods toJExpr :: XMLGenT JMacroM a -> JExpr # toJExprFromList :: [XMLGenT JMacroM a] -> JExpr #
data AttributeType (JMacroT m) Source #
data AttributeType (JMacroT m) = JMAttr { unJMAttr :: JExpr }
data ChildType (JMacroT m) Source #
data ChildType (JMacroT m) = JMChild { unJMChild :: JExpr }
type StringType (JMacroT m) Source #
type StringType (JMacroT m) = Text
type XMLType (JMacroT m) Source #
type XMLType (JMacroT m) = JExpr

evalJMacroT :: XMLGenT (JMacroT m) JExpr -> m JExpr Source #

unwrap the XMLGenT and JMacroT constructors

mapJMacroT :: (m a -> n b) -> JMacroT m a -> JMacroT n b Source #

map a function over the inner monad

type JMacroM = JMacroT Identity Source #

an alias for 'JMacroT Identity'

evalJMacroM :: XMLGenT JMacroM a -> a Source #

evaluate JMacroM