Packages

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[jp.kobe_u.copris.Term] @scala.annotation.unchecked.uncheckedVariance], 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
Visibility
  1. Public
  2. All

Instance Constructors

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

Type Members

  1. type Self = Iterable[Term]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  2. class WithFilter extends FilterMonadic[A, Repr]
    Definition Classes
    TraversableLike

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def %(x: Int): Vec

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

  4. def %(x: Term): Vec

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

  5. def %(that: Vec): Vec

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

  6. def *(x: Int): Vec

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

  7. def *(x: Term): Vec

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

  8. def *(that: Vec): Vec

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

  9. def +(x: Int): Vec

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

  10. def +(x: Term): Vec

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

  11. def +(that: Vec): Vec

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

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

    Concatenates vectors

  13. def ++[B >: Term, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  14. def ++:[B >: Term, That](that: Traversable[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike
  15. def ++:[B >: Term, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike
  16. def -(x: Int): Vec

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

  17. def -(x: Term): Vec

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

  18. def -(that: Vec): Vec

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

  19. def /(x: Int): Vec

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

  20. def /(x: Term): Vec

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

  21. def /(that: Vec): Vec

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

  22. def /:[B](z: B)(op: (B, Term) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  23. def :*(that: Vec): Add

    Returns dot product of vectors

  24. def :\[B](z: B)(op: (Term, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  25. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  26. def addString(b: StringBuilder): StringBuilder
    Definition Classes
    TraversableOnce
  27. def addString(b: StringBuilder, sep: String): StringBuilder
    Definition Classes
    TraversableOnce
  28. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Definition Classes
    TraversableOnce
  29. def aggregate[B](z: ⇒ B)(seqop: (B, Term) ⇒ B, combop: (B, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  30. def apply(i: Int): Term

    Returns the i-th element

  31. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  32. def canEqual(that: Any): Boolean
    Definition Classes
    IterableLike → Equals
  33. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  34. def collect[B, That](pf: PartialFunction[Term, B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  35. def collectFirst[B](pf: PartialFunction[Term, B]): Option[B]
    Definition Classes
    TraversableOnce
  36. def companion: GenericCompanion[Iterable]
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  37. def components: Seq[Term]

    Returns the sequence of elements

  38. def copyToArray[B >: Term](xs: Array[B], start: Int, len: Int): Unit
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  39. def copyToArray[B >: Term](xs: Array[B]): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  40. def copyToArray[B >: Term](xs: Array[B], start: Int): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  41. def copyToBuffer[B >: Term](dest: Buffer[B]): Unit
    Definition Classes
    TraversableOnce
  42. def count(p: (Term) ⇒ Boolean): Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  43. def dot(that: Vec): Add

    Returns dot product of vectors

  44. def drop(n: Int): Iterable[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  45. def dropRight(n: Int): Iterable[Term]
    Definition Classes
    IterableLike
  46. def dropWhile(p: (Term) ⇒ Boolean): Iterable[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  47. def dup(n: Int): Vec

    Duplicates the vector n times

  48. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. def exists(p: (Term) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  50. def filter(p: (Term) ⇒ Boolean): Iterable[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  51. def filterNot(p: (Term) ⇒ Boolean): Iterable[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  52. def find(p: (Term) ⇒ Boolean): Option[Term]
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  53. def flatMap[B, That](f: (Term) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  54. def flatten[B](implicit asTraversable: (Term) ⇒ GenTraversableOnce[B]): Iterable[B]
    Definition Classes
    GenericTraversableTemplate
  55. def fold[A1 >: Term](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  56. def foldLeft[B](z: B)(op: (B, Term) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  57. def foldRight[B](z: B)(op: (Term, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  58. def forall(p: (Term) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  59. def foreach[U](f: (Term) ⇒ U): Unit
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  60. def genericBuilder[B]: Builder[B, Iterable[B]]
    Definition Classes
    GenericTraversableTemplate
  61. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  62. def groupBy[K](f: (Term) ⇒ K): Map[K, Iterable[Term]]
    Definition Classes
    TraversableLike → GenTraversableLike
  63. def grouped(size: Int): Iterator[Iterable[Term]]
    Definition Classes
    IterableLike
  64. def hasDefiniteSize: Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  65. def head: Term
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  66. def headOption: Option[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  67. def init: Iterable[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  68. def inits: Iterator[Iterable[Term]]
    Definition Classes
    TraversableLike
  69. def isEmpty: Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  70. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  71. final def isTraversableAgain: Boolean
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  72. def iterator: Iterator[Term]

    Returns the iterator of elements

    Returns the iterator of elements

    Definition Classes
    Vec → IterableLike → GenIterableLike
  73. def last: Term
    Definition Classes
    TraversableLike → GenTraversableLike
  74. def lastOption: Option[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  75. def map[B, That](f: (Term) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  76. def max: Max

    Returns jp.kobe_u.copris.Max of all elements

  77. def max(x: Int): Vec

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

  78. def max(x: Term): Vec

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

  79. def max(that: Vec): Vec

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

  80. def max[B >: Term](implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  81. def maxBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  82. def min: Min

    Returns jp.kobe_u.copris.Min of all elements

  83. def min(x: Int): Vec

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

  84. def min(x: Term): Vec

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

  85. def min(that: Vec): Vec

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

  86. def min[B >: Term](implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  87. def minBy[B](f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term
    Definition Classes
    TraversableOnce → GenTraversableOnce
  88. def mkString: String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  89. def mkString(sep: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  90. def mkString(start: String, sep: String, end: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  92. def newBuilder: Builder[Term, Iterable[Term]]
    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  93. def nonEmpty: Boolean
    Definition Classes
    TraversableOnce → GenTraversableOnce
  94. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  95. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  96. def par: ParIterable[Term]
    Definition Classes
    Parallelizable
  97. def parCombiner: Combiner[Term, ParIterable[Term]]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  98. def partition(p: (Term) ⇒ Boolean): (Iterable[Term], Iterable[Term])
    Definition Classes
    TraversableLike → GenTraversableLike
  99. def prod: Mul

    Returns jp.kobe_u.copris.Mul of all elements

  100. def product[B >: Term](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  101. def reduce[A1 >: Term](op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  102. def reduceLeft[B >: Term](op: (B, Term) ⇒ B): B
    Definition Classes
    TraversableOnce
  103. def reduceLeftOption[B >: Term](op: (B, Term) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  104. def reduceOption[A1 >: Term](op: (A1, A1) ⇒ A1): Option[A1]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  105. def reduceRight[B >: Term](op: (Term, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  106. def reduceRightOption[B >: Term](op: (Term, B) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  107. def repr: Iterable[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  108. def reversed: List[Term]
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  109. def sameElements[B >: Term](that: GenIterable[B]): Boolean
    Definition Classes
    IterableLike → GenIterableLike
  110. def scan[B >: Term, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  111. def scanLeft[B, That](z: B)(op: (B, Term) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  112. 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.

  113. def seq: Iterable[Term]
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  114. def size: Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  115. def sizeHintIfCheap: Int
    Attributes
    protected[scala.collection]
    Definition Classes
    GenTraversableOnce
  116. def slice(from: Int, until: Int): Iterable[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  117. def sliding(size: Int, step: Int): Iterator[Iterable[Term]]
    Definition Classes
    IterableLike
  118. def sliding(size: Int): Iterator[Iterable[Term]]
    Definition Classes
    IterableLike
  119. def span(p: (Term) ⇒ Boolean): (Iterable[Term], Iterable[Term])
    Definition Classes
    TraversableLike → GenTraversableLike
  120. def splitAt(n: Int): (Iterable[Term], Iterable[Term])
    Definition Classes
    TraversableLike → GenTraversableLike
  121. def stringPrefix: String
    Definition Classes
    TraversableLike → GenTraversableLike
  122. def sum: Add

    Returns jp.kobe_u.copris.Add of all elements

  123. def sum[B >: Term](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  124. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  125. def tail: Iterable[Term]
    Definition Classes
    TraversableLike → GenTraversableLike
  126. def tails: Iterator[Iterable[Term]]
    Definition Classes
    TraversableLike
  127. def take(n: Int): Iterable[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  128. def takeRight(n: Int): Iterable[Term]
    Definition Classes
    IterableLike
  129. def takeWhile(p: (Term) ⇒ Boolean): Iterable[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  130. def thisCollection: Iterable[Term]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  131. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Term, Col[Term]]): Col[Term]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  132. def toArray[B >: Term](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  133. def toBuffer[B >: Term]: Buffer[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  134. def toCollection(repr: Iterable[Term]): Iterable[Term]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  135. def toIndexedSeq: IndexedSeq[Term]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  136. def toIterable: Iterable[Term]
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  137. def toIterator: Iterator[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  138. def toList: List[Term]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  139. def toMap[T, U](implicit ev: <:<[Term, (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  140. def toSeq: Seq[Term]

    Converts to the sequence of terms

    Converts to the sequence of terms

    Definition Classes
    Vec → TraversableOnce → GenTraversableOnce
  141. def toSet[B >: Term]: Set[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  142. def toStream: Stream[Term]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  143. def toString(): String
    Definition Classes
    TraversableLike → Any
  144. def toTraversable: Traversable[Term]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  145. def toVector: Vector[Term]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  146. 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.

  147. def unary_-: Vec

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

  148. def unzip[A1, A2](implicit asPair: (Term) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])
    Definition Classes
    GenericTraversableTemplate
  149. def unzip3[A1, A2, A3](implicit asTriple: (Term) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])
    Definition Classes
    GenericTraversableTemplate
  150. def view(from: Int, until: Int): IterableView[Term, Iterable[Term]]
    Definition Classes
    IterableLike → TraversableLike
  151. def view: IterableView[Term, Iterable[Term]]
    Definition Classes
    IterableLike → TraversableLike
  152. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  153. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  154. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  155. def withFilter(p: (Term) ⇒ Boolean): FilterMonadic[Term, Iterable[Term]]
    Definition Classes
    TraversableLike → FilterMonadic
  156. val xs: Seq[Term]
  157. def zip[A1 >: Term, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  158. 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
  159. 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 finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

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[jp.kobe_u.copris.Term] @scala.annotation.unchecked.uncheckedVariance]

Inherited from AnyRef

Inherited from Any

Ungrouped