Trasa.Server

Documentation

data TrasaT m a

Instances

MonadTrans TrasaT

Methods

lift :: Monad m => m a -> TrasaT m a

Monad m => MonadError TrasaErr (TrasaT m)

Methods

throwError :: TrasaErr -> TrasaT m a

catchError :: TrasaT m a -> (TrasaErr -> TrasaT m a) -> TrasaT m a

Monad m => Monad (TrasaT m)

Methods

(>>=) :: TrasaT m a -> (a -> TrasaT m b) -> TrasaT m b

(>>) :: TrasaT m a -> TrasaT m b -> TrasaT m b

return :: a -> TrasaT m a

fail :: String -> TrasaT m a

Functor m => Functor (TrasaT m)

Methods

fmap :: (a -> b) -> TrasaT m a -> TrasaT m b

(<$) :: a -> TrasaT m b -> TrasaT m a

Monad m => Applicative (TrasaT m)

Methods

pure :: a -> TrasaT m a

(<*>) :: TrasaT m (a -> b) -> TrasaT m a -> TrasaT m b

(*>) :: TrasaT m a -> TrasaT m b -> TrasaT m b

(<*) :: TrasaT m a -> TrasaT m b -> TrasaT m a

MonadIO m => MonadIO (TrasaT m)

Methods

liftIO :: IO a -> TrasaT m a

Monad m => MonadReader (Map (CI ByteString) Text) (TrasaT m)

Methods

ask :: TrasaT m (Map (CI ByteString) Text)

local :: (Map (CI ByteString) Text -> Map (CI ByteString) Text) -> TrasaT m a -> TrasaT m a

reader :: (Map (CI ByteString) Text -> a) -> TrasaT m a

Monad m => MonadState (Map (CI ByteString) Text) (TrasaT m)

Methods

get :: TrasaT m (Map (CI ByteString) Text)

put :: Map (CI ByteString) Text -> TrasaT m ()

state :: (Map (CI ByteString) Text -> (a, Map (CI ByteString) Text)) -> TrasaT m a

runTrasaT

Arguments

:: TrasaT m a

-> Map (CI ByteString) Text

Headers

-> m (Either TrasaErr a, Map (CI ByteString) Text)

serveWith

Arguments

:: (forall caps qrys req resp. route caps qrys req resp -> Rec (Query CaptureDecoding) qrys)

How to decode the query parameters from a route

-> (forall caps qrys req resp. route caps qrys req resp -> RequestBody (Many BodyDecoding) req)

How to decode the request body from a route

-> (forall caps qrys req resp. route caps qrys req resp -> ResponseBody (Many BodyEncoding) resp)

How to encode the response body from a route

-> (forall caps qrys req resp. route caps qrys req resp -> Rec Identity caps -> Rec Parameter qrys -> RequestBody Identity req -> TrasaT IO resp)

Actions to perform when requests come in

-> Router route

Router

-> Application

WAI Application