Schema

class Schema[E](val first: OneOf[[F[_]] =>> Schematic[F], E, _], val rest: Vector[OneOf[[F[_]] =>> Schematic[F], E, _]], val total: E => WithValue[[F[_]] =>> Schematic[F], E, _]) extends Schema[[F[_]] =>> Schematic[F], E]
trait Schema[[F[_]] =>> Schematic[F], E]
class Object
trait Matchable
class Any

Value members

Concrete methods

def compile[F[_]](s: Schematic[F]): F[E]
def find(label: String): Option[OneOf[[F[_]] =>> Schematic[F], E, _]]

Inherited methods

final def apply[F[_]](s: Schematic[F]): F[E]
Inherited from:
Schema
final def oneOf[Union]: OneOfPartiallyApplied[[F[_]] =>> Schematic[F], Union, E]
Inherited from:
Schema
final def optional[Struct]: OptionalPartiallyApplied[[F[_]] =>> Schematic[F], Struct, E]
Inherited from:
Schema
final def required[Struct]: RequiredPartiallyApplied[[F[_]] =>> Schematic[F], Struct, E]
Inherited from:
Schema

Deprecated and Inherited methods

@deprecated("use compile instead")
final def form[F[_]](s: Schematic[F]): F[E]
Deprecated
Inherited from:
Schema

Concrete fields

val first: OneOf[[F[_]] =>> Schematic[F], E, _]
val rest: Vector[OneOf[[F[_]] =>> Schematic[F], E, _]]
val total: E => WithValue[[F[_]] =>> Schematic[F], E, _]
val unionSchema: Schema[[F[_]] =>> Schematic[F], E]