Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type Verb = StdMethod
- type BodyLength = Word64
- newtype Verbs m r = Verbs {
- unVerbs :: Map Verb (Maybe (ByteString -> m (), Maybe BodyLength), Either r (Request -> r))
- supplyReq :: Request -> Map Verb (Maybe (ByteString -> m (), Maybe BodyLength), Either r (Request -> r)) -> Map Verb (Maybe (ByteString -> m (), Maybe BodyLength), r)
- newtype VerbListenerT r m a = VerbListenerT {
- runVerbListenerT :: WriterT (Verbs m r) m a
- foldMWithKey :: Monad m => (acc -> Verb -> a -> m acc) -> acc -> Map Verb a -> m acc
- get :: Monad m => r -> VerbListenerT r m ()
- getReq :: Monad m => (Request -> r) -> VerbListenerT r m ()
- post :: (Monad m, MonadIO m) => (ByteString -> m ()) -> r -> VerbListenerT r m ()
- postReq :: (Monad m, MonadIO m) => (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m ()
- postMax :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> r -> VerbListenerT r m ()
- postMaxReq :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m ()
- put :: (Monad m, MonadIO m) => (ByteString -> m ()) -> r -> VerbListenerT r m ()
- putReq :: (Monad m, MonadIO m) => (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m ()
- putMax :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> r -> VerbListenerT r m ()
- putMaxReq :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m ()
- delete :: Monad m => r -> VerbListenerT r m ()
- deleteReq :: Monad m => (Request -> r) -> VerbListenerT r m ()
Documentation
type BodyLength = Word64 Source
Verbs | |
|
supplyReq :: Request -> Map Verb (Maybe (ByteString -> m (), Maybe BodyLength), Either r (Request -> r)) -> Map Verb (Maybe (ByteString -> m (), Maybe BodyLength), r) Source
newtype VerbListenerT r m a Source
VerbListenerT | |
|
MonadTrans (VerbListenerT r) Source | |
Monad m => Monad (VerbListenerT r m) Source | |
Functor m => Functor (VerbListenerT r m) Source | |
Applicative m => Applicative (VerbListenerT r m) Source | |
MonadIO m => MonadIO (VerbListenerT r m) Source |
get :: Monad m => r -> VerbListenerT r m () Source
For simple GET
responses
getReq :: Monad m => (Request -> r) -> VerbListenerT r m () Source
Inspect the Request
object supplied by WAI
post :: (Monad m, MonadIO m) => (ByteString -> m ()) -> r -> VerbListenerT r m () Source
For simple POST
responses
postReq :: (Monad m, MonadIO m) => (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m () Source
Inspect the Request
object supplied by WAI
postMax :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> r -> VerbListenerT r m () Source
Supply a maximum size bound for file uploads
postMaxReq :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m () Source
Inspect the Request
object supplied by WAI
put :: (Monad m, MonadIO m) => (ByteString -> m ()) -> r -> VerbListenerT r m () Source
For simple PUT
responses
putReq :: (Monad m, MonadIO m) => (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m () Source
Inspect the Request
object supplied by WAI
putMax :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> r -> VerbListenerT r m () Source
Supply a maximum size bound for file uploads
putMaxReq :: (Monad m, MonadIO m) => BodyLength -> (ByteString -> m ()) -> (Request -> r) -> VerbListenerT r m () Source
Inspect the Request
object supplied by WAI
delete :: Monad m => r -> VerbListenerT r m () Source
For simple DELETE
responses
deleteReq :: Monad m => (Request -> r) -> VerbListenerT r m () Source
Inspect the Request
object supplied by WAI