Packages

final class Linear_Set[A] extends Set[A] with GenericSetTemplate[A, Linear_Set] with SetLike[A, Linear_Set[A]]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Linear_Set
  2. Set
  3. Set
  4. SetLike
  5. Subtractable
  6. GenSet
  7. GenericSetTemplate
  8. GenSetLike
  9. Function1
  10. Iterable
  11. Iterable
  12. IterableLike
  13. Equals
  14. GenIterable
  15. GenIterableLike
  16. Traversable
  17. Immutable
  18. Traversable
  19. GenTraversable
  20. GenericTraversableTemplate
  21. TraversableLike
  22. GenTraversableLike
  23. Parallelizable
  24. TraversableOnce
  25. GenTraversableOnce
  26. FilterMonadic
  27. HasNewBuilder
  28. AnyRef
  29. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Self = Linear_Set[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 &(that: GenSet[A]): Linear_Set[A]
    Definition Classes
    GenSetLike
  4. def &~(that: GenSet[A]): Linear_Set[A]
    Definition Classes
    GenSetLike
  5. def +(elem: A): Linear_Set[A]
    Definition Classes
    Linear_Set → SetLike → GenSetLike
  6. def +(elem1: A, elem2: A, elems: A*): Linear_Set[A]
    Definition Classes
    SetLike
  7. def ++(elems: GenTraversableOnce[A]): Linear_Set[A]
    Definition Classes
    SetLike
  8. def ++[B >: A, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  9. def ++:[B >: A, That](that: Traversable[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike
  10. def ++:[B >: A, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike
  11. def -(elem: A): Linear_Set[A]
    Definition Classes
    Linear_Set → SetLike → Subtractable → GenSetLike
  12. def -(elem1: A, elem2: A, elems: A*): Linear_Set[A]
    Definition Classes
    Subtractable
  13. def --(xs: GenTraversableOnce[A]): Linear_Set[A]
    Definition Classes
    Subtractable
  14. def /:[B](z: B)(op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  15. def :\[B](z: B)(op: (A, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  16. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. def addString(b: StringBuilder): StringBuilder
    Definition Classes
    TraversableOnce
  18. def addString(b: StringBuilder, sep: String): StringBuilder
    Definition Classes
    TraversableOnce
  19. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Definition Classes
    TraversableOnce
  20. def aggregate[B](z: ⇒ B)(seqop: (B, A) ⇒ B, combop: (B, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  21. def andThen[A](g: (Boolean) ⇒ A): (A) ⇒ A
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  22. def append_after(hook: Option[A], elems: Traversable[A]): Linear_Set[A]
  23. def apply(elem: A): Boolean
    Definition Classes
    GenSetLike → Function1
  24. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  25. def canEqual(that: Any): Boolean
    Definition Classes
    IterableLike → Equals
  26. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  27. def collect[B, That](pf: PartialFunction[A, B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  28. def collectFirst[B](pf: PartialFunction[A, B]): Option[B]
    Definition Classes
    TraversableOnce
  29. def companion: GenericCompanion[Linear_Set]
    Definition Classes
    Linear_Set → Set → Set → GenSet → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → GenericTraversableTemplate
  30. def compose[A](g: (A) ⇒ A): (A) ⇒ Boolean
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  31. def contains(elem: A): Boolean
    Definition Classes
    Linear_Set → SetLike → GenSetLike
  32. def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Unit
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  33. def copyToArray[B >: A](xs: Array[B]): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  34. def copyToArray[B >: A](xs: Array[B], start: Int): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  35. def copyToBuffer[B >: A](dest: Buffer[B]): Unit
    Definition Classes
    TraversableOnce
  36. def count(p: (A) ⇒ Boolean): Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  37. def delete_after(hook: Option[A]): Linear_Set[A]
  38. def diff(that: GenSet[A]): Linear_Set[A]
    Definition Classes
    SetLike → GenSetLike
  39. def drop(n: Int): Linear_Set[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  40. def dropRight(n: Int): Linear_Set[A]
    Definition Classes
    IterableLike
  41. def dropWhile(p: (A) ⇒ Boolean): Linear_Set[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  42. def empty: Linear_Set[A]
    Definition Classes
    GenericSetTemplate
  43. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. def equals(that: Any): Boolean
    Definition Classes
    GenSetLike → Equals → AnyRef → Any
  45. def exists(p: (A) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  46. def filter(p: (A) ⇒ Boolean): Linear_Set[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  47. def filterNot(p: (A) ⇒ Boolean): Linear_Set[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  48. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  49. def find(p: (A) ⇒ Boolean): Option[A]
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  50. def flatMap[B, That](f: (A) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  51. def flatten[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Linear_Set[B]
    Definition Classes
    GenericTraversableTemplate
  52. def fold[A1 >: A](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  53. def foldLeft[B](z: B)(op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  54. def foldRight[B](z: B)(op: (A, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  55. def forall(p: (A) ⇒ Boolean): Boolean
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  56. def foreach[U](f: (A) ⇒ U): Unit
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  57. def genericBuilder[B]: Builder[B, Linear_Set[B]]
    Definition Classes
    GenericTraversableTemplate
  58. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  59. def get_after(hook: Option[A]): Option[A]
  60. def groupBy[K](f: (A) ⇒ K): Map[K, Linear_Set[A]]
    Definition Classes
    TraversableLike → GenTraversableLike
  61. def grouped(size: Int): Iterator[Linear_Set[A]]
    Definition Classes
    IterableLike
  62. def hasDefiniteSize: Boolean
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  63. def hashCode(): Int
    Definition Classes
    GenSetLike → AnyRef → Any
  64. def head: A
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  65. def headOption: Option[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  66. def init: Linear_Set[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  67. def inits: Iterator[Linear_Set[A]]
    Definition Classes
    TraversableLike
  68. def insert_after(hook: Option[A], elem: A): Linear_Set[A]
  69. def intersect(that: GenSet[A]): Linear_Set[A]
    Definition Classes
    GenSetLike
  70. def isEmpty: Boolean
    Definition Classes
    Linear_Set → SetLike → IterableLike → GenericTraversableTemplate → TraversableLike → TraversableOnce → GenTraversableOnce
  71. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  72. final def isTraversableAgain: Boolean
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  73. def iterator(from: A, to: A): Iterator[A]
  74. def iterator(elem: A): Iterator[A]
  75. def iterator: Iterator[A]
    Definition Classes
    Linear_Set → GenSetLike → IterableLike → GenIterableLike
  76. def last: A
    Definition Classes
    Linear_Set → TraversableLike → GenTraversableLike
  77. def lastOption: Option[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  78. def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    SetLike → TraversableLike → GenTraversableLike → FilterMonadic
    Annotations
    @migration
    Migration

    (Changed in version 2.8.0) Set.map now returns a Set, so it will discard duplicate values.

  79. def max[B >: A](implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  80. def maxBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  81. def min[B >: A](implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  82. def minBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A
    Definition Classes
    TraversableOnce → GenTraversableOnce
  83. def mkString: String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  84. def mkString(sep: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  85. def mkString(start: String, sep: String, end: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  86. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  87. def newBuilder: Builder[A, Linear_Set[A]]
    Attributes
    protected[this]
    Definition Classes
    SetLike → TraversableLike → HasNewBuilder
  88. def next(elem: A): Option[A]
  89. val nexts: Map[A, A]
  90. def nonEmpty: Boolean
    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  92. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  93. def par: ParSet[A]
    Definition Classes
    Parallelizable
  94. def parCombiner: Combiner[A, ParSet[A]]
    Attributes
    protected
    Definition Classes
    Set → SetLike → Iterable → TraversableLike → Parallelizable
  95. def partition(p: (A) ⇒ Boolean): (Linear_Set[A], Linear_Set[A])
    Definition Classes
    TraversableLike → GenTraversableLike
  96. def prev(elem: A): Option[A]
  97. def product[B >: A](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  98. def reduce[A1 >: A](op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  99. def reduceLeft[B >: A](op: (B, A) ⇒ B): B
    Definition Classes
    TraversableOnce
  100. def reduceLeftOption[B >: A](op: (B, A) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  101. def reduceOption[A1 >: A](op: (A1, A1) ⇒ A1): Option[A1]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  102. def reduceRight[B >: A](op: (A, B) ⇒ B): B
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  103. def reduceRightOption[B >: A](op: (A, B) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  104. def repr: Linear_Set[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  105. def reverse: Linear_Set[A]
  106. def reversed: List[A]
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  107. def sameElements[B >: A](that: GenIterable[B]): Boolean
    Definition Classes
    IterableLike → GenIterableLike
  108. def scan[B >: A, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  109. def scanLeft[B, That](z: B)(op: (B, A) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That
    Definition Classes
    TraversableLike → GenTraversableLike
  110. def scanRight[B, That](z: B)(op: (A, B) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[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.

  111. def seq: Set[A]
    Definition Classes
    Set → Set → GenSet → GenSetLike → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  112. def size: Int
    Definition Classes
    Linear_Set → GenTraversableLike → TraversableOnce → GenTraversableOnce
  113. def sizeHintIfCheap: Int
    Attributes
    protected[scala.collection]
    Definition Classes
    GenTraversableOnce
  114. def slice(from: Int, until: Int): Linear_Set[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  115. def sliding(size: Int, step: Int): Iterator[Linear_Set[A]]
    Definition Classes
    IterableLike
  116. def sliding(size: Int): Iterator[Linear_Set[A]]
    Definition Classes
    IterableLike
  117. def span(p: (A) ⇒ Boolean): (Linear_Set[A], Linear_Set[A])
    Definition Classes
    TraversableLike → GenTraversableLike
  118. def splitAt(n: Int): (Linear_Set[A], Linear_Set[A])
    Definition Classes
    TraversableLike → GenTraversableLike
  119. def stringPrefix: String
    Definition Classes
    Linear_Set → SetLike → TraversableLike → GenTraversableLike
  120. def subsetOf(that: GenSet[A]): Boolean
    Definition Classes
    GenSetLike
  121. def subsets(): Iterator[Linear_Set[A]]
    Definition Classes
    SetLike
  122. def subsets(len: Int): Iterator[Linear_Set[A]]
    Definition Classes
    SetLike
  123. def sum[B >: A](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  124. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  125. def tail: Linear_Set[A]
    Definition Classes
    TraversableLike → GenTraversableLike
  126. def tails: Iterator[Linear_Set[A]]
    Definition Classes
    TraversableLike
  127. def take(n: Int): Linear_Set[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  128. def takeRight(n: Int): Linear_Set[A]
    Definition Classes
    IterableLike
  129. def takeWhile(p: (A) ⇒ Boolean): Linear_Set[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  130. def thisCollection: Iterable[A]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  131. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, A, Col[A]]): Col[A]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  132. def toArray[B >: A](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  133. def toBuffer[A1 >: A]: Buffer[A1]
    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce
  134. def toCollection(repr: Linear_Set[A]): Iterable[A]
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  135. def toIndexedSeq: IndexedSeq[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  136. def toIterable: Iterable[A]
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  137. def toIterator: Iterator[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  138. def toList: List[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  139. def toMap[T, U](implicit ev: <:<[A, (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  140. def toSeq: Seq[A]
    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce
  141. def toSet[B >: A]: Set[B]
    Definition Classes
    Set → TraversableOnce → GenTraversableOnce
  142. def toStream: Stream[A]
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  143. def toString(): String
    Definition Classes
    SetLike → Function1 → TraversableLike → AnyRef → Any
  144. def toTraversable: Traversable[A]
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  145. def toVector: Vector[A]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  146. def transpose[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Linear_Set[Linear_Set[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 union(that: GenSet[A]): Linear_Set[A]
    Definition Classes
    SetLike → GenSetLike
  148. def unzip[A1, A2](implicit asPair: (A) ⇒ (A1, A2)): (Linear_Set[A1], Linear_Set[A2])
    Definition Classes
    GenericTraversableTemplate
  149. def unzip3[A1, A2, A3](implicit asTriple: (A) ⇒ (A1, A2, A3)): (Linear_Set[A1], Linear_Set[A2], Linear_Set[A3])
    Definition Classes
    GenericTraversableTemplate
  150. def view(from: Int, until: Int): IterableView[A, Linear_Set[A]]
    Definition Classes
    IterableLike → TraversableLike
  151. def view: IterableView[A, Linear_Set[A]]
    Definition Classes
    IterableLike → TraversableLike
  152. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  153. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  154. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  155. def withFilter(p: (A) ⇒ Boolean): FilterMonadic[A, Linear_Set[A]]
    Definition Classes
    TraversableLike → FilterMonadic
  156. def zip[A1 >: A, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Linear_Set[A], (A1, B), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  157. def zipAll[B, A1 >: A, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Linear_Set[A], (A1, B), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  158. def zipWithIndex[A1 >: A, That](implicit bf: CanBuildFrom[Linear_Set[A], (A1, Int), That]): That
    Definition Classes
    IterableLike → GenIterableLike
  159. def |(that: GenSet[A]): Linear_Set[A]
    Definition Classes
    GenSetLike

Inherited from Set[A]

Inherited from Set[A]

Inherited from SetLike[A, Linear_Set[A]]

Inherited from Subtractable[A, Linear_Set[A]]

Inherited from GenSet[A]

Inherited from GenericSetTemplate[A, Linear_Set]

Inherited from GenSetLike[A, Linear_Set[A]]

Inherited from (A) ⇒ Boolean

Inherited from Iterable[A]

Inherited from Iterable[A]

Inherited from IterableLike[A, Linear_Set[A]]

Inherited from Equals

Inherited from GenIterable[A]

Inherited from GenIterableLike[A, Linear_Set[A]]

Inherited from Traversable[A]

Inherited from Immutable

Inherited from Traversable[A]

Inherited from GenTraversable[A]

Inherited from GenericTraversableTemplate[A, Linear_Set]

Inherited from TraversableLike[A, Linear_Set[A]]

Inherited from GenTraversableLike[A, Linear_Set[A]]

Inherited from Parallelizable[A, ParSet[A]]

Inherited from TraversableOnce[A]

Inherited from GenTraversableOnce[A]

Inherited from FilterMonadic[A, Linear_Set[A]]

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

Inherited from AnyRef

Inherited from Any

Ungrouped