Schema

trait Schema[-S[_[_]], A]

Purposefully open interface meant to enable building schemas as values, in an extensible manner.

The metamodel gets inferred automatically via contravariance.

Companion:
object
class Object
trait Matchable
class Any
object Schema.type
object Schema.type
class Schema[S, A, B]
object Schema.type
object Schema.type
object Schema.type
object Schema.type
class Schema[S, A]
object Schema.type
class Schema
object instant.type
object Schema.type
class Schema[S, A]
class Schema
object localDate.type
object Schema.type
class Schema[S, K, V]
class Schema
object offsetDateTime.type
class Schema[S, A]
object Schema.type
object Schema.type
class Schema[S, Z]
class Schema[S, A]
class Schema[S, U]
object Schema.type
object Schema.type
class Schema[S, A]

Value members

Abstract methods

def compile[F[_]](s: S[F]): F[A]

Concrete methods

final def apply[F[_]](s: S[F]): F[A]
final def oneOf[Union]: OneOfPartiallyApplied[S, Union, A]
final def optional[Struct]: OptionalPartiallyApplied[S, Struct, A]
final def required[Struct]: RequiredPartiallyApplied[S, Struct, A]

Deprecated methods

@deprecated("use compile instead")
final def form[F[_]](s: S[F]): F[A]
Deprecated