TapirRefined.scala

object TapirRefined extends TapirRefinedLowPriority {
  implicit def posIntsCodecs[CF <: CodecFormat, R](implicit codec: Codec[Int, CF, R]): Codec[PosInt, CF, R] =
    refineCodec(codec.validate(Validator.min(0)))
}

trait TapirRefinedLowPriority {
  protected def refineCodec[T, CF <: CodecFormat, R, P](
    codec: Codec[T, CF, R]
  )(implicit refine: Validate[T, P]): Codec[T Refined P, CF, R] =
    codec.mapDecode(
      a => refineV[P](a).fold[DecodeResult[T Refined P]](
        e => DecodeResult.Error(e, new Exception),
        DecodeResult.Value.apply
      )
    )(_.value)

  implicit def fallbackInstance[T, CF <: CodecFormat, R, P](implicit codec: Codec[T, CF, R], refine: Validate[T, P]): Codec[T Refined P, CF, R] =
    refineCodec(codec)
}