| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Roboservant.Client
Contents
Documentation
fuzz :: forall api. (ToReifiedClientApi (Endpoints api), FlattenClient api, HasClient ClientM api) => ClientEnv -> Config -> IO (Maybe Report) Source #
class ToReifiedClientApi api where Source #
Methods
toReifiedClientApi :: ClientBundled api -> Proxy api -> ClientEnv -> ReifiedApi Source #
Instances
| ToReifiedClientApi ('[] :: [Type]) Source # | |
Defined in Roboservant.Client Methods toReifiedClientApi :: ClientBundled '[] -> Proxy '[] -> ClientEnv -> ReifiedApi Source # | |
| (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) Source # | |
Defined in Roboservant.Client Methods toReifiedClientApi :: ClientBundled (endpoint ': endpoints) -> Proxy (endpoint ': endpoints) -> ClientEnv -> ReifiedApi Source # | |
data ClientBundled endpoints where Source #
Constructors
| AClientEndpoint :: Client ClientM endpoint -> ClientBundled endpoints -> ClientBundled (endpoint ': endpoints) | |
| NoClientEndpoints :: ClientBundled '[] |
class FlattenClient api where Source #
Methods
flattenClient :: Client ClientM api -> ClientBundled (Endpoints api) Source #
Instances
| (FlattenClient api, Endpoints endpoint ~ '[endpoint]) => FlattenClient (endpoint :<|> api) Source # | |
Defined in Roboservant.Client Methods flattenClient :: Client ClientM (endpoint :<|> api) -> ClientBundled (Endpoints (endpoint :<|> api)) Source # | |
| Endpoints api ~ '[api] => FlattenClient (x :> api) Source # | |
Defined in Roboservant.Client Methods flattenClient :: Client ClientM (x :> api) -> ClientBundled (Endpoints (x :> api)) Source # | |
| FlattenClient (Verb method statusCode contentTypes responseType) Source # | |
Defined in Roboservant.Client Methods flattenClient :: Client ClientM (Verb method statusCode contentTypes responseType) -> ClientBundled (Endpoints (Verb method statusCode contentTypes responseType)) Source # | |
mapCurried :: forall ts a b. RecordCurry' ts => (a -> b) -> Curried ts a -> Curried ts b Source #
type ResultType = Either InteractionError (NonEmpty (Dynamic, Int)) Source #