Safe Haskell	None
Language	Haskell2010

Trasa.Server

Documentation

Instances

MonadTrans TrasaT Source #
Methods lift :: Monad m => m a -> TrasaT m a #
Monad m => MonadError TrasaErr (TrasaT m) Source #
Methods throwError :: TrasaErr -> TrasaT m a # catchError :: TrasaT m a -> (TrasaErr -> TrasaT m a) -> TrasaT m a #
Monad m => Monad (TrasaT m) Source #
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) Source #
Methods fmap :: (a -> b) -> TrasaT m a -> TrasaT m b # (<$) :: a -> TrasaT m b -> TrasaT m a #
Monad m => Applicative (TrasaT m) Source #
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) Source #
Methods liftIO :: IO a -> TrasaT m a #
Monad m => MonadReader (Map (CI ByteString) Text) (TrasaT m) Source #
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) Source #
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 #

Arguments

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

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