Scala 3 type lambda syntax

xuwei-k · xuwei-k · commit 6716ac4a2cf7 · 2026-01-04T09:54:38.000+09:00
diff --git a/future/shared/src/main/scala/org/atnos/eff/FutureInterpretation.scala b/future/shared/src/main/scala/org/atnos/eff/FutureInterpretation.scala
@@ -23,7 +23,7 @@ trait FutureInterpretation extends FutureTypes {
   final def futureAttempt[R, A](e: Eff[R, A])(using TimedFuture /= R): Eff[R, Either[Throwable, A]] =
     interpret.interceptNatM[R, TimedFuture, Either[Throwable, *], A](
       e,
-      new (TimedFuture ~> ({ type l[a] = TimedFuture[Either[Throwable, a]] })#l) {
+      new (TimedFuture ~> ([a] =>> TimedFuture[Either[Throwable, a]])) {
         override def apply[X](fa: TimedFuture[X]): TimedFuture[Either[Throwable, X]] = attempt(fa)
       }
     )

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ trait FutureInterpretation extends FutureTypes {`
`23`	`23`	`final def futureAttempt[R, A](e: Eff[R, A])(using TimedFuture /= R): Eff[R, Either[Throwable, A]] =`
`24`	`24`	`interpret.interceptNatM[R, TimedFuture, Either[Throwable, *], A](`
`25`	`25`	`e,`
`26`		`- new (TimedFuture ~> ({ type l[a] = TimedFuture[Either[Throwable, a]] })#l) {`
	`26`	`+ new (TimedFuture ~> ([a] =>> TimedFuture[Either[Throwable, a]])) {`
`27`	`27`	`override def apply[X](fa: TimedFuture[X]): TimedFuture[Either[Throwable, X]] = attempt(fa)`
`28`	`28`	`}`
`29`	`29`	`)`