Add 'Mode#locally' (#169)

arainko · May 27, 2024 · b889101 · b889101
2 parents 180198e + a0b58d2
commit b889101
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/ducktape/src/main/scala/io/github/arainko/ducktape/Mode.scala b/ducktape/src/main/scala/io/github/arainko/ducktape/Mode.scala
@@ -19,6 +19,10 @@ sealed trait Mode[F[+x]] {
 }
 
 object Mode {
+  extension [F[+x], M <: Mode[F]](self: M) {
+    inline def locally[A](inline f: M ?=> A): A = f(using self)
+  }
+
   trait Accumulating[F[+x]] extends Mode[F] {
     def product[A, B](fa: F[A], fb: F[B]): F[(A, B)]
   }