scalaz7

    7熱度

    2回答

    我正在使用Scalaz 7的EitherT來構造將狀態和\ /混合起來的理解。到現在爲止還挺好;我得到的東西,基本上就是: State[MyStateType, MyLeftType \/ MyRightType] 和,讓我建立-內涵是對<左側漂亮的變量 - 。我想不出如何從狀態動作返回元組。單個結果就好 - 在下面的代碼中,「val理解」正是我想要發生的事情。 但是當我想返回一個元組時,事情

    1熱度

    1回答

    假設你有一個看起來像這樣的EitherT: type StateListOfString[+T] = State[List[String], T] type MyEitherT = EitherT[StateListOfString, Int, Boolean] 如果你有一個換理解,可以返回左: my computation = for { a <- thingThatCouldR

    6熱度

    1回答

    我想在我的應用程序中使用Scalaz 7驗證。但是,我遇到了使用|@|應用函數來解決我的故障的問題。下面的代碼我有: type ValidationResult = ValidationNel[String, Unit] def validate[A: ClassTag](instance: A, fieldNames: Option[Seq[String]] = None): Validat

    8熱度

    3回答

    我偶爾會打這樣的代碼: val things : List[A \/ B] = ??? val (as, bs) : (List[A], List[B]) = ??? //insert something to do this 或在我目前的情況下,我想Map[A, B \/ C] => (Map[A, B], Map[A, C]) 有一個很好的方法可以在一般情況下做到這一點F[A \/ B]

    8熱度

    1回答

    昨晚在應對this question,我注意到以下幾點: scala> val foo: Option[Set[Int]] = Some(Set(1, 2, 3)) foo: Option[Set[Int]] = Some(Set(1, 2, 3)) scala> import scalaz._, Scalaz._ import scalaz._ import Scalaz._ sc

    12熱度

    2回答

    是否有人提供了一段代碼,如何正確地將scala的Future(2.10)轉換爲新的scalaz7未來?我知道熱通過Scala的承諾轉化scalaz未來Scala的未來,但不知道如何做正確周圍 例如 import scalaz.concurrent.{Future => Zuture} import scala.concurrent.Future 我想要實現的 implicit def sca

    2熱度

    1回答

    無法弄清楚是否可以使用Scalaz 7寫這樣的東西。我試圖用代碼塊中的註釋表達自己。 def validate1(p: String) = ValidationNel[String, Value] = ... def validate2(p: String) = ValidationNel[String, Value] = ... validateCombination(p1: String

    17熱度

    2回答

    我有一個應用程序可以對不同的後端系統進行大量調用,希望能夠使用理解來簡化後端系統中的流程。 我期待結合EitherT(scalaz)和Future(scala 2.10),這樣我就可以捕獲第一個潛在錯誤(其未來或後端系統問題),並向最終用戶返回適當的消息。我已經快速查看了一個scalaz驗證,但是捕獲第一個錯誤而不是所有錯誤的建議是使用EitherT。 我想在REPL一個簡單的例子,第一個,但我發

    5熱度

    1回答

    有一個Scalaz地圖鏡頭here的例子:丹·伯頓稱它containsKey,並且它是由愛德華Kmett談話的啓發。在Scalaz 7中還有一個叫mapVPLens的東西,它對修改地圖中的值很有用。 我的問題是:如果我有用於修改類型V的鏡頭和用於Map[K,V]的鏡頭,我該如何創作它們?我一直在尋找一個簡單的例子,但斯卡拉茲仍然缺乏一些例子。 我感興趣的是既Scalaz 6和7 Scalaz解決方

    1熱度

    1回答

    我有一些代碼使用應用程序和monad語法。代碼如下所示: import scalaz._ import scalaz.syntax.applicative._ import scalaz.syntax.std.boolean._ import scalaz.syntax.traverse._ //import scalaz.syntax.monad._