update: explicit implicit val types

alonsodomin · Jul 2, 2023 · c3d9c9d · c3d9c9d
1 parent c94dca9
commit c3d9c9d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/modules/testkit/shared/src/main/scala/cron4s/testkit/laws/DateTimeCronLaws.scala b/modules/testkit/shared/src/main/scala/cron4s/testkit/laws/DateTimeCronLaws.scala
@@ -76,7 +76,7 @@ object DateTimeCronLaws {
       TC0: DateTimeCron[E]
   ): DateTimeCronLaws[E, DateTime] =
     new DateTimeCronLaws[E, DateTime] {
-      implicit val DT = dt0
-      implicit val TC = TC0
+      implicit val DT: IsDateTime[DateTime] = dt0
+      implicit val TC: DateTimeCron[E]      = TC0
     }
 }
diff --git a/modules/testkit/shared/src/main/scala/cron4s/testkit/laws/DateTimeNodeLaws.scala b/modules/testkit/shared/src/main/scala/cron4s/testkit/laws/DateTimeNodeLaws.scala
@@ -51,8 +51,8 @@ object DateTimeNodeLaws {
       TC0: DateTimeNode[E, F]
   ): DateTimeNodeLaws[E, F, DateTime] =
     new DateTimeNodeLaws[E, F, DateTime] {
-      implicit val DT   = dt0
-      implicit val expr = expr0
-      implicit val TC   = TC0
+      implicit val DT: IsDateTime[DateTime] = dt0
+      implicit val expr: FieldExpr[E, F]    = expr0
+      implicit val TC: DateTimeNode[E, F]   = TC0
     }
 }