- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有一个复杂的类型层次结构,但要分解它有两个基本特征:Convertable
和 Conversion[A <: Convertable, B <: Convertable
,例如有一个转换可以将 Mealy 自动机转换为 Moore 自动机。
每Conversion[A,B]
有一个 convert(automaton: A) : B
方法。
现在我要介绍智能转换的概念,它基本上是一个普通转换的列表,它会一个接一个地执行。
因此我介绍了一个 AutoConversion
trait,扩展一个Conversion,它有一个val path : HList
参数,表示转换链,应该实现 convert
方法,因此 AutoConversions 只需提供要进行的实际转换的列表。
我想你可以用 fold
来实现这个过path
,所以这是我的第一次尝试:
package de.uni_luebeck.isp.conversions
import shapeless._
import shapeless.ops.hlist.LeftFolder
trait AutoConversion[A <: Convertable, B <: Convertable] extends Conversion[A, B] {
val path: HList
object combiner extends Poly {
implicit def doSmth[C <: Convertable, D <: Convertable] =
use((conv : Conversion[C, D] , automaton : C) => conv.convert(automaton))
override def convert(startAutomaton: A): B = {
path.foldLeft(startAutomaton)(combiner)
}
}
最佳答案
您需要更多类型信息是正确的,而且通常情况下,如果您的值是 HList
作为静态类型,您可能需要更改方法。使用 HList
基本上无能为力如果您只知道它是 HList
(除了在它前面加上值),你通常只会写 HList
作为类型约束。
在您的情况下,您所描述的是一种类型对齐的序列。在您继续使用这种方法之前,我建议您真正确定您确实需要这样做。关于函数(以及类似函数的类型,如您的 Conversion
)的好处之一是它们组成:您有一个 A => B
和一个 B => C
然后你把它们组合成一个 A => C
并且可以忘记 B
永远。你会得到一个漂亮干净的黑盒子,这通常正是你想要的。
但是,在某些情况下,能够以一种可以反射(reflect)管道的各个部分的方式组合类似函数的东西是很有用的。我将假设这是其中一种情况,但您应该自己确认。如果不是,那么您很幸运,因为即将发生的事情有点困惑。
我会假设这些类型:
trait Convertable
trait Conversion[A <: Convertable, B <: Convertable] {
def convert(a: A): B
}
HList
由一个或多个类型排列的转换组成:
import shapeless._
trait TypeAligned[L <: HList] extends DepFn1[L] {
type I <: Convertable
type O <: Convertable
type Out = Conversion[I, O]
}
L
包含有关管道的所有类型信息,以及
I
和
O
是其端点的类型。
object TypeAligned {
type Aux[L <: HList, A <: Convertable, B <: Convertable] = TypeAligned[L] {
type I = A
type O = B
}
implicit def firstTypeAligned[
A <: Convertable,
B <: Convertable
]: TypeAligned.Aux[Conversion[A, B] :: HNil, A, B] =
new TypeAligned[Conversion[A, B] :: HNil] {
type I = A
type O = B
def apply(l: Conversion[A, B] :: HNil): Conversion[A, B] = l.head
}
implicit def composedTypeAligned[
A <: Convertable,
B <: Convertable,
C <: Convertable,
T <: HList
](implicit
tta: TypeAligned.Aux[T, B, C]
): TypeAligned.Aux[Conversion[A, B] :: T, A, C] =
new TypeAligned[Conversion[A, B] :: T] {
type I = A
type O = C
def apply(l: Conversion[A, B] :: T): Conversion[A, C] =
new Conversion[A, C] {
def convert(a: A): C = tta(l.tail).convert(l.head.convert(a))
}
}
}
AutoConversion
跟踪有关管道的所有类型信息:
class AutoConversion[L <: HList, A <: Convertable, B <: Convertable](
path: L
)(implicit ta: TypeAligned.Aux[L, A, B]) extends Conversion[A, B] {
def convert(a: A): B = ta(path).convert(a)
}
case class AutoA(i: Int) extends Convertable
case class AutoB(s: String) extends Convertable
case class AutoC(c: Char) extends Convertable
val ab: Conversion[AutoA, AutoB] = new Conversion[AutoA, AutoB] {
def convert(a: AutoA): AutoB = AutoB(a.i.toString)
}
val bc: Conversion[AutoB, AutoC] = new Conversion[AutoB, AutoC] {
def convert(b: AutoB): AutoC = AutoC(b.s.lift(3).getOrElse('-'))
}
val conv = new AutoConversion(ab :: bc :: HNil)
conv
将具有预期的静态类型(并实现
Conversion[AutoA, AutoC]
)。
关于scala - 折叠具有未知类型的 HList,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35127196/
在学习无形时,我想知道为什么这不能编译: def someHList[H <: HList]: H = HNil 因为 HNil 对象扩展了扩展 HList 的 HNil 特性? 在返回一些 HLis
偶.head不起作用。 我需要做哪些改变才能使这项工作发挥作用? import shapeless._ import HList._ import Nat._ scala> case class Fo
我正在编写一个通用表格查看器,它应该能够显示任何类型的 Seq[Row]其中 Row B.sort(hlistNthLens[R,nat(ci)]))(tab.hdrs(ci).toString))
鉴于以下 case class A(value:Int) case class B(value:String) val h:Option[A] :: A :: Option[B] :: Option[
我正在寻找一种将两个 HList 压缩在一起的方法。第一个是从以其通用表示形式转换的案例类生成的,第二个是手动定义为 Nat 的 HList。 因此,我期望一个元组(或 2 成员 HList)包含案例
假设我有一个案例类: case class Foo(num: Int, str: String, bool: Boolean) 现在我还有一个简单的包装器: sealed trait Wrapper[
我正在学习 shapeless,目前我正在尝试创建一个执行以下操作的函数:给定一个 HList 类型,它返回 None 的 HList,Option 类型对应给定 HList 类型。 例如: crea
我想创建相当于: def toTupleN[A1, ..., AN, L <: HList](l: L): TupleN[A1, ..., AN] 代码使用 toTupleN只有当只有一个 N 时才应
这个问题来源于我之前的问题:What does HList#foldLeft() return? 我有这个场景: class Cursor { } trait Column[T] { def r
例如,如果我有一个 HList: HList>> list = ... 有没有办法将每个元素应用于柯里化(Currying)函数: F>> f = ... 这样我就能以某种方式得到 D ? 此外,如果
我正在尝试实现获取第一个元素的通用函数: import shapeless.ops.hlist.IsHCons import shapeless.{Generic, HList} object App
假设我们有这个: def join[A, B](a: A, b: B) def join[A, B, C](a: A, b: B, c: C) // etc 基本上有很多用于最多 20 个类型参数的重
我正在尝试以下类(class) import shapeless._ import syntax.std.tuple._ class TestedClass[HL](nodes: HL) {
下面的代码似乎很明显可以编译和运行 case class Pair(a: String, b: Int) val pairGen = Generic[Pair] object size extends
我有一个复杂的类型层次结构,但要分解它有两个基本特征:Convertable和 Conversion[A conv.convert(automaton)) } override def conv
假设我有一个像这样的类型类: trait Select[A] { def select(selector: String): Set[A] } typeclass 提供了“给定一个选择器字符串,给
我想做这样的事情: def run(subjects: List[Subject]) = { val configs = compute() subjects.map(s => configs
我一直在尝试使用 HList创建记录。 我一直在使用 HList-GHCSyntax 中定义的运算符. 到目前为止它工作得很好,让我可以写这样的东西: myRecord = (param1 .=.
HList package是基于现在古老的 Haskell 技术。一个简单的问题是:考虑到过去 8 年 Haskell/GHC 开发的所有精彩新特性,“现代”HList 的构建方式会非常不同吗?我意识
我试图解决 this problem与无形。但是由于某种原因我无法在 HList 上映射.我会让代码不言自明。 import shapeless._ import HList._ case class
我是一名优秀的程序员,十分优秀!