| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Structure.PartiallyOrdered.Proposition
Description
propositions on partially ordered types.
Synopsis
- prpErasable :: (PartiallyOrdered a, Erasable a, Show a) => X a -> Statement
- prpSomePartiallyOrdered :: Statement
Documentation
prpErasable :: (PartiallyOrdered a, Erasable a, Show a) => X a -> Statement Source #
validity of a erasable lattice.
prpSomePartiallyOrdered :: Statement Source #
validity of some partially ordered types.