Packages

c

info.kwarc.mmt.api.utils

ConsNestable

case class ConsNestable[+A](hd: A, tl: NestableList[A]) extends NestableList[A] with Product with Serializable

Source
MyList.scala
Linear Supertypes
Serializable, Serializable, Product, NestableList[A], Iterable[A], IterableLike[A, Iterable[A]], Equals, GenIterable[A], GenIterableLike[A, Iterable[A]], Traversable[A], GenTraversable[A], GenericTraversableTemplate[A, Iterable], TraversableLike[A, Iterable[A]], GenTraversableLike[A, Iterable[A]], Parallelizable[A, ParIterable[A]], TraversableOnce[A], GenTraversableOnce[A], FilterMonadic[A, Iterable[A]], HasNewBuilder[A, Iterable[A] @scala.annotation.unchecked.uncheckedVariance], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConsNestable
  2. Serializable
  3. Serializable
  4. Product
  5. NestableList
  6. Iterable
  7. IterableLike
  8. Equals
  9. GenIterable
  10. GenIterableLike
  11. Traversable
  12. GenTraversable
  13. GenericTraversableTemplate
  14. TraversableLike
  15. GenTraversableLike
  16. Parallelizable
  17. TraversableOnce
  18. GenTraversableOnce
  19. FilterMonadic
  20. HasNewBuilder
  21. AnyRef
  22. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ConsNestable(hd: A, tl: NestableList[A])

Type Members

  1. type Self = Iterable[A]
    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 ++[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 exists(p: (A) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  29. def filter(p: (A) ⇒ Boolean): Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  30. def filterNot(p: (A) ⇒ Boolean): Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  31. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  32. def find(p: (A) ⇒ Boolean): Option[A]
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  33. def flatMap[B, That](f: (A) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  34. def flatten[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Iterable[B]
    Definition Classes
    GenericTraversableTemplate
  35. def fold[A1 >: A](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  36. def foldLeft[B](z: B)(op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  37. def foldRight[B](z: B)(op: (A, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  38. def forall(p: (A) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  39. def foreach[U](f: (A) ⇒ U): Unit
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  40. def genericBuilder[B]: Builder[B, Iterable[B]]
    Definition Classes
    GenericTraversableTemplate
  41. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  42. def groupBy[K](f: (A) ⇒ K): Map[K, Iterable[A]]
    Definition Classes
    TraversableLike → GenTraversableLike
  43. def grouped(size: Int): Iterator[Iterable[A]]
    Definition Classes
    IterableLike
  44. def hasDefiniteSize: Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  45. val hd: A
  46. def head: A
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  47. def headOption: Option[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  48. def init: Iterable[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  49. def inits: Iterator[Iterable[A]]
    Definition Classes
    TraversableLike
  50. def isEmpty: Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  51. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  52. final def isTraversableAgain: Boolean
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  53. def iterator: Iterator[A]
    Definition Classes
    ConsNestable → IterableLike → GenIterableLike
  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. val tl: NestableList[A]
  103. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, A, Col[A]]): Col[A]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  104. def toArray[B >: A](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  105. def toBuffer[B >: A]: Buffer[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  106. def toCollection(repr: Iterable[A]): Iterable[A]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  107. def toIndexedSeq: IndexedSeq[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  108. def toIterable: Iterable[A]
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  109. def toIterator: Iterator[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  110. def toList: List[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  111. def toMap[T, U](implicit ev: <:<[A, (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  112. def toSeq: Seq[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  113. def toSet[B >: A]: Set[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  114. def toStream: Stream[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  115. def toString(): String
    Definition Classes
    TraversableLike → Any
  116. def toTraversable: Traversable[A]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  117. def toVector: Vector[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  118. 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.

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from NestableList[A]

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 GenericTraversableTemplate[A, Iterable]

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