TermIterator

class TermIterator extends Iterator[Term[C]]
trait Iterator[Term[C]]
trait IterableOnceOps[Term[C], Iterator, Iterator[Term[C]]]
trait IterableOnce[Term[C]]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

class GroupedIterator[B >: A]
Inherited from
Iterator

Value members

Concrete methods

def hasNext: Boolean
override
def next(): Term[C]
Definition Classes
Iterator

Inherited methods

@inline
final
def ++[B >: Term[C]](xs: => IterableOnce[B]): Iterator[B]
Inherited from
Iterator
@inline
final
def addString(b: StringBuilder): StringBuilder
Inherited from
IterableOnceOps
@inline
final
def addString(b: StringBuilder, sep: String): StringBuilder
Inherited from
IterableOnceOps
def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
Inherited from
IterableOnceOps
def buffered: BufferedIterator[Term[C]]
Inherited from
Iterator
def collect[B](pf: PartialFunction[Term[C], B]): Iterator[B]
Inherited from
Iterator
def collectFirst[B](pf: PartialFunction[Term[C], B]): Option[B]
Inherited from
IterableOnceOps
def concat[B >: Term[C]](xs: => IterableOnce[B]): Iterator[B]
Inherited from
Iterator
def contains(elem: Any): Boolean
Inherited from
Iterator
def copyToArray[B >: Term[C]](xs: Array[B], start: Int, len: Int): Int
Inherited from
IterableOnceOps
@deprecatedOverriding(message = "This should always forward to the 3-arg version of this method", since = "2.13.4")
def copyToArray[B >: Term[C]](xs: Array[B], start: Int): Int
Inherited from
IterableOnceOps
@deprecatedOverriding(message = "This should always forward to the 3-arg version of this method", since = "2.13.4")
def copyToArray[B >: Term[C]](xs: Array[B]): Int
Inherited from
IterableOnceOps
def corresponds[B](that: IterableOnce[B])(p: (Term[C], B) => Boolean): Boolean
Inherited from
IterableOnceOps
def count(p: Term[C] => Boolean): Int
Inherited from
IterableOnceOps
def distinct: Iterator[Term[C]]
Inherited from
Iterator
def distinctBy[B](f: Term[C] => B): Iterator[Term[C]]
Inherited from
Iterator
def drop(n: Int): Iterator[Term[C]]
Inherited from
Iterator
def dropWhile(p: Term[C] => Boolean): Iterator[Term[C]]
Inherited from
Iterator
def duplicate: (Iterator[Term[C]], Iterator[Term[C]])
Inherited from
Iterator
def exists(p: Term[C] => Boolean): Boolean
Inherited from
IterableOnceOps
def filter(p: Term[C] => Boolean): Iterator[Term[C]]
Inherited from
Iterator
def filterNot(p: Term[C] => Boolean): Iterator[Term[C]]
Inherited from
Iterator
def find(p: Term[C] => Boolean): Option[Term[C]]
Inherited from
IterableOnceOps
def flatMap[B](f: Term[C] => IterableOnce[B]): Iterator[B]
Inherited from
Iterator
def flatten[B](implicit ev: Term[C] => IterableOnce[B]): Iterator[B]
Inherited from
Iterator
def fold[A1 >: Term[C]](z: A1)(op: (A1, A1) => A1): A1
Inherited from
IterableOnceOps
def foldLeft[B](z: B)(op: (B, Term[C]) => B): B
Inherited from
IterableOnceOps
def foldRight[B](z: B)(op: (Term[C], B) => B): B
Inherited from
IterableOnceOps
def forall(p: Term[C] => Boolean): Boolean
Inherited from
IterableOnceOps
def foreach[U](f: Term[C] => U): Unit
Inherited from
IterableOnceOps
def grouped[B >: Term[C]](size: Int): GroupedIterator[B]
Inherited from
Iterator
def indexOf[B >: Term[C]](elem: B, from: Int): Int
Inherited from
Iterator
def indexOf[B >: Term[C]](elem: B): Int
Inherited from
Iterator
def indexWhere(p: Term[C] => Boolean, from: Int): Int
Inherited from
Iterator
@deprecatedOverriding(message = "isEmpty is defined as !hasNext; override hasNext instead", since = "2.13.0")
override
def isEmpty: Boolean
Definition Classes
Iterator -> IterableOnceOps
Inherited from
Iterator
def isTraversableAgain: Boolean
Inherited from
IterableOnceOps
@inline
final
def iterator: Iterator[Term[C]]
Inherited from
Iterator
def knownSize: Int
Inherited from
IterableOnce
@inline
final
def length: Int
Inherited from
Iterator
def map[B](f: Term[C] => B): Iterator[B]
Inherited from
Iterator
def max[B >: Term[C]](implicit ord: Ordering[B]): Term[C]
Inherited from
IterableOnceOps
def maxBy[B](f: Term[C] => B)(implicit cmp: Ordering[B]): Term[C]
Inherited from
IterableOnceOps
def maxByOption[B](f: Term[C] => B)(implicit cmp: Ordering[B]): Option[Term[C]]
Inherited from
IterableOnceOps
def maxOption[B >: Term[C]](implicit ord: Ordering[B]): Option[Term[C]]
Inherited from
IterableOnceOps
def min[B >: Term[C]](implicit ord: Ordering[B]): Term[C]
Inherited from
IterableOnceOps
def minBy[B](f: Term[C] => B)(implicit cmp: Ordering[B]): Term[C]
Inherited from
IterableOnceOps
def minByOption[B](f: Term[C] => B)(implicit cmp: Ordering[B]): Option[Term[C]]
Inherited from
IterableOnceOps
def minOption[B >: Term[C]](implicit ord: Ordering[B]): Option[Term[C]]
Inherited from
IterableOnceOps
@inline
final
def mkString: String
Inherited from
IterableOnceOps
@inline
final
def mkString(sep: String): String
Inherited from
IterableOnceOps
final
def mkString(start: String, sep: String, end: String): String
Inherited from
IterableOnceOps
def nextOption(): Option[Term[C]]
Inherited from
Iterator
@deprecatedOverriding(message = "nonEmpty is defined as !isEmpty; override isEmpty instead", since = "2.13.0")
def nonEmpty: Boolean
Inherited from
IterableOnceOps
def padTo[B >: Term[C]](len: Int, elem: B): Iterator[B]
Inherited from
Iterator
def partition(p: Term[C] => Boolean): (Iterator[Term[C]], Iterator[Term[C]])
Inherited from
Iterator
def patch[B >: Term[C]](from: Int, patchElems: Iterator[B], replaced: Int): Iterator[B]
Inherited from
Iterator
def product[B >: Term[C]](implicit num: Numeric[B]): B
Inherited from
IterableOnceOps
def reduce[B >: Term[C]](op: (B, B) => B): B
Inherited from
IterableOnceOps
def reduceLeft[B >: Term[C]](op: (B, Term[C]) => B): B
Inherited from
IterableOnceOps
def reduceLeftOption[B >: Term[C]](op: (B, Term[C]) => B): Option[B]
Inherited from
IterableOnceOps
def reduceOption[B >: Term[C]](op: (B, B) => B): Option[B]
Inherited from
IterableOnceOps
def reduceRight[B >: Term[C]](op: (Term[C], B) => B): B
Inherited from
IterableOnceOps
def reduceRightOption[B >: Term[C]](op: (Term[C], B) => B): Option[B]
Inherited from
IterableOnceOps
protected
def reversed: Iterable[Term[C]]
Inherited from
IterableOnceOps
def sameElements[B >: Term[C]](that: IterableOnce[B]): Boolean
Inherited from
Iterator
def scanLeft[B](z: B)(op: (B, Term[C]) => B): Iterator[B]
Inherited from
Iterator
def size: Int
Inherited from
IterableOnceOps
def slice(from: Int, until: Int): Iterator[Term[C]]
Inherited from
Iterator
def sliding[B >: Term[C]](size: Int, step: Int): GroupedIterator[B]
Inherited from
Iterator
def span(p: Term[C] => Boolean): (Iterator[Term[C]], Iterator[Term[C]])
Inherited from
Iterator
def splitAt(n: Int): (Iterator[Term[C]], Iterator[Term[C]])
Inherited from
IterableOnceOps
def stepper[S <: Stepper[_]](implicit shape: StepperShape[Term[C], S]): S
Inherited from
IterableOnce
def sum[B >: Term[C]](implicit num: Numeric[B]): B
Inherited from
IterableOnceOps
def take(n: Int): Iterator[Term[C]]
Inherited from
Iterator
def takeWhile(p: Term[C] => Boolean): Iterator[Term[C]]
Inherited from
Iterator
override
def tapEach[U](f: Term[C] => U): Iterator[Term[C]]
Definition Classes
Iterator -> IterableOnceOps
Inherited from
Iterator
def to[C1](factory: Factory[Term[C], C1]): C1
Inherited from
IterableOnceOps
def toArray[B >: Term[C] : ClassTag]: Array[B]
Inherited from
IterableOnceOps
@inline
final
def toBuffer[B >: Term[C]]: Buffer[B]
Inherited from
IterableOnceOps
def toIndexedSeq: IndexedSeq[Term[C]]
Inherited from
IterableOnceOps
def toList: List[Term[C]]
Inherited from
IterableOnceOps
def toMap[K, V](implicit ev: Term[C] <:< (K, V)): Map[K, V]
Inherited from
IterableOnceOps
def toSeq: Seq[Term[C]]
Inherited from
IterableOnceOps
def toSet[B >: Term[C]]: Set[B]
Inherited from
IterableOnceOps
override
def toString(): String
Definition Classes
Iterator -> Any
Inherited from
Iterator
def toVector: Vector[Term[C]]
Inherited from
IterableOnceOps
def withFilter(p: Term[C] => Boolean): Iterator[Term[C]]
Inherited from
Iterator
def zip[B](that: IterableOnce[B]): Iterator[(Term[C], B)]
Inherited from
Iterator
def zipAll[A1 >: Term[C], B](that: IterableOnce[B], thisElem: A1, thatElem: B): Iterator[(A1, B)]
Inherited from
Iterator
def zipWithIndex: Iterator[(Term[C], Int)]
Inherited from
Iterator

