litter/litter/ZeroSemilattice

ZeroSemilattice

object ZeroSemilattice extends ZeroSemilatticeFunctions[[A] =>> ZeroSemilattice[A]]
Companion
class
class SemilatticeFunctions[[A] =>> ZeroSemilattice[A]]
class SemigroupFunctions[[A] =>> ZeroSemilattice[A]]
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Access an implicit ZeroSemilattice[A].

Access an implicit ZeroSemilattice[A].

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

Create a ZeroSemilattice instance from the given function and absorbing value.

Create a ZeroSemilattice instance from the given function and absorbing value.

Inherited methods

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