litter-laws/litter.laws/ZeroSemilatticeLaws

ZeroSemilatticeLaws

trait ZeroSemilatticeLaws[A] extends SemilatticeLaws[A] with ZeroBandLaws[A] with CommutativeZeroSemigroupLaws[A]
Companion
object
trait ZeroBandLaws[A]
trait SemilatticeLaws[A]
trait BandLaws[A]
trait CommutativeSemigroupLaws[A]
trait SemigroupLaws[A]
class Object
trait Matchable
class Any

Value members

Inherited methods

def combineAllOption(xs: Vector[A]): IsEq[Option[A]]
Inherited from
SemigroupLaws
def commutative(x: A, y: A): IsEq[A]
Inherited from
CommutativeSemigroupLaws
def idempotence(x: A): IsEq[A]
Inherited from
BandLaws
def intercalateCombineAllOption(m: A, xs: Vector[A]): IsEq[Option[A]]
Inherited from
SemigroupLaws
def intercalateIntercalates(a: A, m: A, b: A): IsEq[A]
Inherited from
SemigroupLaws
def intercalateRepeat1(m: A, a: A): IsEq[A]
Inherited from
SemigroupLaws
def intercalateRepeat2(m: A, a: A): IsEq[A]
Inherited from
SemigroupLaws
def isAbsorbing(x: A, eqv: Eq[A]): IsEq[Boolean]
Inherited from
ZeroSemigroupLaws
def leftAbsorption(x: A): IsEq[A]
Inherited from
ZeroSemigroupLaws
def repeat1(a: A): IsEq[A]
Inherited from
SemigroupLaws
def repeat2(a: A): IsEq[A]
Inherited from
SemigroupLaws
def reverseCombineAllOption(xs: Vector[A]): IsEq[Option[A]]
Inherited from
SemigroupLaws
def reverseRepeat1(a: A): IsEq[A]
Inherited from
SemigroupLaws
def reverseRepeat2(a: A): IsEq[A]
Inherited from
SemigroupLaws
def reverseReverses(a: A, b: A): IsEq[A]
Inherited from
SemigroupLaws
def rightAbsorption(x: A): IsEq[A]
Inherited from
ZeroSemigroupLaws
def semigroupAssociative(x: A, y: A, z: A): IsEq[A]
Inherited from
SemigroupLaws

Implicits

Implicits

implicit override def S: ZeroSemilattice[A]
Definition Classes
CommutativeZeroSemigroupLaws -> ZeroBandLaws -> ZeroSemigroupLaws -> SemilatticeLaws -> BandLaws -> CommutativeSemigroupLaws -> SemigroupLaws