jp.kobe_u.copris

Vec

case class Vec(xs: Seq[Term]) extends Iterable[Term] with Product with Serializable

Case class for vectors of terms. Companion object provies other factory methods.

Linear Supertypes
Serializable, Serializable, Product, Iterable[Term], IterableLike[Term, Iterable[Term]], Equals, GenIterable[Term], GenIterableLike[Term, Iterable[Term]], Traversable[Term], GenTraversable[Term], GenericTraversableTemplate[Term, Iterable], TraversableLike[Term, Iterable[Term]], GenTraversableLike[Term, Iterable[Term]], Parallelizable[Term, ParIterable[Term]], TraversableOnce[Term], GenTraversableOnce[Term], FilterMonadic[Term, Iterable[Term]], HasNewBuilder[Term, Iterable[Term]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Vec
  2. Serializable
  3. Serializable
  4. Product
  5. Iterable
  6. IterableLike
  7. Equals
  8. GenIterable
  9. GenIterableLike
  10. Traversable
  11. GenTraversable
  12. GenericTraversableTemplate
  13. TraversableLike
  14. GenTraversableLike
  15. Parallelizable
  16. TraversableOnce
  17. GenTraversableOnce
  18. FilterMonadic
  19. HasNewBuilder
  20. AnyRef
  21. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Vec(xs: Seq[Term])

Type Members

  1. type Self = Iterable[Term]

    Attributes
    protected
    Definition Classes
    TraversableLike
  2. class WithFilter extends FilterMonadic[A, Repr]

    Definition Classes
    TraversableLike

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. def %(x: Int): Vec

    Applies jp.kobe_u.copris.Mod of the integer for each element

  5. def %(x: Term): Vec

    Applies jp.kobe_u.copris.Mod of the term for each element

  6. def %(that: Vec): Vec

    Element-wise remainder of vectors (see jp.kobe_u.copris.Mod)

  7. def *(x: Int): Vec

    Applies jp.kobe_u.copris.Mul of the integer for each element

  8. def *(x: Term): Vec

    Applies jp.kobe_u.copris.Mul of the term for each element

  9. def *(that: Vec): Vec

    Element-wise multiplication of vectors (see jp.kobe_u.copris.Mul)

  10. def +(x: Int): Vec

    Applies jp.kobe_u.copris.Add of the integer for each element

  11. def +(x: Term): Vec

    Applies jp.kobe_u.copris.Add of the term for each element

  12. def +(that: Vec): Vec

    Element-wise addition of vectors (see jp.kobe_u.copris.Add)

  13. def ++(v: Vec): Vec

    Concatenates vectors

  14. def ++[B >: Term, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  15. def ++:[B >: Term, That](that: Traversable[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike
  16. def ++:[B >: Term, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike
  17. def -(x: Int): Vec

    Applies jp.kobe_u.copris.Sub of the integer for each element

  18. def -(x: Term): Vec

    Applies jp.kobe_u.copris.Sub of the term for each element

  19. def -(that: Vec): Vec

    Element-wise subtraction of vectors (see jp.kobe_u.copris.Sub)

  20. def /(x: Int): Vec

    Applies jp.kobe_u.copris.Div of the integer for each element

  21. def /(x: Term): Vec

    Applies jp.kobe_u.copris.Div of the term for each element

  22. def /(that: Vec): Vec

    Element-wise division of vectors (see jp.kobe_u.copris.Div)

  23. def /:[B](z: B)(op: (B, Term) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  24. def :*(that: Vec): Add

    Returns dot product of vectors

  25. def :\[B](z: B)(op: (Term, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  26. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  27. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  28. def addString(b: StringBuilder): StringBuilder

    Definition Classes
    TraversableOnce
  29. def addString(b: StringBuilder, sep: String): StringBuilder

    Definition Classes
    TraversableOnce
  30. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    Definition Classes
    TraversableOnce
  31. def aggregate[B](z: B)(seqop: (B, Term) ⇒ B, combop: (B, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  32. def apply(i: Int): Term

    Returns the i-th element

  33. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  34. def canEqual(that: Any): Boolean

    Definition Classes
    IterableLike → Equals
  35. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. def collect[B, That](pf: PartialFunction[Term, B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  37. def collectFirst[B](pf: PartialFunction[Term, B]): Option[B]

    Definition Classes
    TraversableOnce
  38. def companion: GenericCompanion[Iterable]

    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  39. def components: Seq[Term]

    Returns the sequence of elements

  40. def copyToArray[B >: Term](xs: Array[B], start: Int, len: Int): Unit

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  41. def copyToArray[B >: Term](xs: Array[B]): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce
  42. def copyToArray[B >: Term](xs: Array[B], start: Int): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce
  43. def copyToBuffer[B >: Term](dest: Buffer[B]): Unit

    Definition Classes
    TraversableOnce
  44. def count(p: (Term) ⇒ Boolean): Int

    Definition Classes
    TraversableOnce → GenTraversableOnce
  45. def dot(that: Vec): Add

    Returns dot product of vectors

  46. def drop(n: Int): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  47. def dropRight(n: Int): Iterable[Term]

    Definition Classes
    IterableLike
  48. def dropWhile(p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  49. def dup(n: Int): Vec

    Duplicates the vector n times

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

    Definition Classes
    AnyRef
  51. def exists(p: (Term) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  52. def filter(p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  53. def filterNot(p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  54. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  55. def find(p: (Term) ⇒ Boolean): Option[Term]

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  56. def flatMap[B, That](f: (Term) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  57. def flatten[B](implicit asTraversable: (Term) ⇒ GenTraversableOnce[B]): Iterable[B]

    Definition Classes
    GenericTraversableTemplate
  58. def fold[A1 >: Term](z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce
  59. def foldLeft[B](z: B)(op: (B, Term) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  60. def foldRight[B](z: B)(op: (Term, B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  61. def forall(p: (Term) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  62. def foreach[U](f: (Term) ⇒ U): Unit

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  63. def genericBuilder[B]: Builder[B, Iterable[B]]

    Definition Classes
    GenericTraversableTemplate
  64. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  65. def groupBy[K](f: (Term) ⇒ K): Map[K, Iterable[Term]]

    Definition Classes
    TraversableLike → GenTraversableLike
  66. def grouped(size: Int): Iterator[Iterable[Term]]

    Definition Classes
    IterableLike
  67. def hasDefiniteSize: Boolean

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  68. def head: Term

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  69. def headOption: Option[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  70. def init: Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  71. def inits: Iterator[Iterable[Term]]

    Definition Classes
    TraversableLike
  72. def isEmpty: Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  73. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  74. final def isTraversableAgain: Boolean

    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  75. def iterator: Iterator[Term]

    Returns the iterator of elements

    Returns the iterator of elements

    Definition Classes
    Vec → IterableLike → GenIterableLike
  76. def last: Term

    Definition Classes
    TraversableLike → GenTraversableLike
  77. def lastOption: Option[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  78. def map[B, That](f: (Term) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  79. def max: Max

    Returns jp.kobe_u.copris.Max of all elements

  80. def max(x: Int): Vec

    Applies jp.kobe_u.copris.Max of the integer for each element

  81. def max(x: Term): Vec

    Applies jp.kobe_u.copris.Max of the term for each element

  82. def max(that: Vec): Vec

    Element-wise max of vectors (see jp.kobe_u.copris.Max)

  83. def max[B >: Term](implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  84. def maxBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  85. def min: Min

    Returns jp.kobe_u.copris.Min of all elements

  86. def min(x: Int): Vec

    Applies jp.kobe_u.copris.Min of the integer for each element

  87. def min(x: Term): Vec

    Applies jp.kobe_u.copris.Min of the term for each element

  88. def min(that: Vec): Vec

    Element-wise min of vectors (see jp.kobe_u.copris.Min)

  89. def min[B >: Term](implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  90. def minBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. def mkString: String

    Definition Classes
    TraversableOnce → GenTraversableOnce
  92. def mkString(sep: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce
  93. def mkString(start: String, sep: String, end: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce
  94. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  95. def newBuilder: Builder[Term, Iterable[Term]]

    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  96. def nonEmpty: Boolean

    Definition Classes
    TraversableOnce → GenTraversableOnce
  97. final def notify(): Unit

    Definition Classes
    AnyRef
  98. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  99. def par: ParIterable[Term]

    Definition Classes
    Parallelizable
  100. def parCombiner: Combiner[Term, ParIterable[Term]]

    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  101. def partition(p: (Term) ⇒ Boolean): (Iterable[Term], Iterable[Term])

    Definition Classes
    TraversableLike → GenTraversableLike
  102. def prod: Mul

    Returns jp.kobe_u.copris.Mul of all elements

  103. def product[B >: Term](implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  104. def reduce[A1 >: Term](op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce
  105. def reduceLeft[B >: Term](op: (B, Term) ⇒ B): B

    Definition Classes
    TraversableOnce
  106. def reduceLeftOption[B >: Term](op: (B, Term) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  107. def reduceOption[A1 >: Term](op: (A1, A1) ⇒ A1): Option[A1]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  108. def reduceRight[B >: Term](op: (Term, B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  109. def reduceRightOption[B >: Term](op: (Term, B) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  110. def repr: Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  111. def reversed: List[Term]

    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  112. def sameElements[B >: Term](that: GenIterable[B]): Boolean

    Definition Classes
    IterableLike → GenIterableLike
  113. def scan[B >: Term, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  114. def scanLeft[B, That](z: B)(op: (B, Term) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  115. def scanRight[B, That](z: B)(op: (Term, B) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The behavior of scanRight has changed. The previous behavior can be reproduced with scanRight.reverse.

  116. def seq: Iterable[Term]

    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  117. def size: Int

    Definition Classes
    TraversableOnce → GenTraversableOnce
  118. def slice(from: Int, until: Int): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  119. def sliding(size: Int, step: Int): Iterator[Iterable[Term]]

    Definition Classes
    IterableLike
  120. def sliding(size: Int): Iterator[Iterable[Term]]

    Definition Classes
    IterableLike
  121. def span(p: (Term) ⇒ Boolean): (Iterable[Term], Iterable[Term])

    Definition Classes
    TraversableLike → GenTraversableLike
  122. def splitAt(n: Int): (Iterable[Term], Iterable[Term])

    Definition Classes
    TraversableLike → GenTraversableLike
  123. def stringPrefix: String

    Definition Classes
    TraversableLike → GenTraversableLike
  124. def sum: Add

    Returns jp.kobe_u.copris.Add of all elements

  125. def sum[B >: Term](implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  126. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  127. def tail: Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  128. def tails: Iterator[Iterable[Term]]

    Definition Classes
    TraversableLike
  129. def take(n: Int): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  130. def takeRight(n: Int): Iterable[Term]

    Definition Classes
    IterableLike
  131. def takeWhile(p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  132. def thisCollection: Iterable[Term]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  133. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Term, Col[Term]]): Col[Term]

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  134. def toArray[B >: Term](implicit arg0: ClassTag[B]): Array[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  135. def toBuffer[B >: Term]: Buffer[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  136. def toCollection(repr: Iterable[Term]): Iterable[Term]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  137. def toIndexedSeq: IndexedSeq[Term]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  138. def toIterable: Iterable[Term]

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  139. def toIterator: Iterator[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  140. def toList: List[Term]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  141. def toMap[T, U](implicit ev: <:<[Term, (T, U)]): Map[T, U]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  142. def toSeq: Seq[Term]

    Converts to the sequence of terms

    Converts to the sequence of terms

    Definition Classes
    Vec → TraversableOnce → GenTraversableOnce
  143. def toSet[B >: Term]: Set[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  144. def toStream: Stream[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  145. def toString(): String

    Definition Classes
    TraversableLike → Any
  146. def toTraversable: Traversable[Term]

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  147. def toVector: Vector[Term]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  148. def transpose[B](implicit asTraversable: (Term) ⇒ GenTraversableOnce[B]): Iterable[Iterable[B]]

    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) transpose throws an IllegalArgumentException if collections are not uniformly sized.

  149. def unary_-: Vec

    Negates the element terms (see jp.kobe_u.copris.Neg)

  150. def unzip[A1, A2](implicit asPair: (Term) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])

    Definition Classes
    GenericTraversableTemplate
  151. def unzip3[A1, A2, A3](implicit asTriple: (Term) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])

    Definition Classes
    GenericTraversableTemplate
  152. def view(from: Int, until: Int): IterableView[Term, Iterable[Term]]

    Definition Classes
    IterableLike → TraversableLike
  153. def view: IterableView[Term, Iterable[Term]]

    Definition Classes
    IterableLike → TraversableLike
  154. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  157. def withFilter(p: (Term) ⇒ Boolean): FilterMonadic[Term, Iterable[Term]]

    Definition Classes
    TraversableLike → FilterMonadic
  158. val xs: Seq[Term]

  159. def zip[A1 >: Term, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike
  160. def zipAll[B, A1 >: Term, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike
  161. def zipWithIndex[A1 >: Term, That](implicit bf: CanBuildFrom[Iterable[Term], (A1, Int), That]): That

    Definition Classes
    IterableLike → GenIterableLike

Deprecated Value Members

  1. def *+(that: Vec): Add

    Returns dot product of vectors

    Returns dot product of vectors

    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.1) use :* instead

  2. def /:\[A1 >: Term](z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    GenTraversableOnce
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) use fold instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Iterable[Term]

Inherited from IterableLike[Term, Iterable[Term]]

Inherited from Equals

Inherited from GenIterable[Term]

Inherited from GenIterableLike[Term, Iterable[Term]]

Inherited from Traversable[Term]

Inherited from GenTraversable[Term]

Inherited from GenericTraversableTemplate[Term, Iterable]

Inherited from TraversableLike[Term, Iterable[Term]]

Inherited from GenTraversableLike[Term, Iterable[Term]]

Inherited from Parallelizable[Term, ParIterable[Term]]

Inherited from TraversableOnce[Term]

Inherited from GenTraversableOnce[Term]

Inherited from FilterMonadic[Term, Iterable[Term]]

Inherited from HasNewBuilder[Term, Iterable[Term]]

Inherited from AnyRef

Inherited from Any

Ungrouped