Roboservant.Server

Documentation

fuzz :: forall api. (FlattenServer api, ToReifiedApi (Endpoints api)) => Server api -> Config -> IO (Maybe Report)

class FlattenServer api where

Methods

flattenServer :: Server api -> Bundled (Endpoints api)

Instances

(FlattenServer api, Endpoints endpoint ~ '[endpoint]) => FlattenServer (endpoint :<|> api)

Defined in Roboservant.Types.ReifiedApi.Server

Methods

flattenServer :: Server (endpoint :<|> api) -> Bundled (Endpoints (endpoint :<|> api))

Endpoints api ~ '[api] => FlattenServer (x :> api)

Defined in Roboservant.Types.ReifiedApi.Server

Methods

flattenServer :: Server (x :> api) -> Bundled (Endpoints (x :> api))

FlattenServer (Verb method statusCode contentTypes responseType)

Defined in Roboservant.Types.ReifiedApi.Server

Methods

flattenServer :: Server (Verb method statusCode contentTypes responseType) -> Bundled (Endpoints (Verb method statusCode contentTypes responseType))

type ReifiedApi = [(ApiOffset, ReifiedEndpoint)]