scalaz

ISet

sealed abstract class ISet[A] extends AnyRef

Source
ISet.scala
Linear Supertypes
AnyRef, Any
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: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

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

  5. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  6. def clone(): AnyRef

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

    Alias for member

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

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

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

  11. final def deleteMax: ISet[A]

  12. final def deleteMin: ISet[A]

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

  14. final def elems: List[A]

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

    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

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

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

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

  20. def finalize(): Unit

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

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

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

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

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

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

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

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

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

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

  31. final def isEmpty: Boolean

  32. final def isInstanceOf[T0]: Boolean

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

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

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

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

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

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

    Annotations
    @tailrec()
  39. 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@
  40. final def maxView: Option[(A, ISet[A])]

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

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

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

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

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

  46. final def notify(): Unit

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

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

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

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

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

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

  53. final def toDescList: List[A]

  54. final def toList: List[A]

  55. def toString(): String

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

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

  58. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped