using json-tagged-adt

Author: nikololiahim

build.sbt

@@ -2,7 +2,7 @@ import ReleaseTransformations._
 import Dependencies._
 import scala.sys.process._
 
-ThisBuild / scalaVersion := "3.2.0-RC1"
+ThisBuild / scalaVersion := "3.2.0-RC3"
 ThisBuild / versionScheme := Some("semver-spec")
 ThisBuild / releaseVersionBump := sbtrelease.Version.Bump.Next
 
@@ -40,6 +40,7 @@ excludeDependencies ++= Seq(
 )
 
 libraryDependencies ++= Seq(
+  "org.latestbit" %% "circe-tagged-adt-codec" % "0.10.1",
   "co.fs2" %% "fs2-io" % "3.2.9",
   "com.monovore" %% "decline-effect" % "2.3.0",
   "io.circe" %% "circe-core" % "0.14.2",

src/main/scala/org/polystat/sarif/Sarif.scala

@@ -5,6 +5,8 @@ import io.circe.Decoder
 import io.circe.Encoder
 import io.circe.Json
 import org.polystat.cli.BuildInfo
+import org.latestbit.circe.adt.codec.JsonTaggedAdt
+import JsonTaggedAdt.*
 
 object Sarif:
 
@@ -57,39 +59,27 @@ object Sarif:
       uri: String
   ) derives Codec.AsObject
 
-  enum SarifLevel:
+  enum SarifLevel derives PureEncoderWithConfig, PureDecoderWithConfig:
     case ERROR, NONE
 
-  given Encoder[SarifLevel] with
-    final def apply(a: SarifLevel): Json = a match
-      case SarifLevel.ERROR => Json.fromString("error")
-      case SarifLevel.NONE  => Json.fromString("none")
-  end given
-
-  given Decoder[SarifLevel] with
-    def apply(c: io.circe.HCursor): Decoder.Result[SarifLevel] =
-      c.get[String]("level").map {
-        case "error" => SarifLevel.ERROR
-        case "none"  => SarifLevel.NONE
-      }
-  end given
-
-  enum SarifKind:
+  given PureConfig[SarifLevel] =
+    PureConfig.Values[SarifLevel](
+      mappings = Map(
+        "error" -> tagged[SarifLevel.ERROR.type],
+        "none" -> tagged[SarifLevel.NONE.type],
+      )
+    )
+
+  enum SarifKind derives PureEncoderWithConfig, PureDecoderWithConfig:
     case FAIL, PASS
 
-  given Encoder[SarifKind] with
-    final def apply(a: SarifKind): Json = a match
-      case SarifKind.PASS => Json.fromString("pass")
-      case SarifKind.FAIL => Json.fromString("fail")
-  end given
-
-  given Decoder[SarifKind] with
-    def apply(c: io.circe.HCursor): Decoder.Result[SarifKind] =
-      c.get[String]("kind").map {
-        case "pass" => SarifKind.PASS
-        case "fail" => SarifKind.FAIL
-      }
-  end given
+  given PureConfig[SarifKind] =
+    PureConfig.Values[SarifKind](
+      mappings = Map(
+        "fail" -> tagged[SarifKind.FAIL.type],
+        "pass" -> tagged[SarifKind.PASS.type],
+      )
+    )
 
   final case class SarifMessage(text: String) derives Codec.AsObject