Close #103 - [refined4s-circe] Add Encoder and Decoders for Newtype, …

…Refined and InlinedRefined with Coercible and RefinedCtor
kevin-lee · Dec 11, 2023 · be27544 · be27544
1 parent 5a3e03d
commit be27544
Show file tree

Hide file tree

Showing 3 changed files with 1,432 additions and 0 deletions.
diff --git a/.../refined4s-circe/shared/src/main/scala/refined4s/modules/circe/derivation/instances.scala b/.../refined4s-circe/shared/src/main/scala/refined4s/modules/circe/derivation/instances.scala
@@ -0,0 +1,21 @@
+package refined4s.modules.circe.derivation
+
+import io.circe.{Decoder, Encoder}
+import refined4s.{Coercible, RefinedCtor}
+import refined4s.syntax.*
+
+/** @author Kevin Lee
+  * @since 2023-12-11
+  */
+trait instances {
+
+  given derivedEncoder[A, B](using coercible: Coercible[A, B], encoder: Encoder[B]): Encoder[A] =
+    a => encoder(coercible(a))
+
+  given derivedNewtypeDecoder[A, B](using coercible: Coercible[A, B], decoder: Decoder[A]): Decoder[B] =
+    Coercible.unsafeWrapM(decoder)
+
+  given derivedRefinedDecoder[A, B](using refinedCtor: RefinedCtor[B, A], decoder: Decoder[A]): Decoder[B] =
+    decoder.emap(refinedCtor.create)
+}
+object instances extends instances