feat: Support for ciris (#163)

build.sc

@@ -77,7 +77,7 @@ object docs extends BaseModule {
 
   def artifactName = "iron-docs"
 
-  val modules: Seq[ScalaModule] = Seq(main, cats, circe, jsoniter, scalacheck, zio, zioJson)
+  val modules: Seq[ScalaModule] = Seq(main, cats, circe, ciris, jsoniter, scalacheck, zio, zioJson)
 
   def docSources = T.sources {
     T.traverse(modules)(_.docSources)().flatten
@@ -294,6 +294,27 @@ object circe extends SubModule {
   object native extends NativeCrossModule
 }
 
+object ciris extends SubModule {
+
+  def artifactName = "iron-ciris"
+
+  def ivyDeps = Agg(
+    ivy"is.cir::ciris::3.1.0"
+  )
+
+  object test extends Tests {
+    def ivyDeps = Agg(
+      ivy"com.lihaoyi::utest:0.8.1",
+      ivy"is.cir::ciris::3.1.0"
+    )
+  }
+
+  object js extends JSCrossModule
+
+  object native extends NativeCrossModule
+
+}
+
 object zio extends SubModule {
 
   def artifactName = "iron-zio"
@@ -362,4 +383,4 @@ object scalacheck extends SubModule {
   object js extends JSCrossModule
 
   object test extends Tests
-}
+}

ciris/src/io.github.iltotore.iron/ciris.scala

@@ -0,0 +1,11 @@
+package io.github.iltotore.iron
+
+import _root_.ciris.ConfigDecoder
+import cats.Show
+
+
+object ciris:
+
+  inline given [T,A,B](using inline decoder: ConfigDecoder[T,A], inline constraint: _root_.io.github.iltotore.iron.Constraint[A, B], inline show: Show[A]): ConfigDecoder[T, A :| B] =
+    decoder.mapOption("")(_.refineOption)
+

ciris/test/src/io/github/iltotore/iron/CirisSuite.scala

@@ -0,0 +1,19 @@
+package io.github.iltotore.iron
+
+import _root_.ciris.ConfigDecoder
+import utest.*
+import ciris.given
+
+
+object CirisSuite extends TestSuite:
+  val tests: Tests = Tests {
+
+    test("summon String => Int :| Pure") {
+      summon[ ConfigDecoder[String, Int :| Pure]]
+    }
+
+    test("summon from Int => Int :| Pure") {
+      summon[ConfigDecoder[Int, Int :| Pure]]
+    }
+  }
+