Web.Routes.RouteT

Declaration of the RouteT monad transformer

RouteT Monad Transformer

type Link = String

newtype RouteT url m a

monad transformer for generating URLs

Constructors

RouteT

Fields

unRouteT :: (url -> [(String, String)] -> Link) -> m a

Instances

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)

Alternative m => Alternative (RouteT url m)

Monad m => ShowURL (RouteT url m)

runRouteT :: RouteT url m a -> (url -> [(String, String)] -> Link) -> m a

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

Transform the computation inside a RouteT.

withRouteT :: ((url' -> [(String, String)] -> Link) -> url -> [(String, String)] -> Link) -> 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 -> [(String, String)] -> String)

class ShowURL m where

Associated Types

type URL m

Methods

showURLParams

Arguments

:: URL m

-> [(String, String)]

-> m Link

convert a URL value into a Link (aka, a String)

Instances

Monad m => ShowURL (RouteT url m)

showURL :: ShowURL m => URL m -> m Link

convert a URL value into a Link (aka, a String)

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

used to embed a RouteT into a larger parent url

crossURL :: Monad m => (url2 -> url1) -> [(String, String)] -> RouteT url1 m (url2 -> Link)