RFC.Servant

Documentation

type ApiCtx = ReaderT Session (ReaderT ConnectionPool (ReaderT ConnectionPool Handler))

apiCtxToHandler :: Session -> ConnectionPool -> ConnectionPool -> ApiCtx ~> Handler

class (FromJSON a, ToJSON a, Show a) => ResourceDefinition a where

Minimal complete definition

fetchResource, fetchAllResources, createResource, replaceResource

Methods

restFetchAll :: FetchAllImpl a

restFetch :: FetchImpl a

restCreate :: CreateImpl a

restPatch :: PatchImpl a

restReplace :: ReplaceImpl a

restServer :: ServerImpl a

fetchResource :: UUID -> ApiCtx (Maybe a)

fetchAllResources :: ApiCtx [IdAnd a]

createResource :: a -> ApiCtx (Maybe UUID)

replaceResource :: IdAnd a -> ApiCtx ()

type ServerAPI a = FetchAllAPI a :<|> (FetchAPI a :<|> (CreateAPI a :<|> (PatchAPI a :<|> ReplaceAPI a)))

type ServerImpl a = FetchAllImpl a :<|> (FetchImpl a :<|> (CreateImpl a :<|> (PatchImpl a :<|> ReplaceImpl a)))

module Servant

module Servant.Docs

module Servant.HTML.Blaze

module Text.Blaze.Html

module Data.Swagger

module RFC.Data.IdAnd

module RFC.API

Orphan instances

MonadUnliftIO Handler

Methods

askUnliftIO :: Handler (UnliftIO Handler)

withRunInIO :: ((forall a. Handler a -> IO a) -> IO b) -> Handler b

HasAPIClient ApiCtx

Methods

getAPIClient :: ApiCtx Session

HasRedis ApiCtx

Methods

getRedisPool :: ApiCtx ConnectionPool

runRedis :: Redis a -> ApiCtx a

HasPsql ApiCtx

Methods

getPsqlPool :: ApiCtx PGConnectionPool