Packages

trait NonDecreasingMonoid[A] extends NonDecreasingSemigroup[A] with Monoid[A]

Monoid with a property that the result of the monoid operation is greater than or equal to any of the operands:

∀ a,b: a ≤ a⊕b b ≤ a⊕b

This property implies that zero is the minimum element:

∀a: 0 ≤ a

Linear Supertypes
Monoid[A], NonDecreasingSemigroup[A], SemigroupWithOrder[A], Order[A], Equal[A], Semigroup[A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. NonDecreasingMonoid
  2. Monoid
  3. NonDecreasingSemigroup
  4. SemigroupWithOrder
  5. Order
  6. Equal
  7. Semigroup
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait EqualLaw extends AnyRef
    Definition Classes
    Equal
  2. trait MonoidLaw extends scalaz.Monoid.SemigroupLaw
    Definition Classes
    Monoid
  3. trait OrderLaw extends scalaz.Order.EqualLaw
    Definition Classes
    Order
  4. trait SemigroupApply extends Apply[[α]F]
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  5. trait SemigroupCompose extends Compose[[α, β]F]
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  6. trait SemigroupLaw extends AnyRef
    Definition Classes
    Semigroup

Abstract Value Members

  1. abstract def append(f1: A, f2: => A): A
    Definition Classes
    Semigroup
  2. abstract def order(x: A, y: A): Ordering
    Definition Classes
    Order
  3. abstract def zero: A
    Definition Classes
    Monoid

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 applicative: Applicative[[α]A]
    Definition Classes
    Monoid
  5. def apply(x: A, y: A): Ordering
    Definition Classes
    Order
  6. final def apply: Apply[[α]A]
    Definition Classes
    Semigroup
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. final def category: Category[[α, β]A]
    Definition Classes
    Monoid
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  10. final def compose: Compose[[α, β]A]
    Definition Classes
    Semigroup
  11. def contramap[B](f: (B) => A): Order[B]
    Definition Classes
    Order → Equal
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equal(x: A, y: A): Boolean
    Definition Classes
    Order → Equal
  14. def equalIsNatural: Boolean
    Definition Classes
    Equal
  15. def equalLaw: EqualLaw
    Definition Classes
    Equal
  16. val equalSyntax: EqualSyntax[A]
    Definition Classes
    Equal
  17. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  19. def greaterThan(x: A, y: A): Boolean
    Definition Classes
    Order
  20. def greaterThanOrEqual(x: A, y: A): Boolean
    Definition Classes
    Order
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  22. final def ifEmpty[B](a: A)(t: => B)(f: => B)(implicit eq: Equal[A]): B
    Definition Classes
    Monoid
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. def isMZero(a: A)(implicit eq: Equal[A]): Boolean
    Definition Classes
    Monoid
  25. def lessThan(x: A, y: A): Boolean
    Definition Classes
    Order
  26. def lessThanOrEqual(x: A, y: A): Boolean
    Definition Classes
    Order
  27. def max(x: A, y: A): A
    Definition Classes
    Order
  28. def min(x: A, y: A): A
    Definition Classes
    Order
  29. def monoidLaw: MonoidLaw
    Definition Classes
    Monoid
  30. val monoidSyntax: MonoidSyntax[A]
    Definition Classes
    Monoid
  31. def multiply(value: A, n: Int): A
    Definition Classes
    Monoid
  32. def multiply1(value: A, n: Int): A
    Definition Classes
    Semigroup
  33. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  35. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  36. final def onEmpty[A, B](a: A)(v: => B)(implicit eq: Equal[A], mb: Monoid[B]): B
    Definition Classes
    Monoid
  37. final def onNotEmpty[B](a: A)(v: => B)(implicit eq: Equal[A], mb: Monoid[B]): B
    Definition Classes
    Monoid
  38. def orderLaw: OrderLaw
    Definition Classes
    Order
  39. val orderSyntax: OrderSyntax[A]
    Definition Classes
    Order
  40. def reverseOrder: Order[A]
    Definition Classes
    Order
  41. def semigroupLaw: SemigroupLaw
    Definition Classes
    Semigroup
  42. val semigroupSyntax: SemigroupSyntax[A]
    Definition Classes
    Semigroup
  43. def sort(x: A, y: A): (A, A)
    Definition Classes
    Order
  44. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  45. def toScalaOrdering: Ordering[A]
    Definition Classes
    Order
  46. def toString(): String
    Definition Classes
    AnyRef → Any
  47. def unfoldlSum[S](seed: S)(f: (S) => Maybe[(S, A)]): A
    Definition Classes
    Monoid
  48. def unfoldlSumOpt[S](seed: S)(f: (S) => Maybe[(S, A)]): Maybe[A]
    Definition Classes
    Semigroup
  49. def unfoldrSum[S](seed: S)(f: (S) => Maybe[(A, S)]): A
    Definition Classes
    Monoid
  50. def unfoldrSumOpt[S](seed: S)(f: (S) => Maybe[(A, S)]): Maybe[A]
    Definition Classes
    Semigroup
  51. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  52. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  53. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from Monoid[A]

Inherited from NonDecreasingSemigroup[A]

Inherited from SemigroupWithOrder[A]

Inherited from Order[A]

Inherited from Equal[A]

Inherited from Semigroup[A]

Inherited from AnyRef

Inherited from Any

Ungrouped