Algebra.SemiBoundedLattice

Documentation

data Complemented a

Constructors

Include a

Exclude a

Instances

Show a => Show (Complemented a)

Methods

showsPrec :: Int -> Complemented a -> ShowS

show :: Complemented a -> String

showList :: [Complemented a] -> ShowS

SemiCoHeytingAlgebra a => JoinSemiLattice (Complemented a)

Methods

(\/) :: Complemented a -> Complemented a -> Complemented a

join :: Complemented a -> Complemented a -> Complemented a

SemiCoHeytingAlgebra a => MeetSemiLattice (Complemented a)

Methods

(/\) :: Complemented a -> Complemented a -> Complemented a

meet :: Complemented a -> Complemented a -> Complemented a

SemiCoHeytingAlgebra a => Lattice (Complemented a)

SemiCoHeytingAlgebra a => BoundedJoinSemiLattice (Complemented a)

Methods

bottom :: Complemented a

SemiCoHeytingAlgebra a => BoundedMeetSemiLattice (Complemented a)

Methods

top :: Complemented a

SemiCoHeytingAlgebra a => BoundedLattice (Complemented a)

(\\\) :: SemiCoHeytingAlgebra a => a -> a -> a

(/\\) :: SemiCoHeytingAlgebra a => a -> Complemented a -> a

(//\) :: SemiCoHeytingAlgebra a => Complemented a -> a -> a

(-->) :: SemiHeytingAlgebra a => a -> a -> a

negation :: HeytingAlgebra a => a -> a

Orphan instances

Eq a => JoinSemiLattice [a]

Methods

(\/) :: [a] -> [a] -> [a]

join :: [a] -> [a] -> [a]

Eq a => MeetSemiLattice [a]

Methods

(/\) :: [a] -> [a] -> [a]

meet :: [a] -> [a] -> [a]

Eq a => BoundedJoinSemiLattice [a]

Methods

bottom :: [a]