问题标签 [scalaz7]

我正在尝试将 Scalaz EitherT 与 scala.concurrent.Future 一起使用。当试图在理解中使用它时：

我收到以下缺少 Functor 和 Monad 实例的错误：

scalaz 是否为 Future 定义 Functor 和 Monad 的实例？如果没有，是否有任何其他库提供这些实例，或者我是否需要编写它们？

Scalaz State monad 的modify签名如下：

Record这允许将状态替换为相同类型的状态，但当状态包含无形状值（例如，其类型会随着新字段的添加而更改）时，这将无法正常工作。在这种情况下，我们需要的是：

什么是调整 Scalaz 的 State monad 以使用无形状态的好方法，以便人们可以使用 Records 而不是可怕的Map[String, Any]?

例子：

更新：

特拉维斯答案的完整代码在这里。

有人可以解释为什么我应该使用 Scalaz 的NonEmptyList而不是 Scala 的List吗？

在不可变的应用程序中，创建一个空的没有多大意义List

1. 那么我应该总是NonEmptyList在不可变的应用程序中使用吗？
2. 除了保证列表中至少有一个元素的明显原因之外，我为什么还要使用 scalazNonEmptyList而不是 scala ？List

这个“私有[语法]”语言特性是什么？

^ 位置：scalaz-series-7.3.x/core/src/main/scala/scalaz/syntax/ShowSyntax.scala

我最近听说过 scala 中未装箱的标记类型，当我试图了解它的工作原理时，我发现这个问题指出了 scalaz 中的实现存在的问题。修复的后果之一是必须显式解开标记类型：

然后我考虑了最初的想法，我可以在其中做类似的事情：

所以现在我想知道之前在 scalaz 中发现的问题是否特定于它的方法，或者简单的实现是否也可能存在擦除、数组或可变参数的问题。问题是我还在学习 scala，所以我对它的类型系统的理解非常有限，我自己无法弄清楚。

我正在使用 Scalaz，因为我喜欢标准库中 Haskell 类型类设置的很多方面。但这正是我目前的问题。我有一个带有两个通用参数的通用数据结构：

在 Haskell 中，我会Alternative像这样实现类型类：

但是我怎样才能在 Scala 中做一些等效的事情呢？据我所知，我不能做类似的事情

有谁知道如何做到这一点？提前谢谢！

更新：

我发现了这个：

在 Scalaz 源代码中（https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/std/Either.scala）。

据此，我想我必须写一些类似的东西

?由于类型未知，因此无法编译。

我有下一个代码

我想折叠元素，我写下一个代码

这很好用，但我在 scalaz 来源中看到了下一个 tric

但我不明白它是如何正确工作的，为什么 scalaz 不将此方法混合到实例中，以及 scala和 scalazlistOption之间有什么区别foldfold

我无法更改的函数返回 Scalaz Reader，

我想创建一个基于findAccount(...)返回ReaderT[Option, Session, A]的新函数

因为最终我想这样做，

我该如何进行？是否有意义？谢谢

全面披露，

我有一个客户类型QueryResult是

进行多个查询时，我得到一个List[QueryResult[A]]，但我想要一个QueryResult[List[A]]. 我可以sequence为 s 实现一个方法，List但我想要一个更通用的方法，所以我尝试用 Scalaz 创建一个。

这似乎可行，但无法编译，app因为Applicative[QueryResult].

如何创建一个？或者 Scalaz 能否以某种方式“神奇地”生成一个？

我刚刚开始从eugene 的博客文章中学习 scalaz 。我试图在我的代码中使用 === 但它返回一个编译错误 value === is not a member of object Red

这是我的代码

}