2016-09-06 81 views
0

我想的Xor一个HList映射到ValidatedNel一个HList并得到了一个错误:如何解决这个编译错误与聚功能

scala> type Result[A] = Xor[String, A]  
defined type alias Result 

scala> type Validation[A] = ValidatedNel[String, A] 
defined type alias Validation 

scala> val r0 = Xor.right(0) 
r0: cats.data.Xor[Nothing,Int] = Right(0) 

scala> val r1 = Xor.left("xxx") 
r1: cats.data.Xor[String,Nothing] = Left(xxx) 

scala> import shapeless._ 
import shapeless._ 

scala> val rs = r0 :: r1 :: HNil 
rs: shapeless.::[cats.data.Xor[Nothing,Int],shapeless.::[cats.data.Xor[String,Nothing],shapeless.HNil]] = Right(0) :: Left(xxx) :: HNil 

scala> object toValidation extends (Result ~> Validation) { def apply[T](r: Result[T]): Validation[T] = r.toValidatedNel } 
defined object toValidation 

scala> rs map toValidation 
<console>:41: error: type mismatch; 
found : toValidation.type 
required: shapeless.Poly 
       rs map toValidation 

出了什么问题上面的代码,以及如何解决它?

回答

2

你可以仔细检查你的进口?

我怀疑~>引用cats的自然转换,而不是来自shapeless的Poly。

在定义toValidation对象之前导入shapeless.poly._应该消除该错误。

+0

谢谢。你可能是对的,但我现在有另一个问题。我会发布关于它的另一个问题。 – Michael

+0

这就是问题,顺便说一下:http://stackoverflow.com/q/39374015/521070 – Michael