Portability | portable |
---|---|
Stability | experimental |
Maintainer | partners@seereason.com |
Safe Haskell | None |
Declaration of the RouteT
monad transformer
- newtype RouteT url m a = RouteT {}
- class Monad m => MonadRoute m where
- 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
monad transformer for generating URLs
(Monoid w, MonadReader r (RouteT url m), MonadWriter w (RouteT url m), MonadState s (RouteT url m), MonadRWS r w s m) => MonadRWS r w s (RouteT url m) | |
(Monad (RouteT url m), MonadError e m) => MonadError e (RouteT url m) | |
(Monad (RouteT url m), MonadReader r m) => MonadReader r (RouteT url m) | |
(Monad (RouteT url m), MonadState s m) => MonadState s (RouteT url m) | |
(Monoid w, Monad (RouteT url m), MonadWriter w m) => MonadWriter w (RouteT url m) | |
MonadTrans (RouteT url) | |
Monad m => Monad (RouteT url m) | |
Functor m => Functor (RouteT url m) | |
(Monad (RouteT url m), MonadFix m) => MonadFix (RouteT url m) | |
(MonadPlus m, Monad (RouteT url m)) => MonadPlus (RouteT url m) | |
(Functor (RouteT url m), Applicative m) => Applicative (RouteT url m) | |
(Applicative (RouteT url m), Alternative m) => Alternative (RouteT url m) | |
(Monad (RouteT url m), MonadIO m) => MonadIO (RouteT url m) | |
(Monad (RouteT url m), MonadCont m) => MonadCont (RouteT url m) | |
(Monad (RouteT url m), Monad m) => MonadRoute (RouteT url m) |
class Monad m => MonadRoute m whereSource
(Monad (RouteT url m), Monad m) => MonadRoute (RouteT url m) |
mapRouteT :: (m a -> n b) -> RouteT url m a -> RouteT url n bSource
Transform the computation inside a RouteT
.
withRouteT :: ((url' -> [(Text, Maybe Text)] -> Text) -> url -> [(Text, Maybe Text)] -> Text) -> RouteT url m a -> RouteT url' m aSource
Execute a computation in a modified environment
liftRouteT :: m a -> RouteT url m aSource
showURL :: MonadRoute m => URL m -> m TextSource
showURLParams :: MonadRoute m => URL m -> [(Text, Maybe Text)] -> m TextSource