Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Routes.Happstack

Contents

Synopsis

implSite :: (Functor m, Monad m, MonadPlus m, ServerMonad m) => Text -> Text -> Site url (m a) -> m a
implSite_ :: (Functor m, Monad m, MonadPlus m, ServerMonad m) => Text -> Text -> Site url (m a) -> m (Either String a)
seeOtherURL :: (MonadRoute m, FilterMonad Response m) => URL m -> m Response

Documentation

Arguments

:: (Functor m, Monad m, MonadPlus m, ServerMonad m)
=> Text	"http://example.org"
-> Text	path to this handler, .e.g. "route" or ""
-> Site url (m a)	the `Site`
-> m a

convert a Site to a normal Happstack route

calls mzero if the route can be decoded.

Orphan instances

FilterMonad a m => FilterMonad a (RouteT url m) Source #
Instance details Methods setFilter :: (a -> a) -> RouteT url m () composeFilter :: (a -> a) -> RouteT url m () getFilter :: RouteT url m b -> RouteT url m (b, a -> a)
WebMonad a m => WebMonad a (RouteT url m) Source #
Instance details Methods finishWith :: a -> RouteT url m b
ServerMonad m => ServerMonad (RouteT url m) Source #
Instance details Methods askRq :: RouteT url m Request localRq :: (Request -> Request) -> RouteT url m a -> RouteT url m a
Happstack m => Happstack (RouteT url m) Source #
Instance details
HasRqData m => HasRqData (RouteT url m) Source #
Instance details Methods askRqEnv :: RouteT url m RqEnv localRqEnv :: (RqEnv -> RqEnv) -> RouteT url m a -> RouteT url m a rqDataError :: Errors String -> RouteT url m a

:: (Functor m, Monad m, MonadPlus m, ServerMonad m)
=> Text	"http://example.org" (or "http://example.org:80")
-> Text	path to this handler, .e.g. "route" or ""
-> Site url (m a)	the `Site`
-> m (Either String a)