algebra.lattice.BoundedDistributiveLattice
See theBoundedDistributiveLattice companion object
trait BoundedDistributiveLattice[A] extends BoundedLattice[A], DistributiveLattice[A]
A bounded distributive lattice is a lattice that both bounded and distributive
Attributes
- Companion
- object
- Source
- BoundedDistributiveLattice.scala
- Graph
-
- Supertypes
-
trait DistributiveLattice[A]trait BoundedLattice[A]trait BoundedJoinSemilattice[A]trait BoundedMeetSemilattice[A]trait Lattice[A]trait MeetSemilattice[A]trait JoinSemilattice[A]trait Serializableclass Any
- Known subtypes
-
trait Heyting[A]trait Bool[A]class BooleanAlgebraclass BoolFromBoolRing[A]class DualBool[A]trait Logic[A]trait DeMorgan[A]class MinMaxBoundedDistributiveLattice[A]
- Self type
Members list
In this article