Factis.Haskoon.HttpSpec.WebHandler

Documentation

class MonadError WebExc m => ReqHandler m where

Methods

sendReq :: ReqOut -> m ResIn

Instances

MonadIO m => ReqHandler (ReqHandlerT m)

newtype ReqHandlerT m a

Constructors

ReqHandlerT

Fields

unReqHandlerT :: ReaderT (ReqHandlerState m) (ErrorT WebExc m) a

Instances

WebTrans ReqHandlerT

MonadTrans ReqHandlerT

Monad m => MonadError WebExc (ReqHandlerT m)

Monad m => Monad (ReqHandlerT m)

MonadIO m => MonadIO (ReqHandlerT m)

Web m => Web (ReqHandlerT m)

MonadIO m => ReqHandler (ReqHandlerT m)

data ReqHandlerState m

Constructors

ReqHandlerState

Fields

rhst_sendReqOut :: ReqOut -> m (Either String ResIn)

runWebReq :: WebIO m => (ReqIn -> ReqHandlerT m ResOut) -> m (WebRes m)

runWebReqHandlerT :: WebIO m => ReqHandlerT m a -> m (Either WebExc a)

runReqHandlerT :: Monad m => ReqHandlerT m a -> ReqHandlerState m -> m (Either WebExc a)

runIOReqHandlerT :: MonadIO m => ReqHandlerT m a -> m (Either WebExc a)

match :: MonadError WebExc m => [ReqIn -> m ResOut] -> ReqIn -> m ResOut