package refined
- Source
- package.scala
- Alphabetic
- By Inheritance
- refined
- CirceCodecRefined
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait CirceCodecRefined extends AnyRef
Provides codecs for refined types.
Provides codecs for refined types.
A refined type
T Refined Predicate
is encoded asT
. Decoding ensures that the decoded value satisfiesPredicate
.E.g. with generic codecs
case class Obj( i: Int Refined Positive ) Obj(refineMV(4)).asJson.noSpaces == """{"i":4}"""
Value Members
- implicit final def refinedDecoder[T, P, F[_, _]](implicit underlying: Decoder[T], validate: Validate[T, P], refType: RefType[F]): Decoder[F[T, P]]
- Definition Classes
- CirceCodecRefined
- implicit final def refinedEncoder[T, P, F[_, _]](implicit underlying: Encoder[T], refType: RefType[F]): Encoder[F[T, P]]
- Definition Classes
- CirceCodecRefined
- implicit final def refinedKeyDecoder[T, P, F[_, _]](implicit underlying: KeyDecoder[T], validate: Validate[T, P], refType: RefType[F]): KeyDecoder[F[T, P]]
- Definition Classes
- CirceCodecRefined
- implicit final def refinedKeyEncoder[T, P, F[_, _]](implicit underlying: KeyEncoder[T], refType: RefType[F]): KeyEncoder[F[T, P]]
- Definition Classes
- CirceCodecRefined