tests
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
tests/smithy4s.example/RecursiveInputServiceGen

RecursiveInputServiceGen

smithy4s.example.RecursiveInputServiceGen$
See theRecursiveInputServiceGen companion trait
object RecursiveInputServiceGen extends Mixin[[F[_, _, _, _, _]] =>> RecursiveInputServiceGen[F], RecursiveInputServiceOperation]

Attributes

Companion:
trait
Graph
Supertypes
trait Mixin[[F[_, _, _, _, _]] =>> RecursiveInputServiceGen[F], RecursiveInputServiceOperation]
trait Service[[F[_, _, _, _, _]] =>> RecursiveInputServiceGen[F]]
trait HasId
trait FunctorK5[[F[_, _, _, _, _]] =>> RecursiveInputServiceGen[F]]
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

class Constant[P[_, _, _, _, _]](value: P[Any, Nothing, Nothing, Nothing, Nothing]) extends Transformed[RecursiveInputServiceOperation, P]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
object ErrorAware

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class RecursiveInputOperation(input: RecursiveInput) extends RecursiveInputServiceOperation[RecursiveInput, Nothing, Unit, Nothing, Nothing]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait RecursiveInputServiceOperation[RecursiveInput, Nothing, Unit, Nothing, Nothing]
class Object
trait Matchable
class Any
object RecursiveInputOperation extends Endpoint[RecursiveInput, Nothing, Unit, Nothing, Nothing]

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
trait Endpoint[Operation, RecursiveInput, Nothing, Unit, Nothing, Nothing]
class Object
trait Matchable
class Any
Self type
class Transformed[P[_, _, _, _, _], P1[_, _, _, _, _]](alg: RecursiveInputServiceGen[P], f: PolyFunction5[P, P1]) extends RecursiveInputServiceGen[P1]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Constant[P]
object reified extends RecursiveInputServiceGen[RecursiveInputServiceOperation]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
reified.type

Types

type Default[F[_]] = Constant[<none>]

Inherited types

type BiFunctorInterpreter[F[_, _]] = PolyFunction5[Operation, <none>]

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
type FunctorInterpreter[F[_]] = PolyFunction5[Operation, <none>]

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Mixin

Value members

Concrete methods

def apply[F[_]](implicit F: Impl[F]): Impl[F]
def endpoint[I, E, O, SI, SO](op: RecursiveInputServiceOperation[I, E, O, SI, SO]): (I, Endpoint[I, E, O, SI, SO])
def fromPolyFunction[P[_, _, _, _, _]](f: PolyFunction5[RecursiveInputServiceOperation, P]): RecursiveInputServiceGen[P]
def mapK5[P[_, _, _, _, _], P1[_, _, _, _, _]](alg: RecursiveInputServiceGen[P], f: PolyFunction5[P, P1]): RecursiveInputServiceGen[P1]
def toPolyFunction[P[_, _, _, _, _]](impl: RecursiveInputServiceGen[P]): PolyFunction5[RecursiveInputServiceOperation, P]

Concrete fields

val endpoints: List[Endpoint[Operation, _, _, _, _, _]]
val hints: Hints
val id: ShapeId

Inherited fields

final val opToEndpoint: PolyFunction5[Operation, Endpoint]

Attributes

Inherited from:
Service
val service: Service[[F[_, _, _, _, _]] =>> RecursiveInputServiceGen[F]]

Attributes

Inherited from:
Service

Implicits

Inherited implicits

implicit val serviceInstance: Service[[F[_, _, _, _, _]] =>> RecursiveInputServiceGen[F]]

Attributes

Inherited from:
Mixin
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL