- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
给定一组具有两个不同子集的 Adt
例如:
sealed trait Domain[Y]
sealed trait Command[Y] extends Domain[Y]
sealed trait Query[Y] extends Domain[Y]
case class Add(value:String) extends Command[Ack]
case class Remove(value:String) extends Command[Ack]
case class Exists(value:String) extends Query[Boolean]
case object List extends Query[List[String]]
val commandHandler:Command ~> M
val queryExecutor:Query ~> M
val service:Domain ~> M = union(commandHandler, queryExecutor)
最佳答案
好的,这是一个非常古老的问题,但是现在,例如猫提供 Coproduct
和方法 or
在 NaturalTransformation :
trait NaturalTransformation[F[_], G[_]] extends Serializable { self =>
def or[H[_]](h: H ~> G): Coproduct[F, H, ?] ~> G = ???
}
?
)
val combine: Coproduct[Command,Query,?] ~> M = commandHandler.or(queryExecutor)
union
(使用
Id
而不是
M
进行类型检查):
import cats._
import cats.data._
trait Ack
sealed trait Domain[Y]
sealed trait Command[Y] extends Domain[Y]
sealed trait Query[Y] extends Domain[Y]
case class Add(value:String) extends Command[Ack]
case class Remove(value:String) extends Command[Ack]
case class Exists(value:String) extends Query[Boolean]
case object List extends Query[List[String]]
def commandHandler:Command ~> Id = ???
def queryExecutor:Query ~> Id = ???
def union: Domain ~> Coproduct[Command,Query,?] = new (Domain ~> Coproduct[Command,Query,?]) {
def apply[A](fa: Domain[A]): Coproduct[Command,Query,A] = fa match {
case command: Command[A] => Coproduct.left(command)
case query: Query[A] => Coproduct.right(query)
}
}
def result: Domain ~> Id = commandHandler.or(queryExecutor).compose(union)
Coproduct
:
def unionDirect[M[_]](cmd: Command ~> M, qry: Query ~> M): Domain ~> M =
new (Domain ~> M) {
def apply[A](fa: Domain[A]): M[A] = fa match {
case command: Command[A] => cmd(command)
case query: Query[A] => qry(query)
}
}
def resultDirect: Domain ~> Id = unionDirect(commandHandler,queryExecutor)
关于Scala 使用 shapeless 在自然变换上组合更高级的副产品,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31982145/
我有一套使用两种语言的文档:英语和德语。关于这些文档没有可用的元信息,程序只能查看其内容。基于此,程序必须决定用哪种语言编写文档。 是否有可以在几个小时内实现的针对该问题的“标准”算法?或者,一个免费
背景 我有一个日志系统,可以将记录输出到 std::ostream .每条记录都用一个计数器进行注释,该计数器随着每个输出而增加 1,如下所示: ===== Batch # 5 ===== T
用户可能希望根据需要分隔数字。 从字符串中提取所有(自然)数字的最有效(或简单的标准函数)是什么? 最佳答案 您可以使用正则表达式。我从 Sun's regex matcher tutorial 修改
我认为如果表有代理键而没有(自然)替代键是没有意义的(请记住,代理键的属性之一是它在数据库之外没有意义环境)。 例如假设我有下表: 假设 employee_id 是代理主键,表中没有(自然)备用键。
我想将屏幕方向锁定为其默认方向。我在实现这一点时遇到问题。最初我将屏幕锁定为 list 中的肖像。它适用于纵向默认设备。但是许多平板电脑默认为横向,因此在这些设备中锁定纵向是不合适的,我想检测此默认方
我已将笔记本电脑上的触摸板滚动设置为倒置(自然)。它适用于任何地方(pdf、浏览器等),但在 vscode 中,它坚持正常滚动。通过 vscode 的设置文件没有显示适当的条目。 系统:Ubuntu
在我发现的许多在上限集合上使用可尾游标的示例中,代码包括: hint( { $natural: 1 } ) (例如 here ),包括官方文档 ( here ),以“确保我们不使用任何索引”,并且结果
@override Widget build(BuildContext context) { return Scaffold( appBar: AppBar( title: T
一些上下文:Node.js、Bot、natural module . 我想构建一个机器人,并且我正在使用自然模块来解析用户输入并对其进行总体分类。 var classifier = new natur
我是一名优秀的程序员,十分优秀!