optics

Type Members

trait CatsConversions extends AnyRef
trait JsonNumberOptics extends AnyRef

Optics instances for io.circe.JsonObject.
Optics instances for io.circe.JsonObject.
Note that the prisms for integral types will fail on io.circe.JsonNumber values representing negative zero, since this would make them unlawful.
trait JsonObjectOptics extends CatsConversions with ListInstances

Optics instances for io.circe.JsonObject.
trait JsonOptics extends CatsConversions

Optics instances for io.circe.Json.
final case class JsonPath(json: Optional[Json, Json]) extends Dynamic with Product with Serializable
final case class JsonTraversalPath(json: Traversal[Json, Json]) extends Dynamic with Product with Serializable

Value Members

object JsonNumberOptics extends JsonNumberOptics
object JsonObjectOptics extends JsonObjectOptics
object JsonOptics extends JsonOptics
object JsonPath extends Serializable
object all extends JsonNumberOptics with JsonObjectOptics with JsonOptics
final def deriveDecoderWithIso[A, B](implicit decoder: Decoder[A], iso: Iso[A, B]): Decoder[B]

Derives a io.circe.Decoder[B] from a Decoder[A] and monocle.Iso[A, B].
Derives a io.circe.Decoder[B] from a Decoder[A] and monocle.Iso[A, B].
A
the type parameter of the existent Decoder.
B
the type parameter of the derived Decoder.
decoder
the existent Decoder.
iso
the existent Iso.
final def deriveDecoderWithIsoReverse[B, A](implicit decoder: Decoder[A], iso: Iso[B, A]): Decoder[B]

Derives a io.circe.Decoder[B] from a Decoder[A] and monocle.Iso[B, A].
Derives a io.circe.Decoder[B] from a Decoder[A] and monocle.Iso[B, A].
B
the type parameter of the derived Decoder.
A
the type parameter of the existent Decoder.
decoder
the existent Decoder.
iso
the existent Iso.
final def deriveEncoderWithIso[A, B](implicit encoder: Encoder[A], iso: Iso[A, B]): Encoder[B]

Derives an io.circe.Encoder[B] from an Encoder[A] and monocle.Iso[A, B].
Derives an io.circe.Encoder[B] from an Encoder[A] and monocle.Iso[A, B].
A
the type parameter of the existent Encoder.
B
the type parameter of the derived Encoder.
encoder
the existent Encoder.
iso
the existent Iso.
final def deriveEncoderWithIsoReverse[B, A](implicit encoder: Encoder[A], iso: Iso[B, A]): Encoder[B]

Derives an io.circe.Encoder[B] from an Encoder[A] and monocle.Iso[B, A].
Derives an io.circe.Encoder[B] from an Encoder[A] and monocle.Iso[B, A].
B
the type parameter of the derived Encoder.
A
the type parameter of the existent Encoder.
encoder
the existent Encoder.
iso
the existent Iso.

package optics

Type Members

trait CatsConversions extends AnyRef

trait JsonNumberOptics extends AnyRef

trait JsonObjectOptics extends CatsConversions with ListInstances

trait JsonOptics extends CatsConversions

final case class JsonPath(json: Optional[Json, Json]) extends Dynamic with Product with Serializable

final case class JsonTraversalPath(json: Traversal[Json, Json]) extends Dynamic with Product with Serializable

Value Members

object JsonNumberOptics extends JsonNumberOptics

object JsonObjectOptics extends JsonObjectOptics

object JsonOptics extends JsonOptics

object JsonPath extends Serializable

object all extends JsonNumberOptics with JsonObjectOptics with JsonOptics

final def deriveDecoderWithIso[A, B](implicit decoder: Decoder[A], iso: Iso[A, B]): Decoder[B]

final def deriveDecoderWithIsoReverse[B, A](implicit decoder: Decoder[A], iso: Iso[B, A]): Decoder[B]

final def deriveEncoderWithIso[A, B](implicit encoder: Encoder[A], iso: Iso[A, B]): Encoder[B]

final def deriveEncoderWithIsoReverse[B, A](implicit encoder: Encoder[A], iso: Iso[B, A]): Encoder[B]

Inherited from AnyRef

Inherited from Any

Ungrouped