core/spire.algebra.lattice

spire.algebra.lattice

package spire.algebra.lattice

Type members

Types

type BoundedJoinSemilattice[A] = BoundedJoinSemilattice[A]
type BoundedLattice[A] = BoundedLattice[A]
type BoundedMeetSemilattice[A] = BoundedMeetSemilattice[A]
type DeMorgan[A] = DeMorgan[A]
type Heyting[A] = Heyting[A]
type JoinSemilattice[A] = JoinSemilattice[A]
type Lattice[A] = Lattice[A]
type Logic[A] = Logic[A]
type MeetSemilattice[A] = MeetSemilattice[A]
type MinMaxLattice[A] = MinMaxLattice[A]

Value members

Concrete fields

val BoundedJoinSemilattice: BoundedJoinSemilattice
val BoundedLattice: BoundedLattice
val BoundedMeetSemilattice: BoundedMeetSemilattice
val DeMorgan: DeMorgan
val Heyting: Heyting
val JoinSemilattice: JoinSemilattice
val Lattice: Lattice
val Logic: Logic
val MeetSemilattice: MeetSemilattice