minor syntax update

moleike · Jan 7, 2024 · f2f6185 · f2f6185
1 parent 19fe4bd
commit f2f6185
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 9 deletions.
diff --git a/core/src/main/scala/evidence/effect/Chronicle.scala b/core/src/main/scala/evidence/effect/Chronicle.scala
@@ -18,12 +18,12 @@ object Chronicle:
 
   private[evidence] final class Ops[A](val dummy: Boolean = true)
       extends AnyVal:
-    def confess[E](a: A)(using Ctx.In[Chronicle[A, *, *], E]): Eff[E, Nothing] =
+    def confess[E](a: A)(using Chronicle[A, *, *] :? E): Eff[E, Nothing] =
       Eff.perform[A, Nothing, E, Chronicle[A, *, *]](
         [E, Ans] => (_: Chronicle[A, *, *][E, Ans]).confess
       )(a)
 
-    def dictate[E](a: A)(using Ctx.In[Chronicle[A, *, *], E]): Eff[E, Unit] =
+    def dictate[E](a: A)(using Chronicle[A, *, *] :? E): Eff[E, Unit] =
       Eff.perform[A, Unit, E, Chronicle[A, *, *]](
         [EE, Ans] => (_: Chronicle[A, *, *][EE, Ans]).dictate
       )(a)

diff --git a/core/src/main/scala/evidence/effect/Except.scala b/core/src/main/scala/evidence/effect/Except.scala
@@ -11,7 +11,7 @@ object Except:
 
   private[evidence] final class Ops[A](val dummy: Boolean = true)
       extends AnyVal:
-    def raise[E](a: A)(using Ctx.In[Except[A, *, *], E]): Eff[E, Nothing] =
+    def raise[E](a: A)(using Except[A, *, *] :? E): Eff[E, Nothing] =
       Eff.perform[A, Nothing, E, Except[A, *, *]](
         [E, Ans] => (_: Except[A, E, Ans]).raise
       )(a)

diff --git a/core/src/main/scala/evidence/effect/NonDet.scala b/core/src/main/scala/evidence/effect/NonDet.scala
@@ -22,8 +22,7 @@ object NonDet:
       [EE, Ans] => (_: NonDet[EE, Ans]).empty
     )(())
 
-  given [E](using Ctx.In[NonDet, E], Monad[Eff[E, *]]): Alternative[Eff[E, *]]
-  with {
+  given [E](using NonDet :? E, Monad[Eff[E, *]]): Alternative[Eff[E, *]] with {
     def empty[A]: Eff[E, A]      = NonDet.empty
     def pure[A](x: A): Eff[E, A] = Monad[Eff[E, *]].pure(x)
     def ap[A, B](ff: Eff[E, A => B])(fa: Eff[E, A]): Eff[E, B] =

diff --git a/core/src/main/scala/evidence/effect/Reader.scala b/core/src/main/scala/evidence/effect/Reader.scala
@@ -11,7 +11,7 @@ object Reader:
 
   private[evidence] final class Ops[A](val dummy: Boolean = true)
       extends AnyVal:
-    def ask[E](using Ctx.In[Reader[A, *, *], E]): Eff[E, A] =
+    def ask[E](using Reader[A, *, *] :? E): Eff[E, A] =
       Eff.perform[Unit, A, E, Reader[A, *, *]](
         [EE, Ans] => (_: Reader[A, EE, Ans]).ask
       )(())

diff --git a/core/src/main/scala/evidence/effect/State.scala b/core/src/main/scala/evidence/effect/State.scala
@@ -29,12 +29,12 @@ object State:
 
   private[evidence] final class Ops[A](val dummy: Boolean = true)
       extends AnyVal:
-    def get[E](using Ctx.In[State[A, *, *], E]): Eff[E, A] =
+    def get[E](using State[A, *, *] :? E): Eff[E, A] =
       Eff.perform[Unit, A, E, State[A, *, *]](
         [EE, Ans] => (_: State[A, *, *][EE, Ans]).get
       )(())
 
-    def put[E](a: A)(using Ctx.In[State[A, *, *], E]): Eff[E, Unit] =
+    def put[E](a: A)(using State[A, *, *] :? E): Eff[E, Unit] =
       Eff.perform[A, Unit, E, State[A, *, *]](
         [EE, Ans] => (_: State[A, *, *][EE, Ans]).put
       )(a)
diff --git a/core/src/main/scala/evidence/effect/Writer.scala b/core/src/main/scala/evidence/effect/Writer.scala
@@ -11,7 +11,7 @@ object Writer:
   def apply[A]: Ops[A] = new Ops[A]
 
   final class Ops[A](val dummy: Boolean = true) extends AnyVal:
-    def tell[E](a: A)(using Ctx.In[Writer[A, *, *], E]): Eff[E, Unit] =
+    def tell[E](a: A)(using Writer[A, *, *] :? E): Eff[E, Unit] =
       Eff.perform[A, Unit, E, Writer[A, *, *]](
         [EE, Ans] => (_: Writer[A, EE, Ans]).tell
       )(a)