hlist

Type Members

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.
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( ... )
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'
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.
trait ConstMapper[C, L <: HList] extends DepFn2[C, L] with Serializable

Type class supporting mapping a constant valued function over this HList.
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( ... )
trait Fill[N, A] extends DepFn1[A] with Serializable

Type class supporting producing a HList of shape N filled with elements of type A.
trait Filter[L <: HList, U] extends DepFn1[L] with Serializable

Type class supporting access to the all elements of this HList of type U.
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.
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)
trait FlatMapper[HF, In <: HList] extends DepFn1[In] with Serializable

Type class supporting flatmapping a higher ranked function over this HList.
final case class HConsHKernel[H, T <: HKernel](tail: T) extends HKernel with Product with Serializable
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.
trait HKernelAux[L <: HList] extends DepFn0
trait HNilHKernel extends HKernel
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( ... )
trait Interleave[A, L <: HList] extends DepFn2[A, L] with Serializable

Type class supporting adding an element to each possible position in this HList
trait IsHCons[L <: HList] extends Serializable

Type class witnessing that this HList is composite and providing access to head and tail.
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( ... )
trait LeftFolder[L <: HList, In, HF] extends DepFn2[L, In] with Serializable

Type class supporting left-folding a polymorphic binary function over this HList.
trait LeftReducer[L <: HList, HF] extends DepFn1[L] with Serializable

Type class supporting left-reducing a polymorphic binary function over this HList.
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.
trait Length[L <: HList] extends DepFn0 with Serializable

Type class supporting computing the type-level Nat corresponding to the length of this HList.
trait LowPriorityCollect extends AnyRef
trait LowPriorityComapped extends AnyRef
trait LowPriorityPrepend extends LowestPriorityPrepend
trait LowPriorityReversePrepend extends AnyRef
trait LowPriorityRotateLeft extends AnyRef
trait LowPriorityRotateRight extends AnyRef
trait LowestPriorityPrepend extends AnyRef
trait MapCons[A, M <: HList] extends DepFn2[A, M] with Serializable
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.
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.
trait Mapper[HF, In <: HList] extends DepFn1[In] with Serializable

Type class supporting mapping a higher ranked function over this HList.
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( ... )
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.
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
trait Patcher[N <: Nat, M <: Nat, L <: HList, In <: HList] extends DepFn2[L, In] with Serializable

Type class supporting the patching of an HList
trait Permutations[L <: HList] extends DepFn1[L] with Serializable

Type class supporting the calculation of every permutation of this 'HList'
trait Prepend[P <: HList, S <: HList] extends DepFn2[P, S] with Serializable

Type class supporting prepending to this HList.
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( ... )
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( ... )
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( ... )
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( ... )
trait Reverse[L <: HList] extends DepFn1[L] with Serializable

Type class supporting reversing this HList.
trait ReversePrepend[P <: HList, S <: HList] extends DepFn2[P, S] with Serializable

Type class supporting reverse prepending to this HList.
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( ... )
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( ... )
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( ... )
trait RightFolder[L <: HList, In, HF] extends DepFn2[L, In] with Serializable

Type class supporting right-folding a polymorphic binary function over this HList.
trait RightReducer[L <: HList, HF] extends DepFn1[L] with Serializable

