Kleisli natural transformation

scalaz · Jul 9, 2015 · cdd5520 · cdd5520
1 parent 4d582e8
commit cdd5520
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/core/src/main/scala/scalaz/Kleisli.scala b/core/src/main/scala/scalaz/Kleisli.scala
@@ -49,6 +49,9 @@ final case class Kleisli[M[_], A, B](run: A => M[B]) { self =>
   def lift[L[_]: Applicative]: Kleisli[λ[α => L[M[α]]], A, B] =
     kleisli[λ[α => L[M[α]]], A, B](a => Applicative[L].point(self(a)))
 
+  def transform[N[_]](f: M ~> N): Kleisli[N, A, B] =
+    kleisli(a => f(run(a)))
+
   def lower(implicit M: Monad[M]): Kleisli[M, A, M[B]] =
     Kleisli(a => M.pure(this(a)))