Class/Object

scalaz

ISet

Related Docs: object ISet | package scalaz

Permalink

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
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 deleteAt(i: Int): ISet[A]

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

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

    Permalink
  12. final def deleteMax: ISet[A]

    Permalink
  13. final def deleteMin: ISet[A]

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

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

    Permalink

    Alias for Foldable[ISet].index

  16. final def elems: List[A]

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

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

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

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

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

    Permalink
  22. def finalize(): Unit

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

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

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

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

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

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

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

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

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

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

    Permalink
  33. final def isEmpty: Boolean

    Permalink
  34. final def isInstanceOf[T0]: Boolean

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
  49. final def notify(): Unit

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

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

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

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

    Permalink
  54. final def splitRoot: List[ISet[A]]

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

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

    Permalink
  57. final def toDescList: List[A]

    Permalink
  58. final def toList: List[A]

    Permalink
  59. def toString(): String

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

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

    Permalink
  62. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped