Tip

Value Members

final def !=(arg0: Any): Boolean

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

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

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

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to ArrowAssoc[Tip[S, HL]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
val after: After

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
final def asInstanceOf[T0]: T0

Definition Classes
Any
val at: S

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
val before: Before

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def drop: :+:[S, After]

Drop the sublist before the index
Drop the sublist before the index

Author:

Harshad Deo

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
def ensuring(cond: (Tip[S, HL]) ⇒ Boolean, msg: ⇒ Any): Tip[S, HL]

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

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

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

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

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def flatMap[B <: HList, R0 <: HList, R1 <: HList](f: (S) ⇒ B)(implicit ev0: AppendConstraint[B, After, R0], ev1: AppendConstraint[Before, R0, R1]): R1

Map the element at the index and then "flatten" the result
Map the element at the index and then "flatten" the result

Author:

Harshad Deo

B
Result of the map
R0
Result of appending B and After
R1
Result of the flatmap operation

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
def formatted(fmtstr: String): String

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

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def insert[C, R <: HList](c: C)(implicit ev: AppendConstraint[Before, :+:[C, :+:[S, After]], R]): R

Insert a new element at the index
Insert a new element at the index

Author:

Harshad Deo

C
Type of the element to be inserted
R
Type of the resultant HList

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
def insertM[B <: HList, R0 <: HList, R1 <: HList](b: B)(implicit ev0: AppendConstraint[B, :+:[S, After], R0], ev1: AppendConstraint[Before, R0, R1]): R1

Insert an HList at the index
Insert an HList at the index

Author:

Harshad Deo

B
Type of the HList to be inserted
R0
Type of the result of appending B and At :+: After
R1
Type of the resultant HList

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def map[T, R <: HList](f: (S) ⇒ T)(implicit ev: AppendConstraint[Before, :+:[T, After], R]): R

Map the element at the index
Map the element at the index

Author:

Harshad Deo

T
Type of the result of the mapping
R
Type of the resultant HList

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def remove[R <: HList](implicit ev: AppendConstraint[Before, After, R]): R

Remove the element at the index
Remove the element at the index

Author:

Harshad Deo

R
Type of the resultant HList

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
def splitAt: (Before, :+:[S, After])

Partition the HList at the index
Partition the HList at the index

Author:

Harshad Deo

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def take: Before

Keep the sublist before the index
Keep the sublist before the index

Author:

Harshad Deo

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
def toString(): String

Definition Classes
AnyRef → Any
def updated[A, R <: HList](a: A)(implicit ev: AppendConstraint[Before, :+:[A, After], R]): R

Update the element at the index
Update the element at the index

Author:

Harshad Deo

A
Type of the new element
R
Type of the resultant HList

Implicit information
This member is added by an implicit conversion from Tip[S, HL] to IndexedOps[HL, Before, S, After] performed by method tip2IndexedOps in typequux.HList.Tip. This conversion will take place only if an implicit value of type TIndexer[HL, Before, S, After] is in scope and at the same time HL is a subclass of HList (HL <: HList).
Definition Classes
IndexedOps
Since
0.1
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (Tip[S, HL], B)

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

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion tip2IndexedOps from Tip[S, HL] to IndexedOps[HL, Before, S, After]

Inherited by implicit conversion any2stringadd from Tip[S, HL] to any2stringadd[Tip[S, HL]]

Inherited by implicit conversion StringFormat from Tip[S, HL] to StringFormat[Tip[S, HL]]

Inherited by implicit conversion Ensuring from Tip[S, HL] to Ensuring[Tip[S, HL]]

Inherited by implicit conversion ArrowAssoc from Tip[S, HL] to ArrowAssoc[Tip[S, HL]]

Ungrouped

Related Docs: object Tip | package HList

class Tip[S, HL <: HList] extends AnyRef

Author:

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Tip[S, HL], B)

final def ==(arg0: Any): Boolean

val after: After

final def asInstanceOf[T0]: T0

val at: S

val before: Before

def clone(): AnyRef

def drop: :+:[S, After]

Author:

def ensuring(cond: (Tip[S, HL]) ⇒ Boolean, msg: ⇒ Any): Tip[S, HL]

def ensuring(cond: (Tip[S, HL]) ⇒ Boolean): Tip[S, HL]

def ensuring(cond: Boolean, msg: ⇒ Any): Tip[S, HL]

def ensuring(cond: Boolean): Tip[S, HL]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def flatMap[B <: HList, R0 <: HList, R1 <: HList](f: (S) ⇒ B)(implicit ev0: AppendConstraint[B, After, R0], ev1: AppendConstraint[Before, R0, R1]): R1

Author:

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

def insert[C, R <: HList](c: C)(implicit ev: AppendConstraint[Before, :+:[C, :+:[S, After]], R]): R

Author:

def insertM[B <: HList, R0 <: HList, R1 <: HList](b: B)(implicit ev0: AppendConstraint[B, :+:[S, After], R0], ev1: AppendConstraint[Before, R0, R1]): R1

Author:

final def isInstanceOf[T0]: Boolean

def map[T, R <: HList](f: (S) ⇒ T)(implicit ev: AppendConstraint[Before, :+:[T, After], R]): R

Author:

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def remove[R <: HList](implicit ev: AppendConstraint[Before, After, R]): R

Author:

def splitAt: (Before, :+:[S, After])

Author:

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

def take: Before

Author:

def toString(): String

def updated[A, R <: HList](a: A)(implicit ev: AppendConstraint[Before, :+:[A, After], R]): R

Author:

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (Tip[S, HL], B)

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion tip2IndexedOps from Tip[S, HL] to IndexedOps[HL, Before, S, After]

Inherited by implicit conversion any2stringadd from Tip[S, HL] to any2stringadd[Tip[S, HL]]

Inherited by implicit conversion StringFormat from Tip[S, HL] to StringFormat[Tip[S, HL]]

Inherited by implicit conversion Ensuring from Tip[S, HL] to Ensuring[Tip[S, HL]]

Inherited by implicit conversion ArrowAssoc from Tip[S, HL] to ArrowAssoc[Tip[S, HL]]

Ungrouped