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 :<|> ReplaceAPI a))

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

module Servant

module Servant.Docs

module Servant.HTML.Blaze

module Text.Blaze.Html

module Data.Swagger

module RFC.Data.IdAnd

Orphan instances

HasAPIClient ApiCtx

Methods

getAPIClient :: ApiCtx Session

HasRedis ApiCtx

Methods

getRedisPool :: ApiCtx ConnectionPool

runRedis :: Redis a -> ApiCtx a

HasPsql ApiCtx

Methods

getPsqlPool :: ApiCtx ConnectionPool

withPsqlConnection :: (Connection -> ApiCtx a) -> ApiCtx a

withPsqlTransaction :: (Connection -> ApiCtx a) -> ApiCtx a