object PaddedGrouper extends LowPriorityPaddedGrouper with Serializable

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

Type Members

  1. type Aux[L <: HList, N <: Nat, Step <: Nat, Pad <: HList, Out0] = PaddedGrouper[L, N, Step, Pad] { type Out = Out0 }

Value Members

  1. def apply[L <: HList, N <: Nat, Step <: Nat, Pad <: HList](implicit grouper: PaddedGrouper[L, N, Step, Pad]): Aux[L, N, Step, Pad, Out]
  2. implicit def defaultPaddedGrouper[L <: HList, N <: Nat, Step <: Nat, Pad <: HList, A <: Nat, B <: Nat, Out0 <: HList](implicit len: Length.Aux[L, A], mod: nat.Mod.Aux[A, Step, B], eq: =:=[B, _0], grouper: Grouper.Aux[L, N, Step, Out0]): Aux[L, N, Step, Pad, Out0]
  3. implicit def incompletePaddedGrouper[L <: HList, N <: Nat, Step <: Nat, Pad <: HList, PL <: HList, LPL <: Nat, S <: Nat, MI <: Nat, T <: HList, M <: Nat, LL <: Nat, Out0 <: HList](implicit len1: Length.Aux[L, LL], prep: Prepend.Aux[L, Pad, PL], len2: Length.Aux[PL, LPL], mod: nat.Mod.Aux[LL, Step, M], sum: nat.Sum.Aux[LL, M, S], min: nat.Min.Aux[LPL, S, MI], take: Take.Aux[PL, MI, T], grouper: Grouper.Aux[T, N, Step, Out0]): Aux[L, N, Step, Pad, Out0]
    Definition Classes
    LowPriorityPaddedGrouper