Safe Haskell	Safe
Language	Haskell2010

Algebra.SemiBoundedLattice

Contents

Documentation

Constructors

Include a
Exclude a

Instances

Show a => Show (Complemented a) Source #
Methods showsPrec :: Int -> Complemented a -> ShowS # show :: Complemented a -> String # showList :: [Complemented a] -> ShowS #
SemiCoHeytingAlgebra a => JoinSemiLattice (Complemented a) Source #
Methods (\/) :: Complemented a -> Complemented a -> Complemented a # join :: Complemented a -> Complemented a -> Complemented a #
SemiCoHeytingAlgebra a => MeetSemiLattice (Complemented a) Source #
Methods (/\) :: Complemented a -> Complemented a -> Complemented a # meet :: Complemented a -> Complemented a -> Complemented a #
SemiCoHeytingAlgebra a => Lattice (Complemented a) Source #

SemiCoHeytingAlgebra a => BoundedJoinSemiLattice (Complemented a) Source #
Methods bottom :: Complemented a #
SemiCoHeytingAlgebra a => BoundedMeetSemiLattice (Complemented a) Source #
Methods top :: Complemented a #
SemiCoHeytingAlgebra a => BoundedLattice (Complemented a) Source #

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

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

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

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

negation :: HeytingAlgebra a => a -> a Source #

Orphan instances

Eq a => JoinSemiLattice [a] Source #
Methods (\/) :: [a] -> [a] -> [a] # join :: [a] -> [a] -> [a] #
Eq a => MeetSemiLattice [a] Source #
Methods (/\) :: [a] -> [a] -> [a] # meet :: [a] -> [a] -> [a] #
Eq a => BoundedJoinSemiLattice [a] Source #
Methods bottom :: [a] #