pl.msitko.refined.circe

Members list

Givens

Givens

inline given intDecoder[P <: ValidateExprFor[Int]](using Decoder[Int]): Decoder[Refined[Int, P]]
given intEncoder[P <: ValidateExprFor[Int]](using Encoder[Int]): Encoder[Refined[Int, P]]
inline given listDecoder[T, P <: ValidateExprFor[List[Any]]](using Decoder[List[T]]): Decoder[Refined[List[T], P]]
given listEncoder[T, P <: ValidateExprFor[List[Any]]](using Encoder[List[T]]): Encoder[Refined[List[T], P]]
inline given stringDecoder[P <: ValidateExprFor[String]](using Decoder[String]): Decoder[Refined[String, P]]
given stringEncoder[P <: ValidateExprFor[String]](using Encoder[String]): Encoder[Refined[String, P]]