Add asRightIn, asLeftIn and asSomeIn for anyF (#460)

* Add asRightIn, asLeftIn and asSomeIn for anyF * Rename methods
typelevel · Feb 22, 2024 · b0da564 · b0da564
1 parent 84ebcc6
commit b0da564
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/shared/src/main/scala/mouse/anyf.scala b/shared/src/main/scala/mouse/anyf.scala
@@ -34,6 +34,15 @@ final class AnyFOps[F[_], A](private val fa: F[A]) extends AnyVal {
   @inline def ||>[G[_]](f: F ~> G): G[A] = f(fa)
   @inline def thrushK[G[_]](f: F ~> G): G[A] = f(fa)
 
+  def mapAsRight[L](implicit F: Functor[F]): F[Either[L, A]] =
+    Functor[F].map(fa)(Right(_))
+
+  def mapAsLeft[R](implicit F: Functor[F]): F[Either[A, R]] =
+    Functor[F].map(fa)(Left(_))
+
+  def mapAsSome(implicit F: Functor[F]): F[Option[A]] =
+    Functor[F].map(fa)(Some(_))
+
   def liftEitherT[E](implicit F: Functor[F]): EitherT[F, E, A] =
     EitherT.right[E](fa)
 

diff --git a/shared/src/test/scala/mouse/AnyFSyntaxTest.scala b/shared/src/test/scala/mouse/AnyFSyntaxTest.scala
@@ -63,6 +63,18 @@ class AnyFSyntaxTest extends MouseSuite {
     )
   }
 
+  test("AnyFSyntax.asRightIn") {
+    assertEquals(List(1).mapAsRight[String], List(1.asRight))
+  }
+
+  test("AnyFSyntax.asLeftIn") {
+    assertEquals(List(1).mapAsLeft[String], List(1.asLeft))
+  }
+
+  test("AnyFSyntax.asSomeIn") {
+    assertEquals(List(1).mapAsSome, List(1.some))
+  }
+
   test("AnyFSyntax.liftEitherT") {
     assertEquals(List(1).liftEitherT[String], EitherT(List(1.asRight[String])))
   }