CirceCodecRefined
io.circe.refined.CirceCodecRefined
trait CirceCodecRefined
Provides codecs for refined types.
A refined type T Refined Predicate
is encoded as T
. Decoding ensures that the
decoded value satisfies Predicate
.
E.g. with generic codecs
case class Obj(
i: Int Refined Positive
)
Obj(refineMV(4)).asJson.noSpaces == """{"i":4}"""
Attributes
- Source:
- CirceCodecRefined.scala
- Graph
- Supertypes