HCons

Companion object HCons

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

Ordering

Alphabetic
By Inheritance

Inherited

HCons
HList
Product
Equals
AnyRef
Any

Implicitly

by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc

Hide All
Show All

Visibility

Public
Protected

Instance Constructors

new HCons(head: H, tail: T)

Type Members

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
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
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
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
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
type Head = H
The type of the first element
The type of the first element
Definition Classes
HCons → HList
type HeadOf[T <: HList] = HList.HeadOf.T.Head
Attributes
protected[this]
Definition Classes
HList
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
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
type PrependHead[X <: HList, Z <: HList] = HCons[HList.PrependHead.X.Head, HList.PrependHead.Z.Self]
Attributes
protected[this]
Definition Classes
HList
type Self = HCons[H, T]
The type of this HList object
The type of this HList object
Definition Classes
HCons → HList
type Tail = T
The type of the tail of this HList
The type of the tail of this HList
Definition Classes
HCons → HList
type TailOf[T <: HList] = HList.TailOf.T.Tail
Attributes
protected[this]
Definition Classes
HList

Value Members

final def !=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def ##: Int
Definition Classes
AnyRef → Any
def +(other: String): String
Implicit
This member is added by an implicit conversion from HCons[H, T] toany2stringadd[HCons[H, T]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (HCons[H, T], B)
Implicit
This member is added by an implicit conversion from HCons[H, T] toArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
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()
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
final def ==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def _unsafeApply[N <: Nat](i: Int): Apply[N]
Definition Classes
HList
Annotations
@inline()
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
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()
final def asInstanceOf[T0]: T0
Definition Classes
Any
final def canEqual(that: Any): Boolean
Definition Classes
HList → Equals
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
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
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()
def ensuring(cond: (HCons[H, T]) => Boolean, msg: => Any): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (HCons[H, T]) => Boolean): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: => Any): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def equals(that: Any): Boolean
Definition Classes
HList → Equals → AnyRef → Any
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
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
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
final lazy val hashCode: Int
Definition Classes
HList → AnyRef → Any
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
final def isEmpty: Boolean
Check if this list is empty.
Check if this list is empty.
Definition Classes
HList
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
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()
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def nonEmpty: Boolean
Check if this HList is non-empty.
Check if this HList is non-empty.
Definition Classes
HCons → HList
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
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
final def productElement(i: Int): Any
Definition Classes
HList → Product
def productElementName(n: Int): String
Definition Classes
Product
def productElementNames: Iterator[String]
Definition Classes
Product
def productIterator: Iterator[Any]
Definition Classes
Product
def productPrefix: String
Definition Classes
Product
def self: HCons[H, T]
Return this HList typed as Self/
Return this HList typed as Self/
Definition Classes
HCons → HList
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
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
def toList: List[Any]
Convert this HList to a List[Any].
Convert this HList to a List[Any].
Definition Classes
HCons → HList
final def toString(): String
Definition Classes
HList → AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])

Inherited from HList

Value Members

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()
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
final def _unsafeApply[N <: Nat](i: Int): Apply[N]
Definition Classes
HList
Annotations
@inline()
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
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()
final def canEqual(that: Any): Boolean
Definition Classes
HList → Equals
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
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()
final def equals(that: Any): Boolean
Definition Classes
HList → Equals → AnyRef → Any
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
final lazy val hashCode: Int
Definition Classes
HList → AnyRef → Any
final def isEmpty: Boolean
Check if this list is empty.
Check if this list is empty.
Definition Classes
HList
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()
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
final def productElement(i: Int): Any
Definition Classes
HList → Product
final def toString(): String
Definition Classes
HList → AnyRef → Any

Inherited from Product

Value Members

def productElementName(n: Int): String
Definition Classes
Product
def productElementNames: Iterator[String]
Definition Classes
Product
def productIterator: Iterator[Any]
Definition Classes
Product
def productPrefix: String
Definition Classes
Product

Inherited from AnyRef

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
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable]) @Deprecated
Deprecated

Inherited from Any

Value Members

final def asInstanceOf[T0]: T0
Definition Classes
Any
final def isInstanceOf[T0]: Boolean
Definition Classes
Any

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

Value Members

