org.hungerford.generic.schema.types.Validation$
See theValidation companion trait
Attributes
- Companion:
- trait
- Graph
- Supertypes
- Self type
- Validation.type
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
- Self type
Value members
Inherited methods
Attributes
- Inherited from:
- HasValidate
Givens
Givens
given coproductValidation[T, R <: Tuple, RV <: Tuple, D, DN](using valid: Validation[T, R]): coproductValidation[T, R, RV, D, DN]
given fieldValidation[T, F, N <: FieldName, S](using fieldSchemaValid: Validation[F, Aux[F, S]]): fieldValidation[T, F, N, S]
given fieldsValidation[RVHead, RVTail <: Tuple, RHead, RTail <: Tuple](using headValid: Validation[RVHead, RHead], tailValid: Validation[RVTail, RTail]): fieldsValidation[RVHead, RVTail, RHead, RTail]
given productValidationAf[T, R <: Tuple, RV <: Tuple, AF, AFS, AFE, C](using fieldsValidation: Validation[RV, R], afValidation: Validation[AF, Aux[AF, AFS]], prodDec: Aux[T, (AFE, R), (Map[String, AF], RV)]): productValidationAf[T, R, RV, AF, AFS, AFE, C]
given productValidationNoAf[T, R <: Tuple, RV <: Tuple, C](using fieldsValidation: Validation[RV, R], prodDec: Aux[T, R, RV]): productValidationNoAf[T, R, RV, C]
given subtypeValidation[T, ST, D, DN, DV, N <: TypeName, STS](using schVal: Validation[ST, Aux[ST, STS]]): subtypeValidation[T, ST, D, DN, DV, N, STS]
given subtypesValidation[T, ST, D, DN, DV, N <: TypeName, STS, RTail <: Tuple](using headValid: Validation[ST, Aux[ST, STS]], tailValid: Validation[T, RTail]): subtypesValidation[T, ST, D, DN, DV, N, STS, RTail]