Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype Verbs u m r = Verbs {
- unVerbs :: Map Verb (ResponseSpec u m r)
- type Verb = StdMethod
- getVerb :: Request -> Verb
- type HandleUpload m u = Request -> m (Maybe u)
- type Respond u r = Request -> Maybe u -> r
- type ResponseSpec u m r = (HandleUpload m u, Respond u r)
- supplyReq :: Request -> Map Verb (ResponseSpec u m r) -> Map Verb (m (Maybe u), Maybe u -> r)
- lookupVerb :: Verb -> Request -> Verbs u m r -> Maybe (m (Maybe u), Maybe u -> r)
- lookupVerbM :: Monad m => Verb -> Request -> Verbs u m r -> m (Maybe r)
- newtype VerbListenerT r u m a = VerbListenerT {
- runVerbListenerT :: StateT (Verbs u m r) m a
- execVerbListenerT :: Monad m => VerbListenerT r u m a -> m (Verbs u m r)
- verbsToMiddleware :: MonadIO m => VerbListenerT (MiddlewareT m) u m () -> MiddlewareT m
- get :: Monad m => r -> VerbListenerT r u m ()
- getReq :: Monad m => (Request -> r) -> VerbListenerT r u m ()
- post :: (Monad m, MonadIO m) => HandleUpload m u -> (Maybe u -> r) -> VerbListenerT r u m ()
- postReq :: (Monad m, MonadIO m) => HandleUpload m u -> (Request -> Maybe u -> r) -> VerbListenerT r u m ()
- put :: (Monad m, MonadIO m) => HandleUpload m u -> (Maybe u -> r) -> VerbListenerT r u m ()
- putReq :: (Monad m, MonadIO m) => HandleUpload m u -> (Request -> Maybe u -> r) -> VerbListenerT r u m ()
- delete :: Monad m => r -> VerbListenerT r u m ()
- deleteReq :: Monad m => (Request -> r) -> VerbListenerT r u m ()
Documentation
Verbs | |
|
type HandleUpload m u = Request -> m (Maybe u) Source
type ResponseSpec u m r = (HandleUpload m u, Respond u r) Source
supplyReq :: Request -> Map Verb (ResponseSpec u m r) -> Map Verb (m (Maybe u), Maybe u -> r) Source
lookupVerb :: Verb -> Request -> Verbs u m r -> Maybe (m (Maybe u), Maybe u -> r) Source
Take a verb map and a request, and return the lookup after providing the request (for upload cases).
newtype VerbListenerT r u m a Source
VerbListenerT | |
|
MonadTrans (VerbListenerT r u) Source | |
Monad m => Monad (VerbListenerT r u m) Source | |
Functor m => Functor (VerbListenerT r u m) Source | |
Monad m => Applicative (VerbListenerT r u m) Source | |
MonadIO m => MonadIO (VerbListenerT r u m) Source | |
Monad m => MonadState (Verbs u m r) (VerbListenerT r u m) Source |
execVerbListenerT :: Monad m => VerbListenerT r u m a -> m (Verbs u m r) Source
verbsToMiddleware :: MonadIO m => VerbListenerT (MiddlewareT m) u m () -> MiddlewareT m Source
get :: Monad m => r -> VerbListenerT r u m () Source
For simple GET
responses
getReq :: Monad m => (Request -> r) -> VerbListenerT r u m () Source
Inspect the Request
object supplied by WAI
post :: (Monad m, MonadIO m) => HandleUpload m u -> (Maybe u -> r) -> VerbListenerT r u m () Source
For simple POST
responses
postReq :: (Monad m, MonadIO m) => HandleUpload m u -> (Request -> Maybe u -> r) -> VerbListenerT r u m () Source
Inspect the Request
object supplied by WAI
put :: (Monad m, MonadIO m) => HandleUpload m u -> (Maybe u -> r) -> VerbListenerT r u m () Source
For simple PUT
responses
putReq :: (Monad m, MonadIO m) => HandleUpload m u -> (Request -> Maybe u -> r) -> VerbListenerT r u m () Source
Inspect the Request
object supplied by WAI
delete :: Monad m => r -> VerbListenerT r u m () Source
For simple DELETE
responses
deleteReq :: Monad m => (Request -> r) -> VerbListenerT r u m () Source
Inspect the Request
object supplied by WAI