Empty

case object Empty
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Empty.type

Type members

Types

type Element = Unit

The element type, described by the schema. This could be the type of the whole request, if it's an RPC-style request with a single, relatively small body, or it could be the type of a single element in a stream.

The element type, described by the schema. This could be the type of the whole request, if it's an RPC-style request with a single, relatively small body, or it could be the type of a single element in a stream.

Inherited types

type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple
Inherited from:
Singleton

The name of the type

The name of the type

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Inherited from:
Singleton
type MirroredType = Singleton.this.type
Inherited from:
Singleton

Value members

Concrete methods

def decodeFromBody(body: Body, codec: Codec): IO[Throwable, Unit]

Attempts to decode the A from a body using the given codec.

Attempts to decode the A from a body using the given codec.

def encodeToBody(value: Unit, codec: Codec): Body

Encodes the A to a body in the given codec.

Encodes the A to a body in the given codec.

def schema: Schema[Unit]

The schema associated with the element type.

The schema associated with the element type.

Inherited methods

final def erase: BodyCodec[Any]

Erases the type for easier use in the internal implementation.

Erases the type for easier use in the internal implementation.

Inherited from:
BodyCodec (hidden)
def fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Inherited from:
Singleton
Inherited from:
Product