BoundedZeroSemilattice

Companion
class
class SemilatticeFunctions[[A] =>> BoundedZeroSemilattice[A]]
class SemigroupFunctions[[A] =>> BoundedZeroSemilattice[A]]
class Object
trait Matchable
class Any

Value members

Concrete methods

@inline
final def apply[@specialized(Int, Long, Float, Double) A](ev: BoundedZeroSemilattice[A]): BoundedZeroSemilattice[A]

Access an implicit BoundedZeroSemilattice[A].

Access an implicit BoundedZeroSemilattice[A].

@inline
def instance[A](emptyValue: A, absorbingValue: A, cmb: (A, A) => A): BoundedZeroSemilattice[A]

Create a BoundedZeroSemilattice instance from the given function and empty and absorbing values.

Create a BoundedZeroSemilattice instance from the given function and empty and absorbing values.

Inherited methods

def absorbing[@specialized(Int, Long, Float, Double) A](ev: BoundedZeroSemilattice[A]): A
def asJoinPartialOrder[A](s: BoundedZeroSemilattice[A], ev: Eq[A]): PartialOrder[A]
Inherited from
SemilatticeFunctions
def asMeetPartialOrder[A](s: BoundedZeroSemilattice[A], ev: Eq[A]): PartialOrder[A]
Inherited from
SemilatticeFunctions
def combine[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: BoundedZeroSemilattice[A]): A
Inherited from
SemigroupFunctions
def combineAllOption[A](as: IterableOnce[A])(ev: BoundedZeroSemilattice[A]): Option[A]
Inherited from
SemigroupFunctions
def combineN[@specialized(Int, Long, Float, Double) A](a: A, n: Int)(ev: BoundedZeroSemilattice[A]): A
Inherited from
SemigroupFunctions
def isAbsorbing[@specialized(Int, Long, Float, Double) A](a: A)(s: BoundedZeroSemilattice[A], ev: Eq[A]): Boolean
def isCommutative[A](ev: BoundedZeroSemilattice[A]): Boolean
Inherited from
SemigroupFunctions
def isIdempotent[A](ev: BoundedZeroSemilattice[A]): Boolean
Inherited from
SemigroupFunctions
def maybeCombine[@specialized(Int, Long, Float, Double) A](x: A, oy: Option[A])(ev: BoundedZeroSemilattice[A]): A
Inherited from
SemigroupFunctions
def maybeCombine[@specialized(Int, Long, Float, Double) A](ox: Option[A], y: A)(ev: BoundedZeroSemilattice[A]): A
Inherited from
SemigroupFunctions