core/algebra.lattice/BoundedMeetSemilattice

BoundedMeetSemilattice

trait BoundedMeetSemilattice[@specialized(Int, Long, Float, Double) A] extends MeetSemilattice[A]
Companion
object
trait Serializable
class Any
trait Heyting[A]
trait Bool[A]
class DualBool[A]
trait Logic[A]
trait DeMorgan[A]

Value members

Abstract methods

def one: A

Concrete methods

def isOne(a: A)(ev: Eq[A]): Boolean
override def meetSemilattice: BoundedSemilattice[A]
Definition Classes

Inherited methods

def meet(lhs: A, rhs: A): A
Inherited from
MeetSemilattice
def meetPartialOrder(ev: Eq[A]): PartialOrder[A]
Inherited from
MeetSemilattice