Roboservant.Client

Documentation

fuzz :: forall api. (ToReifiedClientApi (Endpoints api), FlattenClient api, HasClient ClientM api) => ClientEnv -> Config -> IO (Maybe Report)

class ToReifiedClientApi api where

Methods

toReifiedClientApi :: ClientBundled api -> Proxy api -> ClientEnv -> ReifiedApi

Instances

ToReifiedClientApi ('[] :: [Type])

Defined in Roboservant.Client

Methods

toReifiedClientApi :: ClientBundled '[] -> Proxy '[] -> ClientEnv -> ReifiedApi

(NormalizeFunction (Client ClientM endpoint), Normal (Client ClientM endpoint) ~ Curried (EndpointArgs endpoint) (ReaderT ClientEnv IO (Either InteractionError (NonEmpty (Dynamic, Int)))), ToReifiedClientApi endpoints, RecordCurry' (EndpointArgs endpoint), ToReifiedEndpoint endpoint) => ToReifiedClientApi (endpoint ': endpoints)

Defined in Roboservant.Client

Methods

toReifiedClientApi :: ClientBundled (endpoint ': endpoints) -> Proxy (endpoint ': endpoints) -> ClientEnv -> ReifiedApi

data ClientBundled endpoints where

Constructors

AClientEndpoint :: Client ClientM endpoint -> ClientBundled endpoints -> ClientBundled (endpoint ': endpoints)

NoClientEndpoints :: ClientBundled '[]

class FlattenClient api where

Methods

flattenClient :: Client ClientM api -> ClientBundled (Endpoints api)

Instances

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

Defined in Roboservant.Client

Methods

flattenClient :: Client ClientM (endpoint :<|> api) -> ClientBundled (Endpoints (endpoint :<|> api))

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

Defined in Roboservant.Client

Methods

flattenClient :: Client ClientM (x :> api) -> ClientBundled (Endpoints (x :> api))

FlattenClient (Verb method statusCode contentTypes responseType)

Defined in Roboservant.Client

Methods

flattenClient :: Client ClientM (Verb method statusCode contentTypes responseType) -> ClientBundled (Endpoints (Verb method statusCode contentTypes responseType))

mapCurried :: forall ts a b. RecordCurry' ts => (a -> b) -> Curried ts a -> Curried ts b

type ResultType = Either InteractionError (NonEmpty (Dynamic, Int))

Orphan instances

(Typeable x, Hashable x, Breakdown x) => NormalizeFunction (ClientM x)

Associated Types

type Normal (ClientM x)

Methods

normalize :: ClientM x -> Normal (ClientM x)