Documentation

type App = AppM Handler Source #

exceptionHandler :: MonadIO m => (Text -> m ()) -> (m ResponseReceived -> IO ResponseReceived) -> SomeException -> Application Source #

middleWare :: YamContext -> Middleware Source #

type API api = (Proxy api, YamContext -> Server api) Source #

type MkApplication = YamContext -> Application Source #

type ApiToApplication = forall s. (HasServer s '[YamContext], HasSwagger s) => API s -> MkApplication Source #

type SwaggerAPI = SwaggerSchemaUI "swagger-ui" "swagger.json" Source #

emptyApi :: API EmptyAPI Source #

emptyApplication :: MkApplication Source #

mkServe :: (HasServer api '[YamContext], HasSwagger api) => API api -> YamContext -> Application Source #

toAPI :: Enter (ServerT api App) App Handler (Server api) => ServerT api App -> API api Source #

addApi :: (HasServer api '[YamContext], HasSwagger api, HasServer new '[YamContext], HasSwagger new) => API api -> Bool -> API new -> ApiToApplication -> MkApplication Source #

data SwaggerServiceType Source #

swagger :: (HasServer api '[YamContext], HasSwagger api) => SwaggerServiceType -> API api -> API (SwaggerAPI :<|> api) Source #

swaggerDocument :: HasSwagger api => Proxy api -> Swagger Source #

applicationInfo :: HasServer api '[YamContext] => Proxy api -> YamContext -> Text Source #

data Config Source #

startMain :: (YamContext -> IO YamContext) -> [DataSourceProvider (AppM IO) ()] -> AppM IO () -> AppM IO [YamJob] -> (YamContext -> Application) -> IO () Source #