Object

slick.collection.heterogeneous

HNil

Related Doc: package heterogeneous

Permalink

object HNil extends HList

The empty HList

Source
HList.scala
Linear Supertypes
HList, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HNil
  2. HList
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  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

    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]

    Permalink

    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

    Permalink

    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]

    Permalink

    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] = Z

    Permalink

    The type of a Fold operation on this HList

    The type of a Fold operation on this HList

    Definition Classes
    HNilHList
  6. type Head = Nothing

    Permalink

    The type of the first element

    The type of the first element

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    HList
  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]
    Definition Classes
    HList
  9. type Length = Fold[Nat, IncrementForFold, _0]

    Permalink

    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]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    HList
  11. type Self = HNil.type

    Permalink

    The type of this HList object

    The type of this HList object

    Definition Classes
    HNilHList
  12. type Tail = Nothing

    Permalink

    The type of the tail of this HList

    The type of the tail of this HList

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

    Permalink
    Attributes
    protected[this]
    Definition Classes
    HList

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. 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.

    Definition Classes
    HList
    Annotations
    @inline()
  4. final def :::[L <: HList](l: L): :::[L]

    Permalink

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

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

    Definition Classes
    HList
  5. final def ==(arg0: Any): Boolean

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

    Permalink
    Definition Classes
    HList
    Annotations
    @inline()
  7. 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.

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

    Definition Classes
    HList
  8. 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.

    Definition Classes
    HList
    Annotations
    @inline()
  9. final def asInstanceOf[T0]: T0

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

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

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

    Permalink

    Drop the first n elements from this HList.

    Drop the first n elements from this HList.

    Definition Classes
    HList
  13. 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.

    Definition Classes
    HList
    Annotations
    @inline()
  14. final def eq(arg0: AnyRef): Boolean

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. def fold[U, F[_ <: HList, _ <: U] <: U, Z <: U](f: TypedFunction2[HList, U, U, F], z: Z): Z

    Permalink

    Fold the elements of this HList.

    Fold the elements of this HList.

    Definition Classes
    HNilHList
  18. final def foreach(f: (Any) ⇒ Unit): Unit

    Permalink

    Evaluate a function for each element of this HList.

    Evaluate a function for each element of this HList.

    Definition Classes
    HList
  19. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    HList → AnyRef → Any
  21. def head: Nothing

    Permalink

    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
    HNilHList
  22. final def isEmpty: Boolean

    Permalink

    Check if this list is empty.

    Check if this list is empty.

    Definition Classes
    HList
  23. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  24. final def length: Length

    Permalink

    Get the length of this list as a Nat.

    Get the length of this list as a Nat.

    Definition Classes
    HList
    Annotations
    @inline()
  25. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  26. def nonEmpty: Boolean

    Permalink

    Check if this HList is non-empty.

    Check if this HList is non-empty.

    Definition Classes
    HNilHList
  27. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  29. 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
  30. final def productElement(i: Int): Any

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

    Permalink
    Definition Classes
    Product
  32. def productPrefix: String

    Permalink
    Definition Classes
    Product
  33. def self: HNil.type

    Permalink

    Return this HList typed as Self/

    Return this HList typed as Self/

    Definition Classes
    HNilHList
  34. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  35. def tail: Nothing

    Permalink

    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
    HNilHList
  36. def toList: Nil.type

    Permalink

    Convert this HList to a List[Any].

    Convert this HList to a List[Any].

    Definition Classes
    HNilHList
  37. final def toString(): String

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from HList

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped