Type Members

1.  class ByteArray extends AnyRef
2.  final case class ConstraintError(hint: Hint, message: String) extends Throwable with NoStackTrace with Product with Serializable
3.  sealed trait Document extends Product with Serializable

   A json-like free-form structure serving as a model for the Document datatype in smithy.

4.  trait Endpoint[Op[_, _, _, _, _], I, E, O, SI, SO] extends AnyRef

   A representation of a smithy operation.

5.  trait Enumeration[E <: Value] extends Companion[E]
6.  trait Errorable[E] extends AnyRef
7.  type Existential[F[_]] = F[_]

   Definition Classes

   ExistentialsPlatformCompat

8.  trait ExistentialsPlatformCompat extends AnyRef
9.  type GenLift[F[_]] = AnyRef { type λ[I, E, O, SI, SO] = F[O] }
10.  trait HasId extends AnyRef
11.  type Hint = Binding[_]
12.  sealed abstract class HintMask extends AnyRef
13.  trait Hints extends AnyRef

    A hint is an arbitrary piece of data that can be added to a schema, at the struct level, or at the field/member level.

    A hint is an arbitrary piece of data that can be added to a schema, at the struct level, or at the field/member level.

    You can think of it as an annotation that can communicate additional information to encoders/decoders (for instance, a change in a label, a regex pattern some string should abide by, a range, etc)

    This Hints interface is a container for hints.

14.  type Interpreter[Op[_, _, _, _, _], F[_]] = Transformation[Op, [I, E, O, SI, SO]F[O]]

    Definition Classes

    TypeAliases

15.  final class Lazy[A] extends AnyRef
16.  type Monadic[Alg[_[_, _, _, _, _]], F[_]] = Alg[[I, E, O, SI, SO]F[O]]

    Definition Classes

    TypeAliases

17.  abstract class Newtype[A] extends HasId
18.  case class PayloadPath(segments: List[Segment]) extends Product with Serializable
19.  trait PolyFunction[F[_], G[_]] extends AnyRef

    Natural transformation, turning a polymorphic type into another, whilst keeping the type parameter intact.

20.  trait Protocol[A] extends AnyRef
21.  trait Refinement[A, B] extends AnyRef

    A type-refinement, associated to a runtime-representation of a constraint.

    A type-refinement, associated to a runtime-representation of a constraint.

    Represents the fact that you can go from A to B provided the value of tye A abides by a given Constraint.

22.  type Schema[A] = smithy4s.schema.Schema[A]
23.  sealed trait SchemaIndex extends AnyRef

    A map of schemas indexed by tag.

24.  type Schematic[F[_]] = smithy4s.schema.Schematic[F]
25.  trait Service[Alg[_[_, _, _, _, _]], Op[_, _, _, _, _]] extends Transformable[Alg] with Provider[Alg, Op]

    Generic representation of a service, as a list of "endpoints" (mapping to smithy operations).

    Generic representation of a service, as a list of "endpoints" (mapping to smithy operations).

    This abstraction lets us retrieve all information necessary to the generic implementation of protocols, as well as transform implementations of finally-encoded interfaces into interpreters (natural transformations) that operate on initially-encoded GADTs.

    Alg

    : a finally-encoded interface (commonly called algebra) that works against an abstract "effect" that takes 5 type parameters: Input, Error, Output, StreamedInput, StreamedOutput

    Op

    : an initially encoded version of the finally-encoded interface. Typically, a GADT that acts as a reification of the operations. Passing the reified versions around makes it drastically easier to implement logic generically, without involving metaprogramming.

26.  case class ShapeId(namespace: String, name: String) extends Product with Serializable
27.  trait ShapeTag[-A] extends HasId

    A tag that can be used as keys for higher-kinded maps

28.  sealed trait StreamingSchema[A] extends AnyRef
29.  abstract class Timestamp extends TimestampPlatformMethods

    Platform-agnostic UTC timestamp representation.

    Platform-agnostic UTC timestamp representation.

    The schematic.TimePlatformCompat trait provides a "nowUTC" method to get the current time.

30.  trait TimestampCompanion extends AnyRef

    Trait that is meant to be implemented in platform-specific ways, abstracing over logic that has to do with retrieving time from the system.

31.  trait TimestampPlatformMethods extends AnyRef
32.  trait Transformable[Alg[_[_, _, _, _, _]]] extends AnyRef

    Allows to transform the effect an algebra works against.

33.  trait Transformation[F[_, _, _, _, _], G[_, _, _, _, _]] extends AnyRef

    Natural transformation allowing to change the outer type that final interfaces work against.

34.  trait TypeAliases extends AnyRef

    Attributes

    protected

35.  type UnionSchema[A] = smithy4s.schema.Schema.UnionSchema[A]
36.  final case class UnsupportedProtocolError(service: HasId, protocolTag: HasId) extends Throwable with Product with Serializable
37.  trait Validator[C, A, B] extends AnyRef

    Given a constraint of type C, an Validator can produce a Refinement that allows to go from A to B.

    Given a constraint of type C, an Validator can produce a Refinement that allows to go from A to B.

    A Validator can be used as a typeclass.

38.  type Wrapped[F[_], G[_], A] = F[G[A]]
39.  type ~>[F[_], G[_]] = PolyFunction[F, G]