Class/Object

scalaz

ISet

Related Docs: object ISet | package scalaz

Permalink

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
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract val size: Int

    Permalink

Concrete Value Members

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

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

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

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

    Permalink
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def clone(): AnyRef

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

    Permalink

    Alias for member

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

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

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

    Permalink
  11. final def deleteMax: ISet[A]

    Permalink
  12. final def deleteMin: ISet[A]

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

    Permalink
  14. final def elems: List[A]

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

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

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

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

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

    Permalink
  20. def finalize(): Unit

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

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

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

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

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

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

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

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

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

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

    Permalink
  31. final def isEmpty: Boolean

    Permalink
  32. final def isInstanceOf[T0]: Boolean

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

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

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

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

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

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

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

    Permalink

    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])]

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

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

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

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

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

    Permalink
  46. final def notify(): Unit

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

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

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

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

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

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

    Permalink
  53. final def toDescList: List[A]

    Permalink
  54. final def toList: List[A]

    Permalink
  55. def toString(): String

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

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

    Permalink
  58. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped