Close #502: [refined4s-doobie-ce2] Add Get and Put type-class instances for refined4s.types.time types

Author: kevin-lee

modules/refined4s-doobie-ce2/shared/src/main/scala/refined4s/modules/doobie/derivation/types/all.scala

@@ -3,5 +3,5 @@ package refined4s.modules.doobie.derivation.types
 /** @author Kevin Lee
   * @since 2023-12-27
   */
-trait all extends numeric, strings, network
+trait all extends numeric, strings, network, time
 object all extends all

modules/refined4s-doobie-ce2/shared/src/main/scala/refined4s/modules/doobie/derivation/types/time.scala

@@ -0,0 +1,51 @@
+package refined4s.modules.doobie.derivation.types
+
+import cats.Show
+import doobie.{Get, Put}
+import refined4s.types.time.*
+
+/** @author Kevin Lee
+  * @since 2025-09-03
+  */
+trait time {
+
+  inline given derivedMonthGet: Get[Month] = time.derivedMonthGet
+  inline given derivedMonthPut: Put[Month] = time.derivedMonthPut
+
+  inline given derivedDayGet: Get[Day] = time.derivedDayGet
+  inline given derivedDayPut: Put[Day] = time.derivedDayPut
+
+  inline given derivedHourGet: Get[Hour] = time.derivedHourGet
+  inline given derivedHourPut: Put[Hour] = time.derivedHourPut
+
+  inline given derivedMinuteGet: Get[Minute] = time.derivedMinuteGet
+  inline given derivedMinutePut: Put[Minute] = time.derivedMinutePut
+
+  inline given derivedSecondGet: Get[Second] = time.derivedSecondGet
+  inline given derivedSecondPut: Put[Second] = time.derivedSecondPut
+
+  inline given derivedMillisGet: Get[Millis] = time.derivedMillisGet
+  inline given derivedMillisPut: Put[Millis] = time.derivedMillisPut
+
+}
+object time {
+
+  given derivedMonthGet: Get[Month] = Get[Int].temap(Month.from)
+  given derivedMonthPut: Put[Month] = Put[Int].contramap(_.value)
+
+  given derivedDayGet: Get[Day] = Get[Int].temap(Day.from)
+  given derivedDayPut: Put[Day] = Put[Int].contramap(_.value)
+
+  given derivedHourGet: Get[Hour] = Get[Int].temap(Hour.from)
+  given derivedHourPut: Put[Hour] = Put[Int].contramap(_.value)
+
+  given derivedMinuteGet: Get[Minute] = Get[Int].temap(Minute.from)
+  given derivedMinutePut: Put[Minute] = Put[Int].contramap(_.value)
+
+  given derivedSecondGet: Get[Second] = Get[Int].temap(Second.from)
+  given derivedSecondPut: Put[Second] = Put[Int].contramap(_.value)
+
+  given derivedMillisGet: Get[Millis] = Get[Int].temap(Millis.from)
+  given derivedMillisPut: Put[Millis] = Put[Int].contramap(_.value)
+
+}

modules/refined4s-doobie-ce2/shared/src/test/scala/refined4s/modules/doobie/derivation/types/allSpec.scala

@@ -23,7 +23,11 @@ object allSpec extends Properties, RunSyncCe2, RunWithDb {
     override protected val networkTypeClasses: network = refined4s.modules.doobie.derivation.types.all
   }
 
+  object timeSpecWithAll extends timeSpec {
+    override protected val timeTypeClasses: time = refined4s.modules.doobie.derivation.types.all
+  }
+
   override def tests: List[Test] =
-    numericSpecWithAll.allTests ++ stringsSpecWithAll.allTests ++ networkSpecWithAll.allTests
+    numericSpecWithAll.allTests ++ stringsSpecWithAll.allTests ++ networkSpecWithAll.allTests ++ timeSpecWithAll.allTests
 
 }