Added implicit finder method for Hoist.

scalaz · Dec 18, 2012 · c5a3082 · c5a3082
1 parent a0d95e7
commit c5a3082
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/core/src/main/scala/scalaz/MonadTrans.scala b/core/src/main/scala/scalaz/MonadTrans.scala
@@ -14,6 +14,10 @@ trait Hoist[F[_[_], _]] extends MonadTrans[F] {
   def hoist[M[_]: Monad, N[_]](f: M ~> N): ({type f[x] = F[M, x]})#f ~> ({type f[x] = F[N, x]})#f
 }
 
+object Hoist {
+  def apply[F[_[_], _]](implicit F: Hoist[F]): Hoist[F] = F
+}
+
 /**
  * This trait establishes a partial order among monads. A "bigger" monad
  * is one that does all of the effects of the "smaller" as part of its