回答情况：
提问时间：
问题标签：
当我学习无形体的时候，我想知道为什么它不编译：既然HNil对象扩展了扩展HList的HNil特性？在返回某些HList的特征中定义一个方法的正确方法是什么，它只在扩展类中实现？我想做以下几件事： def someHList[H <: HList]: H def someHList[H <: HList] = H
浏览 5修改于2016-12-07得票数 4
回答已采纳
我正在寻找一种将两个HList压缩在一起的方法。第一个是从在其泛型表示中转换的case类生成的，第二个是手动定义为Nat的HList。因此，我希望case类中有一个带有一个字段的元组(或2个成员HList)，并与Nat相关联。 gen: Generic.Aux[A, R],
zipper: Z
浏览 3修改于2017-08-04得票数 3
回答已采纳
我正在编写一个通用的表查看器，应该能够显示任何类型的Seq[Row] where Row <: HList。Table类如下所示：当有人单击表查看器的某一列时，我希望按该列的顺序重新绘制整个表我们确实需要保留所有的类型信息，以便编译器知道HList的某个特定字段是列表的第n个元素，这样镜头的构造才能在类型级别工作。
这当然是使用shapeless编程的难点所在。所需的函数
浏览 1修改于2014-08-10得票数 3
1回答
简单的问题是:考虑到过去8年Haskell/GHC开发的所有精彩的新特性，“现代”HList的构建会有很大的不同吗？我意识到这里的答案很可能是no，对于HList这一特殊情况，当时使用的技术仍然产生了最优雅的解决方案。
我已经阅读了页面上记录的许多项目，唯一真正的竞争对手(即作为可供黑客使用的库实现的竞争对手)是。
浏览 3修改于2012-08-23得票数 30
回答已采纳
如何将HList转换为HList of HLists，如下面的片段所示。(_0) :: in(_2) :: HNil}
def magic[In <: HList, Out <: HList](in: In) : Out = ???
浏览 1修改于2014-07-02得票数 4
回答已采纳
我试图编写一个函数，它将接受不同类型的序列的HList，将其转换为包含原始HList元素的笛卡儿积的Seq[HList]，并对结果序列进行迭代。._
implicit def `case`[T <: HList))(combine).foreach(println)
浏览 0修改于2018-04-22得票数 2
回答已采纳
我正在学习无形状的知识，目前我正在尝试创建一个函数来执行以下操作:给定一个HList类型，它返回HList of Nones，而Option类型对应于给定的HList类型。create[String :: Int :: HNil] // returns None[String] :: None[Int] :: HNildef create[A <: HListif HT is HNil HNil else Option.empty[HT] :: create[TT] 看
浏览 3修改于2016-05-21得票数 3
回答已采纳
type TYPE以及实现 type TYPE = U并根据HList的类型参数，将String的HList映射为TypedString的HList。, TO <: HList](implicit
c: Convert[, TO <:
浏览 0修改于2017-05-23得票数 0
回答已采纳
我正在尝试通过转换为HList来将case类转换为另一个类。case class Source(p1:S1, p2:S2) -> HList[S1:+:S2] -> HList[D1:+:D2] ->case class Destination(p1:D1,p2:D2) 我可以通过gem.to从源文件转换为HList文件，通过gen.from文件从HList文件转换为目标文件。我为Source上的每种类型的参数编写了一个转换器，将其转换为Destination中的相应类型，但我不确定如何
浏览 17修改于2019-12-11得票数 2
(但这些都是光滑的HList，而不是普通的无型HList)我在谷歌上找到了这条线
是否有一种类型错误的方法可以访问光滑的HList元素？[L <: shapeless.HList](list: L) { import nat._
import ops.hlist._
浏览 1修改于2017-09-15得票数 3
回答已采纳
1回答
假设我们有如下方法 (implicit mapper : Mapper[poly.type, T]): Unit= {}object f extends (Set ~>> String) {如何更改或扩
浏览 0修改于2016-06-27得票数 0
回答已采纳
2回答
RepOut]): Service[Req, RepOut] =} trait Resolver[L <: HList, In] { def apply(l: L): Service[In, Out]}
def apply[L &
浏览 0提问于2017-04-28得票数 1
回答已采纳
2回答
给定一个没有形状的HList，其中每个列表元素共享相同的类型构造函数，那么如何对HList进行排序呢？true) :: HNil ???我试着像这样实现序列：
object option
浏览 2提问于2013-04-21得票数 18
回答已采纳
给定一个类型参数(即HList )，我希望创建一个HMap，其中包含HList类型的typeTags作为键，如下所示：def createMap[L <: HList](valueFunction:...):HMap = { //values of HMap is created with
浏览 3提问于2016-07-04得票数 0
回答已采纳
现在，我要- 作为HList l -> [e]iA = [1, 2, 3] :: [Int]
‘a0’ arising from a use of ‘hMapOut’
prevents the constraint ‘(Data.HList.HL
浏览 5修改于2022-03-03得票数 1
回答已采纳
2回答
sum extends Poly { }
// Error: could not find implicit value for parameter reducer: shapeless.ops.hlist.LeftReducer如何改变它，以减少任何数字的HList？._
trait Bar {
浏览 6修改于2016-12-19得票数 1
回答已采纳
1回答
在下面的示例中，看来HCons一个未定义的对象到一个HNil： def get(a: A): B}
def getAll[L <: HList, O <: HList](a: A, l: L): Oimplici
浏览 2修改于2020-11-06得票数 0
回答已采纳
我正在尝试使用类型为(HL, Int)的累加器在HList上执行foldLeft，其中HL是一个HList。下面的程序无法编译。在元组中包装HList会破坏leftFolder的隐式解析。我错过了什么？.{:+:, ::, CNil, Coproduct, Generic, HList, HNil, Lazy, Poly2} implicit def caseAtSimple[
浏览 21修改于2020-11-05得票数 1
回答已采纳
我想我需要一个HList，它的所有元素都是某种类型的子类型。LUBConstraint似乎是我想要的，实际上它确实限制了这样一个HList的构造--但是我不知道如何再次获得证据，这样我就可以在HList上映射(实际上，遍历，因为它需要一元)，并在每个元素上调用一个方法此外，我希望由遍历操作产生的HList类型与输入HList的类型完全相同。用例是一种功能性的“侦听器列表”-- HList的所有元素都是“监听器”，必须通知它们“事件”，接受或拒绝它们，并用更新的“内部状态”返回它们自己的新
浏览 3提问于2015-05-19得票数 9
回答已采纳
:: [*] -> * where Cons :: a -> HList l -> HList (a ': l)
All p Nil = ()GHC抱怨说：
‘HList
浏览 1修改于2015-01-19得票数 2
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号