Class/Object

slick.collection.heterogeneous

HList

Related Docs: object HList | package heterogeneous

Permalink

sealed abstract class HList extends Product

A heterogenous list where each element has its own type.

Source
HList.scala
Linear Supertypes
Product, Equals, AnyRef, Any
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HList
  2. Product
  3. Equals
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ::[E] = HCons[E, Self]

    Permalink

    The type of prepending an element of type E to this HList

  2. type :::[L <: HList] = :::.L.Fold[HList, PrependHead, Self]

    Permalink

    The type of concatenating another HList with this HList

  3. type Apply[N <: Nat] = Nat.Fold.Head

    Permalink

    Get the type of the Nth element of this HList

  4. type Drop[N <: Nat] = Drop.N.Fold[HList, TailOf, Self]

    Permalink

    Drop the first N elements from this HList and return the resulting type

  5. abstract type Fold[U, F[_ <: HList, _ <: U] <: U, Z <: U] <: U

    Permalink

    The type of a Fold operation on this HList

  6. abstract type Head

    Permalink

    The type of the first element

  7. type HeadOf[T <: HList] = HeadOf.T.Head

    Permalink
    Attributes
    protected[this]
  8. type IncrementForFold[X, Z <: Nat] = Succ[Z]

    Permalink

    Ignore X and increment Z by one (for counting with Fold)

    Ignore X and increment Z by one (for counting with Fold)

    Attributes
    protected[this]
  9. type Length = Fold[Nat, IncrementForFold, _0]

    Permalink

    Get the Nat type of the length of this HList

  10. type PrependHead[X <: HList, Z <: HList] = HCons[PrependHead.X.Head, PrependHead.Z.Self]

    Permalink
    Attributes
    protected[this]
  11. abstract type Self <: HList

    Permalink

    The type of this HList object

  12. abstract type Tail <: HList

    Permalink

    The type of the tail of this HList

  13. type TailOf[T <: HList] = TailOf.T.Tail

    Permalink
    Attributes
    protected[this]

Abstract Value Members

  1. abstract def fold[U, F[_ <: HList, _ <: U] <: U, Z <: U](f: TypedFunction2[HList, U, U, F], z: Z): Fold[U, F, Z]

    Permalink

    Fold the elements of this HList.

  2. abstract def head: Head

    Permalink

    Get the first element, or throw a NoSuchElementException if this HList is empty.

  3. abstract def nonEmpty: Boolean

    Permalink

    Check if this HList is non-empty.

  4. abstract def self: Self

    Permalink

    Return this HList typed as Self/

  5. abstract def tail: Tail

    Permalink

    Get the tail of the list, or throw a NoSuchElementException if this HList is empty.

  6. abstract def toList: List[Any]

    Permalink

    Convert this HList to a List[Any].

Concrete Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to any2stringadd[HList] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (HList, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to ArrowAssoc[HList] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ::[E](elem: E): ::[E]

    Permalink

    Prepend an element to this HList, returning a new HList.

    Prepend an element to this HList, returning a new HList.

    Annotations
    @inline()
  6. final def :::[L <: HList](l: L): :::[L]

    Permalink

    Concatenate another HList to this HList, returning a new HList.

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

    Permalink
    Definition Classes
    AnyRef → Any
  8. final def _unsafeApply[N <: Nat](i: Int): Apply[N]

    Permalink
    Annotations
    @inline()
  9. final macro def apply(n: Int): Any

    Permalink

    Return the nth element from this HList, using the correct return type if n is a literal, otherwise Any.

  10. final def apply[N <: Nat](n: N): Apply[N]

    Permalink

    Return the nth element from this HList, using the correct return type.

    Return the nth element from this HList, using the correct return type.

    Annotations
    @inline()
  11. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  12. final def canEqual(that: Any): Boolean

    Permalink
    Definition Classes
    HList → Equals
  13. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  14. final def drop(i: Int): HList

    Permalink

    Drop the first n elements from this HList.

  15. final def drop[N <: Nat](n: N): Drop[N]

    Permalink

    Drop the first n elements from this HList.

    Drop the first n elements from this HList.

    Annotations
    @inline()
  16. def ensuring(cond: (HList) ⇒ Boolean, msg: ⇒ Any): HList

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to Ensuring[HList] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. def ensuring(cond: (HList) ⇒ Boolean): HList

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to Ensuring[HList] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: Boolean, msg: ⇒ Any): HList

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to Ensuring[HList] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: Boolean): HList

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to Ensuring[HList] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def equals(that: Any): Boolean

    Permalink
    Definition Classes
    HList → Equals → AnyRef → Any
  22. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. final def foreach(f: (Any) ⇒ Unit): Unit

    Permalink

    Evaluate a function for each element of this HList.

  24. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to StringFormat[HList] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  25. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  26. final lazy val hashCode: Int

    Permalink
    Definition Classes
    HList → AnyRef → Any
  27. final def isEmpty: Boolean

    Permalink

    Check if this list is empty.

  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  29. final def length: Length

    Permalink

    Get the length of this list as a Nat.

    Get the length of this list as a Nat.

    Annotations
    @inline()
  30. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  31. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  32. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  33. final def productArity: Int

    Permalink

    Get the length of this list as an Int.

    Get the length of this list as an Int.

    Definition Classes
    HList → Product
  34. final def productElement(i: Int): Any

    Permalink
    Definition Classes
    HList → Product
  35. def productIterator: Iterator[Any]

    Permalink
    Definition Classes
    Product
  36. def productPrefix: String

    Permalink
    Definition Classes
    Product
  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  38. final def toString(): String

    Permalink
    Definition Classes
    HList → AnyRef → Any
  39. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. def [B](y: B): (HList, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from HList to ArrowAssoc[HList] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HList to any2stringadd[HList]

Inherited by implicit conversion StringFormat from HList to StringFormat[HList]

Inherited by implicit conversion Ensuring from HList to Ensuring[HList]

Inherited by implicit conversion ArrowAssoc from HList to ArrowAssoc[HList]

Ungrouped