scala.slick.collection.heterogenous

HList

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
HCons, HNil
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. HList
  2. Product
  3. Equals
  4. AnyRef
  5. Any
Implicitly
  1. by any2stringadd
  2. by any2stringfmt
  3. by any2ArrowAssoc
  4. by any2Ensuring
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new HList()

Type Members

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

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

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

    The type of concatenating another HList with this HList

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

    Get the type of the Nth element of this HList

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

    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

    The type of a Fold operation on this HList

  6. abstract type Head

    The type of the first element

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

    Attributes
    protected[this]

  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]

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

    Get the Nat type of the length of this HList

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

    Attributes
    protected[this]

  11. abstract type Self <: HList

    The type of this HList object

  12. abstract type Tail <: HList

    The type of the tail of this HList

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

    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]

    Fold the elements of this HList.

  2. abstract def head: Head

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

  3. abstract def nonEmpty: Boolean

    Check if this HList is non-empty.

  4. abstract def self: Self

    Return this HList typed as Self/

  5. abstract def tail: Tail

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

  6. abstract def toList: List[Any]

    Convert this HList to a List[Any].

Concrete Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. def +(other: String): String

    Implicit information
    This member is added by an implicit conversion from HList to StringAdd performed by method any2stringadd in scala.Predef.
    Definition Classes
    StringAdd

  5. def ->[B](y: B): (HList, B)

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

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

    Annotations
    @inline()

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

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

  8. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

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

    Annotations
    @inline()

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

    Annotations
    @macroImpl( ... )

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

    Annotations
    @inline()

  13. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

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

    Definition Classes
    HList → Equals

  15. def clone(): AnyRef

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

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

    Drop the first n elements from this HList.

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

    Annotations
    @inline()

  18. def ensuring(cond: (HList) ⇒ Boolean, msg: ⇒ Any): HList

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

  19. def ensuring(cond: (HList) ⇒ Boolean): HList

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

  20. def ensuring(cond: Boolean, msg: ⇒ Any): HList

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

  21. def ensuring(cond: Boolean): HList

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

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

    Definition Classes
    AnyRef

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

    Definition Classes
    HList → Equals → AnyRef → Any

  24. def finalize(): Unit

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

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

    Evaluate a function for each element of this HList.

  26. def formatted(fmtstr: String): String

    Implicit information
    This member is added by an implicit conversion from HList to StringFormat performed by method any2stringfmt in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

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

    Definition Classes
    AnyRef → Any

  28. final lazy val hashCode: Int

    Definition Classes
    HList → AnyRef → Any

  29. final def isEmpty: Boolean

    Check if this list is empty.

  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.

    Annotations
    @inline()

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

    Definition Classes
    AnyRef

  33. final def notify(): Unit

    Definition Classes
    AnyRef

  34. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

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

    Definition Classes
    HList → Product

  37. def productIterator: Iterator[Any]

    Definition Classes
    Product

  38. def productPrefix: String

    Definition Classes
    Product

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

    Definition Classes
    AnyRef

  40. final def toString(): String

    Definition Classes
    HList → AnyRef → Any

  41. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  44. def →[B](y: B): (HList, B)

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

Shadowed Implicit Value Members

  1. val self: Any

    Implicit information
    This member is added by an implicit conversion from HList to StringAdd performed by method any2stringadd in scala.Predef.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (hList: StringAdd).self
    Definition Classes
    StringAdd

  2. val self: Any

    Implicit information
    This member is added by an implicit conversion from HList to StringFormat performed by method any2stringfmt in scala.Predef.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (hList: StringFormat).self
    Definition Classes
    StringFormat

Deprecated Value Members

  1. def x: HList

    Implicit information
    This member is added by an implicit conversion from HList to ArrowAssoc[HList] performed by method any2ArrowAssoc in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (hList: ArrowAssoc[HList]).x
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use leftOfArrow instead

  2. def x: HList

    Implicit information
    This member is added by an implicit conversion from HList to Ensuring[HList] performed by method any2Ensuring in scala.Predef.
    Shadowing
    This implicitly inherited member is ambiguous. One or more implicitly inherited members have similar signatures, so calling this member may produce an ambiguous implicit conversion compiler error.
    To access this member you can use a type ascription:
    (hList: Ensuring[HList]).x
    Definition Classes
    Ensuring
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) Use resultOfEnsuring instead

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HList to StringAdd

Inherited by implicit conversion any2stringfmt from HList to StringFormat

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

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

Ungrouped