Reflective

smithy4s.Service$.Reflective
trait Reflective[Op[_, _, _, _, _]] extends Service[<none>]

A Service the algebra of which is a PolyFunction

Attributes

Graph
Supertypes
trait Service[<none>]
trait HasId
trait FunctorK5[<none>]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

type Operation[I, E, O, SI, SO] = Op[I, E, O, SI, SO]

Inherited types

Attributes

Inherited from:
Service
type Endpoint[I, E, O, SI, SO] = Endpoint[Operation, I, E, O, SI, SO]

Attributes

Inherited from:
Service
type ErrorAware[F[_, _]] = Alg[<none>]

Attributes

Inherited from:
Service

Attributes

Inherited from:
Service
type Impl[F[_]] = Alg[<none>]

Attributes

Inherited from:
Service
type Interpreter[F[_, _, _, _, _]] = PolyFunction5[Operation, F]

Attributes

Inherited from:
Service

Value members

Concrete methods

final def fromPolyFunction[P[_, _, _, _, _]](function: PolyFunction5[Op, P]): PolyFunction5[Op, P]
final def mapK5[F[_, _, _, _, _], G[_, _, _, _, _]](algebra: PolyFunction5[Op, F], function: PolyFunction5[F, G]): PolyFunction5[Op, G]
final def reified: PolyFunction5[Op, Op]
final def toPolyFunction[P[_, _, _, _, _]](algebra: PolyFunction5[Op, P]): PolyFunction5[Op, P]

Inherited methods

def endpoint[I, E, O, SI, SO](op: Op[I, E, O, SI, SO]): (I, Endpoint[I, E, O, SI, SO])

Attributes

Inherited from:
Service
def endpoints: List[Endpoint[Operation, _, _, _, _, _]]

Attributes

Inherited from:
Service

Attributes

Inherited from:
Service
def id: ShapeId

Attributes

Inherited from:
HasId

Attributes

Inherited from:
Service

Inherited fields

Attributes

Inherited from:
Service
val service: Service[<none>]

Attributes

Inherited from:
Service