def +(other: String): String
Implicit
This member is added by an implicit conversion from HCons[H, T] toany2stringadd[HCons[H, T]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd

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

Value Members

def formatted(fmtstr: String): String
Implicit
This member is added by an implicit conversion from HCons[H, T] toStringFormat[HCons[H, T]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@deprecated @inline()
Deprecated
(Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

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

Value Members

def ensuring(cond: (HCons[H, T]) => Boolean, msg: => Any): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (HCons[H, T]) => Boolean): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: => Any): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring

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

Value Members

def ->[B](y: B): (HCons[H, T], B)
Implicit
This member is added by an implicit conversion from HCons[H, T] toArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
def →[B](y: B): (HCons[H, T], B)
Implicit
This member is added by an implicit conversion from HCons[H, T] toArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Ungrouped

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
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
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
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
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
type Head = H
The type of the first element
The type of the first element
Definition Classes
HCons → HList
type HeadOf[T <: HList] = HList.HeadOf.T.Head
Attributes
protected[this]
Definition Classes
HList
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
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
type PrependHead[X <: HList, Z <: HList] = HCons[HList.PrependHead.X.Head, HList.PrependHead.Z.Self]
Attributes
protected[this]
Definition Classes
HList
type Self = HCons[H, T]
The type of this HList object
The type of this HList object
Definition Classes
HCons → HList
type Tail = T
The type of the tail of this HList
The type of the tail of this HList
Definition Classes
HCons → HList
type TailOf[T <: HList] = HList.TailOf.T.Tail
Attributes
protected[this]
Definition Classes
HList

final def !=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def ##: Int
Definition Classes
AnyRef → Any
def +(other: String): String
Implicit
This member is added by an implicit conversion from HCons[H, T] toany2stringadd[HCons[H, T]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (HCons[H, T], B)
Implicit
This member is added by an implicit conversion from HCons[H, T] toArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
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()
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
final def ==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def _unsafeApply[N <: Nat](i: Int): Apply[N]
Definition Classes
HList
Annotations
@inline()
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
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()
final def asInstanceOf[T0]: T0
Definition Classes
Any
final def canEqual(that: Any): Boolean
Definition Classes
HList → Equals
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
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
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()
def ensuring(cond: (HCons[H, T]) => Boolean, msg: => Any): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (HCons[H, T]) => Boolean): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: => Any): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): HCons[H, T]
Implicit
This member is added by an implicit conversion from HCons[H, T] toEnsuring[HCons[H, T]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def equals(that: Any): Boolean
Definition Classes
HList → Equals → AnyRef → Any
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
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
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
final lazy val hashCode: Int
Definition Classes
HList → AnyRef → Any
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
final def isEmpty: Boolean
Check if this list is empty.
Check if this list is empty.
Definition Classes
HList
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
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()
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def nonEmpty: Boolean
Check if this HList is non-empty.
Check if this HList is non-empty.
Definition Classes
HCons → HList
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
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
final def productElement(i: Int): Any
Definition Classes
HList → Product
def productElementName(n: Int): String
Definition Classes
Product
def productElementNames: Iterator[String]
Definition Classes
Product
def productIterator: Iterator[Any]
Definition Classes
Product
def productPrefix: String
Definition Classes
Product
def self: HCons[H, T]
Return this HList typed as Self/
Return this HList typed as Self/
Definition Classes
HCons → HList
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
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
def toList: List[Any]
Convert this HList to a List[Any].
Convert this HList to a List[Any].
Definition Classes
HCons → HList
final def toString(): String
Definition Classes
HList → AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable]) @Deprecated
Deprecated
def formatted(fmtstr: String): String
Implicit
This member is added by an implicit conversion from HCons[H, T] toStringFormat[HCons[H, T]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@deprecated @inline()
Deprecated
(Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.
def →[B](y: B): (HCons[H, T], B)
Implicit
This member is added by an implicit conversion from HCons[H, T] toArrowAssoc[HCons[H, T]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@deprecated
Deprecated
(Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Packages

Scala Language-Integrated Connection Kit

HCons

Companion object HCons

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

Instance Constructors

Type Members

Value Members

Deprecated Value Members

Inherited from HList

Value Members

Inherited from Product

Value Members

Inherited from AnyRef

Value Members

Inherited from Any

Value Members

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

Value Members

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

Value Members

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

Value Members

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

Value Members

Ungrouped

Packages

Scala Language-Integrated Connection Kit

HCons

Companion object HCons

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

Instance Constructors

Type Members

Value Members

Deprecated Value Members

Inherited from HList

Value Members

Inherited from Product

Value Members

Inherited from AnyRef

Value Members

Inherited from Any

Value Members

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

Value Members

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

Value Members

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

Value Members

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

Value Members

Ungrouped

HCons