Packages

p

smithy4s

package smithy4s

Linear Supertypes
TypeAliases, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. smithy4s
  2. TypeAliases
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package example
  2. package meta
  3. package tests

Type Members

  1. type GenLift[F[_]] = AnyRef { type λ[I, E, O, SI, SO] = F[O] }
  2. type Hint = Binding[_]
  3. type Interpreter[Op[_, _, _, _, _], F[_]] = Transformation[Op, [I, E, O, SI, SO]F[O]]
    Definition Classes
    TypeAliases
  4. type Monadic[Alg[_[_, _, _, _, _]], F[_]] = Alg[[I, E, O, SI, SO]F[O]]
    Definition Classes
    TypeAliases
  5. type Schema[A] = schematic.Schema[Schematic, A]
  6. type Static[A] = A with Tag
  7. type StaticSchema[A] = Schema[A] with Tag
  8. type UnionSchema[A] = schematic.union.Schema[UnionSchematic, A]
  9. type UnionSchematic[F[_]] = schematic.union.Schematic[F]

Value Members

  1. def checkProtocol[Alg[_[_, _, _, _, _]], Op[_, _, _, _, _]](service: Service[Alg, Op], protocolTag: ShapeTag[_]): Either[UnsupportedProtocolError, Unit]
  2. val errorTypeHeader: String

Inherited from TypeAliases

Inherited from AnyRef

Inherited from Any

Ungrouped