Copyright	(c) 2010 Jeremy Shaw
License	BSD-style (see the file LICENSE)
Maintainer	partners@seereason.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell98

Web.Routes.RouteT

Contents

RouteT Monad Transformer

Description

Declaration of the RouteT monad transformer

Synopsis

newtype RouteT url m a = RouteT {
- unRouteT :: (url -> [(Text, Maybe Text)] -> Text) -> m a
}
class Monad m => MonadRoute m where
- type URL m
- askRouteFn :: m (URL m -> [(Text, Maybe Text)] -> Text)
runRouteT :: (url -> RouteT url m a) -> (url -> [(Text, Maybe Text)] -> Text) -> url -> m a
mapRouteT :: (m a -> n b) -> RouteT url m a -> RouteT url n b
withRouteT :: ((url' -> [(Text, Maybe Text)] -> Text) -> url -> [(Text, Maybe Text)] -> Text) -> RouteT url m a -> RouteT url' m a
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

RouteT Monad Transformer

newtype RouteT url m a Source #

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) Source #
Instance details Defined in Web.Routes.RouteT
MonadWriter w m => MonadWriter w (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods writer :: (a, w) -> RouteT url m a # tell :: w -> RouteT url m () # listen :: RouteT url m a -> RouteT url m (a, w) # pass :: RouteT url m (a, w -> w) -> RouteT url m a #
MonadState s m => MonadState s (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods get :: RouteT url m s # put :: s -> RouteT url m () # state :: (s -> (a, s)) -> RouteT url m a #
MonadReader r m => MonadReader r (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods ask :: RouteT url m r # local :: (r -> r) -> RouteT url m a -> RouteT url m a # reader :: (r -> a) -> RouteT url m a #
MonadError e m => MonadError e (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods throwError :: e -> RouteT url m a # catchError :: RouteT url m a -> (e -> RouteT url m a) -> RouteT url m a #
MonadTrans (RouteT url) Source #
Instance details Defined in Web.Routes.RouteT Methods lift :: Monad m => m a -> RouteT url m a #
Monad m => Monad (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods (>>=) :: RouteT url m a -> (a -> RouteT url m b) -> RouteT url m b # (>>) :: RouteT url m a -> RouteT url m b -> RouteT url m b # return :: a -> RouteT url m a # fail :: String -> RouteT url m a #
Functor m => Functor (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods fmap :: (a -> b) -> RouteT url m a -> RouteT url m b # (<$) :: a -> RouteT url m b -> RouteT url m a #
MonadFix m => MonadFix (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods mfix :: (a -> RouteT url m a) -> RouteT url m a #
MonadFail m => MonadFail (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods fail :: String -> RouteT url m a #
Applicative m => Applicative (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods pure :: a -> RouteT url m a # (<>) :: RouteT url m (a -> b) -> RouteT url m a -> RouteT url m b # liftA2 :: (a -> b -> c) -> RouteT url m a -> RouteT url m b -> RouteT url m c # (>) :: RouteT url m a -> RouteT url m b -> RouteT url m b # (<*) :: RouteT url m a -> RouteT url m b -> RouteT url m a #
MonadIO m => MonadIO (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods liftIO :: IO a -> RouteT url m a #
Alternative m => Alternative (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods empty :: RouteT url m a # (<\|>) :: RouteT url m a -> RouteT url m a -> RouteT url m a # some :: RouteT url m a -> RouteT url m [a] # many :: RouteT url m a -> RouteT url m [a] #
(MonadPlus m, Monad (RouteT url m)) => MonadPlus (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods mzero :: RouteT url m a # mplus :: RouteT url m a -> RouteT url m a -> RouteT url m a #
MonadThrow m => MonadThrow (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods throwM :: Exception e => e -> RouteT url m a #
MonadCatch m => MonadCatch (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods catch :: Exception e => RouteT url m a -> (e -> RouteT url m a) -> RouteT url m a #
MonadCont m => MonadCont (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Methods callCC :: ((a -> RouteT url m b) -> RouteT url m a) -> RouteT url m a #
Monad m => MonadRoute (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Associated Types type URL (RouteT url m) :: Type Source # Methods askRouteFn :: RouteT url m (URL (RouteT url m) -> [(Text, Maybe Text)] -> Text) Source #
type URL (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT type URL (RouteT url m) = url

class Monad m => MonadRoute m where Source #

Associated Types

type URL m Source #

Methods

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

Instances

Monad m => MonadRoute (RouteT url m) Source #
Instance details Defined in Web.Routes.RouteT Associated Types type URL (RouteT url m) :: Type Source # Methods askRouteFn :: RouteT url m (URL (RouteT url m) -> [(Text, Maybe Text)] -> Text) Source #

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

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 Source #

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 Source #

Execute a computation in a modified environment

liftRouteT :: m a -> RouteT url m a Source #

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

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

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

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