腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
使用
超
类型
过滤
HList
scala
、
shapeless
._ 给定一个类似这样的
HList
case class Foo(a: String, b: Int)
hlist
.filter[KeyTag[Tagg
浏览 9
提问于2020-04-06
得票数 0
回答已采纳
2
回答
ghc-7.6依赖
类型
的类实例
haskell
、
ghc
、
dependent-type
异构清单是ghc 7.6新型依赖型设施的例子之一: HNil ::
HList
'[]显然,我们希望
HList
在Show中,但是我只能想出以下
使用
相互递归约束(
超
类)的工作类实例化: show HNil = "[]" in
浏览 1
提问于2012-10-20
得票数 7
1
回答
如何
使用
shapeless来拥有相同
类型
但具有不同泛型的列表?
scala
、
types
、
shapeless
我需要将一个
类型
定义为Action[T >: MyType]的列表,其中MyType目前等同于Any,但它可能会发生变化。 List[Action[T]]在很多情况下都不适合,编译器也无法解决它。所以我想我可以用
HList
,但我真的是个新手。我从type ListOfAction =
HList
开始,但是我希望列表的元素都是Action,但是我不知道如何指定列表应该看起来像Action[Double],Action[Int],Action[String],...而且不仅仅是可能的
类型
。
浏览 1
提问于2015-08-26
得票数 1
2
回答
无形状的
HList
文字
类型
被清除了吗?
scala
、
shapeless
、
hlist
我试图通过文字
类型
来
过滤
一个
HList
,但是它不能工作,它只是
过滤
所有的字符串:import shapeless.ops.
hlist
._ implicit sel: Filter.Aux[Labels
HList
应该维护文本
类
浏览 10
提问于2018-10-22
得票数 1
2
回答
在
HList
中找到一个元素
haskell
、
hlist
我试图编写两个函数来从
HList
中提取一个值,但我似乎无法让GHC感到高兴。 instance (Typeable t, Typeable b, OfType (
HList
ts) b) => OfType (
HList
(t ': ts)) b where我试图在约束中
使用
浏览 1
提问于2016-02-07
得票数 3
回答已采纳
1
回答
过滤
器在无形状Scala中的
使用
list
、
scala
、
filter
、
shapeless
、
heterogeneous
很容易按
类型
过滤
不成形的
HList
:
hlist
.filter[Int]因此,在
浏览 3
提问于2013-11-10
得票数 8
回答已采纳
2
回答
Haskell:根据
类型
过滤
异类列表
haskell
、
filter
我们可以
使用
成对序列在Haskell中创建异构列表:a *: b = (a, b)
hlist
= 1 *: "hello" *: Just 3 *: () -- (1, ("hello", (Just 3, ()))) 有没有办法对这些列表进行
类型
级
过滤
也就是说,定义一些多态函数hfilter,以便对于不同<
浏览 2
提问于2012-02-22
得票数 15
回答已采纳
1
回答
无法
过滤
任意HLists
scala
、
shapeless
所以我尝试
过滤
HList
上的
类型
,它的
类型
可能会有所不同:import ops.
hlist
._, ops.traversable._ type H <:
HList
浏览 0
提问于2015-12-08
得票数 1
1
回答
如何按键
过滤
LabelledGeneric记录?
scala
、
shapeless
我有下一段代码,用于
类型
类实例的创建: implicitrecord and get a record without }那么,我如何
过滤
记录,是否对hideFieldsW
浏览 2
提问于2018-11-05
得票数 1
回答已采纳
1
回答
找不到具有未成形yield的flatMap
scala
、
shapeless
、
type-level-computation
get: PaymentEvent => From, } 编译器报告错误: Error:(42, 19) could not find implicit value for parameter mapper: shapeless.ops.
hlist
.FlatMapper
浏览 8
提问于2019-04-16
得票数 1
回答已采纳
1
回答
在
HList
上执行协变
过滤
器
scala
、
shapeless
我打算以一种协变的方式在
HList
上进行
过滤
--我也想包括子类。因此,Foo上的协变量
过滤
器应该捕获Foo和Bar的元素。我已经构建了这个示例,尝试了<:!<,看看它是否做了我希望它做的事情。._ trait CoFilter[L <:
HList
, U] extends DepFn1[L] { typeOut <:
HList
} object CoFilter
浏览 3
提问于2014-09-07
得票数 5
回答已采纳
1
回答
这个GADT实际上有
类型
的角色表示吗?
haskell
、
gadt
此数据
类型
可以具有type role HCons' representational representational,它允许
使用
coerce添加或删除应用于元素的新
类型
,而无需遍历列表。data HNil' = HNil'但是,这些列表的语法不如
使用
下面的GADT的语法好
浏览 2
提问于2014-06-14
得票数 13
回答已采纳
2
回答
确保异类列表包含一个
类型
类
haskell
、
functional-programming
、
type-level-computation
a where Nil ::
HList
'[]这很棒;然而,一旦我发现自己
使用
了这些异构列表,我发现自己经常想要表达这样的想法,即每个
类型
都属于一个特定的
类型
类。我天真的第一个解决方案是为每个新
类型
类完全重写
HList
数据
类型
。首先,每当我想要一个新的
类型
类时
浏览 12
提问于2018-06-02
得票数 2
回答已采纳
1
回答
HList
的证据保留LUB约束
scala
、
shapeless
、
hlist
我想我需要一个
HList
,它的所有元素都是某种
类型
的子
类型
。LUBConstraint似乎是我想要的,实际上它确实限制了这样一个
HList
的构造--但是我不知道如何再次获得证据,这样我就可以在
HList
上映射(实际上,遍历,因为它需要一元),并在每个元素上调用一个方法(存在于LUB
类型
中)。此外,我希望由遍历操作产生的
HList
类型
与输入
HList
的
类型
完全相同。但是,我还希望不
使用
asInstan
浏览 3
提问于2015-05-19
得票数 9
回答已采纳
1
回答
非形状
Hlist
的通用Poly2文件夹大小写
scala
、
generics
、
fold
、
shapeless
、
hlist
我正在尝试转换下面的
HList
至 case class C(value: Int) implicit def default[T, L <:
HList
] = at[None.type, L]((t, acc) => acc) implicit def someDiameter[T,
浏览 1
提问于2015-02-18
得票数 5
回答已采纳
1
回答
无形状筛选选项列表
scala
、
shapeless
我有不同长度的元组,以选项[(RA,A)]作为元素,并希望对元组进行某种
过滤
,使其只产生一些元组。请注意,在编译时,我没有一些或没有,但只有选项。我想我有一个递归的问题,但无法描述。我想到了如下内容(我已经将元组转换为
HList
): case h :: HNil =>
浏览 0
提问于2018-11-27
得票数 1
回答已采纳
1
回答
可扩展记录(我认为)
haskell
请注意,我不要求解决方案是可扩展的,我需要处理的
类型
的数量是有限的和已知的,但当然,一个可扩展的解决方案不会有什么坏处。
浏览 0
提问于2017-06-21
得票数 1
1
回答
提升
类型
的模式匹配
haskell
、
pattern-matching
、
higher-kinded-types
、
type-kinds
我们可以为*
类型
的参数编写单个的、全面的实例。如果我们注释掉test4的签名,GHCi将推断
类型
为但这不应该是必要的显然,我已经为如果我将ListLen参数的
类型
更改为有
类型
的[*] (即删除ListLen中的
HList
包装器及其实例),问题仍然是一样的。我试图编写为我构建
类型
列表的代码,因此我将不必写出显式的
类型
浏览 5
提问于2013-02-13
得票数 5
回答已采纳
1
回答
如何正确定义f-bound多态
类型
的存在词
scala
、
existential-type
、
type-level-computation
、
f-bounded-polymorphism
[X]]} Merge
类型
构造函数表示追加两个列表的
类型
结果它需要跟踪所有嵌套
类型
。所以真正的问题是Self
类型
和self方法。它们看起来很丑,我想摆脱它们。我相信f- could多态性可以帮助我以自然的方式
使用
它。我需要在Merge
类型
上进行抽象,所以我用HAny存在
类型</em
浏览 7
提问于2017-02-04
得票数 4
回答已采纳
1
回答
HList
带DataKinds,种类不可推广
haskell
、
gadt
、
type-families
、
data-kinds
、
constraint-kinds
我有这个代码片段,它
使用
了大量的GHC扩展:{-# LANGUAGE DataKinds #-} All p (x ': xs) = (p x, All p xs) 我想
使用
自己的
HList
而不是'[],因为实际的
HList</e
浏览 1
提问于2015-01-19
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
利用Python爬取OPGG上英雄联盟英雄胜率及选取率信息
学习Java编程-Java中IO流
【微服务】160:Elasticsearch高级使用
SpringCloud微服务架构篇6:Zuul过滤器
Python基础教程 指定超类
热门
标签
更多标签
活动推荐
运营活动
广告
关闭
领券