Class

typequux.HList

IndexedOps

Related Doc: package HList

Permalink

class IndexedOps[HL <: HList, Before <: HList, At, After <: HList] extends AnyRef

Scala collection like operations on HLists given an Indexer

Author:

Harshad Deo

HL

Type of the HList

Before

Type of the sublist before the index

At

Type of element at the index

After

Type of the sublist after the index

Since

0.1

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IndexedOps
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IndexedOps(hl: HL, ind: Indexer[HL, Before, At, After])

    Permalink

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to any2stringadd[IndexedOps[HL, Before, At, After]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd

  4. def ->[B](y: B): (IndexedOps[HL, Before, At, After], B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to ArrowAssoc[IndexedOps[HL, Before, At, After]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    AnyRef → Any

  6. val after: After

    Permalink

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. val at: At

    Permalink

  9. val before: Before

    Permalink

  10. def clone(): AnyRef

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

  11. def drop: :+:[At, After]

    Permalink

    Drop the sublist before the index

    Drop the sublist before the index

    Author:

    Harshad Deo

    Since

    0.1

  12. def ensuring(cond: (IndexedOps[HL, Before, At, After]) ⇒ Boolean, msg: ⇒ Any): IndexedOps[HL, Before, At, After]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to Ensuring[IndexedOps[HL, Before, At, After]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  13. def ensuring(cond: (IndexedOps[HL, Before, At, After]) ⇒ Boolean): IndexedOps[HL, Before, At, After]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to Ensuring[IndexedOps[HL, Before, At, After]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  14. def ensuring(cond: Boolean, msg: ⇒ Any): IndexedOps[HL, Before, At, After]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to Ensuring[IndexedOps[HL, Before, At, After]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

  15. def ensuring(cond: Boolean): IndexedOps[HL, Before, At, After]

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to Ensuring[IndexedOps[HL, Before, At, After]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring

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

    Permalink
    Definition Classes
    AnyRef

  17. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  18. def finalize(): Unit

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

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

    Permalink

    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

    Since

    0.1

  20. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to StringFormat[IndexedOps[HL, Before, At, After]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    AnyRef → Any

  22. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

    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

    Since

    0.1

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

    Permalink

    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

    Since

    0.1

  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink

    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

    Since

    0.1

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

    Permalink
    Definition Classes
    AnyRef

  28. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink

    Remove the element at the index

    Remove the element at the index

    Author:

    Harshad Deo

    R

    Type of the resultant HList

    Since

    0.1

  31. def splitAt: (Before, :+:[At, After])

    Permalink

    Partition the HList at the index

    Partition the HList at the index

    Author:

    Harshad Deo

    Since

    0.1

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

    Permalink
    Definition Classes
    AnyRef

  33. def take: Before

    Permalink

    Keep the sublist before the index

    Keep the sublist before the index

    Author:

    Harshad Deo

    Since

    0.1

  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

    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

    Since

    0.1

  36. final def wait(): Unit

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

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

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

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

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

  39. def →[B](y: B): (IndexedOps[HL, Before, At, After], B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from IndexedOps[HL, Before, At, After] to ArrowAssoc[IndexedOps[HL, Before, At, After]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from IndexedOps[HL, Before, At, After] to any2stringadd[IndexedOps[HL, Before, At, After]]

Inherited by implicit conversion StringFormat from IndexedOps[HL, Before, At, After] to StringFormat[IndexedOps[HL, Before, At, After]]

Inherited by implicit conversion Ensuring from IndexedOps[HL, Before, At, After] to Ensuring[IndexedOps[HL, Before, At, After]]

Inherited by implicit conversion ArrowAssoc from IndexedOps[HL, Before, At, After] to ArrowAssoc[IndexedOps[HL, Before, At, After]]

Ungrouped