为什么 List 是一个半群而 Seq 不是?
我对 scalaz 还很陌生，我想弄清楚为什么下面的代码有效: 导入scalaz._导入 Scalaz._标度>地图[字符串，列表[字符串]]() |+|地图[字符串，列表[字符串]]()res3:scala.collection.immutable.Map[String,List[String]] = Map() 但这并没有... 导入scalaz._导入 Scalaz._标度>Map[S
..
scalaz7相关内容
使用函子(Scalaz7)提升带隐式参数的函数
刚开始学习Scalaz.这是我的代码 trait Monoid[A] {def mappend(a1: A, a2: A): Adef mzero: A}对象幺半群{隐式 val IntMonoid: Monoid[Int] = new Monoid[Int] {def mappend(a1: Int, a2: Int): Int = a1 + a2def mzero: Int = 0}隐式 v
..
为什么awakeEvery 从scalaz-stream 中删除
我发现现代 scalaz-stream 中的 scalaz.stream.Process 中没有更多的 awakeEvery.那么如何运行带有句点的东西? 解决方案 已移至 scalaz.stream.time 包: 导入scalaz.stream._标度>隐式 val sc = 新 java.util.concurrent.ScheduledThreadPoolExecutor(1)s
..
使用复杂(双重)操作合并 scalaz 中的地图
我正在使用地图将某些值与元组 (Int, Double) 相关联，其中 int 是它们出现的顺序，是它们显示次数的两倍(不是，但使用 int 和双重区分) 棘手的部分是我想为元组的每个元素使用不同的幺半群，对于 int 我想保持最小值，记住第一次出现，而对于双精度我想使用加法幺半群因此，对于现有的密钥，我们有: val map1 = Map("a" -> (1, 5.0), "b" ->
..
Scalaz 7 - 为什么使用类型别名会导致 Reader 的类型类解析不明确
测试代码: import scalaz.{Reader, Applicative}类 ReaderInstanceTest {类型 IntReader[A] = Reader[Int, A]val a = Applicative[({type l[A] = Reader[Int, A]})#l]//没问题val b = Applicative[IntReader]//^ 不明确的隐含值//两种方
..
Scalaz7中的“序列"在哪里
我正在学习 Scalaz，并且我有一个已经使用 Scalaz7 的项目.按照这个问题我想使用该功能 sequence[T](l: List[Option[T]]): Option[List[T]] (并不是说自己写起来很难).但上述问题提到了Scalaz6. Scalaz7 中的序列函数在哪里? 解决方案 它定义在 scalaz.Traverse 类型类，如下所示: def s
..
映射和减少/折叠 scalaz.Validation 的 HList
我从这样的事情开始: def nonEmpty[A] = (msg: String) =>(a: 选项[A]) =>a.toSuccess(msg)val postal: Option[String] = request.param("postal")val country: Option[String] = request.param("country")val 参数 =(邮政 |> nonE
..
将 scala 2.10 future 转换为 scalaz.concurrent.Future//任务
有没有人来过一段代码如何正确地将scala的未来(2.10)转换为新的scalaz7未来?我知道通过 scala Promise 将 scalaz future 转换为 scala Future 很热，但不确定如何正确地在 例如 import scalaz.concurrent.{Future =>缝合}导入 scala.concurrent.Future 我想实现 隐式 def sc
..
Scalaz 验证与应用函子 |@|不工作
我正在尝试在我的应用中使用 Scalaz 7 验证.但是，我在使用 |@| 应用函子来合并我的失败时遇到了问题.这是我的代码: type ValidationResult = ValidationNel[String, Unit]def validate[A: ClassTag](instance: A, fieldNames: Option[Seq[String]] = None): Vali
..
在 Scalaz7 中管理导入
我在一个项目中使用 scalaz7，有时我会遇到导入问题.最简单的入门方法是 导入scalaz._导入 Scalaz._ 但有时这会导致冲突.直到现在我一直在做的以下有点痛苦的过程: 找出一个需要与我的实际代码相同的导入的最小示例 将该示例复制到单独的项目中 使用选项 -Xprint:typer 编译它以找出隐式解析后代码的外观 在原始项目中导入所需的隐式. 虽然这有效，但我
..
“私有[语法]"在斯卡拉
这个“私有[语法]"语言特性是什么? /** 包裹一个值 `self` 并提供与 `Show` 相关的方法 */final class ShowOps[F] private[syntax](val self: F)(implicit val F: Show[F]) extends Ops[F] {////最终定义显示:Cord = F.show(self)最终定义显示:String = F.sh
..
如何修复sbt的[警告]跳过生成'< exclusion />'为了依赖性？
当我在sbt中运行 makePom 时，我得到： [警告]跳过为org.scalaz＃*生成''。依存关系排除功能应同时具有“组织”和“模块”，以符合Maven POM的架构。 [警告]跳过了为com.jolbox＃*生成“”的过程。依存关系排除功能应同时具有“组织”和“模块”，以符合Maven POM的架构。 最简单的解决此问题
..
Scalaz拆箱标记的类型不会自动拆箱
阅读 http://eed3si9n.com/learning-scalaz/Tagged+type.html 并尝试示例代码: import scalaz._; import Scalaz._ sealed trait KiloGram def KiloGram[A](a: A): A @@ KiloGram = Tag[A, KiloGram](a) val mass = KiloGr
..
处理对象字段验证的最佳方法=>要么/试试（scala 2.10）/ ValidationNEL（scalaz）
我们假设使用构建器模式构建对象。 此构建器模式将包含一个 build 方法 此验证可以使用以下方式实现： 要么[FailureObject，TargetObject] 类型 Try [TargetObject] （Scala 2.10的新功能） Validation [FailureObject，TargetObject] 或 ValidationNEL [ scalaz库中
..
Trascalolining scalaz'Monad.whileM_以防止堆栈溢出
我正在使用scalaz'Monad.whileM_以如下方式实现while循环: object Main { import scalaz._ import Scalaz._ import scala.language.higherKinds case class IState(s: Int) type IStateT[A] = StateT[Id, IState,
..
为什么验证不是Monad?
一个示例用例: def div2(i: Int): Validation[String, Int] = if (i%2 == 0) Validation.success(i/2) else Validation.failure("odd") def div4(i: Int) = for { a
..
Scalaz 7 Iteratee处理大型zip文件(OutOfMemoryError)
我正在尝试使用scalaz iteratee包在恒定空间中处理大型zip文件.我需要对zip文件中的每个文件执行一个长期运行的过程.这些进程可以(并且应该)并行运行. 我创建了一个EnumeratorT，将每个ZipEntry膨胀为一个File对象.签名如下: def enumZipFile(f:File):EnumeratorT[IoExceptionOr[IO[File]], IO
..
如何在Scalaz7 Iteratees中使用IO而不会使堆栈溢出?
请考虑以下代码(摘自此处，并修改为使用字节而不是字符行. import java.io.{ File, InputStream, BufferedInputStream, FileInputStream } import scalaz._, Scalaz._, effect._, iteratee.{ Iteratee => I, _ } import std.list._ object
..
Scalaz Functor类型类特殊符号
最近我遇到了这个Scalaz代码（例如 https://github.com/scalaz/scalaz/blob/series/7.2.x/core/src/main/scala/scalaz/Functor.scala ）： def compose [G [_]]（隐式G0：Functor [G]）：Functor [λ[α=> F [G [α]]]] = 新的Composition
..
通过Scalaz找到我的路
可能存在重复： 好的scalaz介绍 我想了解更多关于Scalaz的信息，一旦宣布稳定后，Scalaz7将避免重新连线我的大脑。我的问题是，斯卡拉兹包含很多功能。尽管大部分内容都是独立于其他部分的，但我想全面了解斯卡拉斯提供的全球功能以及它的组织方式。据我所知，斯卡拉斯除其他外还提供了 $ b Functor ， Applicative 和 Monad 特质， 新单体，如验证（
..