implicit defhlistRightScanner[H, T <: HList, In, P <: Poly, R <: HList](implicit scanR: Aux[T, In, P, R], scan0: RightScanner0[R, H, P]): RightScanner[::[H, T], In, P] { type Out = scan0.Out }
implicit defhlistRightScanner0[H, H0, T <: HList, P <: Poly](implicit ev: PolyDefns.Case2[P, H0, H]): RightScanner0[::[H, T], H0, P] { type Out = shapeless.::[ev.Result,shapeless.::[H,T]] }
implicit defhnilRightScanner[In, P <: Poly]: Aux[HNil, In, P, ::[In, HNil]]