- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试为 Filter
实现一个幺半群。 (它与 Scalaz 中的 Reader[A, Boolean]
相同)
type Filter[A] = A => Boolean
实现过滤器最简单的方法是,
implicit def monoidFilter[A] = new Monoid[Filter[A]] {
override def zero: Filter[A] =
a => false
override def append(f1: Filter[A], f2: => Filter[A]): Filter[A] =
a => f1(a) || f2(a)
}
// test
case class User(name: String, city: String)
val users = List(User("Kelly", ".LONDON"), User("John", ".NY"), User("Cark", ".KAW"))
// filtered: List(User(Kelly,.LONDON), User(John,.NY))
(users filter (london |+| ny) size) shouldBe 2
我发现这是Disjunction
。现在我们可以在没有 monoidFilter
mappend
import Tags._
import syntax.tag._
val london = (u: User) => Disjunction(u.city endsWith(".LONDON"))
val ny = (u: User) => Disjunction(u.city endsWith("NY"))
(users filter { u => (london |+| ny)(u).unwrap }).size shouldBe 2
但是代码在可用性方面变长了。
所以我的问题是,有没有更好的方法来实现monoidFilter
?虽然它已经在 Scalaz 中实现,但我还找不到。
最佳答案
Monoid[A => Boolean]
你实际上可以保留原来的别名
type Filter[A] = A => Boolean
如果您特别想要或
monoid,您可以轻松构造这样的实例
import scalaz.std.anyVal._
import scalaz.std.function._
implicit def boolMonoid[A] = function1Monoid[A, Boolean](booleanInstance.disjunction)
这将大大简化语法
val london: Filter[User] = _.city endsWith ".LONDON"
val ny: Filter[User] = _.city endsWith "NY"
users filter( london |+| ny)
Rig[A => Boolean]
但如果我是你,我会使用 Rig
( semiring ) 来自 spire library而不是 Monoid
。
我不知道是否有库可以将 BooleanRig
提升为 Function1
monad,但是手工制作很容易:
import spire.algebra.Rig
implicit def filterRig[A] = new Rig[Filter[A]] {
def plus(x: Filter[A], y: Filter[A]): Filter[A] = v => x(v) || y(v)
def one: Filter[A] = Function.const(true)
def times(x: Filter[A], y: Filter[A]): Filter[A] = v => x(v) && y(v)
def zero: Filter[A] = Function.const(false)
}
或者更通用的版本
import spire.std.boolean._
implicit def applicativeRigU[MX, X](implicit G: Unapply.AuxA[Applicative, MX, X], rig: Rig[X]): Rig[MX] = {
val A: Applicative[G.M] = G.TC
val L: G.M[X] === MX = Leibniz.symm[Nothing, Any, MX, G.M[X]](G.leibniz)
val rigA = new Rig[G.M[X]] {
def plus(x: G.M[X], y: G.M[X]): G.M[X] = A.lift2(rig.plus)(x, y)
def one: G.M[X] = A.point(rig.one)
def times(x: G.M[X], y: G.M[X]): G.M[X] = A.lift2(rig.times)(x, y)
def zero: G.M[X] = A.point(rig.zero)
}
L.subst(rigA)
}
现在你可以添加另一个过滤器
val nameJ: Filter[User] = _.name startsWith "J"
然后运行
import spire.syntax.rig._
users filter (london + ny * nameJ)
关于scala - 在 Scalaz 中为过滤器返回析取编写 Monoid 的更好方法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34214213/
据我所知,根本不为元素呈现 HTML,或添加 display:none,似乎具有完全相同的行为:两者都使元素消失并且不与 HTML 交互。 我正在尝试禁用和隐藏一个复选框。所以HTML的总量很小;我无
我刚刚读了Android Architecture Tutorial: Developing an App with a Background Service (using IPC) .基本上是 让服
我有两个查询具有相同的结果,现在我想知道哪个查询更优化? 在选择中: select t1.*, sum(t2.value) as total_votes from table1 t1 left joi
有人告诉我,对于 I/O 绑定(bind)的应用程序,非阻塞 I/O 会更好。对于 CPU 密集型应用程序,阻塞 I/O 会好得多。我找不到这种说法的原因。试过谷歌,但很少有文章只是触及这个话题而没有
我有一个算法可以在数字列表中寻找好的对。一个好的配对被认为是索引 i 小于 j 且 arr[i] 1: # Finding the mid of the array
我有一个算法可以在数字列表中寻找好的对。一个好的配对被认为是索引 i 小于 j 且 arr[i] 1: # Finding the mid of the array
我从 API 收到一个 json,我需要解析并修改一个属性值。问题是,我收到的 json 数据的嵌套结构不一致,我无法控制它。 这将禁止我指定在特定深度(如 parsedJson.children[0
我有 451 个城市的坐标。现在我想计算每个城市之间的距离,然后根据该距离对一些结果进行排序。现在我有两个选择: 我可以运行一个循环来计算每个可能的城市组合的距离并将它们存储到一个表中,这将产生大约
对于返回相同结果的不同查询,我有两个查询计划我想知道是否有人可以告诉我哪个“更好”,以及为什么。 SELECT * FROM bids order by (select ranking from us
关闭。这个问题需要更多focused .它目前不接受答案。 想改进这个问题吗? 更新问题,使其只关注一个问题 editing this post . 关闭 7 年前。 Improve this qu
我有一个二维数组。我需要尽可能快地对其执行一些操作(函数每秒将被调用十几次,所以让它变得高效会很好)。 现在,假设我想获取元素 A[i][j],简单地使用 A[i][j] 在速度上有什么不同吗和 *(
在声明或使用字符串的代码中,我通常会看到开发人员这样声明它: string randomString = @"C:\Random\RandomFolder\ThisFile.xml"; 代替: str
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: Why don't CSS resets use '*' to cover all elements? 我正
如果我有一个包含许多重复项的 python 列表,并且我想遍历每个项目,而不是重复项,最好使用一个集合(如 set(mylist),或者找到另一种方法来创建没有重复的列表?我想只是循环遍历列表并检查重
在阅读常量接口(interface)反模式时,我发现没有实例的最终常量类比常量接口(interface)更好。 请解释一下怎么做? public interface ConstIfc { publ
我正在查看我继承的一些旧代码,我真的不喜欢某些地方的风格。我真的不喜欢它的外观的一件事是: bool func() { bool ret = true; ret &= test1();
关闭。这个问题是opinion-based 。目前不接受答案。 想要改进这个问题吗?更新问题,以便 editing this post 可以用事实和引文来回答它。 . 已关闭 4 年前。 Improv
我经常发现自己试图使用 boost/QT 信号解耦对象。实现这一点的简单方法是针对我要通信的每个具体类型,创建一个新的信号和插槽签名并连接所有相关对象。这导致了访问者模式,理想情况下我想发出一个访问者
我正在 https://docs.oracle.com/javase/tutorial/java/javaOO/lambdaexpressions.html 上阅读有关 lambda 的内容 在方法
public List getInts() { List xs = new ArrayList(); xs.add(1); // return Collections.unmo
我是一名优秀的程序员,十分优秀!