Packages

trait NonDecreasingSemigroup[A] extends SemigroupWithOrder[A]

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

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

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

Type Members

  1. trait EqualLaw extends AnyRef
    Definition Classes
    Equal
  2. trait OrderLaw extends scalaz.Order.EqualLaw
    Definition Classes
    Order
  3. trait SemigroupApply extends Apply[[α]F]
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  4. trait SemigroupCompose extends Compose[[α, β]F]
    Attributes
    protected[this]
    Definition Classes
    Semigroup
  5. 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

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

Inherited from Order[A]

Inherited from Equal[A]

Inherited from Semigroup[A]

Inherited from AnyRef

Inherited from Any

Ungrouped