scala – 排列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 : *->*[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]#λ, M <: HList](l: L)(implicit folder: RightFolder[L, 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, L <: HList: *->*[F]#λ, M <: HList](l: L)(implicit folder: RightFolderAux[L, F[HNil], applicativeFolder.type, F[M]] ): F[M] = l.foldRight(implicitly[Applicative[F]].point(HNil: HNil))(applicativeFolder)
請注意,RightFolderAux有一個額外的型別引數,它表示返回型別.
http://stackoverflow.com/questions/16127360/sequencing-an-hlist
本站文章除註明轉載外,均為本站原創或編譯
轉載請明顯位置註明出處:scala– 排列HList