Algebra.Lattice.Boolean

Type classes for lattices and boolean algebras.

Boolean algebra

class Complement a where

types that can be negated.

Methods

notB :: a -> a

Instances

Complement Lit

Complement QFFormula

Complement Lit

Complement (Rel c)

Complement lit => Complement (DNF lit)

Complement (Formula a)

class (BoundedLattice a, Complement a) => Boolean a where

types that can be combined with boolean operations.

Methods

(.=>.), (.<=>.) :: a -> a -> a

Instances

Boolean QFFormula

Complement lit => Boolean (DNF lit)

Boolean (Formula c)

true :: Boolean a => a

alias of top

false :: Boolean a => a

alias of bottom

(.&&.) :: Boolean a => a -> a -> a

alias of meet

(.||.) :: Boolean a => a -> a -> a

alias of join

andB :: Boolean a => [a] -> a

alias of meets

orB :: Boolean a => [a] -> a

alias of joins