refactor: change type parameter order

yoshinorin · May 8, 2024 · 5fd894f · 5fd894f
1 parent 60d67a9
commit 5fd894f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/main/scala/net/yoshinorin/qualtet/actions/Action.scala b/src/main/scala/net/yoshinorin/qualtet/actions/Action.scala
@@ -1,7 +1,9 @@
 package net.yoshinorin.qualtet.actions
 
+import cats.Monad
+
 sealed trait Action[R]
-final case class Continue[T, R, F[_]](request: F[T], next: T => Action[R]) extends Action[R]
+final case class Continue[F[_]: Monad, R, T](request: F[T], next: T => Action[R]) extends Action[R]
 final case class Done[R](value: R) extends Action[R]
 
 object Action {

diff --git a/src/main/scala/net/yoshinorin/qualtet/infrastructure/db/doobie/DoobieTransactor.scala b/src/main/scala/net/yoshinorin/qualtet/infrastructure/db/doobie/DoobieTransactor.scala
@@ -29,7 +29,7 @@ class DoobieTransactor(config: DBConfig) extends Transactor[ConnectionIO, IO] {
   )
 
   override def perform[R](action: Action[R]): ConnectionIO[R] = action match {
-    case continue: Continue[_, R, ConnectionIO] => continue.request.flatMap { t => perform(continue.next(t)) }
+    case continue: Continue[ConnectionIO, R, _] => continue.request.flatMap { t => perform(continue.next(t)) }
     case done: Done[R] => done.value.pure[ConnectionIO]
   }