SchemaRebuilder

org.hungerford.generic.schema.SchemaRebuilder$
See theSchemaRebuilder companion trait

Attributes

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

Members list

Concise view

Type members

Types

type Aux[T, S, B] = SchemaRebuilder[T, S] { type Builder = B; }

Givens

Givens

given coproductRebuilder[T, R <: Tuple, RV <: Tuple, D, DN]: coproductRebuilder[T, R, RV, D, DN]
given primitiveRebuilder[T](using ev: Ineq[T, Nothing]): Aux[T, Unit, PrimitiveSchemaBuilder[T]]
given productRebuilder[T, R <: Tuple, RV <: Tuple, AF, AFS, AFE, C](using ctx: CtxWrapTuplesConstraint[Tpe, R, RV]): Aux[T, ProductShape[T, R, RV, AF, AFS, AFE, C], ProductSchemaBuilder[T, R, RV, AF, AFS, AFE, C]]