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

TapirSchemaTranslation

object TapirSchemaTranslation extends TapirSchemaTranslation
Companion
class
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]()
object TapirCoproductTranslator
trait TapirCoproductTranslator[T, R]()
object TapirDiscriminatorTranslation
trait TapirDiscriminatorTranslation[T, D, DN, R]()
trait TranslatedFieldAdder[T, F, N <: FieldName, S, R <: Tuple, RV <: Tuple, AF, AFS, C, DC]()

Value members

Inherited 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
TapirSchemaProductTranslation -> FieldBuildingProductSchemaTranslation
Inherited from
TapirSchemaProductTranslation
override
def build[T](fields: TapirFields[T], schema: Schema[T]): Schema[T]
Definition Classes
TapirSchemaProductTranslation -> FieldBuildingProductSchemaTranslation
Inherited from
TapirSchemaProductTranslation
override
def fieldsInit[T]: TapirFields[T]
Definition Classes
TapirSchemaProductTranslation -> FieldBuildingProductSchemaTranslation
Inherited from
TapirSchemaProductTranslation

Givens

Inherited givens

given SchemaTranslator_T_SingletonShape_TapirSchema[T <: Singleton, N <: TypeName]: SchemaTranslator[T, SingletonShape[T, N], Schema]
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]
given tapirSchemaCoproductTranslation[T, R <: NonEmptyTuple, RV <: NonEmptyTuple, D, DN](using val ev: NotGiven[ExistsFor[IsSingletonSubtype, R]], val cpt: Aux[T, R, (List[Schema[_]], T => Option[Schema[_]])], val dt: Aux[T, D, DN, R, Option[SDiscriminator]], val vd: TapirValidatorTranslation[T]): SchemaTranslator[T, CoproductShape[T, R, RV, D, DN], Schema]
given tapirSchemaSingletonCoproductTranslation[T, R <: NonEmptyTuple, RV <: NonEmptyTuple, D, DN](using val ev: ExistsFor[IsSingletonSubtype, R], val cpt: Aux[T, R, (List[String], T => Boolean)]): SchemaTranslator[T, CoproductShape[T, R, RV, D, DN], Schema]
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]