Yam.Servant

Documentation

type App = AppM Handler

data ServantWrapException

Constructors

Exception e => Wrap ServantErr e

Instances

Show ServantWrapException

Methods

showsPrec :: Int -> ServantWrapException -> ShowS

show :: ServantWrapException -> String

showList :: [ServantWrapException] -> ShowS

Exception ServantWrapException

Methods

toException :: ServantWrapException -> SomeException

fromException :: SomeException -> Maybe ServantWrapException

displayException :: ServantWrapException -> String

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

type MkApplication = YamContext -> Application

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

emptyApi :: API EmptyAPI

emptyApplication :: MkApplication

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

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

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

startSimpleJob :: InitializeYamContext -> MigrateSQL -> LoadYamJobs -> IO ()

startMain :: InitializeYamContext -> DataSourceProviders -> MigrateSQL -> LoadYamJobs -> MkApplication -> IO ()

type InitializeYamContext = YamContext -> IO YamContext

type DataSourceProviders = [DataSourceProvider (AppM IO) ()]

type MigrateSQL = AppM IO ()

type LoadYamJobs = AppM IO [YamJob]