Web.Routes.Nested.VerbListener

Documentation

data Verb

Constructors

Get

Post

Put

Delete

Instances

Eq Verb

Ord Verb

Show Verb

type BodyLength = Word64

newtype Verbs m r

Constructors

Verbs

Fields

unVerbs :: Map Verb (Maybe (ByteString -> m (), Maybe BodyLength), Either r (Request -> r))

Instances

Functor (Verbs m)

Foldable (Verbs m)

Monoid (Verbs m 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

Constructors

VerbListenerT

Fields

runVerbListenerT :: WriterT (Verbs m r) m a

Instances

MonadTrans (VerbListenerT r)

Monad m => Monad (VerbListenerT r m)

Functor m => Functor (VerbListenerT r m)

Applicative m => Applicative (VerbListenerT r m)

MonadIO m => MonadIO (VerbListenerT r m)

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 ()