scala – 排列HList
发布时间:2020-12-16 09:21:24 所属栏目:安全 来源:网络整理
导读:给定一个无肩膀的高分子,每个列表元素共享相同类型的构造函数,HList如何排序? 例如: def some[A](a: A): Option[A] = Some(a)def none[A]: Option[A] = Noneval x = some(1) :: some("test") :: some(true) :: HNilval y = sequence(x) // should be some(
给定一个无肩膀的高分子,每个列表元素共享相同类型的构造函数,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 : *->*[Option]#λ,M <: HList](l: L): Option[M] = ??? 我试图实现这样的序列: object optionFolder extends Poly2 { implicit def caSEOptionValueHList[A,B <: HList] = at[Option[A],Option[B]] { (a,b) => for { aa <- a; bb <- b } yield aa :: bb } } def sequence[L <: HList : *->*[Option]#λ,M <: HList](l: L): Option[M] = { l.foldRight(some(HNil))(optionFolder) } 但是不能编译: could not find implicit value for parameter folder: shapeless.RightFolder[L,Option[shapeless.HNil.type],SequencingHList.optionFolder.type] 有关实现此选项的任何提示,例如选项或任意应用程序? 解决方法
你很亲密 – 你只需要确保你有更多的证据要求:
def sequence[L <: HList : *->*[Option]#λ,M <: HList](l: L)(implicit folder: RightFolder[L,Option[HNil],optionFolder.type] ) = l.foldRight(some(HNil: HNil))(optionFolder) 或者,如果你想要更一般的东西,并且有一个这样的应用实现: trait Applicative[F[_]] { def ap[A,B](fa: => F[A])(f: => F[A => B]): F[B] def point[A](a: => A): F[A] def map[A,B](fa: F[A])(f: A => B): F[B] = ap(fa)(point(f)) } implicit object optionApplicative extends Applicative[Option] { def ap[A,B](fa: => Option[A])(f: => Option[A => B]) = f.flatMap(fa.map) def point[A](a: => A) = Option(a) } 你可以写: object applicativeFolder extends Poly2 { implicit def caseApplicative[A,B <: HList,F[_]](implicit app: Applicative[F] ) = at[F[A],F[B]] { (a,b) => app.ap(a)(app.map(b)(bb => (_: A) :: bb)) } } def sequence[F[_]: Applicative,L <: HList: *->*[F]#λ,F[HNil],applicativeFolder.type] ) = l.foldRight(implicitly[Applicative[F]].point(HNil: HNil))(applicativeFolder) 现在你也可以排序列表等,(假设你有适当的实例). 更新:请注意,在这两种情况下,我省略了序列的返回类型注释.如果我们把它放回来,编译器会阻塞: <console>:18: error: type mismatch; found : folder.Out required: F[M] 这是因为RightFolder实例将其返回类型作为抽象类型成员.在这种情况下,我们知道它是F [M],但编译器并不关心我们所知道的. 如果我们想要明确的返回类型,我们可以使用RightFolderAux实例: def sequence[F[_]: Applicative,M <: HList](l: L)(implicit folder: RightFolderAux[L,applicativeFolder.type,F[M]] ): F[M] = l.foldRight(implicitly[Applicative[F]].point(HNil: HNil))(applicativeFolder) 请注意,RightFolderAux有一个额外的类型参数,它表示返回类型. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |