Class

typequux

HListOps

Related Doc: package typequux

Permalink

class HListOps[B <: HList] extends ArityIndexOps[B]

Common operations on HList

Author:

Harshad Deo

B

Type of the HList on which the operations are defined

Since

0.1

Linear Supertypes
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. HListOps
  2. ArityIndexOps
  3. AnyRef
  4. 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 HListOps(b: B)

    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 HListOps[B] to any2stringadd[HListOps[B]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (HListOps[B], B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from HListOps[B] to ArrowAssoc[HListOps[B]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. def :++:[A, R](a: A)(implicit ev: AppendConstraint[A, B, R]): R

    Permalink

    Prepends an hlist to this one

    Prepends an hlist to this one

    Author:

    Harshad Deo

    A

    Type of the HList being prepended

    R

    Type of the resultant HList

    Since

    0.1

  6. def :+:[A](a: A): HCons[A, B]

    Permalink

    Adds an element to the head of a HList

    Adds an element to the head of a HList

    Author:

    Harshad Deo

    A

    Type of the element being added

    Since

    0.1

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

    Permalink
    Definition Classes
    AnyRef → Any
  8. def apply[At](i: LiteralHash[Int])(implicit ev: AtConstraint[ValueHash, B, At]): At

    Permalink

    Element at the index from left

    Element at the index from left

    Author:

    Harshad Deo

    At

    Type of the element at the index position

    Definition Classes
    ArityIndexOps
    Since

    0.1

  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def count[C](f: (C) ⇒ Boolean)(implicit ev: CountConstraint[B, C]): Int

    Permalink

    Count the number of elements of the object for which the predicate holds, provided that each element can be implicitly converted to an object of type C

    Count the number of elements of the object for which the predicate holds, provided that each element can be implicitly converted to an object of type C

    Author:

    Harshad Deo

    C

    Type on which the operation is defined

    Definition Classes
    ArityIndexOps
    Since

    0.1

  12. def down[M[_], R](f: ~>[M, Id])(implicit ev: DownTransformConstraint[B, R, M]): R

    Permalink

    Apply a down transformation.

    Apply a down transformation. For details, see constraint.DownTransformConstraint

    Author:

    Harshad Deo

    M

    Source context

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  13. def drop[R](i: LiteralHash[Int])(implicit ev: DropConstraint[ValueHash, B, R]): R

    Permalink

    Drop the first i elements

    Drop the first i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  14. def dropRight[R](i: LiteralHash[Int])(implicit ev: DropRightConstraint[ValueHash, B, R]): R

    Permalink

    Drop the last i elements

    Drop the last i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  15. def ensuring(cond: (HListOps[B]) ⇒ Boolean, msg: ⇒ Any): HListOps[B]

    Permalink
    Implicit information
    This member is added by an implicit conversion from HListOps[B] to Ensuring[HListOps[B]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  16. def ensuring(cond: (HListOps[B]) ⇒ Boolean): HListOps[B]

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

    Permalink
    Implicit information
    This member is added by an implicit conversion from HListOps[B] to Ensuring[HListOps[B]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: Boolean): HListOps[B]

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

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def exists[C](f: (C) ⇒ Boolean)(implicit ev: ExistsConstraint[B, C]): Boolean

    Permalink

    Check if the predicate holds for at least one element of the object, provided that all can be implicitly converted to an object of type C

    Check if the predicate holds for at least one element of the object, provided that all can be implicitly converted to an object of type C

    Author:

    Harshad Deo

    C

    Type on which the operation is defined

    Definition Classes
    ArityIndexOps
    Since

    0.1

  22. def fapply[In, R](in: In)(implicit ev: ApplyConstraint[B, In, R]): R

    Permalink

    Apply function to the argument.

    Apply function to the argument. If Z is a HList, In is a HList of functions, if it is a tuple, IN is an tuple of the same arity of functions

    Author:

    Harshad Deo

    In

    Type of the input

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  23. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. def foldLeft[ZT, C](zero: ZT)(f: (ZT, C) ⇒ ZT)(implicit ev: FoldLeftConstraint[B, ZT, C]): ZT

    Permalink

    Apply a fold-left like operation on all elements of the object, provided that each element can be implicitly converted to an object of type C

    Apply a fold-left like operation on all elements of the object, provided that each element can be implicitly converted to an object of type C

    Author:

    Harshad Deo

    ZT

    Type of the zero (and the resultant object)

    C

    Type on which the operation is defined

    Definition Classes
    ArityIndexOps
    Since

    0.1

  25. def forall[C](f: (C) ⇒ Boolean)(implicit ev: ForallConstraint[B, C]): Boolean

    Permalink

    Check if a preficate holds for all elements of the object, provided that all can be implicitly converted to an object of type C

    Check if a preficate holds for all elements of the object, provided that all can be implicitly converted to an object of type C

    Author:

    Harshad Deo

    Definition Classes
    ArityIndexOps
    Since

    0.1

  26. def foreach[C](f: (C) ⇒ Unit)(implicit ev: ForeachConstraint[B, C]): Unit

    Permalink

    Apply a function for each element of the object, provided that all can be implicitly converted to an object of type C

    Apply a function for each element of the object, provided that all can be implicitly converted to an object of type C

    Author:

    Harshad Deo

    C

    Type on which the operation is defined

    Definition Classes
    ArityIndexOps
    Since

    0.1

  27. def formatted(fmtstr: String): String

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

    Permalink
    Definition Classes
    AnyRef → Any
  29. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  30. def indexFlatMap[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexFlatMapConstraint[ValueHash, B, At, T, R]): R

    Permalink

    Map the element at index i from the left and then "flatten" the result

    Map the element at index i from the left and then "flatten" the result

    Author:

    Harshad Deo

    At

    Type of the old element at the index position

    T

    Type of the new element at the index position

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  31. def indexFlatMapRight[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexFlatMapRightConstraint[ValueHash, B, At, T, R]): R

    Permalink

    Map the element at index i from the right and then "flatten" the result

    Map the element at index i from the right and then "flatten" the result

    Author:

    Harshad Deo

    At

    Type of the old element at the index position

    T

    Type of the new element at the index position

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  32. def indexMap[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexMapConstraint[ValueHash, B, At, T, R]): R

    Permalink

    Map the element at index i from the left

    Map the element at index i from the left

    Author:

    Harshad Deo

    At

    Type of the old element at the index position

    T

    Type of the new element at the index position

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  33. def indexMapRight[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexMapRightConstraint[ValueHash, B, At, T, R]): R

    Permalink

    Map the element at index i from the right

    Map the element at index i from the right

    Author:

    Harshad Deo

    At

    Type of the old element at the index position

    T

    Type of the new element at the index position

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  34. def insert[T, R](i: LiteralHash[Int], t: T)(implicit ev: InsertConstraint[ValueHash, B, T, R]): R

    Permalink

    Insert an element at index i from the left

    Insert an element at index i from the left

    Author:

    Harshad Deo

    T

    Type of the element to be inserted

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  35. def insertM[T, R](i: LiteralHash[Int], tp: T)(implicit ev: InsertMConstraint[ValueHash, B, T, R]): R

    Permalink

    Insert element at index i from the left and then "flatten" the result

    Insert element at index i from the left and then "flatten" the result

    Author:

    Harshad Deo

    T

    Type of the element to be inserted

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  36. def insertMRight[T, R](i: LiteralHash[Int], tp: T)(implicit ev: InsertMRightConstraint[ValueHash, B, T, R]): R

    Permalink

    Insert element at index i from the right and then "flatten" the result

    Insert element at index i from the right and then "flatten" the result

    Author:

    Harshad Deo

    T

    Type of the element to be inserted

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  37. def insertRight[T, R](i: LiteralHash[Int], t: T)(implicit ev: InsertRightConstraint[ValueHash, B, T, R]): R

    Permalink

    Insert element at index i from the right

    Insert element at index i from the right

    Author:

    Harshad Deo

    T

    Type of the element to be inserted

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  38. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  39. def length[L <: Dense](implicit ev0: LengthConstraint[B, L], ev1: DenseIntRep[L]): Int

    Permalink

    Length of the collection

    Length of the collection

    Author:

    Harshad Deo

    L

    Typelevel marker of length

    Definition Classes
    ArityIndexOps
    Since

    0.1

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

    Permalink
    Definition Classes
    AnyRef
  41. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  43. def remove[R](i: LiteralHash[Int])(implicit ev: RemoveConstraint[ValueHash, B, R]): R

    Permalink

    Remove element at index i from the left

    Remove element at index i from the left

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  44. def removeRight[R](i: LiteralHash[Int])(implicit ev: RemoveRightConstraint[ValueHash, B, R]): R

    Permalink

    Remove element at index i from the right

    Remove element at index i from the right

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  45. def reverse[R](implicit ev: ReverseConstraint[B, R]): R

    Permalink

    Reverses the collection

    Reverses the collection

    Author:

    Harshad Deo

    R

    Type of the reverse of the collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  46. def right[At](i: LiteralHash[Int])(implicit ev: AtRightConstraint[ValueHash, B, At]): At

    Permalink

    Element at the index from the right

    Element at the index from the right

    Author:

    Harshad Deo

    At

    Type of the element at the index position

    Definition Classes
    ArityIndexOps
    Since

    0.1

  47. def splitAt[L, R](i: LiteralHash[Int])(implicit ev: SplitAtConstraint[ValueHash, B, L, R]): (L, R)

    Permalink

    Split at index i from the left

    Split at index i from the left

    Author:

    Harshad Deo

    L

    Type of the object to the left of the index position

    R

    Type of the object to the right of the index position

    Definition Classes
    ArityIndexOps
    Since

    0.1

  48. def splitAtRight[L, R](i: LiteralHash[Int])(implicit ev: SplitAtRightConstraint[ValueHash, B, L, R]): (L, R)

    Permalink

    Split at index i from the right

    Split at index i from the right

    Author:

    Harshad Deo

    L

    Type of the element to the left of the index position

    R

    Type of the element to the right of the index position

    Definition Classes
    ArityIndexOps
    Since

    0.1

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

    Permalink
    Definition Classes
    AnyRef
  50. def t[S]: Tip[S, B]

    Permalink

    Builds a type-indexer, can be used to factorize a HList by type.

    Builds a type-indexer, can be used to factorize a HList by type. For details, see HList.TIndexer

    Author:

    Harshad Deo

    S

    Type to index against

    Since

    0.1

  51. def take[R](i: LiteralHash[Int])(implicit ev: TakeConstraint[ValueHash, B, R]): R

    Permalink

    Take the first i elements

    Take the first i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  52. def takeRight[R](i: LiteralHash[Int])(implicit ev: TakeRightConstraint[ValueHash, B, R]): R

    Permalink

    Take the last i elements

    Take the last i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  53. def toList[R](implicit ev: ToListConstraint[B, R]): List[R]

    Permalink

    Convert the object to a list, with the element type being the least upper bound of the individual types of the elements

    Convert the object to a list, with the element type being the least upper bound of the individual types of the elements

    Author:

    Harshad Deo

    R

    Element type of the resultant list

    Definition Classes
    ArityIndexOps
    Since

    0.1

  54. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  55. def transform[M[_], N[_], R](f: ~>[M, N])(implicit ev: TransformConstraint[B, R, M, N]): R

    Permalink

    Apply a natural transformation

    Apply a natural transformation

    Author:

    Harshad Deo

    M

    Source context

    N

    Destination context

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  56. def unzip[R1, R2](implicit ev: ExternalUnzipConstraint[B, R1, R2]): (R1, R2)

    Permalink

    Unzip the elements to form two objects

    Unzip the elements to form two objects

    Author:

    Harshad Deo

    R1

    Type of the first collection obtained by unzipping

    R2

    Type of the second collection obtained by unzipping

    Definition Classes
    ArityIndexOps
    Since

    0.1

  57. def updated[A, R](i: LiteralHash[Int], a: A)(implicit ev: UpdatedConstraint[ValueHash, B, A, R]): R

    Permalink

    Updated the element at index i from the left

    Updated the element at index i from the left

    Author:

    Harshad Deo

    A

    Type of the new element at the index position

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  58. def updatedRight[A, R](i: LiteralHash[Int], a: A)(implicit ev: UpdatedRightConstraint[ValueHash, B, A, R]): R

    Permalink

    Update element at index i from the right

    Update element at index i from the right

    Author:

    Harshad Deo

    A

    Type of the new element at the index position

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  59. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  62. def yapply[F, Out](f: F)(implicit ev: ApplyConstraint[F, B, Out]): Out

    Permalink

    Yoda apply, like fapply except with the order of the arguments reversed

    Yoda apply, like fapply except with the order of the arguments reversed

    Author:

    Harshad Deo

    F

    Type of the function

    Out

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  63. def zip[C, R](c: C)(implicit ev: ExternalZipConstraint[B, C, R]): R

    Permalink

    Zip with the elements of another object

    Zip with the elements of another object

    Author:

    Harshad Deo

    C

    Type of the collection to be zipped with

    R

    Type of the resultant collection

    Definition Classes
    ArityIndexOps
    Since

    0.1

  64. def [B](y: B): (HListOps[B], B)

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

Inherited from ArityIndexOps[B]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from HListOps[B] to any2stringadd[HListOps[B]]

Inherited by implicit conversion StringFormat from HListOps[B] to StringFormat[HListOps[B]]

Inherited by implicit conversion Ensuring from HListOps[B] to Ensuring[HListOps[B]]

Inherited by implicit conversion ArrowAssoc from HListOps[B] to ArrowAssoc[HListOps[B]]

Basic

Common View

Index Based

Transformation

Ungrouped