DistributiveLattice

Attributes

Companion

object

Source

DistributiveLattice.scala

Graph

Reset zoomHide graphShow graph

Supertypes

trait Lattice[A]

trait MeetSemilattice[A]

trait JoinSemilattice[A]

trait Serializable

class Any

Known subtypes

trait BoundedDistributiveLattice[A]

trait Heyting[A]

trait Bool[A]

class BooleanAlgebra

class BoolFromBoolRing[A]

class DualBool[A]

trait Logic[A]

trait DeMorgan[A]

class MinMaxBoundedDistributiveLattice[A]

trait GenBool[A]

class BitSetAlgebra

class SetLattice[A]

class GenBoolFromBoolRng[A]

class MinMaxLattice[A]

Show all