argonaut.CodecJson.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of argonaut_native0.4.0-M2_2.11 Show documentation

argonaut

The newest version!

package argonaut

sealed abstract class CodecJson[A] extends EncodeJson[A] with DecodeJson[A] { outer =>
  val Encoder: EncodeJson[A]
  val Decoder: DecodeJson[A]

  override def encode(a: A) = Encoder.encode(a)
  override def decode(c: HCursor) = Decoder.decode(c)
  override def setName(n: String): CodecJson[A] = {
    new CodecJson[A] {
      val Encoder = outer.Encoder
      val Decoder = outer.Decoder.setName(n)
    }
  }

  override def tryDecode(c: ACursor) = Decoder.tryDecode(c)

  def xmap[B](f: A => B)(g: B => A): CodecJson[B] = {
    CodecJson.derived(Encoder.contramap(g), Decoder.map(f))
  }
}

object CodecJson extends CodecJsons {
  def apply[A](encoder: A => Json, decoder: HCursor => DecodeResult[A]): CodecJson[A] =
    derived(EncodeJson(encoder), DecodeJson(decoder))

  def withReattempt[A](encoder: A => Json, decoder: ACursor => DecodeResult[A]): CodecJson[A] =
    derived(EncodeJson(encoder), DecodeJson.withReattempt(decoder))

  def derive[A]: CodecJson[A] = macro internal.Macros.materializeCodecImpl[A]

  def derived[A](implicit E: EncodeJson[A], D: DecodeJson[A]): CodecJson[A] = {
    new CodecJson[A] {
      val Encoder = E
      val Decoder = D
    }
  }

  def codecLaw[A](codec: CodecJson[A])(a: A): Boolean = {
    codec.decodeJson(codec.encode(a)).value.exists(_ == a)
  }
}

trait CodecJsons extends GeneratedCodecJsons