從較低kinded型

Question

我是很新，scalaz創建OptionT [未來，A]，而我試圖找出轉換不同類型單子變壓器。

我一直在試圖將Int轉換爲OptionT[Future, Int]，甚至轉換爲EitherT[Future, String, Int]。

我發現了一堆教程/ SO解釋如何使用point做到這一點的答案，但由於某種原因，我不能編譯它們。

例如，該段從here：

1.point[({ type L[x] = EitherT[Future, String, x] })#L] 

Error:(9, 9) could not find implicit value for evidence parameter of type scalaz.Applicative[[x]scalaz.EitherT[scala.concurrent.Future,String,x]]

另一個從Scalaz Monad Transformers

type Result[A] = OptionT[Future, A] 
"".point[Result] 

Error:(8, 10) could not find implicit value for evidence parameter of type scalaz.Applicative[A$A35.this.Result]

我相信這個應該工作一樣好，但它說的方法liftM是不是Future[Int]的成員：

1.point[Future].liftM[OptionT] //doesnt compile 
1.point[List].liftM[OptionT]  //compiles 

所有這些例子失敗了，但如果我更換Future有，比方說，List他們編譯。眼下，這是對我的作品的唯一途徑，但它是一個有點冗長 - 我真的希望能夠使用point代替：

OptionT(Future.successful(1.some)) 

這是爲什麼沒有編制？在最近的版本中，是否將Future的應用/ monad從scalaz中刪除？

我使用的是scala 2.11.7和scalaz 7.1.3。對於它的價值，這是我進口：

import scala.concurrent.Future 
import scalaz._ 
import Scalaz._ 

Answer 1

導入ExecutionContext會讓你的解決方案的編制，見scalaz.std.scalaFuture。

import scala.concurrent.ExecutionContext.Implicits.global 

type Result[A] = OptionT[Future, A] 
"".point[Result] 
// Result[String] = OptionT(scala.concurrent.impl.Promise$DefaultPromise@5e155fc) 

1.point[Future].liftM[OptionT] 
// scalaz.OptionT[scala.concurrent.Future,Int] = OptionT(scala.concurrent.impl.Promise$DefaultPromise@60821af9)