Type class supporting right-reducing a polymorphic binary function over this HList.
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.
trait RotateLeft[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

Type class supporting rotating a HList left
trait RotateRight[L <: HList, N <: Nat] extends DepFn1[L] with Serializable

Type class supporting rotating a HList right
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( ... )
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( ... )
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( ... )
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( ... )
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.
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( ... )
type ToArray[L <: HList, Lub] = ToTraversable[L, Array] { type Lub = Lub }

Type aliases and constructors provided for backward compatibility
trait ToCoproduct[L <: HList] extends Serializable

Type class computing the coproduct type corresponding to this HList.
type ToList[L <: HList, Lub] = ToTraversable[L, List] { type Lub = Lub }
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.
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.
trait Transposer[L <: HList] extends DepFn1[L] with Serializable

Type class supporting transposing this HList.
trait Tupler[L <: HList] extends DepFn1[L] with Serializable

Type class supporting conversion of this HList to a tuple.
trait Unifier[L <: HList] extends DepFn1[L] with Serializable

Type class supporting unification of this HList.
trait Unzip[L <: HList] extends DepFn1[L] with Serializable

Type class supporting unzipping this HList of tuples returning a tuple of HLists.
trait Zip[L <: HList] extends DepFn1[L] with Serializable

Type class supporting zipping this HList of HLists returning an HList of tuples.
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( ... )
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})
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.
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
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

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Align extends Serializable
object At extends Serializable
object Collect extends LowPriorityCollect with Serializable
object Comapped extends LowPriorityComapped with Serializable
object ConstMapper extends Serializable
object Drop extends Serializable
object Fill extends Serializable
object Filter extends Serializable
object FilterNot extends Serializable
object FlatMapInterleave extends Serializable
object FlatMapper extends Serializable
object HKernel
object HKernelAux
object HNilHKernel extends HNilHKernel with Product with Serializable
object Init extends Serializable
object Interleave extends Serializable
object IsHCons extends Serializable
object Last extends Serializable
object LeftFolder extends Serializable
object LeftReducer extends Serializable
object LeftScanner extends Serializable
object Length extends Serializable
object MapCons extends Serializable
object MapFolder extends Serializable
object Mapped extends Serializable
object Mapper extends Serializable
object Modifier extends Serializable
object NatTRel extends Serializable
object Partition extends Serializable
object Patcher extends Serializable
object Permutations extends Serializable
object Prepend extends LowPriorityPrepend with Serializable
object Remove extends Serializable
object RemoveAll extends Serializable
object ReplaceAt extends Serializable
object Replacer extends Serializable
object Reverse extends Serializable
object ReversePrepend extends LowPriorityReversePrepend with Serializable
object ReverseSplit extends Serializable
object ReverseSplitLeft extends Serializable
object ReverseSplitRight extends Serializable
object RightFolder extends Serializable
object RightReducer extends Serializable
object RightScanner extends Serializable
object RotateLeft extends LowPriorityRotateLeft with Serializable
object RotateRight extends LowPriorityRotateRight with Serializable
object Selector extends Serializable
object Split extends Serializable
object SplitLeft extends Serializable
object SplitRight extends Serializable
object SubtypeUnifier extends Serializable
object Take extends Serializable
def ToArray[L <: HList, Lub](implicit toArray: ToArray[L, Lub]): ToArray[L, Lub]
object ToCoproduct extends Serializable
def ToList[L <: HList, Lub](implicit toList: ToList[L, Lub]): ToList[L, Lub]
object ToSized extends Serializable
object ToTraversable extends Serializable
object Transposer extends Serializable
object Tupler extends TuplerInstances with Serializable
object Unifier extends Serializable
object Unzip extends Serializable
object Zip extends Serializable
object ZipApply extends Serializable
object ZipConst extends Serializable
object ZipOne extends Serializable
object ZipWith extends Serializable
object ZipWithKeys extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
implicit def hlistOrdering[H, T <: HList](implicit hOrdering: Ordering[H], tOrdering: Ordering[T]): Ordering[::[H, T]]
implicit object hnilOrdering extends Ordering[HNil]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package ops

object hlist

Type Members

trait Align[L <: HList, M <: HList] extends (L) ⇒ M with Serializable

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

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

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

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

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

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

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

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

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

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

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

trait HKernel extends AnyRef

trait HKernelAux[L <: HList] extends DepFn0

trait HNilHKernel extends HKernel

trait Init[L <: HList] extends DepFn1[L] with Serializable

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

trait IsHCons[L <: HList] extends Serializable

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

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

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

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

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

trait LowPriorityCollect extends AnyRef

trait LowPriorityComapped extends AnyRef

trait LowPriorityPrepend extends LowestPriorityPrepend

trait LowPriorityReversePrepend extends AnyRef

trait LowPriorityRotateLeft extends AnyRef

trait LowPriorityRotateRight extends AnyRef

trait LowestPriorityPrepend extends AnyRef

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

trait MapFolder[L <: HList, R, HF] extends Serializable

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

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

trait Modifier[L <: HList, U, V] extends DepFn2[L, (U) ⇒ V] with Serializable

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

trait Partition[L <: HList, U] extends DepFn1[L] with Serializable

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

trait ToCoproduct[L <: HList] extends Serializable

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

trait ToSized[L <: HList, M[_]] extends DepFn1[L] with Serializable

trait ToTraversable[L <: HList, M[_]] extends DepFn1[L] with Serializable

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

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

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

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

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

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

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

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

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

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

Value Members