| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Structure.Lattice.Proposition
Contents
Description
propositions on lattices.
Synopsis
- prpLattice :: (Lattice a, Show a) => X a -> Statement
- prpLatticeDisjunction :: (Lattice a, Show a) => a -> a -> a -> Statement
- prpLatticeConjunction :: (Lattice a, Show a) => a -> a -> a -> Statement
- prpLatticeBool :: Statement
Lattice
prpLatticeDisjunction :: (Lattice a, Show a) => a -> a -> a -> Statement Source #
validity of disjunction in a lattice.
prpLatticeConjunction :: (Lattice a, Show a) => a -> a -> a -> Statement Source #
validity of conjunction in a lattice.
Erasable Lattice
Bool
prpLatticeBool :: Statement Source #
validity of 'Bool as a erasable lattice