Web.Routes.RouteT

Declaration of the RouteT monad transformer

RouteT Monad Transformer

newtype RouteT url m a

monad transformer for generating URLs

Constructors

RouteT

Fields

unRouteT :: (url -> [(Text, Maybe Text)] -> Text) -> m a

Instances

MonadRWS r w s m => MonadRWS r w s (RouteT url m)

MonadError e m => MonadError e (RouteT url m)

MonadReader r m => MonadReader r (RouteT url m)

MonadState s m => MonadState s (RouteT url m)

MonadWriter w m => MonadWriter w (RouteT url m)

MonadTrans (RouteT url)

Alternative m => Alternative (RouteT url m)

Monad m => Monad (RouteT url m)

Functor m => Functor (RouteT url m)

MonadFix m => MonadFix (RouteT url m)

(MonadPlus m, Monad (RouteT url m)) => MonadPlus (RouteT url m)

Applicative m => Applicative (RouteT url m)

MonadThrow m => MonadThrow (RouteT url m)

MonadCatch m => MonadCatch (RouteT url m)

MonadIO m => MonadIO (RouteT url m)

MonadCont m => MonadCont (RouteT url m)

Monad m => MonadRoute (RouteT url m)

type URL (RouteT url m) = url

class Monad m => MonadRoute m where

Associated Types

type URL m

Methods

askRouteFn :: m (URL m -> [(Text, Maybe Text)] -> Text)

Instances

Monad m => MonadRoute (RouteT url m)

runRouteT :: (url -> RouteT url m a) -> (url -> [(Text, Maybe Text)] -> Text) -> url -> m a

convert a RouteT based route handler to a handler that can be used with the Site type

NOTE: this function used to be the same as unRouteT. If you want the old behavior, just call unRouteT.

mapRouteT :: (m a -> n b) -> RouteT url m a -> RouteT url n b

Transform the computation inside a RouteT.

withRouteT :: ((url' -> [(Text, Maybe Text)] -> Text) -> url -> [(Text, Maybe Text)] -> Text) -> RouteT url m a -> RouteT url' m a

Execute a computation in a modified environment

liftRouteT :: m a -> RouteT url m a

askRouteT :: Monad m => RouteT url m (url -> [(Text, Maybe Text)] -> Text)

showURL :: MonadRoute m => URL m -> m Text

showURLParams :: MonadRoute m => URL m -> [(Text, Maybe Text)] -> m Text

nestURL :: (url1 -> url2) -> RouteT url1 m a -> RouteT url2 m a