URLT Monad Transformer

newtype URLT url m a Source

monad transformer for generating URLs

Constructors

URLT
Fields unURLT :: ReaderT (url -> Link) m a

Instances

FilterMonad a m => FilterMonad a (URLT url m)
WebMonad a m => WebMonad a (URLT url m)
MonadTrans (URLT url)
Monad m => Monad (URLT url m)
Monad m => Functor (URLT url m)
MonadFix m => MonadFix (URLT url m)
MonadPlus m => MonadPlus (URLT url m)
(Applicative m, Monad m) => Applicative (URLT url m)
MonadIO m => MonadIO (URLT url m)
ServerMonad m => ServerMonad (URLT url m)
Monad m => XMLGenerator (URLT url m)
Monad m => XMLGen (URLT url m)
Monad m => ShowURL (URLT url m)
Monad m => AppendChild (URLT url m) XML
Monad m => SetAttr (URLT url m) XML
Monad m => EmbedAsAttr (URLT url m) Attribute
Monad m => EmbedAsChild (URLT url m) ()
Monad m => EmbedAsChild (URLT url m) XML
Monad m => EmbedAsChild (URLT url m) String
Monad m => EmbedAsChild (URLT url m) Char
Monad m => EmbedAsAttr (URLT url m) (Attr String Int)
Monad m => EmbedAsAttr (URLT url m) (Attr String Bool)
Monad m => EmbedAsAttr (URLT url m) (Attr String String)
Monad m => EmbedAsAttr (URLT url m) (Attr String Char)
Monad m => MonadReader (url -> Link) (URLT url m)

class ShowURL m whereSource

Associated Types

Methods

Arguments

:: URL m
-> m Link	convert a URL value into a Link (aka, a String)

Instances

ShowURL m => ShowURL (XMLGenT m)
Monad m => ShowURL (URLT url m)

withURLT :: ((url' -> Link) -> url -> Link) -> URLT url m a -> URLT url' m aSource

similar to withReaderT

mapURLT :: (m a -> n b) -> URLT url m a -> URLT url n bSource

nestURL :: Monad m => (url2 -> url1) -> URLT url2 m a -> URLT url1 m aSource

used to embed a URLT into a larger parent url

crossURL :: Monad m => (url2 -> url1) -> URLT url1 m (url2 -> Link)Source