HSP.JMacroT

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.

Documentation

newtype JMacroT m a

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

Constructors

JMacroT

Fields

• unJMacroT :: m a

Instances

MonadTrans JMacroT

Methods

lift :: Monad m => m a -> JMacroT m a

MonadRWS r w s m => MonadRWS r w s (JMacroT m)

MonadError e m => MonadError e (JMacroT m)

Methods

throwError :: e -> JMacroT m a

catchError :: JMacroT m a -> (e -> JMacroT m a) -> JMacroT m a

MonadReader r m => MonadReader r (JMacroT m)

Methods

ask :: JMacroT m r

local :: (r -> r) -> JMacroT m a -> JMacroT m a

reader :: (r -> a) -> JMacroT m a

MonadState s m => MonadState s (JMacroT m)

Methods

get :: JMacroT m s

put :: s -> JMacroT m ()

state :: (s -> (a, s)) -> JMacroT m a

MonadWriter w m => MonadWriter w (JMacroT m)

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

Monad m => Monad (JMacroT m)

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)

Methods

fmap :: (a -> b) -> JMacroT m a -> JMacroT m b

(<$) :: a -> JMacroT m b -> JMacroT m a

Applicative m => Applicative (JMacroT m)

Methods

pure :: a -> JMacroT m a

(<*>) :: JMacroT m (a -> b) -> JMacroT m a -> JMacroT m b

(*>) :: JMacroT m a -> JMacroT m b -> JMacroT m b

(<*) :: JMacroT m a -> JMacroT m b -> JMacroT m a

Alternative m => Alternative (JMacroT m)

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)

Methods

mzero :: JMacroT m a

mplus :: JMacroT m a -> JMacroT m a -> JMacroT m a

MonadIO m => MonadIO (JMacroT m)

Methods

liftIO :: IO a -> JMacroT m a

(Functor m, Monad m) => XMLGen (JMacroT m)

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)

MonadCont m => MonadCont (JMacroT m)

Methods

callCC :: ((a -> JMacroT m b) -> JMacroT m a) -> JMacroT m a

(Functor m, Monad m) => EmbedAsChild (JMacroT m) ()

Methods

asChild :: () -> GenChildList (JMacroT m)

(Functor m, Monad m) => EmbedAsChild (JMacroT m) Text

Methods

asChild :: Text -> GenChildList (JMacroT m)

(Functor m, Monad m) => EmbedAsChild (JMacroT m) Text

Methods

asChild :: Text -> GenChildList (JMacroT m)

(Functor m, Monad m, (~) * (StringType (JMacroT m)) Text) => EmbedAsChild (JMacroT m) String

Methods

asChild :: String -> GenChildList (JMacroT m)

(Functor m, Monad m, (~) * (StringType (JMacroT m)) Text) => EmbedAsChild (JMacroT m) Char

Methods

asChild :: Char -> GenChildList (JMacroT m)

(Functor m, Monad m) => SetAttr (JMacroT m) JExpr

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

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)

Methods

asAttr :: Attr Text Int -> GenAttributeList (JMacroT m)

(Functor m, Monad m) => EmbedAsAttr (JMacroT m) (Attr Text Bool)

Methods

asAttr :: Attr Text Bool -> GenAttributeList (JMacroT m)

(Functor m, Monad m) => EmbedAsAttr (JMacroT m) (Attr Text Text)

Methods

asAttr :: Attr Text Text -> GenAttributeList (JMacroT m)

ToJExpr a => ToJExpr (XMLGenT JMacroM a)

Methods

toJExpr :: XMLGenT JMacroM a -> JExpr

toJExprFromList :: [XMLGenT JMacroM a] -> JExpr

data AttributeType (JMacroT m)

data AttributeType (JMacroT m) = JMAttr {

• unJMAttr :: JExpr

}

data ChildType (JMacroT m)

data ChildType (JMacroT m) = JMChild {

• unJMChild :: JExpr

}

type StringType (JMacroT m)

type StringType (JMacroT m) = Text

type XMLType (JMacroT m)

type XMLType (JMacroT m) = JExpr

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

unwrap the XMLGenT and JMacroT constructors

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

map a function over the inner monad

type JMacroM = JMacroT Identity

an alias for 'JMacroT Identity'

evalJMacroM :: XMLGenT JMacroM a -> a

evaluate JMacroM