Type Members

1.  trait Align[L <: HList, M <: HList] extends (L) => M with Serializable

   Type class supporting permuting this HList into the same order as another HList with the same element types.

2.  trait At[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

   Type class supporting access to the nth element of this HList.

   Type class supporting access to the nth element of this HList. Available only if this HList has at least n elements.

   Annotations

   @implicitNotFound("Implicit not found: shapeless.Ops.At[${L}, ${N}]. You requested to access an element at the position ${N}, but the HList ${L} is too short.")

3.  trait Collect[I <: HList, P <: Poly] extends DepFn1[I] with Serializable

   Type Class witnessing that an 'HList' can be collected with a 'Poly' to produce an 'HList'

4.  trait CollectFirst[L <: HList, P <: Poly] extends DepFn1[L] with Serializable

   Type class witnessing that there exists at least one element of an HList for which a Poly can be applied.

5.  trait Comapped[L <: HList, F[_]] extends Serializable

   Type class witnessing that the result of stripping type constructor F off each element of HList L is Out.

6.  trait Combinations[N <: Nat, L <: HList] extends DepFn1[L] with Serializable

   Type class supporting the calculation of every combination of this 'HList'

7.  trait ConstMapper[C, L <: HList] extends DepFn2[C, L] with Serializable

   Type class supporting mapping a constant valued function over this HList.

8.  trait Diff[L <: HList, M <: HList] extends DepFn1[L] with Serializable

   Type class supporting HList subtraction.

   Type class supporting HList subtraction. In case of duplicate types, this operation is a multiset difference. If type T appears n times in this HList and m < n times in M, the resulting HList contains the last n - m elements of type T in this HList.

   Also available if M contains types absent in this HList.

9.  trait Drop[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

   Type class supporting removal of the first n elements of this HList.

   Type class supporting removal of the first n elements of this HList. Available only if this HList has at least n elements.

   Annotations

   @implicitNotFound("Implicit not found: shapeless.Ops.Drop[${L}, ${N}]. You requested to drop an element at the position ${N}, but the HList ${L} is too short.")

10.  trait Fill[N, A] extends DepFn1[A] with Serializable

    Type class supporting producing a HList of shape N filled with elements of type A.

11.  trait FillWith[F, L <: HList] extends DepFn0 with Serializable

    Type class supporting producing a HList filled from a Poly0.

12.  trait Filter[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting access to the all elements of this HList of type U.

13.  trait FilterNot[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting access to the all elements of this HList of type different than U.

14.  trait FlatMapInterleave[A, M <: HList] extends DepFn2[A, M] with Serializable

    Type class supporting interleaving an element into each row of this HMatrix (HList of HLists)

15.  trait FlatMapper[HF, In <: HList] extends DepFn1[In] with Serializable

    Type class supporting flatmapping a higher ranked function over this HList.

16.  trait Grouper[L <: HList, N <: Nat, Step <: Nat] extends DepFn1[L] with Serializable

    Typeclass supporting grouping this HList into tuples of N items each, at Step apart.

    Typeclass supporting grouping this HList into tuples of N items each, at Step apart. If Step equals N then the groups do not overlap.

17.  final case class HConsHKernel[H, T <: HKernel](tail: T) extends HKernel with Product with Serializable
18.  trait HKernel extends AnyRef

    Type class providing minimally witnessed operations on HLists which can be derived from L by wrapping each of its elements in a type constructor.

19.  trait HKernelAux[L <: HList] extends DepFn0
20.  trait HNilHKernel extends HKernel
21.  trait Init[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting access to all but the last element of this HList.

    Type class supporting access to all but the last element of this HList. Available only if this HList has at least one element.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Init[${L}]. {L} is empty, so there is no first element.")

22.  trait Interleave[A, L <: HList] extends DepFn2[A, L] with Serializable

    Type class supporting adding an element to each possible position in this HList

23.  trait Intersection[L <: HList, M <: HList] extends DepFn1[L] with Serializable

    Type class supporting HList intersection.

    Type class supporting HList intersection. In case of duplicate types, this operation is a multiset intersection. If type T appears n times in this HList and m < n times in M, the resulting HList contains the first m elements of type T in this HList.

    Also available if M contains types absent in this HList.

24.  trait IsHCons[L <: HList] extends Serializable

    Type class witnessing that this HList is composite and providing access to head and tail.

25.  trait Last[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting access to the last element of this HList.

    Type class supporting access to the last element of this HList. Available only if this HList has at least one element.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Last[${L}]. ${L} is empty, so there is no last element.")

26.  trait LeftFolder[L <: HList, In, HF] extends DepFn2[L, In] with Serializable

    Type class supporting left-folding a polymorphic binary function over this HList.

27.  trait LeftReducer[L <: HList, HF] extends DepFn1[L] with Serializable

    Type class supporting left-reducing a polymorphic binary function over this HList.

28.  trait LeftScanner[L <: HList, In, P <: Poly] extends DepFn2[L, In] with Serializable

    Type class supporting left scanning of this HList with a binary polymorphic function.

29.  trait Length[L <: HList] extends DepFn0 with Serializable

    Type class supporting computing the type-level Nat corresponding to the length of this HList.

30.  sealed trait LiftAll[F[_], In <: HList] extends AnyRef

    Typeclass witnessing that all the elements of an HList have instances of the given typeclass.

    Typeclass witnessing that all the elements of an HList have instances of the given typeclass. Courtesy of mpilquist.

31.  trait LowPriorityCollect extends AnyRef
32.  trait LowPriorityCollectFirst extends AnyRef
33.  trait LowPriorityComapped extends AnyRef
34.  trait LowPriorityCombinations extends AnyRef
35.  trait LowPriorityDiff extends AnyRef
36.  trait LowPriorityGrouper extends AnyRef
37.  trait LowPriorityIntersection extends AnyRef
38.  trait LowPriorityMapped extends AnyRef
39.  trait LowPriorityPaddedGrouper extends AnyRef

    Typeclass supporting grouping this HList into tuples of N items each, at Step apart.

    Typeclass supporting grouping this HList into tuples of N items each, at Step apart. If Step equals N then the groups do not overlap.

    Use elements in pad as necessary to complete last group up to n items.

40.  trait LowPriorityPrepend extends LowestPriorityPrepend
41.  trait LowPriorityRemove extends AnyRef
42.  trait LowPriorityReversePrepend extends AnyRef
43.  trait LowPriorityRotateLeft extends AnyRef
44.  trait LowPriorityRotateRight extends AnyRef
45.  trait LowPriorityToCoproductTraversable extends AnyRef
46.  trait LowPriorityUnion extends AnyRef
47.  trait LowPriorityZipOne extends AnyRef
48.  trait LowestPriorityPrepend extends AnyRef
49.  trait MapCons[A, M <: HList] extends DepFn2[A, M] with Serializable
50.  trait MapFolder[L <: HList, R, HF] extends Serializable

    Type class supporting mapping a polymorphic function over this HList and then folding the result using a monomorphic function value.

51.  trait Mapped[L <: HList, F[_]] extends Serializable

    Type class witnessing that the result of wrapping each element of HList L in type constructor F is Out.

52.  trait Mapper[HF, In <: HList] extends DepFn1[In] with Serializable

    Type class supporting mapping a higher ranked function over this HList.

53.  trait Modifier[L <: HList, U, V] extends DepFn2[L, (U) => V] with Serializable

    Type class supporting replacement of the first element of type U from this HList with the result of its transformation via a given function into a new element of type V.

    Type class supporting replacement of the first element of type U from this HList with the result of its transformation via a given function into a new element of type V. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Modifier[${L}, ${U}, ${V}]. You requested to modify an element of the type ${U}, but there is none in HList ${L}.")

54.  trait ModifierAt[L <: HList, N <: Nat, U, V] extends DepFn2[L, (U) => V]

    Type class supporting replacement of the Nth element of this HList with the result of calling F on it.

    Type class supporting replacement of the Nth element of this HList with the result of calling F on it. Available only if this HList contains at least N elements.

55.  trait NatTRel[L1 <: HList, F1[_], L2 <: HList, F2[_]] extends Serializable

    Type class witnessing that HLists L1 and L2 have elements of the form F1[Ln] and F2[Ln] respectively for all indices n.

    Type class witnessing that HLists L1 and L2 have elements of the form F1[Ln] and F2[Ln] respectively for all indices n. This implies that a natural transform F1 ~> F2 will take a list of type L1 onto a list of type L2.

56.  trait PadTo[N, A, L <: HList] extends DepFn2[A, L] with Serializable

    Type class supporting producing a HList of shape N padded with elements of type A.

57.  trait PaddedGrouper[L <: HList, N <: Nat, Step <: Nat, Pad <: HList] extends DepFn2[L, Pad] with Serializable
58.  trait Partition[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting partitioning this HList into those elements of type U and the remainder

59.  trait Patcher[N <: Nat, M <: Nat, L <: HList, In <: HList] extends DepFn2[L, In] with Serializable

    Type class supporting the patching of an HList

60.  trait Permutations[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting the calculation of every permutation of this 'HList'

61.  trait Prepend[P <: HList, S <: HList] extends DepFn2[P, S] with Serializable

    Type class supporting prepending to this HList.

62.  trait Reify[L <: HList] extends DepFn0 with Serializable

    Type class supporting reifying an HList of singleton types.

63.  trait Remove[L <: HList, E] extends DepFn1[L] with Serializable

    Type class supporting removal of an element from this HList.

    Type class supporting removal of an element from this HList. Available only if this HList contains an element of type E.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Remove[${L}, ${E}]. You requested to remove an element of type ${E}, but there is no unique candidate in the HList ${L}.")

64.  trait RemoveAll[L <: HList, SL <: HList] extends DepFn1[L] with Serializable

    Type class supporting removal of a sublist from this HList.

    Type class supporting removal of a sublist from this HList. Available only if this HList contains a sublist of type SL.

    The elements of SL do not have to be contiguous in this HList.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.RemoveAll[${L}, ${SL}]. You requested to remove elements of the types ${SL}, but not all were found in HList ${L}.")

65.  trait Repeat[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

    Typeclass supporting repeating L-typed HLists N times.

    Typeclass supporting repeating L-typed HLists N times.

    Repeat[Int :: String :: HNil, Nat._2] => Int :: String :: Int :: String :: HNil

66.  trait ReplaceAt[L <: HList, N <: Nat, V] extends DepFn2[L, V] with Serializable

    Type class supporting replacement of the Nth element of this HList with an element of type V.

    Type class supporting replacement of the Nth element of this HList with an element of type V. Available only if this HList contains at least N elements.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.ReplaceAt[${L}, ${N}, ${V}]. You requested to modify an element at the position ${N}, but the HList ${L} is too short.")

67.  trait Replacer[L <: HList, U, V] extends DepFn2[L, V] with Serializable

    Type class supporting replacement of the first element of type U from this HList with an element of type V.

    Type class supporting replacement of the first element of type U from this HList with an element of type V. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Replacer[${L}, ${U}, ${V}]. You requested to replace an element of the type ${U}, but there is none in HList ${L}.")

68.  trait Reverse[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting reversing this HList.

69.  trait ReversePrepend[P <: HList, S <: HList] extends DepFn2[P, S] with Serializable

    Type class supporting reverse prepending to this HList.

70.  trait ReverseSplit[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

    Type class supporting splitting this HList at the nth element returning the reverse prefix and suffix as a pair.

    Type class supporting splitting this HList at the nth element returning the reverse prefix and suffix as a pair. Available only if this HList has at least n elements.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.ReverseSplit[${L}, ${N}]. You requested to split at position ${N}, but the HList ${L} is too short.")

71.  trait ReverseSplitLeft[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting splitting this HList at the first occurrence of an element of type U returning the reverse prefix and suffix as a pair.

    Type class supporting splitting this HList at the first occurrence of an element of type U returning the reverse prefix and suffix as a pair. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.ReverseSplitLeft[${L}, ${U}]. You requested to split at an element of type ${U}, but there is none in the HList ${L}.")

72.  trait ReverseSplitRight[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting splitting this HList at the last occurrence of an element of type U returning the reverse prefix and suffix as a pair.

    Type class supporting splitting this HList at the last occurrence of an element of type U returning the reverse prefix and suffix as a pair. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.ReverseSplitRight[${L}, ${U}]. You requested to split at an element of type ${U}, but there is none in the HList ${L}.")

73.  trait RightFolder[L <: HList, In, HF] extends DepFn2[L, In] with Serializable

    Type class supporting right-folding a polymorphic binary function over this HList.

74.  trait RightReducer[L <: HList, HF] extends DepFn1[L] with Serializable

    Type class supporting right-reducing a polymorphic binary function over this HList.

75.  trait RightScanner[L <: HList, In, P <: Poly] extends DepFn2[L, In] with Serializable

    Type class supporting right scanning of this HList with a binary polymorphic function.

76.  trait RotateLeft[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

    Type class supporting rotating a HList left

77.  trait RotateRight[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

    Type class supporting rotating a HList right

78.  trait SelectAll[L <: HList, S <: HList] extends DepFn1[L] with Serializable

    Type class supporting multiple HList field selection.

    Type class supporting multiple HList field selection. Can be used to witness that given HList contains certain set of field types. Simplified version of shapeless.ops.record.SelectAll

    Annotations

    @implicitNotFound("Field types set of ${S} is not fully contained in type definition of ${L}")

79.  trait SelectMany[L <: HList, Ids <: HList] extends DepFn1[L]

    Type class supporting access to the elements of this HList specified by Ids.

    Type class supporting access to the elements of this HList specified by Ids. Available only if this HList contains all elements specified in Ids.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.SelectMany[${L}, ${Ids}]. You requested the elements in ${Ids}, but HList ${L} does not contain all of them.")

80.  trait SelectRange[L <: HList, A <: Nat, B <: Nat] extends DepFn1[L]

    Type class supporting supporting access to the elements in range [a,b[ of this HList.

    Type class supporting supporting access to the elements in range [a,b[ of this HList. Avaialable only if this HList contains all elements in range

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.SelectRange[${L}, ${A}, ${B}]. You requested the elements in range [${A},${B}[, but HList ${L} does not contain all of them.")

81.  trait Selector[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting access to the first element of this HList of type U.

    Type class supporting access to the first element of this HList of type U. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Selector[${L}, ${U}]. You requested an element of type ${U}, but there is none in the HList ${L}.")

82.  trait Slice[N, U, L <: HList] extends DepFn1[L] with Serializable

    Type class supporting the slicing of an HList

83.  trait Split[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

    Type class supporting splitting this HList at the nth element returning the prefix and suffix as a pair.

    Type class supporting splitting this HList at the nth element returning the prefix and suffix as a pair. Available only if this HList has at least n elements.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Split[${L}, ${N}]. You requested to split at position ${N}, but the HList ${L} is too short.")

84.  trait SplitLeft[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting splitting this HList at the first occurrence of an element of type U returning the prefix and suffix as a pair.

    Type class supporting splitting this HList at the first occurrence of an element of type U returning the prefix and suffix as a pair. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.SplitLeft[${L}, ${U}]. You requested to split at an element of type ${U}, but there is none in the HList ${L}.")

85.  trait SplitRight[L <: HList, U] extends DepFn1[L] with Serializable

    Type class supporting splitting this HList at the last occurrence of an element of type U returning the prefix and suffix as a pair.

    Type class supporting splitting this HList at the last occurrence of an element of type U returning the prefix and suffix as a pair. Available only if this HList contains an element of type U.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.SplitRight[${L}, ${U}]. You requested to split at an element of type ${U}, but there is none in the HList ${L}.")

86.  trait SubtypeUnifier[L <: HList, B] extends DepFn1[L] with Serializable

    Type class supporting unification of all elements that are subtypes of B in this HList to B, with all other elements left unchanged.

87.  trait Take[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

    Type class supporting retrieval of the first n elements of this HList.

    Type class supporting retrieval of the first n elements of this HList. Available only if this HList has at least n elements.

    Annotations

    @implicitNotFound("Implicit not found: shapeless.Ops.Take[${L}, ${N}]. You requested to take ${N} elements, but the HList ${L} is too short.")

88.  type ToArray[L <: HList, Lub] = ToTraversable[L, Array] { type Lub = Lub }

    Type aliases and constructors provided for backward compatibility

89.  trait ToCoproduct[L <: HList] extends Serializable

    Type class computing the coproduct type corresponding to this HList.

90.  trait ToCoproductTraversable[L <: HList, M[_]] extends DepFn1[L] with Serializable

    Type class supporting conversion of this HList to a M with elements typed as a minimal Coproduct Cop such as each type of the elements of L appears once in Cop.

91.  type ToList[L <: HList, Lub] = ToTraversable[L, List] { type Lub = Lub }
92.  trait ToSized[L <: HList, M[_]] extends DepFn1[L] with Serializable

    Type class supporting conversion of this HList to a Sized[M[Lub], N] with elements typed as the least upper bound Lub of the types of the elements of this HList.

    Type class supporting conversion of this HList to a Sized[M[Lub], N] with elements typed as the least upper bound Lub of the types of the elements of this HList.

    About serializability, see the comment in ToTraversable.

93.  trait ToSum[L <: HList] extends Serializable
94.  trait ToTraversable[L <: HList, M[_]] extends DepFn1[L] with Serializable

    Type class supporting conversion of this HList to a M with elements typed as the least upper bound Lub of the types of the elements of this HList.

    Type class supporting conversion of this HList to a M with elements typed as the least upper bound Lub of the types of the elements of this HList.

    Serializable if the Factorys it implicitly finds are too. Note that the Factorys from the standard library are *not* serializable. See the tests for how to make your own serializable Factory available to ToTraversable.

95.  trait Transposer[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting transposing this HList.

96.  trait Tupler[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting conversion of this HList to a tuple.

97.  trait Unifier[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting unification of this HList.

98.  trait Union[L <: HList, M <: HList] extends DepFn2[L, M] with Serializable

    Type class supporting HList union.

    Type class supporting HList union. In case of duplicate types, this operation is a order-preserving multi-set union. If type T appears n times in this HList and m > n times in M, the resulting HList contains the first n elements of type T in this HList, followed by the last m - n element of type T in M.

99.  trait Unzip[L <: HList] extends DepFn1[L] with Serializable

    Type class supporting unzipping this HList of tuples returning a tuple of HLists.

100.  trait Zip[L <: HList] extends DepFn1[L] with Serializable

     Type class supporting zipping this HList of HLists returning an HList of tuples.

101.  trait ZipApply[FL <: HList, AL <: HList] extends DepFn2[FL, AL] with Serializable

     Type class supporting zipping this HList of monomorphic function values with its argument HList of correspondingly typed function arguments returning the result of each application as an HList.

     Type class supporting zipping this HList of monomorphic function values with its argument HList of correspondingly typed function arguments returning the result of each application as an HList. Available only if there is evidence that the corresponding function and argument elements have compatible types.

     Annotations

     @implicitNotFound("Implicit not found: shapeless.Ops.ZipApply[${FL}, ${AL}]. The types of ${FL} and ${AL} are not compatible.")

102.  trait ZipConst[C, L <: HList] extends DepFn2[C, L] with Serializable

     Type class supporting zipping an HList with a constant, resulting in an HList of tuples of the form ({element from input HList}, {supplied constant})

103.  trait ZipOne[H <: HList, T <: HList] extends DepFn2[H, T] with Serializable

     Type class supporting zipping this HList with an HList of HLists returning an HList of HLists with each element of this HList prepended to the corresponding HList element of the argument HList.

104.  trait ZipWith[L <: HList, R <: HList, P <: Poly2] extends DepFn2[L, R] with Serializable

     Type class supporting zipping an 'HList' with another 'HList' using a 'Poly2' resulting in an HList

105.  trait ZipWithIndex[L <: HList] extends DepFn1[L] with Serializable

     Type class supporting zipping a HList with its element indices, resulting in a 'HList' of tuples of the form ({element from input tuple}, {element index})

106.  trait ZipWithKeys[K <: HList, V <: HList] extends DepFn1[V] with Serializable

     Type class supporting zipping an HList of values with an HList of keys to create a record.

107.  trait lowPriorityToSum extends AnyRef

     Type class computing the sum type corresponding to this HList.