MinMaxLattice

algebra.lattice.MinMaxLattice
class MinMaxLattice[A](implicit order: Order[A]) extends DistributiveLattice[A]

Attributes

Source
DistributiveLattice.scala
Graph
Supertypes
trait Lattice[A]
trait MeetSemilattice[A]
trait JoinSemilattice[A]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes

Members list

Value members

Concrete methods

def join(x: A, y: A): A

Attributes

Source
DistributiveLattice.scala
def meet(x: A, y: A): A

Attributes

Source
DistributiveLattice.scala

Inherited methods

def dual: Lattice[A]

This is the lattice with meet and join swapped

This is the lattice with meet and join swapped

Attributes

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

Attributes

Inherited from:
JoinSemilattice
Source
JoinSemilattice.scala

Attributes

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

Attributes

Inherited from:
MeetSemilattice
Source
MeetSemilattice.scala

Attributes

Inherited from:
MeetSemilattice
Source
MeetSemilattice.scala