使用超类型过滤HList
超类型过滤HList是一种编程技术，用于过滤HList（Heterogeneous List）中的元素，只保留满足特定超类型约束的元素。HList是一种特殊的列表数据结构，可以包含不同类型的元素。
超类型过滤HList的优势在于可以根据特定的超类型约束，对HList进行筛选和处理，从而提高代码的可读性和可维护性。通过过滤HList，可以只保留符合特定超类型的元素，避免了在处理HList时需要手动检查元素类型的繁琐操作。
超类型过滤HList的应用场景包括但不限于：
- 数据处理：在数据处理过程中，可以使用超类型过滤HList来筛选出特定类型的数据，进行进一步的处理和分析。
- API设计：在设计API时，可以使用超类型过滤HList来过滤出符合特定超类型约束的参数，提高API的健壮性和可用性。
- 类型安全性：通过超类型过滤HList，可以在编译期间捕获类型错误，提高代码的类型安全性。
腾讯云相关产品中，与超类型过滤HList相关的产品和服务可能包括：
- 腾讯云函数（SCF）：腾讯云函数是一种事件驱动的无服务器计算服务，可以通过编写函数来处理事件。可以使用腾讯云函数来实现超类型过滤HList的功能。
- 产品介绍链接：https://cloud.tencent.com/product/scf
请注意，以上仅为示例，实际上腾讯云可能没有直接与超类型过滤HList相关的产品或服务。
相关·内容
1回答
import shapeless._
import shapeless.labelled._
import shapeless.tag._ 给定一个类似这样的HList case class Foo(a: String, b: Int)
val hlist = LabelledGeneric[Foo].to(Foo("Hello", 42)) 和一个像这样的Witness val aW = Witness("a") 我希望这两个表达式 hlist.filter[String with KeyTag[Symbol with Tagged[aW.T], Stri
浏览 9提问于2020-04-06得票数 0
回答已采纳
我需要将一个类型定义为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中提取一个值，但我似乎无法让GHC感到高兴。
第一个函数将具有签名extract :: HList a -> [b]，它从列表中提取b类型的所有元素。我只通过要求a中的类型有Typeable实例才成功地编写了它。
class OfType a b where
oftype :: a -> [Maybe b]
instance OfType (HList '[]) b where
oftype = const []
instance (Typeable t, Typeable b, OfType (HList ts) b)
浏览 1提问于2016-02-07得票数 3
回答已采纳
我们可以使用成对序列在Haskell中创建异构列表：
type a *: b = (a, b)
a *: b = (a, b)
infixr 5 *:
hlist :: Int *: String *: Maybe Float *: ()
hlist = 1 *: "hello" *: Just 3 *: () -- (1, ("hello", (Just 3, ())))
有没有办法对这些列表进行类型级过滤？也就是说，定义一些多态函数hfilter，以便对于不同类型a、b和c
hfilter :: a *: b *: c *: a *: b *: a *:
浏览 2提问于2012-02-22得票数 15
回答已采纳
我正在尝试定义一些这样的结构 case class Transformer[From, To](
name: String,
get: PaymentEvent => From,
to: From => To 我想过滤名称是集合一部分的元素 class filterName(names: Set[String]) extends lowPriority {
implicit def
浏览 8提问于2019-04-16得票数 1
回答已采纳
1回答
我打算以一种协变的方式在HList上进行过滤--我也想包括子类。因此，Foo上的协变量过滤器应该捕获Foo和Bar的元素。我已经构建了这个示例，尝试了<:!<，看看它是否做了我希望它做的事情。
/***
scalaVersion := "2.11.2"
libraryDependencies ++= Seq(
"com.chuusai" %% "shapeless" % "2.0.0"
)
*/
import shapeless._
final class HListOps[L <: HList](l
浏览 3提问于2014-09-07得票数 5
回答已采纳
2回答
我最近在vinyl上读到，它使用奇怪的“种类列表”类型。在阅读了一些关于种类和乙烯基的文章之后，我对它们有了一些直观的理解，并且我已经能够将它们组合在一起
{-# LANGUAGE DataKinds,
TypeOperators,
FlexibleInstances,
FlexibleContexts,
KindSignatures,
GADTs #-}
module Main where
-- from the data kinds page, with HC
浏览 0提问于2013-11-26得票数 6
回答已采纳
1回答
我正在尝试转换下面的HList
Some(C(15)) :: None :: Some(B(55)) :: None :: Some(A(195)) :: HNil
至
C(15) :: B(55) :: A(195) :: HNil
以下是我目前所拥有的：
import shapeless._
case class A(value: Int)
case class B(value: Int)
case class C(value: Int)
trait folderLP extends Poly2 {
implicit def default[T, L <
浏览 1提问于2015-02-18得票数 5
回答已采纳
1回答
我列出了一个异构类型的列表(至少我是这么想的)：
data Nul
data Bits b otherBits where
BitsLst :: b -> otherBits -> Bits b otherBits
NoMoreBits :: Bits b Nul
现在，给定一个输入类型b，我想用b类型遍历Bits的所有板块，并对它们进行总结，而忽略其他带有b' /= b类型的板子。
class Monoid r => EncodeBit b r | b -> r where
encodeBit :: b -> r
cla
浏览 0提问于2015-06-17得票数 7
回答已采纳
1回答
有没有办法将自然转换(例如Option ~> Either[String, *])映射到KList (例如带有UnaryTCConstraint的HList )上？对于KList来说，这似乎是很自然的事情。 具体地说，我试图做到以下几点： object myNaturalTransformation extends (Option ~> Either[String, *]) {
def apply[T](a: Option[T]): Either[String, T] = a.toRight("oh noe!")
}
def doStuff[KList &l
浏览 26提问于2020-10-31得票数 1
回答已采纳
我有一个异构的列表和一个函数
type ('ls,'tl) hlist =
| Nil : ('a,'a) hlist
| Cons: 'a * ('l, 't) hlist -> ('a -> 'l, 't) hlist
let rec headlist l =
match l with
| Cons (h, t) -> Cons (head h, headlist t)
| Nil -> Nil
并希望遍历不同类型的hlist of lists，并构建每个列表的头
浏览 2提问于2020-05-17得票数 2
回答已采纳
我正在尝试学习shapeless (2.0.0)。这似乎是一个令人惊叹的工具，我对此感到非常兴奋，但我在前进中遇到了问题。因为还没有太多的文档，所以我一直在研究示例和源代码。我遇到了困难，因为大多数示例使用了多个无形状的概念，并且在源代码中，一个无形状的类型通常会利用其他类型，所以可以说，我最终陷入了无形状的兔子洞。我认为列出shapeless的重要特性以及每个特性的简单描述会很有帮助。因为我显然没有资格列出这样的列表，所以我在问你，Stack Overflow的人类！
对于每个功能，请尽可能多地包含以下内容：
功能的名称和导入方法。对功能的简短描述。此功能为什么重要/为什么有人会费心使用它？
浏览 33提问于2014-01-01得票数 17
我使用隐式def来构建递归的HList类型，以匹配几种更高类型的HList。我深受的启发。
这段代码工作得很好：
sealed trait HList {
type Plus[L <: HList] <: HList
}
class HNil extends HList {
type Plus[L <: HList] = L
def ::[T](v: T) = HCons(v, this)
}
case class Appender[L1 <: HList, L2 <: HList, R <: HList](fn: (L1, L2) =&g
浏览 2提问于2016-04-29得票数 8
回答已采纳
2回答
我正在尝试理解Linux内核中链表和哈希表的实现。指向该实现的链接是。我理解链表的实现。但是我有点搞不懂为什么hlist (**pprev)中使用了双指针。hlist的链接是。我知道hlist用于实现哈希表，因为列表的头部只需要一个指针，而且它节省了空间。为什么不能使用单指针(就像链表一样的*prev )？请帮帮我。
浏览 1提问于2010-06-17得票数 20
回答已采纳
'[]或':在Haskell代码中意味着什么？一些例子-
data OrderPacket replies where
NoOrders :: OrderPacket '[]
data Elem :: [a] -> a -> * where
EZ :: Elem (x ': xs) x
浏览 5提问于2015-08-03得票数 8
回答已采纳
我试图为构建一个异构列表递归类型。我有问题，连接2 Hlist和保持一致的类型。
trait HList {
def ::[U](v: U): HList
}
class HNil extends HList {
override def ::[T](v: T) = HCons(v, this)
}
case object HNil extends HNil
case class HCons[T, U <: HList](head: T, tail: U) extends HList {
def ++[V <: HList, R <: HList]
浏览 2提问于2016-04-28得票数 0
回答已采纳
所以我试着这样做：
@ import shapeless._
import shapeless._
@ case class A(); case class B(); case class C()
defined class A
defined class B
defined class C
case class Stuff(a: List[A], b: B, c: List[C])
@ def stuffs[H <: HList](hl:H)(
implicit
pb:Partition[H,B],
pa:Partition[H,List[A]],
pc:Partit
浏览 2提问于2015-12-05得票数 1
我有特征标记
trait TypedTrait {
type TYPE
}
以及实现
case class TypedString[U](value: String) extends TypedTrait {
type TYPE = U
}
并根据HList的类型参数，将String的HList映射为TypedString的HList。
最简单的方法是创建convert方法(如中所述)：
val list = "Hello" :: "world" :: HNil
val mapped: TypedString[Int] :: Typed
浏览 0提问于2016-08-10得票数 0
回答已采纳
1回答
有人能解释一下吗：
singleton : (t : Type) -> t -> HList [t]
为什么这里用不了？t是指类型为Type的实例吗？
但为什么不这样做呢：
singleton : Type -> Type -> HList [Type]
浏览 1提问于2017-05-19得票数 1
回答已采纳
1回答
无型HList返回类型
、、、、
我正试图在我的代码中加入一些不成形的东西，并且陷入了一个令人尴尬的早期障碍。在下面的示例中，看来HCons一个未定义的对象到一个HNil：
trait HasValue[A, B] {
def get(a: A): B
def getAll[L <: HList, O <: HList](a: A)(implicit ga: GetAll[A, L]): O = ga.getAll(a, HNil)
}
trait GetAll[A, B] {
def getAll[L <: HList, O <: HList](a: A, l: L): O
}
impl
浏览 2提问于2020-11-06得票数 0
回答已采纳
我正在学习Scala中的类型级编程，我很好奇是否可以使用类型级编程来表示树或层次结构。
简单的例子是一棵多层次的树。
A_
|
B_
|C
|D
|
E
怎样才能代表这样的结构？
浏览 1提问于2015-02-19得票数 11
回答已采纳
给定两个相互了解的GADT代数和两个相互递归的解释器，我遇到了从类型A转换为类型h <：HList的问题，尽管在模式匹配的上下文中，应该暗示类型A是类型h。 有没有办法避免解释器中的asInstanceOf[h]调用？ abstract class KvpHList[H<:HList]
object KvpNil extends KvpHList[HNil]
case class KvpCons[H <: A :: T,A, T<:HList](head: KvpValue[A], tail: KvpHList[T])(implicit isHCons:
浏览 17提问于2019-05-29得票数 3
回答已采纳
我现在已经完成了一些HList的实现。一个基于Daniel Spiewak在Scala talk的土地上的高级魔法，另一个基于Apocalisp博客上的一篇文章。我们的目标是拥有一个异质列表，其中不是主要类型的异质，而是更高类型的异质。例如：
val requests = Request[String] :: Request[Int] :: HNil
我将能够在列表中进行映射，以执行请求，并生成更高类型的异类列表。所以：
requests.map(execute)
应该等于
String :: Int :: HNil
遗憾的是，我所有的尝试都导致了HList为Any。以下是最近一次尝试的代码：
浏览 0提问于2011-03-18得票数 30
有一个关于与GADT一起使用的功能性依赖项的。事实证明，问题不在于将这两者结合在一起，因为在不使用GADT的情况下也会出现类似的问题。这个问题没有得到明确的回答，在评论中有一场辩论。
问题所在
我试图创建一个异构列表类型，它在类型中包含它的长度(有点像元组)，当我定义返回列表的第一个元素的函数" first“时，我遇到了编译错误(下面的代码)。我不明白会发生什么，因为我所做的测试都有预期的结果。
我是数学家，也是编程和Haskell的初学者。
密码
我正在使用以下语言扩展：
{-# LANGUAGE GADTs, MultiParamTypeClasses, FunctionalDep
浏览 7提问于2022-07-18得票数 2
当我学习无形体的时候，我想知道为什么它不编译：
def someHList[H <: HList]: H = HNil
既然HNil对象扩展了扩展HList的HNil特性？
在返回某些HList的特征中定义一个方法的正确方法是什么，它只在扩展类中实现？
我想做以下几件事：
trait Parent {
def someHList[H <: HList]: H
}
object Child1 extends Parent {
def someHList[H <: HList] = HNil
}
object Child2 extends Parent {
def
浏览 5提问于2016-12-07得票数 4
回答已采纳
我想将一些case类转换为HList，然后用返回的HList索引进行压缩，然后用索引映射它：
class B[A]() {
def foo[H <: HList](tuple: A)(implicit gen: Generic.Aux[A, H],
zip: ZipWithIndex[H],
mapper: Mapper[UpdateOps.type, ZipWithIndex[H]#Out
浏览 0提问于2018-11-04得票数 1
回答已采纳
我正在对字符串执行一系列预处理步骤，我正在考虑使用HList来提高我的步骤的安全性。有些处理步骤必须在其他步骤之后运行，所以我考虑在类型系统中编码。我的第一次尝试是：
trait Step
trait Raw extends Step
trait A extends Step
trait B extends Step
trait DependsOnA extends Step
trait DependsOnB extends Step
case class ToBeProcessed[S <: Step](value: String)
object ToBeProcessed {
浏览 0提问于2017-02-10得票数 5
回答已采纳
1回答
我在为以下定义的异构列表定义一个Show实例时遇到了困难：
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE FlexibleInstances #-}
import Data.Kind
data HList xs where
HNil :: HList TNil
(::^) :: a -> HList as -> HList (a :^ as)
data TypeList = TNil | (:^) Type Typ
浏览 5提问于2018-05-13得票数 2
回答已采纳
2回答
是否有一种简洁的方法可以将只具有Option字段的类转换为封装在选项中的类似类？
case class Data(a: Option[Int], b: Option[Int])
case class DataX(a: Int, b: Int)
def convert(data: Data): Option[DataX] =
for {
alpha <- data.a
beta <- data.b
} yield DataX(alpha, beta)
这只是乏味的打字，似乎应该/可能有一种标准的方式，例如在猫或Scalaz?！
浏览 4提问于2017-10-19得票数 3
回答已采纳
1回答
我当时正在读，作者不假思索地提到GADT只是语法糖。
GADT是(~)之上的语法糖，因此期望GADT具有名义角色类型参数。
现在，作者并没有进一步探讨这个问题，因为这并不是博客文章的重点。不过，我很感兴趣。我该怎么做才能去除我的GADT呢？
例如，这里有一个使用GADT的简单异构列表。
{-# Language GADTs, DataKinds, TypeOperators #-}
data HList a where
Empty :: HList '[]
Cons :: a -> HList b -> HList (a ': b)
设计后的版本
浏览 1提问于2018-06-28得票数 5
回答已采纳
我正在尝试使用“无形”从Hlist中进行添加和删除，但我似乎无法让它工作。
所以我在这里列出了我的清单：
object ShapelessExample {
import shapeless._
def main(args: Array[String]): Unit = {
case class Container[T <: Singleton](name: T)
val a = Container("A") :: Container("B") :: Container("C") ::
浏览 5提问于2020-10-18得票数 2
回答已采纳
3回答
例如，(String, Int, Int)或(String, Float, String, Int)。
如果字符串"NIL“已经存在，它应该保持不变。
返回到示例：("something", 3, 4.788)应该导致("something", "NIL", "NIL")
("something else", "Hello", "NIL", (4,6))应生成("something else", "NIL", "NIL", &#
浏览 2提问于2012-11-18得票数 5
回答已采纳
2回答
我正在自学与两本很有帮助的书同时学习：
来自Brian的中的并发性。
学习中的并发编程，来自Aleksandar。
作为对我所知的一种测试，我正在尝试用固定数量的线程构建一个裸ThreadPool。
此线程正在对任务队列进行轮询。
ThreadPool为我提供了一种在队列中插入任务的方法，并返回一个MyFutureTask[T]，我希望这是对java中实际FutureTask[T]的模拟，以便以后可以检索该值。
def addTask[T](theTask: () => T): MyFutureTask[T] = queue.synchronized {
val m
浏览 0提问于2018-08-25得票数 1
2回答
给定一个没有形状的HList，其中每个列表元素共享相同的类型构造函数，那么如何对HList进行排序呢？
例如：
def some[A](a: A): Option[A] = Some(a)
def none[A]: Option[A] = None
val x = some(1) :: some("test") :: some(true) :: HNil
val y = sequence(x) // should be some(1 :: "test" :: true :: HNil)
def sequence[L <: HList : *->*
浏览 2提问于2013-04-21得票数 18
回答已采纳
我想要构建一个简单的库，开发人员可以在其中定义一个Scala类来表示命令行参数(为了保持它的简单性，只需要一组所需的参数--没有标志或可选参数)。我希望库解析命令行参数并返回类的一个实例。库的用户只需这样做：
case class FooArgs(fluxType: String, capacitorCount: Int)
def main(args: Array[String]) {
val argsObject: FooArgs = ArgParser.parse(args).as[FooArgs]
// do real stuff
}
如果提供的参数与预期类型不匹配，解析器应
浏览 0提问于2018-05-07得票数 1
回答已采纳
1回答
我正在尝试使用HList，我需要对它进行注释，但我想不出怎么做。
如果在ghci中键入以下内容
>:t "hello" .*. HNil
我得到了以下类型的签名：
HList ((':) * )
但我不太明白。如果尝试使用这个签名，我得到了一个错误
“你好”.*。HNil :：HList ((':) * )
我有个错误
<interactive>:21:15: parse error on input `:'
我该怎么办？
(我看过使用:*:的东西，所以理论上我可以做String :*: HNil，但是它找不到:*:。
浏览 2提问于2014-05-18得票数 2
回答已采纳
不能让foldLeft在HList上工作时折叠成列表，当我把Hlist折成一个字符串时，一切都很好。
object wrapInList extends Poly1 {
implicit def intCase = at[Int]{v => List(v)}
implicit def stringCase = at[String]{v => List(v)}
}
object mergeToString extends Poly1 {
implicit def intCase = at[Int](_.toString())
implicit def stringC
浏览 2提问于2016-07-26得票数 1
回答已采纳
假设我有一个双参数的KList，为了便于论证，它有类型构造函数Option_，即；
type Example = Option[Int] :: Option[String] :: HNil
有办法检索由类型参数组成的Hlist吗？
type Params = Int :: String :: HNil
例如，我可能可以定义某种任意的getOrElse方法
getOrElse(ex:Example, default:Params):Params
现在，我正在寻找类似于这种形式的东西(或者类似于我提议的类型结构可能不可行)。
case class MyOptionList[L <: HLis
浏览 3提问于2014-12-29得票数 10
回答已采纳
我正在尝试通过转换为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中的相应类型，但我不确定如何递归遍历HList。我的尝试显示在下面的hlistEncoder中 trait Con
浏览 17提问于2019-12-11得票数 2
是否有一种方法可以用字段上的注释来标记生成的无形状LabelledGeneric？
例如
case class Example(@someAnnotation foo: Foo, bar: Bar)
我们能不能弄点像
FieldType["foo" with Annotations(someAnnotation :: HNil), Foo] :: FieldType["bar", Bar] :: HNil
浏览 3提问于2021-12-19得票数 1
回答已采纳
我自己正在学习Scala，并遇到了这个问题。根据的优秀答案，假设我有以下代码：
object Example extends App {
val x = Seq(1, 2, 3)
val y = Seq("1", "2", "3")
class Or[A, B]
implicit def orA[A, B](implicit ev: A): Or[A, B] = new Or
implicit def orB[A, B](implicit ev: B): Or[A, B] = new Or
def f1[T](seq:
浏览 2提问于2020-06-13得票数 1
回答已采纳
1回答
Scala函数中的异构参数
、、、、
我如何传递一些HList作为参数？所以我可以这样做：
def HFunc[F, S, T](hlist: F :: S :: T :: HNil) {
// here is some code
}
HFunc(HList(1, true, "String")) // it works perfect
但是如果我有一个很长的清单，我什么也不知道，我怎么能对它做一些操作呢？我怎样才能传递论点而不松开它的类型呢？
浏览 0提问于2013-10-28得票数 7
回答已采纳
我试图通过类型运算符(同构于嵌套元组，但更好地编写)将类型列表(例如'[Int, Int])解构为类型和创建该类型的方法。例如：
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeFamilies, FlexibleInstances #-}
import Data.Kind (Type)
data a :<> b = a :<> b
infixr 8 :<>
class Construct a where
type Resul
浏览 2提问于2016-11-12得票数 2
回答已采纳
1回答
函数内HList上的映射
、、、
下面的代码看起来很明显，可以编译和运行
case class Pair(a: String, b: Int)
val pairGen = Generic[Pair]
object size extends Poly1 {
implicit def caseInt = at[Int](x => 1)
implicit def caseString = at[String](_.length)
}
def funrun(p: Pair) = {
val hp: HList = pairGen.to(p)
hp.map(size)
}
但是编译器说“找不到参数映射器的隐
浏览 2提问于2015-09-08得票数 7
回答已采纳
我正在编写一个，它允许将SQL片段组合成一个Monoid。我大致有这样一个类型(这是一个简化的实现)：
data SQLFragment = { selects :: [String], froms :[String], wheres :: [String]}
instance Monoid SQL Fragment where ...
这使我可以轻松地组合我经常使用的SQL位，并执行以下操作：
email = select "email" <> from "user"
name = select "name" <>
浏览 0提问于2014-06-04得票数 6
2回答
我有一个简单的异种列表
data HList (ts :: [Type]) where
HNil :: HList '[]
(:&:) :: t -> HList ts -> HList (t ': ts)
infixr 5 :&:
我试图定义一个异构的地图：
type family ToDomain (xs :: [Type]) :: [Type] where
ToDomain '[] = '[];
ToDomain ((a -> b) ': r) = a ': ToDomai
浏览 2提问于2017-10-14得票数 1
回答已采纳
3回答
有可能得到scala类字段的名称和类型吗？
我试过这样做(T是案例课)：
trait Cpo[T] {
def withPrimaryKey[R <: HList, K, V <: HList](f: Seq[Symbol] => Seq[Symbol])(
implicit labellGeneric: LabelledGeneric.Aux[T, R], keys: Keys.Aux[R, K],
ktl: hlist.ToList[K, Symbol]): Cpo[T]
}
但我只能知道菲尔德的名字。
兹拉贾
浏览 0提问于2019-04-03得票数 2
回答已采纳
1回答
通过下面的代码，我尝试在一个HList中获得Parameter的所有值
import shapeless._
case class Parameter[T](value: T)
trait ParameterOperations[Params <: HList, ParamValues <: HList] {
def values(params: Params): ParamValues
}
object ParameterOperations {
implicit val hNil = new ParameterOperations[HNil, HNil] {
浏览 0提问于2018-10-01得票数 0
我无法返回null，因为我的Hlist是不可为null的类型。我还可以返回什么来代替null？
HList findHListentry(string letter)
{
if (string.IsNullOrWhiteSpace(letter))
{
HList result = listentry.Find(delegate(HList bk)
{
return bk.letter == letter;
});
浏览 2提问于2012-08-10得票数 2
回答已采纳
1回答
我有一个类似的课程：
class MyClass[T <: HList] {
val x: ???
}
我的问题是x val的类型。我想让它成为一个HList，并将T HList的每种类型的U替换为Option[U]。即，如果我具体说明：
new MyClass[Int :: String :: HNil]
我希望x有一种类型的Option[Int] :: Option[String] :: HNil
这有可能吗？该怎么做呢？
浏览 0提问于2016-01-27得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
