spata
API
Generated with
spata/info.fingo.spata/info.fingo.spata.schema/SchemaEnforcer

SchemaEnforcer

info.fingo.spata.schema.SchemaEnforcer
See theSchemaEnforcer companion trait
object SchemaEnforcer

Givens for SchemaEnforcer.

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object emptyEnforcer extends SchemaEnforcer[EmptyTuple]

Schema enforcer for empty tuple of columns.

Schema enforcer for empty tuple of columns.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Givens

Givens

given emptyEnforcer: emptyEnforcer.type

Schema enforcer for empty tuple of columns.

Schema enforcer for empty tuple of columns.

Attributes

given recursiveEnforcer[K <: Key, V, KT <: Tuple, VT <: Tuple, CT <: Tuple](using tailEnforcer: SchemaEnforcer[CT] { type Out = ValidatedRecord[KT, VT]; }, ev1: Size[K *: KT] =:= Size[V *: VT], ev2: Union[K *: KT] <:< Key): recursiveEnforcer[K, V, KT, VT, CT]

Recursive schema enforcer for tuple of columns.

Recursive schema enforcer for tuple of columns.

Type parameters

CT

type of column tuple tail

K

type of field name (key) of both, head of column tuple and head of typed record's data

KT

type of field names (keys) of record's data tail

V

type of field value of both, head of column tuple and head of typed record's data

VT

type of values of record's data tail

Value parameters

tailEnforcer

schema enforcer for column tuple tail

Attributes

Returns

schema enforcer for tuple

Generated with