Class

typequux

ArityIndexOps

Related Doc: package typequux

Permalink

class ArityIndexOps[Z] extends AnyRef

Provides scala collection like operations on sequantially indexed arbitrary arity types, like HList and tuple

Author:

Harshad Deo

Z

Type on which the operations are defined

Since

0.1

Linear Supertypes
Known Subclasses
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. ArityIndexOps
  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 ArityIndexOps(z: Z)

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  6. def apply[At](i: LiteralHash[Int])(implicit ev: AtConstraint[ValueHash, Z, 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

    Since

    0.1

  7. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def count[C](f: (C) ⇒ Boolean)(implicit ev: CountConstraint[Z, 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

    Since

    0.1

  10. def down[M[_], R](f: ~>[M, Id])(implicit ev: DownTransformConstraint[Z, 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

    Since

    0.1

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

    Permalink

    Drop the first i elements

    Drop the first i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Since

    0.1

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

    Permalink

    Drop the last i elements

    Drop the last i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Since

    0.1

  13. def ensuring(cond: (ArityIndexOps[Z]) ⇒ Boolean, msg: ⇒ Any): ArityIndexOps[Z]

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  19. def exists[C](f: (C) ⇒ Boolean)(implicit ev: ExistsConstraint[Z, 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

    Since

    0.1

  20. def fapply[In, R](in: In)(implicit ev: ApplyConstraint[Z, 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

    Since

    0.1

  21. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  22. def foldLeft[ZT, C](zero: ZT)(f: (ZT, C) ⇒ ZT)(implicit ev: FoldLeftConstraint[Z, 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

    Since

    0.1

  23. def forall[C](f: (C) ⇒ Boolean)(implicit ev: ForallConstraint[Z, 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

    Since

    0.1

  24. def foreach[C](f: (C) ⇒ Unit)(implicit ev: ForeachConstraint[Z, 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

    Since

    0.1

  25. def formatted(fmtstr: String): String

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  28. def indexFlatMap[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexFlatMapConstraint[ValueHash, Z, 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

    Since

    0.1

  29. def indexFlatMapRight[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexFlatMapRightConstraint[ValueHash, Z, 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

    Since

    0.1

  30. def indexMap[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexMapConstraint[ValueHash, Z, 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

    Since

    0.1

  31. def indexMapRight[At, T, R](i: LiteralHash[Int], f: (At) ⇒ T)(implicit ev: IndexMapRightConstraint[ValueHash, Z, 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

    Since

    0.1

  32. def insert[T, R](i: LiteralHash[Int], t: T)(implicit ev: InsertConstraint[ValueHash, Z, 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

    Since

    0.1

  33. def insertM[T, R](i: LiteralHash[Int], tp: T)(implicit ev: InsertMConstraint[ValueHash, Z, 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

    Since

    0.1

  34. def insertMRight[T, R](i: LiteralHash[Int], tp: T)(implicit ev: InsertMRightConstraint[ValueHash, Z, 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

    Since

    0.1

  35. def insertRight[T, R](i: LiteralHash[Int], t: T)(implicit ev: InsertRightConstraint[ValueHash, Z, 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

    Since

    0.1

  36. final def isInstanceOf[T0]: Boolean

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

    Permalink

    Length of the collection

    Length of the collection

    Author:

    Harshad Deo

    L

    Typelevel marker of length

    Since

    0.1

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

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

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

    Permalink
    Definition Classes
    AnyRef
  41. def remove[R](i: LiteralHash[Int])(implicit ev: RemoveConstraint[ValueHash, Z, 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

    Since

    0.1

  42. def removeRight[R](i: LiteralHash[Int])(implicit ev: RemoveRightConstraint[ValueHash, Z, 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

    Since

    0.1

  43. def reverse[R](implicit ev: ReverseConstraint[Z, R]): R

    Permalink

    Reverses the collection

    Reverses the collection

    Author:

    Harshad Deo

    R

    Type of the reverse of the collection

    Since

    0.1

  44. def right[At](i: LiteralHash[Int])(implicit ev: AtRightConstraint[ValueHash, Z, 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

    Since

    0.1

  45. def splitAt[L, R](i: LiteralHash[Int])(implicit ev: SplitAtConstraint[ValueHash, Z, 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

    Since

    0.1

  46. def splitAtRight[L, R](i: LiteralHash[Int])(implicit ev: SplitAtRightConstraint[ValueHash, Z, 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

    Since

    0.1

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

    Permalink
    Definition Classes
    AnyRef
  48. def take[R](i: LiteralHash[Int])(implicit ev: TakeConstraint[ValueHash, Z, R]): R

    Permalink

    Take the first i elements

    Take the first i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Since

    0.1

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

    Permalink

    Take the last i elements

    Take the last i elements

    Author:

    Harshad Deo

    R

    Type of the resultant collection

    Since

    0.1

  50. def toList[R](implicit ev: ToListConstraint[Z, 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

    Since

    0.1

  51. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  52. def transform[M[_], N[_], R](f: ~>[M, N])(implicit ev: TransformConstraint[Z, 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

    Since

    0.1

  53. def unzip[R1, R2](implicit ev: ExternalUnzipConstraint[Z, 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

    Since

    0.1

  54. def updated[A, R](i: LiteralHash[Int], a: A)(implicit ev: UpdatedConstraint[ValueHash, Z, 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

    Since

    0.1

  55. def updatedRight[A, R](i: LiteralHash[Int], a: A)(implicit ev: UpdatedRightConstraint[ValueHash, Z, 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

    Since

    0.1

  56. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. def yapply[F, Out](f: F)(implicit ev: ApplyConstraint[F, Z, 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

    Since

    0.1

  60. def zip[C, R](c: C)(implicit ev: ExternalZipConstraint[Z, 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

    Since

    0.1

  61. def [B](y: B): (ArityIndexOps[Z], B)

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

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from ArityIndexOps[Z] to any2stringadd[ArityIndexOps[Z]]

Inherited by implicit conversion StringFormat from ArityIndexOps[Z] to StringFormat[ArityIndexOps[Z]]

Inherited by implicit conversion Ensuring from ArityIndexOps[Z] to Ensuring[ArityIndexOps[Z]]

Inherited by implicit conversion ArrowAssoc from ArityIndexOps[Z] to ArrowAssoc[ArityIndexOps[Z]]

Basic

Common View

Index Based

Transformation

Ungrouped