shapeless.ops

hlist

Related Doc: package ops

object hlist

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. hlist
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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( ... )

  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 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.

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

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

  6. 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( ... )

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

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

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

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

  9. 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.

  10. 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)

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

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

  12. final case class HConsHKernel[H, T <: HKernel](tail: T) extends HKernel with Product with Serializable

  13. 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.

  14. trait HKernelAux[L <: HList] extends DepFn0

  15. trait HNilHKernel extends HKernel

  16. 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( ... )

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

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

  18. trait IsHCons[L <: HList] extends Serializable

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

  19. 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( ... )

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

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

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

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

  22. 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.

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

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

  24. trait LowPriorityCollect extends AnyRef

  25. trait LowPriorityComapped extends AnyRef

  26. trait LowPriorityPrepend extends AnyRef

  27. trait LowPriorityReversePrepend extends AnyRef

  28. trait LowPriorityRotateLeft extends AnyRef

  29. trait LowPriorityRotateRight extends AnyRef

  30. trait MapCons[A, M <: HList] extends DepFn2[A, M] with Serializable

  31. 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.

  32. 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.

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

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

  34. 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( ... )

  35. 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.

  36. 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

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

    Type class supporting the patching of an HList

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

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

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

    Type class supporting prepending to this HList.

  40. 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( ... )

  41. 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( ... )

  42. 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( ... )

  43. 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( ... )

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

    Type class supporting reversing this HList.

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

    Type class supporting reverse prepending to this HList.

  46. 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( ... )

  47. 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( ... )

  48. 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( ... )

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

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

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

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

  51. 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.

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

    Type class supporting rotating a HList left

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

    Type class supporting rotating a HList right

  54. 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( ... )

  55. 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( ... )

  56. 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( ... )

  57. 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( ... )

  58. 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.

  59. 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( ... )

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

    Type aliases and constructors provided for backward compatibility

  61. trait ToCoproduct[L <: HList] extends Serializable

    Type class computing the coproduct type corresponding to this HList.

  62. type ToList[L <: HList, Lub] = ToTraversable[L, List] { type Lub = Lub }

  63. 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.

  64. 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 CanBuildFroms it implicitly finds are too. Note that the CanBuildFroms from the standard library are *not* serializable. See the tests for how to make your own serializable CanBuildFrom available to ToTraversable.

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

    Type class supporting transposing this HList.

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

    Type class supporting conversion of this HList to a tuple.

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

    Type class supporting unification of this HList.

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

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

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

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

  70. 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( ... )

  71. 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})

  72. 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.

  73. 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

  74. 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.

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  4. object Align extends Serializable

  5. object At extends Serializable

  6. object Collect extends LowPriorityCollect with Serializable

  7. object Comapped extends LowPriorityComapped with Serializable

  8. object ConstMapper extends Serializable

  9. object Drop extends Serializable

  10. object Fill extends Serializable

  11. object Filter extends Serializable

  12. object FilterNot extends Serializable

  13. object FlatMapInterleave extends Serializable

  14. object FlatMapper extends Serializable

  15. object HKernel

  16. object HKernelAux

  17. object HNilHKernel extends HNilHKernel with Product with Serializable

  18. object Init extends Serializable

  19. object Interleave extends Serializable

  20. object IsHCons extends Serializable

  21. object Last extends Serializable

  22. object LeftFolder extends Serializable

  23. object LeftReducer extends Serializable

  24. object LeftScanner extends Serializable

  25. object Length extends Serializable

  26. object MapCons extends Serializable

  27. object MapFolder extends Serializable

  28. object Mapped extends Serializable

  29. object Mapper extends Serializable

  30. object Modifier extends Serializable

  31. object NatTRel extends Serializable

  32. object Partition extends Serializable

  33. object Patcher extends Serializable

  34. object Permutations extends Serializable

  35. object Prepend extends LowPriorityPrepend with Serializable

  36. object Remove extends Serializable

  37. object RemoveAll extends Serializable

  38. object ReplaceAt extends Serializable

  39. object Replacer extends Serializable

  40. object Reverse extends Serializable

  41. object ReversePrepend extends LowPriorityReversePrepend with Serializable

  42. object ReverseSplit extends Serializable

  43. object ReverseSplitLeft extends Serializable

  44. object ReverseSplitRight extends Serializable

  45. object RightFolder extends Serializable

  46. object RightReducer extends Serializable

  47. object RightScanner extends Serializable

  48. object RotateLeft extends LowPriorityRotateLeft with Serializable

  49. object RotateRight extends LowPriorityRotateRight with Serializable

  50. object Selector extends Serializable

  51. object Split extends Serializable

  52. object SplitLeft extends Serializable

  53. object SplitRight extends Serializable

  54. object SubtypeUnifier extends Serializable

  55. object Take extends Serializable

  56. def ToArray[L <: HList, Lub](implicit toArray: ToArray[L, Lub]): ToArray[L, Lub]

  57. object ToCoproduct extends Serializable

  58. def ToList[L <: HList, Lub](implicit toList: ToList[L, Lub]): ToList[L, Lub]

  59. object ToSized extends Serializable

  60. object ToTraversable extends Serializable

  61. object Transposer extends Serializable

  62. object Tupler extends TuplerInstances with Serializable

  63. object Unifier extends Serializable

  64. object Unzip extends Serializable

  65. object Zip extends Serializable

  66. object ZipApply extends Serializable

  67. object ZipConst extends Serializable

  68. object ZipOne extends Serializable

  69. object ZipWith extends Serializable

  70. object ZipWithKeys extends Serializable

  71. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  72. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  73. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  74. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  75. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  76. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  77. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  78. implicit def hlistOrdering[H, T <: HList](implicit hOrdering: Ordering[H], tOrdering: Ordering[T]): Ordering[::[H, T]]

  79. implicit object hnilOrdering extends Ordering[HNil]

  80. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  81. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  82. final def notify(): Unit

    Definition Classes
    AnyRef

  83. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  84. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  85. def toString(): String

    Definition Classes
    AnyRef → Any

  86. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  87. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  88. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped