gs-tapir/org.hungerford.generic.schema.tapir/TapirSchemaProductTranslation

TapirSchemaProductTranslation

trait TapirSchemaProductTranslation extends FieldBuildingProductSchemaTranslation[Schema, TapirFields]
Companion
object
trait FieldBuildingProductSchemaTranslation[Schema, TapirFields]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

object AdditionalFieldsBuilder
trait AdditionalFieldsBuilder[T, AF, AFS, R <: Tuple, RV <: Tuple, C, DC]()
object FieldBuilder
trait FieldBuilder[T, F, N <: FieldName, S, R <: Tuple, RV <: Tuple, AF, AFS, C, DC]()
object FieldTupleBuilder
trait FieldTupleBuilder[T, FL <: Tuple, R <: Tuple, RV <: Tuple, AF, AFS, C, DC]()
trait TranslatedFieldAdder[T, F, N <: FieldName, S, R <: Tuple, RV <: Tuple, AF, AFS, C, DC]()

Value members

Concrete methods

override
def addAdditionalFields[T, AF, AFS, R <: Tuple, RV <: Tuple, C, DC](additionalFields: Aux[AF, AFS], additionalFieldsTranslated: Schema[AF], to: TapirFields[T], informedBy: Aux[T, ProductShape[T, R, RV, AF, AFS, C, DC]]): TapirFields[T]
Definition Classes
FieldBuildingProductSchemaTranslation
override
def build[T](fields: TapirFields[T], schema: Schema[T]): Schema[T]
Definition Classes
FieldBuildingProductSchemaTranslation
override
def fieldsInit[T]: TapirFields[T]
Definition Classes
FieldBuildingProductSchemaTranslation

Givens

Givens

given translatedFieldAdder[T, F, N <: FieldName, S, R <: Tuple, RV <: Tuple, AF, AFS, C, DC](using val vt: TapirValidatorTranslation[F]): TranslatedFieldAdder[T, F, N, S, R, RV, AF, AFS, C, DC]

Inherited givens

given fieldBuildingProductTranslation[T, R <: Tuple, RV <: Tuple, AF, AFS, C, DC](using val ftb: FieldTupleBuilder[T, R, R, RV, AF, AFS, C, DC], val afb: AdditionalFieldsBuilder[T, AF, AFS, R, RV, C, DC]): SchemaTranslator[T, ProductShape[T, R, RV, AF, AFS, C, DC], OtherSchema]