add lift method for Scala 3

core/shared/src/main/scala-2/org/atnos/eff/AugmentCompanion.scala

@@ -0,0 +1,3 @@
+package org.atnos.eff
+
+abstract class AugmentCompanion { self: Augment.type => }

core/shared/src/main/scala-2/org/atnos/eff/TranslateCompanion.scala

@@ -0,0 +1,3 @@
+package org.atnos.eff
+
+abstract class TranslateCompanion { self: Translate.type => }

core/shared/src/main/scala-2/org/atnos/eff/WriteCompanion.scala

@@ -0,0 +1,3 @@
+package org.atnos.eff
+
+abstract class WriteCompanion { self: Write.type => }

core/shared/src/main/scala-3/org/atnos/eff/AugmentCompanion.scala

@@ -0,0 +1,9 @@
+package org.atnos.eff
+
+abstract class AugmentCompanion { self: Augment.type =>
+  final def lift[T[_], O[_]](f: [X] => T[X] => O[Unit]): Augment[T, O] =
+    new Augment[T, O] {
+      override def apply[Y](tx: T[Y]): O[Unit] =
+        f[Y](tx)
+    }
+}

core/shared/src/main/scala-3/org/atnos/eff/TranslateCompanion.scala

@@ -0,0 +1,9 @@
+package org.atnos.eff
+
+abstract class TranslateCompanion { self: Translate.type =>
+  final def lift[T[_], U](f: [X] => T[X] => Eff[U, X]): Translate[T, U] =
+    new Translate[T, U] {
+      override def apply[Y](kv: T[Y]): Eff[U, Y] =
+        f[Y](kv)
+    }
+}

core/shared/src/main/scala-3/org/atnos/eff/WriteCompanion.scala

@@ -0,0 +1,9 @@
+package org.atnos.eff
+
+abstract class WriteCompanion { self: Write.type =>
+  final def lift[T[_], O](f: [X] => T[X] => O): Write[T, O] =
+    new Write[T, O] {
+      override def apply[Y](tx: T[Y]): O =
+        f[Y](tx)
+    }
+}

core/shared/src/main/scala/org/atnos/eff/Augment.scala

@@ -3,3 +3,5 @@ package org.atnos.eff
 trait Augment[T[_], O[_]] {
   def apply[X](tx: T[X]): O[Unit]
 }
+
+object Augment extends AugmentCompanion

core/shared/src/main/scala/org/atnos/eff/Translate.scala

@@ -6,3 +6,5 @@ package org.atnos.eff
 trait Translate[T[_], U] {
   def apply[X](kv: T[X]): Eff[U, X]
 }
+
+object Translate extends TranslateCompanion

core/shared/src/main/scala/org/atnos/eff/Write.scala

@@ -3,3 +3,5 @@ package org.atnos.eff
 trait Write[T[_], O] {
   def apply[X](tx: T[X]): O
 }
+
+object Write extends WriteCompanion