tests/smithy4s.example/WeatherGen

WeatherGen

object WeatherGen extends Service[[F[_, _, _, _, _]] =>> WeatherGen[F], WeatherOperation]
Companion
class
trait Service[[F[_, _, _, _, _]] =>> WeatherGen[F], WeatherOperation]
trait Provider[[F[_, _, _, _, _]] =>> WeatherGen[F], WeatherOperation]
trait HasId
trait Transformable[[F[_, _, _, _, _]] =>> WeatherGen[F]]
class Object
trait Matchable
class Any

Type members

Classlikes

case
class GetCurrentTime() extends WeatherOperation[Unit, Nothing, GetCurrentTimeOutput, Nothing, Nothing]
Companion
object
object GetCurrentTime extends Endpoint[WeatherOperation, Unit, Nothing, GetCurrentTimeOutput, Nothing, Nothing]
Companion
class
object reified extends WeatherGen[WeatherOperation]

Value members

Concrete methods

def apply[F[_]](implicit F: Monadic[[F[_, _, _, _, _]] =>> WeatherGen[F], F]): F
def asTransformation[P[_, _, _, _, _]](impl: WeatherGen[P]): Transformation[WeatherOperation, P]
def endpoint[I, E, O, SI, SO](op: WeatherOperation[I, E, O, SI, SO]): (I, Endpoint[WeatherOperation, I, E, O, SI, SO])
def transform[P[_, _, _, _, _]](transformation: Transformation[WeatherOperation, P]): WeatherGen[P]
def transform[P[_, _, _, _, _], P1[_, _, _, _, _]](alg: WeatherGen[P], transformation: Transformation[P, P1]): WeatherGen[P1]

Inherited methods

def transformWithEndpoint[P[_, _, _, _, _], P1[_, _, _, _, _]](alg: WeatherGen[P], transformation: ZippedWithEndpoint[P, WeatherOperation, P1]): WeatherGen[P1]
Inherited from
Service

Concrete fields

val endpoints: List[Endpoint[WeatherOperation, _, _, _, _, _]]
val hints: Hints
val id: ShapeId
val version: String

Inherited fields

val opToEndpoint: Transformation[WeatherOperation, [_, _, _, _, _] =>> Endpoint[WeatherOperation, _$12, _$13, _$14, _$15, _$16]]
Inherited from
Service
val service: Service[[F[_, _, _, _, _]] =>> WeatherGen[F], WeatherOperation]
Inherited from
Service

Implicits

Inherited implicits

implicit
val serviceInstance: Service[[F[_, _, _, _, _]] =>> WeatherGen[F], WeatherOperation]
Inherited from
Service