scalaz

ISet

sealed abstract class ISet[A] extends AnyRef

Source
ISet.scala
See also

https://github.com/haskell/containers/blob/v0.5.7.1/Data/Set/Base.hs

http://hackage.haskell.org/package/containers-0.5.7.1/docs/Data-Set.html

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ISet
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ISet()

Abstract Value Members

  1. abstract val size: Int

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def \\(other: ISet[A])(implicit o: Order[A]): ISet[A]

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. final def contains(x: A)(implicit o: Order[A]): Boolean

    Alias for member

  10. final def delete(x: A)(implicit o: Order[A]): ISet[A]

  11. final def deleteAt(i: Int): ISet[A]

  12. final def deleteFindMax: (A, ISet[A])

  13. final def deleteFindMin: (A, ISet[A])

  14. final def deleteMax: ISet[A]

  15. final def deleteMin: ISet[A]

  16. final def difference(other: ISet[A])(implicit o: Order[A]): ISet[A]

  17. final def elemAt(i: Int): Option[A]

    Alias for Foldable[ISet].

    Alias for Foldable[ISet].index

  18. final def elems: List[A]

  19. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  20. final def equals(other: Any): Boolean

    Definition Classes
    ISet → AnyRef → Any
  21. final def filter(p: (A) ⇒ Boolean): ISet[A]

  22. final def filterGt(a: Option[A])(implicit o: Order[A]): ISet[A]

  23. final def filterLt(a: Option[A])(implicit o: Order[A]): ISet[A]

  24. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  25. final def findMax: Option[A]

    Annotations
    @tailrec()
  26. final def findMin: Option[A]

    Annotations
    @tailrec()
  27. final def foldLeft[B](z: B)(f: (B, A) ⇒ B): B

  28. final def foldRight[B](z: B)(f: (A, B) ⇒ B): B

  29. final def foldl[B](z: B)(f: (B, A) ⇒ B): B

  30. final def foldr[B](z: B)(f: (A, B) ⇒ B): B

  31. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  32. final def hashCode(): Int

    Definition Classes
    ISet → AnyRef → Any
  33. final def insert(x: A)(implicit o: Order[A]): ISet[A]

  34. final def intersection(other: ISet[A])(implicit o: Order[A]): ISet[A]

  35. final def isEmpty: Boolean

  36. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  37. final def isProperSubsetOf(other: ISet[A])(implicit o: Order[A]): Boolean

  38. final def isSubsetOf(other: ISet[A])(implicit o: Order[A]): Boolean

  39. final def lookupGE(x: A)(implicit o: Order[A]): Option[A]

    Annotations
    @tailrec()
  40. final def lookupGT(x: A)(implicit o: Order[A]): Option[A]

    Annotations
    @tailrec()
  41. final def lookupIndex(x: A)(implicit o: Order[A]): Option[Int]

  42. final def lookupLE(x: A)(implicit o: Order[A]): Option[A]

    Annotations
    @tailrec()
  43. final def lookupLT(x: A)(implicit o: Order[A]): Option[A]

    Annotations
    @tailrec()
  44. def map[B](f: (A) ⇒ B)(implicit arg0: Order[B]): ISet[B]

    For the Functor composition law to hold it is important that the Order[B] is substitutive for the Order[A] – that is, that the Order[B] should be no stronger, it should not distinguish two B instances that would be considered as equal A instances.

    For the Functor composition law to hold it is important that the Order[B] is substitutive for the Order[A] – that is, that the Order[B] should be no stronger, it should not distinguish two B instances that would be considered as equal A instances.

    Note: this is not able to implement Functor due to the Order constraint on the destination type, however it still is a functor in the mathematical sense.

    Documentation as copied from the Haskell source:

    -- | /O(n*log n)/.
    -- @'map' f s@ is the set obtained by applying @f@ to each element of @s@.
    --
    -- It's worth noting that the size of the result may be smaller if,
    -- for some @(x,y)@, @x \/= y && f x == f y@
  45. final def maxView: Option[(A, ISet[A])]

  46. final def member(x: A)(implicit o: Order[A]): Boolean

    Annotations
    @tailrec()
  47. def merge(other: ISet[A]): ISet[A]

    Attributes
    protected
  48. final def minView: Option[(A, ISet[A])]

  49. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  50. final def notMember(x: A)(implicit o: Order[A]): Boolean

  51. final def notify(): Unit

    Definition Classes
    AnyRef
  52. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  53. final def partition(p: (A) ⇒ Boolean): (ISet[A], ISet[A])

  54. final def split(x: A)(implicit o: Order[A]): (ISet[A], ISet[A])

  55. final def splitMember(x: A)(implicit o: Order[A]): (ISet[A], Boolean, ISet[A])

  56. final def splitRoot: List[ISet[A]]

  57. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  58. final def toAscList: List[A]

  59. final def toDescList: List[A]

  60. final def toList: List[A]

  61. def toString(): String

    Definition Classes
    AnyRef → Any
  62. final def trim(a: Option[A], b: Option[A])(implicit o: Order[A]): ISet[A]

  63. final def union(other: ISet[A])(implicit o: Order[A]): ISet[A]

  64. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  65. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  66. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped