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]