MinMaxBoundedDistributiveLattice

algebra.lattice.MinMaxBoundedDistributiveLattice
class MinMaxBoundedDistributiveLattice[A](min: A, max: A)(implicit o: Order[A]) extends MinMaxLattice[A] with BoundedDistributiveLattice[A]

Attributes

Source:
BoundedDistributiveLattice.scala
Graph
Supertypes
class MinMaxLattice[A]
trait Lattice[A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def one: A
def zero: A

Inherited methods

This is the lattice with meet and join swapped

This is the lattice with meet and join swapped

Attributes

Definition Classes
Inherited from:
BoundedDistributiveLattice
Source:
BoundedDistributiveLattice.scala
def isOne(a: A)(implicit ev: Eq[A]): Boolean
def isZero(a: A)(implicit ev: Eq[A]): Boolean
def join(x: A, y: A): A

Attributes

Inherited from:
MinMaxLattice
Source:
DistributiveLattice.scala
def joinPartialOrder(implicit ev: Eq[A]): PartialOrder[A]

Attributes

Inherited from:
JoinSemilattice
Source:
JoinSemilattice.scala
def meet(x: A, y: A): A

Attributes

Inherited from:
MinMaxLattice
Source:
DistributiveLattice.scala
def meetPartialOrder(implicit ev: Eq[A]): PartialOrder[A]

Attributes

Inherited from:
MeetSemilattice
Source:
MeetSemilattice.scala