nutcracker/nutcracker.util/HListPtr

HListPtr

object HListPtr
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

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

Value members

Concrete methods

def apply[L <: HList, N <: Nat](implicit at: HListPtr[L, N]): Aux[L, N, Out]
def apply[L <: HList, N <: Nat](n: N)(implicit at: HListPtr[L, N]): Aux[L, N, Out]

Implicits

Implicits

implicit def hlistAtN[H, T <: HList, N <: Nat](implicit att: HListPtr[T, N]): Aux[H :: T, Succ[N], Out]
implicit def hlistAtZero[H, T <: HList]: Aux[H :: T, _0, H]
implicit def ptrFromNat[L <: HList, N <: Nat, A](n: N)(implicit ptr: Aux[L, N, A]): Aux[L, N, A]