-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Type safe web server
--   
--   WAI integration for trasa
@package trasa-server
@version 0.2

module Trasa.Server
data TrasaT m a
runTrasaT :: TrasaT m a -> Map (CI ByteString) Text -> m (Either TrasaErr a, Map (CI ByteString) Text)
serveWith :: (forall caps qrys req resp. route caps qrys req resp -> Rec (Query CaptureDecoding) qrys) -> (forall caps qrys req resp. route caps qrys req resp -> RequestBody (Many BodyDecoding) req) -> (forall caps qrys req resp. route caps qrys req resp -> ResponseBody (Many BodyEncoding) resp) -> (forall caps qrys req resp. route caps qrys req resp -> Rec Identity caps -> Rec Parameter qrys -> RequestBody Identity req -> TrasaT IO resp) -> Router route -> Application
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader (Data.Map.Base.Map (Data.CaseInsensitive.Internal.CI Data.ByteString.Internal.ByteString) Data.Text.Internal.Text) (Trasa.Server.TrasaT m)
instance GHC.Base.Monad m => Control.Monad.State.Class.MonadState (Data.Map.Base.Map (Data.CaseInsensitive.Internal.CI Data.ByteString.Internal.ByteString) Data.Text.Internal.Text) (Trasa.Server.TrasaT m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Trasa.Server.TrasaT m)
instance GHC.Base.Monad m => Control.Monad.Error.Class.MonadError Trasa.Error.TrasaErr (Trasa.Server.TrasaT m)
instance GHC.Base.Monad m => GHC.Base.Monad (Trasa.Server.TrasaT m)
instance GHC.Base.Monad m => GHC.Base.Applicative (Trasa.Server.TrasaT m)
instance GHC.Base.Functor m => GHC.Base.Functor (Trasa.Server.TrasaT m)
instance Control.Monad.Trans.Class.MonadTrans Trasa.Server.TrasaT