ChooseByNats

Companion:
class
class Object
trait Matchable
class Any

Implicits

Implicits

implicit def chooseHCons[L <: HList, H, T <: HList, N <: Nat, NS <: HList](implicit ch: ChooseByNats[L, T, NS], ptr: Aux[L, N, H]): ChooseByNats[L, H :: T, N :: NS]
implicit def chooseHNil[L <: HList]: ChooseByNats[L, HNil, HNil]