1回答
我正在尝试定义一个类型类，以便HList L包含一个特定的类型A。type Outobject Contains {
new Contains[H :: L] { }当然，由于ev: H ==
浏览 9提问于2017-02-05得票数 3
回答已采纳
1回答
我希望将包含路径依赖类型映射的地图从外部映射到内部：import shapeless.ops.hlist._
def inner: Inner def get(outer: Outer): outer.Inner}
理论是，通过使用HList，我可以避免使用类型选择器，并确保程
浏览 2提问于2018-01-17得票数 3
回答已采纳
2回答
我试图编写两个函数来从HList中提取一个值，但我似乎无法让GHC感到高兴。
第一个函数将具有签名extract :: HList a -> [b]，它从列表中提取b类型的所有元素。我只通过要求a中的类型有Typeable实例才成功地编写了它。我试图在约束中使用类型等式和不等式，但这只给出了重叠的实例。我要编写的第二个函数将有签名extract' :: Contai
浏览 1提问于2016-02-07得票数 3
回答已采纳
2回答
，我发现自己经常想要表达这样的想法，即每个类型都属于一个特定的类型类。我天真的第一个解决方案是为每个新类型类完全重写HList数据类型。首先，每当我想要一个新的类型类时，我都需要重写它。此外，在我的旧的异构列表上工作的函数不能在新的列表上工作。
我的下一个解决方案是使用空<e
浏览 12提问于2018-06-02得票数 2
回答已采纳
此数据类型可以具有type role HCons' representational representational，它允许使用coerce添加或删除应用于元素的新类型，而无需遍历列表。data HNil' = HNil'但是，这些列表的语法不如使用下面的GADT的语法好
data HList (l::[*]) whereHNil :: HList<
浏览 2提问于2014-06-14得票数 13
回答已采纳
2回答
异构清单是ghc 7.6新型依赖型设施的例子之一： HNil :: HList '[]显然，我们希望HList在Show中，但是我只能想出以下使用相互递归约束(超类)的工作类实例化：
instance Show (HList '[]) whe
浏览 1提问于2012-10-20得票数 7
以下是代码： def doStuff(): Unit class B implicit val serviceC = new ServiceC
service.doStuf
浏览 2提问于2014-06-05得票数 3
回答已采纳
有一个关于与GADT一起使用的功能性依赖项的。事实证明，问题不在于将这两者结合在一起，因为在不使用GADT的情况下也会出现类似的问题。这个问题没有得到明确的回答，在评论中有一场辩论。问题所在
我试图创建一个异构列表类型，它在类型中包含它的长度(有点像元组)，当我定义返回列表的第一个元素的函数" first“时，我遇到了编译错误(下面的代
浏览 7提问于2022-07-18得票数 2
1回答
我想我需要一个HList，它的所有元素都是某种类型的子类型。LUBConstraint似乎是我想要的，实际上它确实限制了这样一个HList的构造--但是我不知道如何再次获得证据，这样我就可以在HList上映射(实际上，遍历，因为它需要一元)，并在每个元素上调用一个方法(存在于LUB类型中)。此外，我希望由遍历操作产生的H
浏览 3提问于2015-05-19得票数 9
回答已采纳
在GHCI中，在列表[]中使用:info将显示它是同类的* -> *type [] :: * -> *
当我可以用多个元素(例如1，2，3)构造一个列表时，我如何解释这一点
浏览 4提问于2020-08-08得票数 2
回答已采纳
1回答
对于习惯于Scala类型级编程的开发人员来说，这似乎是一个经典的问题，但我找不到(或者我不知道如何寻找)解决方案或模式。假设我有一个这样的类：
abstract class TypedTest[Args <: HList](implicit val optMapper: Mapped[Args, Option]) {HList类型参数(Args)实例化它，并且该类提供了一个方法来检索包含Option (OptArgs)中
浏览 2提问于2016-08-10得票数 4
在计算异构列表的长度时，我遇到了不明确类型变量的问题。问题似乎是长度函数在HList的元素中不是多态的。并检索i-th元素： hIndex :: HList xs -> HNat i -> y
instance HIndex假设我构造了一个HList，它
浏览 1提问于2016-05-07得票数 4
回答已采纳
我正在编写一个通用的表查看器，应该能够显示任何类型的Seq[Row] where Row <: HList。Table类如下所示：当有人单击表查看器的某一列时，我希望按该列的顺序重新绘制整个表在第一次幼稚的尝试中，我会使用构建如下
浏览 1提问于2014-08-10得票数 3
1回答
我使用的是卡拉兹状态单片，我有以下问题：case class Repository(instances: Vector[Instance], vpcs例如，我想根据更新函数更新向量中的一些元素，如下所示：
val applicative = Applicative[({type f[a] = State[Repository, a]})#f].replaceFirst(matchingReso
浏览 1提问于2015-12-04得票数 1
回答已采纳
4回答
我希望执行类似于(在F#中)的转换：
type TestList = TLBool of bool list是否有一种方法可以对此进行编码，使我们“知道”，虽然Map包含不同的值，但每个位置的值在包含列表的元素之间是相同的类型吗？Maps的静态大小一旦构造，每个list<
浏览 3提问于2015-06-25得票数 2
1回答
我正在尝试实现一个在调用方提供的HList上进行参数化折叠的方法。HList可以有任意数量的相同类型的元素(> 0)。：“无法找到参数文件夹的隐式值: shapeless.ops.hlist.RightFolderL，(Int，shapeless.HNil.type)，combine.type”。从中可以清楚地看到编译器希望看到它可以折叠HList的证据。
浏览 2提问于2019-08-28得票数 0
回答已采纳
1回答
我的库中有一个用例，其中一个HList A被认为可以转换为HList B，如果包含-- HList B 的所有元素--而不考虑排序的。我需要在两者之间进行隐式转换，如下所示：implicit def toOther[A <: HList, B<: HList](l: A): B = l.fil
浏览 5提问于2017-04-18得票数 2
回答已采纳
2回答
我正在尝试理解Linux内核中链表和哈希表的实现。指向该实现的链接是。我理解链表的实现。但是我有点搞不懂为什么hlist (**pprev)中使用了双指针。hlist的链接是。我知道hlist用于实现哈希表，因为列表的头部只需要一个指针，而且它节省了空间。为什么不能使用单指针(就像链表一样的*prev )？请帮帮我。
浏览 1提问于2010-06-17得票数 20
回答已采纳
云服务器
ICP备案
云直播
即时通信 IM
实时音视频
腾讯云开发者
