scalaz7

6熱度

1回答

處理對象字段驗證的最佳方法=>/Try（scala 2.10）/ ValidationNEL（scalaz）

讓我們假設一個使用構建器模式構造的對象。此構建器模式將包含專注於字段驗證然後轉換爲目標類型的build方法。該驗證可以採用以下方式實現： Either[FailureObject, TargetObject]型 Try[TargetObject]（新功能從斯卡拉2.10）從scalaz庫 Validation[FailureObject, TargetObject]或ValidationNEL

2熱度

1回答

scalaz蹦牀和IO

這個問題是與此相關的其他question但降低到一個更簡單的情況：我認爲以下進口： import scalaz._, Scalaz._ import Free._, effect._ 我有以下發電機： val fromOneIO:() => IO[Int] = { var i = 0;() => { i += 1; IO(i) } } val fromOne:() => In

5熱度

3回答

Scalaz 7處理大型壓縮文件的Iteratee（OutOfMemoryError）

我正在嘗試使用scalaz iteratee軟件包處理恆定空間中的大型壓縮文件。我需要對zip文件中的每個文件執行一個長時間運行的過程。這些進程可以（也應該）並行運行。我創建了一個EnumeratorT，它將每個ZipEntry都膨脹爲File對象。簽名是這樣的： def enumZipFile(f:File):EnumeratorT[IoExceptionOr[IO[File]], IO]

7熱度

1回答

scalaz爲什麼選擇性地評估f2函數？

的scalaz的選項半羣的定義如下： implicit def optionMonoid[A: Semigroup]: Monoid[Option[A]] = new Monoid[Option[A]] { def append(f1: Option[A], f2: => Option[A]) = (f1, f2) match { case (Some(a1), Some(a2

3熱度

1回答

使用Scalaz 7

驗證Scala中的一個類凝聚力的方式我的目標是建立一個有效的User實例之前驗證小號apply方法User「的object內S場」： case class User(String userName, String password) object User { def apply(userValidator: UserValidator): ValidationNel[UserCr

7熱度

1回答

Scalaz - 將列表和狀態Monad結合在一起以便理解

我打算在我的Scala代碼中開始使用Monadic風格，以用於線程狀態等。下面是合成3一元函數（僅約副作用關心）的一個簡單的例子 import scalaz._ import Scalaz._ object MonadTest { def adder(i: Int) = State[String, Int] ({str: String => (str + i.toString +

22熱度

1回答

爲什麼列出一個半羣但Seq不是？

我是相當新的scalaz，我想弄清楚，爲什麼下面的代碼工作： import scalaz._ import Scalaz._ scala> Map[String,List[String]]() |+| Map[String,List[String]]() res3: scala.collection.immutable.Map[String,List[String]] = Map() 但

6熱度

1回答

如何在具有斯拉拉變壓器的單極堆棧之間進行轉換7

我正在努力理解單極堆棧和單極變壓器與Scalaz7。我覺得我非常接近答案，但無法讓我的頭腦在某個特定的步驟。以下代碼在磁盤上查找ffmpeg二進制文件，然後創建要運行的可執行命令，然後執行該命令，然後對輸出執行一些簡單的操作。 object Encoder { def findFfmpeg: OptionT[IO, String] = { OptionT[IO, Strin

3熱度

1回答

點閱讀器monad scala

有沒有辦法，如何在Reader的上下文中輕鬆point值？我可以使用Reader對象，並忽略上下文： Reader { _ ⇒ 3 } 斯卡拉茲似乎有一個方法 point具體。我明白了，這是在 Applicative上定義的。我想，有一些技巧，如何將價值放入 Reader的上下文中。

3熱度

1回答

哪裏類型@>在scalaz源代碼？

我一直在閱讀scalaz的鏡頭，你可以在https://github.com/scalaz/scalaz/blob/scalaz-seven/core/src/main/scala/scalaz/Lens.scala 找到線303啓動源，有返回類型@> [A，B]的值的函數。這是類型鏡頭別名？這是有意義的，以從我上下文和從所述符號中，這可能代表光的進入的圓形透鏡的光束的形狀。但是爲什麼其他功能返