不能建造一个无形HList递归

我写了这个代码不能建造一个无形HList递归

object HList1Test extends App { 
    import shapeless.{HList, HNil} 
    import shapeless.syntax._ 
    import shapeless.ops._ 
    def myFunc(list: List[Int], result: HList = HNil) : HList = { 
     def double (i: Int) : HList = if (i % 2 == 0) 2 * i :: HNil else { (2 * i).toString :: HNil} 
     list match { 
     case h :: t => { 
      myFunc(t, double(h) ::: result) 
     } 
     case Nil => result 
     } 
    } 
    println(myFunc(List(1, 2, 3))) 
}

，但我得到的错误

Error:(16, 33) could not find implicit value for parameter prepend: shapeless.ops.hlist.Prepend[shapeless.HList,shapeless.HList] 
      myFunc(t, double(h) ::: hlist) 
Error:(16, 33) not enough arguments for method :::: (implicit prepend: shapeless.ops.hlist.Prepend[shapeless.HList,shapeless.HList])prepend.Out. 
Unspecified value parameter prepend. 
      myFunc(t, double(h) ::: hlist)

我的最终目标是有一个HList“2” :: 4 :: “6” ::高抗扰度逻辑

来源

2017-10-04 Knows Not Much

话说2 * i :: HNil和(2 * i).toString :: HNil具有类型只是HList（而不是Int :: HNil和String :: HNil相应）是粗糙。

double由于实际返回的根据其输入自变量的值类型Int :: HNil或String :: HNil值，double是Poly。那么myFunc。

object double extends Poly1 { 
    implicit def evenCase[N <: Nat](implicit 
     mod: Mod.Aux[N, _2, _0], 
     toInt: ToInt[N]): Case.Aux[N, Int :: HNil] = 
     at(n => 2 * toInt() :: HNil) 

    implicit def oddCase[N <: Nat](implicit 
     mod: Mod.Aux[N, _2, _1], 
     toInt: ToInt[N]): Case.Aux[N, String :: HNil] = 
     at(n => (2 * toInt()).toString :: HNil) 
    } 

    object myFunc extends Poly2 { 
    implicit def hNilCase[R <: HList]: Case.Aux[HNil, R, R] = at((_, r) => r) 

    implicit def hConsCase[H <: Nat, T <: HList, 
          dblH <: HList, R <: HList, 
          P <: HList, Out <: HList](implicit 
     dbl: double.Case.Aux[H, dblH], 
     prepend: Prepend.Aux[dblH, R, P], 
     myF: myFunc.Case.Aux[T, P, Out]): Case.Aux[H :: T, R, Out] = 
     at { case (h :: t, r) => myFunc(t, double(h) ::: r) } 
    } 

    println(myFunc(_1 :: _2 :: _3 :: HNil, HNil)) //"6" :: 4 :: "2" :: HNil

来源

2017-10-04 21:38:48

令人惊叹的答案Dmytro！ –

不能建造一个无形HList递归

回答

相关问题