-- 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.4

module Trasa.Server
data TrasaT m a
runTrasaT :: TrasaT m a -> Map (CI ByteString) Text -> m (Either TrasaErr a, Map (CI ByteString) Text)
mapTrasaT :: (forall x. m x -> n x) -> TrasaT m a -> TrasaT n a
serveWith :: (forall caps qrys req resp. route caps qrys req resp -> MetaServer caps qrys req 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.Internal.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.Internal.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

module Trasa.Server.Implicit
serve :: (HasMeta route, HasCaptureDecoding (CaptureStrategy route), HasCaptureDecoding (QueryStrategy route), RequestBodyStrategy route ~ Many requestBodyStrat, HasBodyDecoding requestBodyStrat, ResponseBodyStrategy route ~ Many responseBodyStrat, HasBodyEncoding responseBodyStrat, EnumerableRoute route) => (forall caps qrys req resp. route caps qrys req resp -> Rec Identity caps -> Rec Parameter qrys -> RequestBody Identity req -> TrasaT IO resp) -> Application