Alt

object Alt
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Alt.type

Type members

Classlikes

object Dispatcher
Companion:
class
trait Dispatcher[F[_], U]

Construct that does the heavily lifting for encoding union values, by memoising the compilation of the alternatives, dispatching the union instance to the correct pre-compiled encoder, and lift the resulting function into an encoder that works on the union.

Construct that does the heavily lifting for encoding union values, by memoising the compilation of the alternatives, dispatching the union instance to the correct pre-compiled encoder, and lift the resulting function into an encoder that works on the union.

Companion:
object
trait Precompiler[F[_], G[_]]

Precompiles an Alt to produce an instance of G

Precompiles an Alt to produce an instance of G

final implicit implicit class SchemaAltOps[U, A](alt: SchemaAlt[U, A]) extends AnyVal
final case class WithValue[F[_], U, A](alt: Alt[F, U, A], value: A)

Types

type SchemaAndValue[S, A] = WithValue[Schema, S, A]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def liftK[F[_], G[_], U](fk: PolyFunction[F, G]): PolyFunction[[_] =>> Alt[F, U, _$17], [_] =>> Alt[G, U, _$18]]

Implicits

Implicits

final implicit def SchemaAltOps[U, A](alt: SchemaAlt[U, A]): SchemaAltOps[U, A]