object PadTo extends Serializable

Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PadTo
  2. Serializable
  3. Serializable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Aux[N, A, L <: HList, Out0] = PadTo[N, A, L] { type Out = Out0 }

Value Members

  1. def apply[N, A, L <: HList](implicit padTo: PadTo[N, A, L]): Aux[N, A, L, Out]
  2. implicit def padTo1[N <: Nat, A, H, T <: HList, Out0 <: HList](implicit padTo: Aux[N, A, T, Out0]): Aux[Succ[N], A, ::[H, T], ::[H, Out0]]
  3. implicit def padToHNil[N <: Nat, A, Out0 <: HList](implicit padTo: Aux[N, A, HNil, Out0]): Aux[Succ[N], A, HNil, ::[A, Out0]]
  4. implicit def padToHNil0[A]: Aux[_0, A, HNil, HNil]