scalaz

    1熱度

    1回答

    當我使用Scalaz編寫代碼時,我經常遇到問題,那就是沒有隱含的範圍。我認爲應該有一些默認暗示在廣闊的包標準中出現,但是我不知道哪裏或哪裏沒有。 假設我們要show在scalaz任何Any(我用scalaz 7): scala> import scalaz._ import scalaz._ scala> import Scalaz._ import Scalaz._ scala>

    0熱度

    1回答

    下面的下劃線表示什麼意思。這是scalaz7庫的片段: trait Apply[F[_]] extends Functor[F] { self => //... def ap[A, B](fa: => F[A])(f: => F[A => B]): F[B] //... def apF[A, B](f: => F[A => B]): F[A] => F[B]

    9熱度

    1回答

    有人可以用現實世界的例子來解釋如何在scalaz.Validation的方法下工作嗎?我的意思是loopSuccess和loopFailure。從源代碼(scalaz7) Snippetes: scalaz.Validation: /** Spin in tail-position on the success value of this validation. */ def loopSucce

    4熱度

    2回答

    ToFunctorOps定義通過ToLiftV隱含一個lift方法,但我似乎無法讓它找到我的仿函數實例: import scalaz.std.option._ import scalaz.syntax.functor._ import scalaz.syntax.id._ import scalaz.syntax.std.option._ def inc(x: Int) = x + 1

    4熱度

    1回答

    import scalaz._; import Scalaz._ def foo[M[_]:MonadPlus,A](a:A) = a.point[M] // foo: [M[_], A](a: A)(implicit evidence$1: scalaz.MonadPlus[M])M[A] def bar1[M[_]:MonadPlus](i:Int): M[Int] = f

    3熱度

    1回答

    我有以下簽名Scala的功能: def getValue: Validation[ Throwable, String ] 現在,我想在Java中的結果調用這個函數的處理(比如res)。 我可以撥打res.isSuccess()和res.isFailure()但我如何提取底層Throwable或成功String? 我嘗試鑄造,但在scalaz.Failure cannot be resolve

    7熱度

    1回答

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

    1熱度

    1回答

    scala/scalaz/shapeless/etc中是否存在f: A => B => ... => Z的一般增強功能?這樣f.uncurried:(A, B, ...) => Z? 目前我有這個,但我相信必須有一個預先存在的,更一般的解決方案。 implicit def enrichMyCurriedFunction[A, B, C] = new EnrichedCurriedFunction[

    4熱度

    1回答

    我有三個Scala正則表達式,我需要測試它們是否與給定的String匹配。 我知道我可以做到以下幾點: val matches = R1.findFirstIn(myString).isDefined || R2.findFirstIn(myString).isDefined || R3.findFirstIn(myString).isDefined ,但我相信

    7熱度

    1回答

    我有一個嵌套結構,我正在使用scalaz狀態monad將其轉換爲XML。這工作得很好,直到我不得不處理多級嵌套結構。這裏是一個簡化的例子,類似於我正在做的事情。鑑於以下ADT: sealed trait Nested case object Leaf extends Nested case class Foo(inner: Nested) extends Nested case class