object PaddedGrouper extends LowPriorityPaddedGrouper with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PaddedGrouper
- Serializable
- Serializable
- LowPriorityPaddedGrouper
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
Value Members
- def apply[L <: HList, N <: Nat, Step <: Nat, Pad <: HList](implicit grouper: PaddedGrouper[L, N, Step, Pad]): Aux[L, N, Step, Pad, Out]
- 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]
-
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