Pointers0

object Pointers0
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[L <: HList, T <: HList, N <: Nat, Out0 <: HList] = Pointers0[L, T, N] { type Out = Out0; }

Implicits

Implicits

implicit def hconsPointers[L <: HList, N <: Nat, H, T <: HList](implicit d: Aux[L, N, H :: T], ptr: Aux[L, N, H], tp: Pointers0[L, T, Succ[N]]): Aux[L, H :: T, N, Aux[L, N, H] :: Out]
implicit def hnilPointers[L <: HList, N <: Nat](implicit d: Aux[L, N, HNil]): Aux[L, HNil, N, HNil]