spire.algebra

lattice

package lattice

Visibility
  1. Public
  2. All

Type Members

  1. trait BoundedJoinSemilattice[A] extends JoinSemilattice[A]

  2. trait BoundedLattice[A] extends Lattice[A] with BoundedMeetSemilattice[A] with BoundedJoinSemilattice[A]

  3. trait BoundedMeetSemilattice[A] extends MeetSemilattice[A]

  4. class GcdLcmLattice[A] extends Lattice[A]

  5. trait Heyting[A] extends BoundedLattice[A]

  6. trait JoinSemilattice[A] extends Any

  7. trait Lattice[A] extends JoinSemilattice[A] with MeetSemilattice[A]

  8. trait MeetSemilattice[A] extends Any

  9. class MinMaxLattice[A] extends Lattice[A]

Value Members

  1. object Heyting

  2. object Lattice

Ungrouped