Packages

package refined

Provides codecs for refined types.

Source
package.scala
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. refined
  2. EncoderInstances
  3. DecoderInstances
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package laws

Type Members

  1. trait DecoderInstances extends AnyRef
  2. trait EncoderInstances extends AnyRef

Value Members

  1. implicit final def refinedDecoder[E, D, F, T, P, R[_, _]](implicit decoder: Decoder[E, D, F, T], validate: Validate[D, P], refType: RefType[R], t: IsError[F]): Decoder[E, R[D, P], F, T]

    Provides a Decoder instance for any refined type such that the reference type has a Decoder instance.

    Provides a Decoder instance for any refined type such that the reference type has a Decoder instance.

    Definition Classes
    DecoderInstances
  2. implicit final def refinedEncoder[E, D, T, P, R[_, _]](implicit encoder: Encoder[E, D, T], refType: RefType[R]): Encoder[E, R[D, P], T]

    Provides an Encoder instance for any refined type such that the reference type has an Encoder instance.

    Provides an Encoder instance for any refined type such that the reference type has an Encoder instance.

    Definition Classes
    EncoderInstances

Inherited from EncoderInstances

Inherited from DecoderInstances

Inherited from AnyRef

Inherited from Any

Ungrouped