slick.collection.heterogeneous

HCons

Related Docs: object HCons | package heterogeneous

final class HCons[+H, +T <: HList] extends HList

A cons cell of an HList, containing an element type and the element

Source
HList.scala
Linear Supertypes
HList, Product, Equals, AnyRef, Any
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. HCons
  2. HList
  3. Product
  4. Equals
  5. AnyRef
  6. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new HCons(head: H, tail: T)

Type Members

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

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

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

    Definition Classes
    HList

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

    The type of concatenating another HList with this HList

    The type of concatenating another HList with this HList

    Definition Classes
    HList

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

    Get the type of the Nth element of this HList

    Get the type of the Nth element of this HList

    Definition Classes
    HList

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

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

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

    Definition Classes
    HList

  5. type Fold[U, F[_ <: HList, _ <: U] <: U, Z <: U] = F[Self, T.Fold[U, F, Z]]

    The type of a Fold operation on this HList

    The type of a Fold operation on this HList

    Definition Classes
    HCons → HList

  6. type Head = H

    The type of the first element

    The type of the first element

    Definition Classes
    HCons → HList

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

    Attributes
    protected[this]
    Definition Classes
    HList

  8. type IncrementForFold[X, Z <: Nat] = Succ[Z]

    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]
    Definition Classes
    HList

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

    Get the Nat type of the length of this HList

    Get the Nat type of the length of this HList

    Definition Classes
    HList

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

    Attributes
    protected[this]
    Definition Classes
    HList

  11. type Self = HCons[H, T]

    The type of this HList object

    The type of this HList object

    Definition Classes
    HCons → HList

  12. type Tail = T

    The type of the tail of this HList

    The type of the tail of this HList

    Definition Classes
    HCons → HList

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

    Attributes
    protected[this]
    Definition Classes
    HList

Value Members

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

    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Definition Classes
    AnyRef → Any

  3. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to any2stringadd[HCons[H, T]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd

  4. def ->[B](y: B): (HCons[H, T], B)

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to ArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

  5. final def ::[E](elem: E): ::[E]

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

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

    Definition Classes
    HList
    Annotations
    @inline()

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

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

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

    Definition Classes
    HList

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

    Definition Classes
    AnyRef → Any

  8. final def _unsafeApply[N <: Nat](i: Int): Apply[N]

    Definition Classes
    HList
    Annotations
    @inline()

  9. final macro def apply(n: Int): Any

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

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

    Definition Classes
    HList

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

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

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

    Definition Classes
    HList
    Annotations
    @inline()

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. final def canEqual(that: Any): Boolean

    Definition Classes
    HList → Equals

  13. def clone(): AnyRef

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

  14. final def drop(i: Int): HList

    Drop the first n elements from this HList.

    Drop the first n elements from this HList.

    Definition Classes
    HList

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

    Drop the first n elements from this HList.

    Drop the first n elements from this HList.

    Definition Classes
    HList
    Annotations
    @inline()

  16. def ensuring(cond: (HCons[H, T]) ⇒ Boolean, msg: ⇒ Any): HCons[H, T]

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  17. def ensuring(cond: (HCons[H, T]) ⇒ Boolean): HCons[H, T]

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  18. def ensuring(cond: Boolean, msg: ⇒ Any): HCons[H, T]

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  19. def ensuring(cond: Boolean): HCons[H, T]

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to Ensuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

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

    Definition Classes
    AnyRef

  21. final def equals(that: Any): Boolean

    Definition Classes
    HList → Equals → AnyRef → Any

  22. def finalize(): Unit

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

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

    Fold the elements of this HList.

    Fold the elements of this HList.

    Definition Classes
    HCons → HList

  24. final def foreach(f: (Any) ⇒ Unit): Unit

    Evaluate a function for each element of this HList.

    Evaluate a function for each element of this HList.

    Definition Classes
    HList

  25. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to StringFormat[HCons[H, T]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

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

    Definition Classes
    AnyRef → Any

  27. final lazy val hashCode: Int

    Definition Classes
    HList → AnyRef → Any

  28. val head: H

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

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

    Definition Classes
    HCons → HList

  29. final def isEmpty: Boolean

    Check if this list is empty.

    Check if this list is empty.

    Definition Classes
    HList

  30. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  31. final def length: Length

    Get the length of this list as a Nat.

    Get the length of this list as a Nat.

    Definition Classes
    HList
    Annotations
    @inline()

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

    Definition Classes
    AnyRef

  33. def nonEmpty: Boolean

    Check if this HList is non-empty.

    Check if this HList is non-empty.

    Definition Classes
    HCons → HList

  34. final def notify(): Unit

    Definition Classes
    AnyRef

  35. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  36. final def productArity: Int

    Get the length of this list as an Int.

    Get the length of this list as an Int.

    Definition Classes
    HList → Product

  37. final def productElement(i: Int): Any

    Definition Classes
    HList → Product

  38. def productIterator: Iterator[Any]

    Definition Classes
    Product

  39. def productPrefix: String

    Definition Classes
    Product

  40. def self: HCons[H, T]

    Return this HList typed as Self/

    Return this HList typed as Self/

    Definition Classes
    HCons → HList

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

    Definition Classes
    AnyRef

  42. val tail: T

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

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

    Definition Classes
    HCons → HList

  43. def toList: List[Any]

    Convert this HList to a List[Any].

    Convert this HList to a List[Any].

    Definition Classes
    HCons → HList

  44. final def toString(): String

    Definition Classes
    HList → AnyRef → Any

  45. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  48. def →[B](y: B): (HCons[H, T], B)

    Implicit information
    This member is added by an implicit conversion from HCons[H, T] to ArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from HList

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HCons[H, T] to any2stringadd[HCons[H, T]]

Inherited by implicit conversion StringFormat from HCons[H, T] to StringFormat[HCons[H, T]]

Inherited by implicit conversion Ensuring from HCons[H, T] to Ensuring[HCons[H, T]]

Inherited by implicit conversion ArrowAssoc from HCons[H, T] to ArrowAssoc[HCons[H, T]]

Ungrouped