Add some missing laws/theorems/definitions to the test suite.

mikeizbicki / subhask

Type safe interface for working in subcategories of Hask

BSD 3-Clause "New" or "Revised" License

418 stars 43 forks source link

Add some missing laws/theorems/definitions to the test suite. #20

Closed cdepillabout closed 9 years ago

cdepillabout commented 9 years ago

Some laws, theorems, and definitions were left out of the test suite. This commit adds them back in:

law_Lattice_antisymmetry
law_Lattice_associative
law_Lattice_commutative
law_Lattice_reflexivity
law_Lattice_transitivity

theorem_Lattice_idempotent

defn_Eq_noteq
defn_Lattice_greaterthan

This fixes part of issue #19.

mikeizbicki commented 9 years ago

Thanks!