sttp.tapir.codec.iron

Members list

Type members

Classlikes

Attributes

Supertypes
class Object
trait Matchable
class Any

Inherited classlikes

class DescriptionTypeMirrorImpl[A, P, D <: String] extends IsDescription[A]

Attributes

Inherited from:
DescriptionWitness (hidden)
Supertypes
trait IsDescription[A]
class Object
trait Matchable
class Any
object IsDescription

Attributes

Inherited from:
DescriptionWitness (hidden)
Supertypes
class Object
trait Matchable
class Any
trait IsDescription[A]

Attributes

Inherited from:
DescriptionWitness (hidden)
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class DescriptionTypeMirrorImpl[A, P, D]

Givens

Inherited givens

inline given given_PrimitiveValidatorForPredicate_String_Not: PrimitiveValidatorForPredicate[String, Not[Empty]]

Attributes

Inherited from:
TapirCodecIron
inline given given_Schema_:|(using inline vSchema: Schema[String], inline constraint: Constraint[String, ValidUUID], inline validatorTranslation: ValidatorForPredicate[String, ValidUUID]): Schema[IronType[String, ValidUUID]]

Attributes

Inherited from:
TapirCodecIron
inline given given_ValidatorForPredicate_Value_Predicate[Value, Predicate](using inline constraint: Constraint[Value, Predicate], id: IsDescription[Predicate], notIntersection: NotGiven[IntersectionTypeMirror[id.Predicate]], notUnion: NotGiven[UnionTypeMirror[id.Predicate]]): ValidatorForPredicate[Value, Predicate]

Attributes

Inherited from:
LowPriorityValidatorForPredicate (hidden)
inline given ironTypeCodec[Representation, Value, Predicate, CF <: CodecFormat](using inline tm: Codec[Representation, Value, CF], inline constraint: Constraint[Value, Predicate], inline validatorTranslation: ValidatorForPredicate[Value, Predicate]): Codec[Representation, IronType[Value, Predicate], CF]

Attributes

Inherited from:
TapirCodecIron
inline given ironTypeSchema[Value, Predicate](using inline vSchema: Schema[Value], inline constraint: Constraint[Value, Predicate], inline validatorTranslation: ValidatorForPredicate[Value, Predicate]): Schema[IronType[Value, Predicate]]

Attributes

Inherited from:
TapirCodecIron
given refinedTypeCodec[R, T, CF <: CodecFormat](using m: Mirror[T], ev: Codec[R, m.IronType, CF]): Codec[R, T, CF]

Attributes

Inherited from:
TapirCodecIron
given refinedTypeSchema[T](using m: Mirror[T], ev: Schema[m.IronType]): Schema[T]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForAnd[N, Predicates](using mirror: IntersectionTypeMirror[Predicates]): ValidatorForPredicate[N, Predicates]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForDescribedAnd[N, P](using id: IsDescription[P], mirror: IntersectionTypeMirror[id.Predicate]): ValidatorForPredicate[N, P]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForDescribedOr[N, P](using id: IsDescription[P], mirror: UnionTypeMirror[id.Predicate]): ValidatorForPredicate[N, P]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForDescribedPrimitive[N, P](using id: IsDescription[P], notUnion: NotGiven[UnionTypeMirror[id.Predicate]], notIntersection: NotGiven[IntersectionTypeMirror[id.Predicate]], inline validator: ValidatorForPredicate[N, id.Predicate]): ValidatorForPredicate[N, P]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForGreater[N : Numeric, NM <: N](implicit evidence$1: Numeric[N], witness: ValueOf[NM]): PrimitiveValidatorForPredicate[N, Greater[NM]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForGreaterEqual[N : Numeric, NM <: N](implicit evidence$1: Numeric[N], witness: ValueOf[NM]): PrimitiveValidatorForPredicate[N, GreaterEqual[NM]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForLess[N : Numeric, NM <: N](implicit evidence$1: Numeric[N], witness: ValueOf[NM]): PrimitiveValidatorForPredicate[N, Less[NM]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForLessEqual[N : Numeric, NM <: N](implicit evidence$1: Numeric[N], witness: ValueOf[NM]): PrimitiveValidatorForPredicate[N, LessEqual[NM]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForMatchesRegexpString[S <: String](using witness: ValueOf[S]): PrimitiveValidatorForPredicate[String, Match[S]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForMaxSizeOnString[T <: String, NM <: Int](using witness: ValueOf[NM]): PrimitiveValidatorForPredicate[T, MaxLength[NM]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForMinSizeOnString[T <: String, NM <: Int](using witness: ValueOf[NM]): PrimitiveValidatorForPredicate[T, MinLength[NM]]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForOr[N, Predicates](using mirror: UnionTypeMirror[Predicates]): ValidatorForPredicate[N, Predicates]

Attributes

Inherited from:
TapirCodecIron
inline given validatorForStrictEqual[N : Numeric, NM <: N](implicit evidence$1: Numeric[N], witness: ValueOf[NM]): PrimitiveValidatorForPredicate[N, StrictEqual[NM]]

Attributes

Inherited from:
TapirCodecIron