Packages

c

info.kwarc.mmt.api.utils

NestableList

sealed abstract class NestableList[+A] extends Iterable[A]

Source
MyList.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NestableList
  2. Iterable
  3. IterableLike
  4. Equals
  5. GenIterable
  6. GenIterableLike
  7. Traversable
  8. GenTraversable
  9. GenericTraversableTemplate
  10. TraversableLike
  11. GenTraversableLike
  12. Parallelizable
  13. TraversableOnce
  14. GenTraversableOnce
  15. FilterMonadic
  16. HasNewBuilder
  17. AnyRef
  18. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

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

Abstract Value Members

  1. abstract def iterator: Iterator[A]
    Definition Classes
    IterableLike → GenIterableLike

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def ++[B >: A, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  4. def ++:[B >: A, That](that: Traversable[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike
  5. def ++:[B >: A, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike
  6. def /:[B](z: B)(op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  7. def :\[B](z: B)(op: (A, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def addString(b: StringBuilder): StringBuilder
    Definition Classes
    TraversableOnce
  10. def addString(b: StringBuilder, sep: String): StringBuilder
    Definition Classes
    TraversableOnce
  11. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Definition Classes
    TraversableOnce
  12. def aggregate[B](z: ⇒ B)(seqop: (B, A) ⇒ B, combop: (B, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def canEqual(that: Any): Boolean
    Definition Classes
    IterableLike → Equals
  15. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  16. def collect[B, That](pf: PartialFunction[A, B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  17. def collectFirst[B](pf: PartialFunction[A, B]): Option[B]
    Definition Classes
    TraversableOnce
  18. def companion: GenericCompanion[Iterable]
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  19. def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Unit
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  20. def copyToArray[B >: A](xs: Array[B]): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  21. def copyToArray[B >: A](xs: Array[B], start: Int): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  22. def copyToBuffer[B >: A](dest: Buffer[B]): Unit
    Definition Classes
    TraversableOnce
  23. def count(p: (A) ⇒ Boolean): Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  24. def drop(n: Int): Iterable[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  25. def dropRight(n: Int): Iterable[A]
    Definition Classes
    IterableLike
  26. def dropWhile(p: (A) ⇒ Boolean): Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  29. def exists(p: (A) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  30. def filter(p: (A) ⇒ Boolean): Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  31. def filterNot(p: (A) ⇒ Boolean): Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  32. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  33. def find(p: (A) ⇒ Boolean): Option[A]
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  34. def flatMap[B, That](f: (A) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  35. def flatten[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Iterable[B]
    Definition Classes
    GenericTraversableTemplate
  36. def fold[A1 >: A](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  37. def foldLeft[B](z: B)(op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  38. def foldRight[B](z: B)(op: (A, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  39. def forall(p: (A) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  40. def foreach[U](f: (A) ⇒ U): Unit
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  41. def genericBuilder[B]: Builder[B, Iterable[B]]
    Definition Classes
    GenericTraversableTemplate
  42. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  43. def groupBy[K](f: (A) ⇒ K): Map[K, Iterable[A]]
    Definition Classes
    TraversableLike → GenTraversableLike
  44. def grouped(size: Int): Iterator[Iterable[A]]
    Definition Classes
    IterableLike
  45. def hasDefiniteSize: Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  46. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  47. def head: A
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  48. def headOption: Option[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  49. def init: Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  50. def inits: Iterator[Iterable[A]]
    Definition Classes
    TraversableLike
  51. def isEmpty: Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  52. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  53. final def isTraversableAgain: Boolean
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  54. def last: A
    Definition Classes
    TraversableLike → GenTraversableLike
  55. def lastOption: Option[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  56. def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  57. def max[B >: A](implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  58. def maxBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  59. def min[B >: A](implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  60. def minBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  61. def mkString: String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  62. def mkString(sep: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  63. def mkString(start: String, sep: String, end: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  64. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  65. def newBuilder: Builder[A, Iterable[A]]
    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  66. def nonEmpty: Boolean
    Definition Classes
    TraversableOnce → GenTraversableOnce
  67. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  68. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  69. def par: ParIterable[A]
    Definition Classes
    Parallelizable
  70. def parCombiner: Combiner[A, ParIterable[A]]
    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  71. def partition(p: (A) ⇒ Boolean): (Iterable[A], Iterable[A])
    Definition Classes
    TraversableLike → GenTraversableLike
  72. def product[B >: A](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  73. def reduce[A1 >: A](op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  74. def reduceLeft[B >: A](op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce
  75. def reduceLeftOption[B >: A](op: (B, A) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  76. def reduceOption[A1 >: A](op: (A1, A1) ⇒ A1): Option[A1]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  77. def reduceRight[B >: A](op: (A, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  78. def reduceRightOption[B >: A](op: (A, B) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  79. def repr: Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  80. def reversed: List[A]
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  81. def sameElements[B >: A](that: GenIterable[B]): Boolean
    Definition Classes
    IterableLike → GenIterableLike
  82. def scan[B >: A, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  83. def scanLeft[B, That](z: B)(op: (B, A) ⇒ B)(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  84. def scanRight[B, That](z: B)(op: (A, B) ⇒ B)(implicit bf: CanBuildFrom[Iterable[A], 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.

  85. def seq: Iterable[A]
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  86. def size: Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  87. def sizeHintIfCheap: Int
    Attributes
    protected[collection]
    Definition Classes
    GenTraversableOnce
  88. def slice(from: Int, until: Int): Iterable[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  89. def sliding(size: Int, step: Int): Iterator[Iterable[A]]
    Definition Classes
    IterableLike
  90. def sliding(size: Int): Iterator[Iterable[A]]
    Definition Classes
    IterableLike
  91. def span(p: (A) ⇒ Boolean): (Iterable[A], Iterable[A])
    Definition Classes
    TraversableLike → GenTraversableLike
  92. def splitAt(n: Int): (Iterable[A], Iterable[A])
    Definition Classes
    TraversableLike → GenTraversableLike
  93. def stringPrefix: String
    Definition Classes
    TraversableLike → GenTraversableLike
  94. def sum[B >: A](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  95. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  96. def tail: Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  97. def tails: Iterator[Iterable[A]]
    Definition Classes
    TraversableLike
  98. def take(n: Int): Iterable[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  99. def takeRight(n: Int): Iterable[A]
    Definition Classes
    IterableLike
  100. def takeWhile(p: (A) ⇒ Boolean): Iterable[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  101. def thisCollection: Iterable[A]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  102. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, A, Col[A]]): Col[A]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  103. def toArray[B >: A](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  104. def toBuffer[B >: A]: Buffer[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  105. def toCollection(repr: Iterable[A]): Iterable[A]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  106. def toIndexedSeq: IndexedSeq[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  107. def toIterable: Iterable[A]
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  108. def toIterator: Iterator[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  109. def toList: List[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  110. def toMap[T, U](implicit ev: <:<[A, (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  111. def toSeq: Seq[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  112. def toSet[B >: A]: Set[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  113. def toStream: Stream[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  114. def toString(): String
    Definition Classes
    TraversableLike → Any
  115. def toTraversable: Traversable[A]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  116. def toVector: Vector[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  117. def transpose[B](implicit asTraversable: (A) ⇒ 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.

  118. def unzip[A1, A2](implicit asPair: (A) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])
    Definition Classes
    GenericTraversableTemplate
  119. def unzip3[A1, A2, A3](implicit asTriple: (A) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])
    Definition Classes
    GenericTraversableTemplate
  120. def view(from: Int, until: Int): IterableView[A, Iterable[A]]
    Definition Classes
    IterableLike → TraversableLike
  121. def view: IterableView[A, Iterable[A]]
    Definition Classes
    IterableLike → TraversableLike
  122. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  123. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  124. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  125. def withFilter(p: (A) ⇒ Boolean): FilterMonadic[A, Iterable[A]]
    Definition Classes
    TraversableLike → FilterMonadic
  126. def zip[A1 >: A, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Iterable[A], (A1, B), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  127. def zipAll[B, A1 >: A, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Iterable[A], (A1, B), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  128. def zipWithIndex[A1 >: A, That](implicit bf: CanBuildFrom[Iterable[A], (A1, Int), That]): That
    Definition Classes
    IterableLike → GenIterableLike

Inherited from Iterable[A]

Inherited from IterableLike[A, Iterable[A]]

Inherited from Equals

Inherited from GenIterable[A]

Inherited from GenIterableLike[A, Iterable[A]]

Inherited from Traversable[A]

Inherited from GenTraversable[A]

Inherited from TraversableLike[A, Iterable[A]]

Inherited from GenTraversableLike[A, Iterable[A]]

Inherited from Parallelizable[A, ParIterable[A]]

Inherited from TraversableOnce[A]

Inherited from GenTraversableOnce[A]

Inherited from FilterMonadic[A, Iterable[A]]

Inherited from HasNewBuilder[A, Iterable[A] @scala.annotation.unchecked.uncheckedVariance]

Inherited from AnyRef

Inherited from Any

Ungrouped