shapeless 相关问题

无形是(一种探索)Scala的类型类和基于依赖类型的泛型(aka polytypic / polymorphic)编程库。

如何将元素附加到KList?

如何在保持KList原始类型的同时向KList追加元素?我仍然不熟悉Shape,对于要从函数中使用什么类型还不清楚。下面是一个示例...

回答 1 投票 1

用证人提取类型标签

我正在用见证人进行一些实验,现在试图了解它是如何工作的。考虑以下示例:import shapeless.syntax.singleton._ import shapeless.labelled.FieldType import ...

回答 1 投票 2

仅对带有类标签的参数实施函子映射

我具有以下数据结构:类MyDaSt [A] {def map [B:ClassTag](f:A => B)= // ...}我想实现一个Functor实例,以便能够使用临时多态性。 ...

回答 1 投票 0

为什么编译器不推断依赖类型?

我正在学习无形,并且对依赖类型有一些误解。这是示例:对象App {trait Converter [A] {类型Output def convert(a:A):Output}隐式def ...

回答 1 投票 2

将HList转换为另一个HList

我正在尝试通过转换为HList将一个案例类转换为另一个案例类。案例类Source(p1:S1,p2:S2)-> HList [S1:+:S2]-> HList [D1:+:D2]->案例类Destination(p1:D1,p2:D2)我可以.. 。

回答 1 投票 2

Scala-创建类型集合的惯用方式

问题假设我有一个ADT,它看起来像密封特征TT案例类A(...)扩展了TT案例类B(...)扩展了TT案例类C(...)扩展了TT //。 ..很多其他人,我还有...

回答 1 投票 1

尝试在使用精炼时保持未包装的类型

我正在尝试使用精致的来基于基元创建智能构造函数,并避免包装,因为在大型集合中可能使用相同的类型。我这样做对吗?似乎可以工作,但是有点...

回答 1 投票 1

无形状的副产品不会编译

我正在尝试无形,现在尝试了解通用副产品。这是我尝试的方法:object ShapelessExperiments {最终案例类Test1()最终案例类Test2()...

回答 1 投票 0

无法在Shapeless FoldRight之后将HList转换为元组

我正在尝试使用Scala将CSV文件的解析器创建到case类中,并且正在尝试使用Shapeless使它通用。我希望我的解析器允许用户指定提取函数...

回答 1 投票 0

是否可以通过单个HList定义多个隐式证据?

我有一段代码,概念上类似于以下代码://库代码特征Support [K,V] def partialHandler [K,V](key:K,value:V)(隐式ev:Support [K ,V])= ??? //用户代码...

回答 1 投票 1

使用无形在scala中获取参数化类的名称

我想获取使用无形状的作为参数传递给函数的类的名称。我已经尝试过:def sayMyName [T](t:T):字符串= Typeable [T] .describe //错误:需要类类型,但T ...

回答 1 投票 1

是否有合并两个n元组的好方法?

我有2个n元组,我需要将它们的值合并为函数foo的参数。当前,我使用数组保存合并的值,这使函数调用看起来很愚蠢。我想知道是否有...

回答 1 投票 0

是否可以从Shapeless HList中检索特定元素的Nat位置?

给出任何HList,例如1 ::“ str” :: true :: HNil,有没有一种(简单的)方法来找到与任何特定列表元素的位置相对应的Nat,例如f(hlist,true)==> Nat._2?可以一样吗...

回答 1 投票 1

无形中Nat的定义中的类型声明是什么?

这是无形包装中Nat的定义:特征Nat {类型N ] >>

回答 1 投票 1

如何从变量列表中创建Shapeless HMap

我正在使用scala-exercises中的以下代码创建无形状的HMap。导入shapeless.HMap类BiMapIS [K,V]隐式val intToString = new BiMapIS [Int,String]隐式val stringToInt = ...

回答 1 投票 1

如何使用Scala中的任何库将可能嵌套的通用映射Map [String,Any]转换为case类?

我对反射没有太大的兴趣,此答案在某些情况下使用无形状的作品(但似乎有很多边缘情况),无形的代码将Map [String,Any]转换为case类无法处理...]]] >

回答 3 投票 -5

保利倍回报的类型不正确地推断

我试图创建一个折叠在FOOS的元组聚函数:壳体类Foo [A](A:A)对象extractFold延伸POLY2 {隐含DEF默认[A,如

回答 2 投票 0

一个案例类的字符串字段的调整值

我写的用无形的,需要一个案例类的实例,并修剪是字符串字段的所有值的通用函数。此案类可以有可选字段,嵌套的对象,列表...

回答 1 投票 5

在HList类型级映射

我手卷我的数据库API和将基本上喜欢列族建模为列的HList,后者松散是一个序列[_],所以地方我有一个类型如列[字符串] :: ...

回答 1 投票 3

无形的案例类转换

我使用shapeless进行case类转换,我有一个2 case类:import shapeless._ case class Foo(id:Int,name:String)case class Bar(id:Int,name:String,price:double)val fooGen = ...

回答 2 投票 4

© www.soinside.com 2019 - 2024. All rights reserved.