RecursiveInputServiceGen

A EndpointCompiler specialised for effects of kind * -> (*, *), like Either or bifunctor IO

An interpreter specialised for effects of kind * -> (*, *), like Either or bifunctor IO.

An endpoint is the set of schemas tied to types associated with an Operation. It has a method to wrap the input in an operation instance I => Operation[I, E, O, SI, SO].

You can think of the endpoint as a "template for an Operation". It contains everything needed to decode/encode operation calls to/from low-level representations (like http requests).

A polymorphic function that can take an Endpoint (associated to this service) and produces an handler for it, namely a function that takes the input type of the operation, and produces an effect.

A short-hand for algebras that are specialised for effects of kind * -> (*, *). This is meant to be used in userland, e.g:

 val myService = MyService.ErrorAware[Either] 

A EndpointCompiler specialised for effects of kind * -> *, like Try or monofunctor IO

An interpreter specialised for effects of kind * -> *, like Try or monofunctor IO.

A short-hand for algebras that are specialised for effects of kind * -> *.

NB: this alias should be used in polymorphic implementations. When using the Smithy4s code generator, equivalent aliases that are named after the service are generated (e.g. Weather corresponding to WeatherGen).

This is a polymorphic function that runs an instance of an operation and produces an effect F.

A datatype (typically a sealed trait) that reifies an operation call within a service. It essentially captures the input and type indexes that the operation deals with. It also typically captures an input value.

It is possible to think of Operation as an "applied Endpoint", or a "call to an Endpoint".

A function that takes an endpoint compiler and produces an Algebra (typically an instance of the generated interfaces), backed by an interpreter.

This is useful for writing generic functions that result in the instantiation of a client instance that abides by the service interface.

A bifunctor-specialised version of interpreter

A monofunctor-specialised version of algebra

A monofunctor-specialised version of interpreter

A monofunctor-specialised version of algebra

Given a generic way to turn an endpoint into some handling function (like I => F[I, E, O, SI, SO]), this method takes care of the logic necessary to produce an interpreter that takes an Operation associated to the service and routes it to the correct function, returning the result.