Deprecated and Inherited methods

@inline @deprecated(message = "Use foldLeft instead of /:", since = "2.13.0")
final
def /:[B](z: B)(op: (B, Term[C]) => B): B
Deprecated
[Since version 2.13.0] Use foldLeft instead of /:
Inherited from
IterableOnceOps
@inline @deprecated(message = "Use foldRight instead of :\\", since = "2.13.0")
final
def :\[B](z: B)(op: (Term[C], B) => B): B
Deprecated
[Since version 2.13.0] Use foldRight instead of :\\
Inherited from
IterableOnceOps
@deprecated(message = "`aggregate` is not relevant for sequential collections. Use `foldLeft(z)(seqop)` instead.", since = "2.13.0")
def aggregate[B](z: => B)(seqop: (B, Term[C]) => B, combop: (B, B) => B): B
Deprecated
[Since version 2.13.0] `aggregate` is not relevant for sequential collections. Use `foldLeft(z)(seqop)` instead.
Inherited from
IterableOnceOps
@inline @deprecated(message = "Use `dest ++= coll` instead", since = "2.13.0")
final
def copyToBuffer[B >: Term[C]](dest: Buffer[B]): Unit
Deprecated
[Since version 2.13.0] Use `dest ++= coll` instead
Inherited from
IterableOnceOps
@inline @deprecated(message = "hasDefiniteSize on Iterator is the same as isEmpty", since = "2.13.0")
final override
def hasDefiniteSize: Boolean
Deprecated
[Since version 2.13.0] hasDefiniteSize on Iterator is the same as isEmpty
Definition Classes
Iterator -> IterableOnceOps
Inherited from
Iterator
@deprecated(message = "Call scanRight on an Iterable instead.", since = "2.13.0")
def scanRight[B](z: B)(op: (Term[C], B) => B): Iterator[B]
Deprecated
[Since version 2.13.0] Call scanRight on an Iterable instead.
Inherited from
Iterator
@deprecated(message = "Iterator.seq always returns the iterator itself", since = "2.13.0")
Deprecated
[Since version 2.13.0] Iterator.seq always returns the iterator itself
Inherited from
Iterator
@inline @deprecated(message = "Use .iterator instead of .toIterator", since = "2.13.0")
final
def toIterator: Iterator[Term[C]]
Deprecated
[Since version 2.13.0] Use .iterator instead of .toIterator
Inherited from
IterableOnceOps
@inline @deprecated(message = "Use .to(LazyList) instead of .toStream", since = "2.13.0")
final
def toStream: Stream[Term[C]]
Deprecated
[Since version 2.13.0] Use .to(LazyList) instead of .toStream
Inherited from
IterableOnceOps