运维开发网

scalaz

0
  • 为无形hlist定义scalaz monad实例

    我试图通过点和绑定实现为无形HList定义Monad( scalaz).第一个问题是HList trait不是类型构造函数,但是可以用类型lambdas解决,点很简单,但是我找不到正确的bind实现,我想我需要一些类型Poly1的函数和一些Aux / Mapper技巧,但那个无形的一...[详细]

    2020-06-15 09:48 分类:编程语言
  • 在我的Scalaz析取中键入用于联合不相关失败案例的类

    我对 Scalaz分离有所了解.这些上的左侧类型可以是来自其他库的不同类型的错误案例类.例如,一个故障情况可能是由于HTTP超时,而另一个故障情况可能表示Play中的Json解析错误. 有没有办法使用某种形式的类来声明’这4个类/特征都是这种类型的...[详细]

    2020-06-15 09:21 分类:编程语言
  • Scalaz中的隐含参数

    我试着找出 ∅ in scalaz.ListW.<^>调用的原因 def <^>[B: Zero](f: NonEmptyList[A] => B): B = value match { case Nil => ∅ case h :: t => f(Scalaz.nel(h, t)) } 我的最小理论是: trait X[T]{ def y ...[详细]

    2020-06-14 14:16 分类:编程语言
  • 正确使用scalaz Future进行异步执行

    我想我还不完全了解 scalaz Futures的工作原理.我正在尝试将一个项目从scala期货移植到scalaz实现,但问题是scalaz Future的性能较低.最简单的示例是使用Spray在身份验证请求上加载配置文件. 功能本身: def loadProfile[A: CollectionPro...[详细]

    2020-06-14 09:13 分类:编程语言
  • scala – 如何使用Kleisli实现缓存

    我遵循了功能和反应建模一书中的设计原则. 所以所有的服务方法都归功于Kleisli. 问题是如何在这些服务上添加可更新缓存. 这是我目前的实现,有更好的方法(现有组合器,更多功能方法,……)? import scala.concurrent.duration.Duration imp...[详细]

    2020-06-13 12:41 分类:编程语言
  • scala – 被视为Monoid的字符串

    给出像这样的签名或 that one: def foo[A, F[_]](implicit mon: Monoid[F[A]], pr: Pure[F]): F[A] 假设A是Char,有没有办法获得String而不是List [Char]? String不带类型参数,所以我认为不可能.什么是下一个最佳选择?现在,我在结果上使...[详细]

    2020-06-13 10:03 分类:编程语言
  • scala – 如何将ADT列表分类为其变体?

    是否有可能以某种方式将解决方案扩展为总和类型? sealed trait Group case class A extends Group case class B extends Group case class C extends Group def divide(l : List[Group]): //Something from what I can extract List[A],...[详细]

    2020-06-13 08:14 分类:编程语言
  • Scala中的纯FP?

    我的印象是有人在那里使用 Scalaz编写纯应用程序,但基于这个例子:[ stacking StateT in scalaz],看起来任何真实的东西也是不可能的毛茸茸的. 在Scala中是否有任何关于真实,模块化,松散耦合的纯应用程序的指南或示例?我期待这意味着scal...[详细]

    2020-06-12 12:14 分类:编程语言
  • 在Scalatest和Argonaut.io中导致编译失败的模糊隐式转换

    我目前正在做最高尚的编程工作,为Json编码/解码编写测试.我正在为Json使用 Argonaut.io,为我的测试框架使用 Scalatest.在scalatest下,在断言验证期间使用===会在发生故障时提供附加信息,而使用==只是给出了这个org.scalatest.exceptions....[详细]

    2020-06-12 10:45 分类:编程语言
  • scala – 如何处理读者[A,未来[B]]

    鉴于以下3个功能, def f[A, B] : Reader[A, B] = ??? def g[A, B, C](b: B) : Reader[A, Future[C]] = ??? def h[A, C, D](c: C) : Reader[A, D] = ??? 如何写一个monadic组合器? 这是我目前的解决方案,但我并不满意所有这些样板 def f2...[详细]

    2020-06-11 18:17 分类:编程语言