URLT.Base

URLT Monad Transformer

type Link = String

newtype URLT url m a

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 where

Associated Types

type URL m

Methods

showURL

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 a

similar to withReaderT

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

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

used to embed a URLT into a larger parent url

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