nutcracker/nutcracker.util/HList/Length

Length

object Length
Companion:
class
class Object
trait Matchable
class Any
Length.type

Type members

Types

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

Implicits

Implicits

implicit def consLength[H, T <: HList, N <: Nat](implicit tailLength: Aux[T, N]): Aux[H :: T, Succ[N]]
implicit val nilLength: Aux[HNil, _0]