问题标签 [scalaz7]

我有一个类型，定义如下：

我想做一个Semigroup. 我试过这个：

当我运行时sbt console，我收到此错误：

我如何制作MyInt一个Semigroup以便我可以使用|+|它？

为了完整起见，这是我的build.sbt文件：

所以在 scala 中，我们有典型的 Lens 签名：

但正如您所看到的，它只更新和设置相同类型的值，它不会为另一种类型设置一种类型。我想到的是更像这样的东西：

对我A的问题是B有意义的。O[_]这是否不再是同构的？有没有更简单的方法而不违反一些规则？

我有以下解析器来解析包含 Float 和 RDD 的算术表达式：

收到以下错误：

我是 Scala 新手，不知道如何解决这个错误

我对 scalaz 很陌生，我正试图弄清楚将各种类型转换为 monad 转换器。

我一直在尝试将 a 转换Int为 a OptionT[Future, Int]，甚至转换为EitherT[Future, String, Int].

我找到了一堆教程/SO 答案，它们解释了如何使用 来执行此操作point，但由于某种原因，我无法编译它们。

例如，这里的这个片段：

错误：(9, 9) 找不到类型的证据参数的隐式值scalaz.Applicative[[x]scalaz.EitherT[scala.concurrent.Future,String,x]]

另一个来自Scalaz Monad 变形金刚

错误：(8, 10) 找不到类型的证据参数的隐式值scalaz.Applicative[A$A35.this.Result]

我相信这个应该也可以，但是它说方法liftM不是以下成员Future[Int]：

所有这些示例都失败了，但是如果我替换Future为List. 现在，这是对我有用的唯一方法，但它有点冗长 - 我真的很想能够使用point：

为什么这不编译？Future在最近的版本中，是否从 scalaz 中删除了 applicative/monad ？

我正在使用 scala 2.11.7 和 scalaz 7.1.3。对于它的价值，这些是我的进口：

我最近在学习 Scalaz。我想知道 λ[α =>F] 是如何工作的？

我可以理解 λ 在这里表示某种类型，但我找不到它的定义，想知道上面的代码是如何工作的。

我正在努力学习 scalaz和Learn You A Haskell For Greater Good，我想知道如何将 filterM 示例从 LYAHFGG 转换为 Scala。

fst $ runWriter $ filterM keepSmall [9,1,5,2,10,3]

keepSmall定义为

我天真的方法以编译错误结束，我不知道如何解决这个问题！

编译错误：

和

我发现现代 scalaz-stream 中没有更多awakeEvery内容了。scalaz.stream.Process那么如何运行带有句号的东西呢？

Jordan West 在Scalamachine 的这个演讲中清楚地谈到了map2函数。原来该功能在 Scalaz 6 中可用，但我在 Scalaz 7 中找不到它或任何等效项。

例如，我希望能够运行此代码：

结果得到

在 Scalaz 7 中哪里可以找到这个函数？

编辑： 理想情况下，我希望能够执行任何f: A => B功能l: List[Option[A]]

并获得List[Option[B]]直观的语义。

在Nick Partridge 关于派生 scalaz 的演示中，基于旧版本的 scalaz，他介绍了使用函数的验证：

然后他结合使用

它应用测试并返回带有失败消息的验证。使用 scalaz 7 我得到

这个组合器的scalaz 7等价物是什么？

我一直试图使用返回的函数来减少状态单子中的列表State：

我想减少列表以获得State[S, T]