| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Web.Routes.Nested.VerbListener
- 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
Constructors
| Verbs | |
Fields
| |
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
Constructors
| VerbListenerT | |
Fields
| |
Instances
| 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