Packages

p

io.circe

refined

package refined

Linear Supertypes
CirceCodecRefined, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. refined
  2. CirceCodecRefined
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait CirceCodecRefined extends AnyRef

    Provides codecs for refined types.

    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}"""

Value Members

  1. 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
  2. implicit final def refinedEncoder[T, P, F[_, _]](implicit underlying: Encoder[T], refType: RefType[F]): Encoder[F[T, P]]
    Definition Classes
    CirceCodecRefined
  3. 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
  4. implicit final def refinedKeyEncoder[T, P, F[_, _]](implicit underlying: KeyEncoder[T], refType: RefType[F]): KeyEncoder[F[T, P]]
    Definition Classes
    CirceCodecRefined

Inherited from CirceCodecRefined

Inherited from AnyRef

Inherited from Any

Ungrouped