Add HashMap tests and instances

haskellari / lattices

Fine-grained lattice primitives for Haskell

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

35 stars 15 forks source link

Closed lambdageek closed 7 years ago

lambdageek commented 7 years ago

Add PartialOrd instance for HashMap N.B. This is a bit unsatisfying since there's no HashMap.isSubsetOfBy so we do something with difference and intersection.
Add BoundedLattice, BoundedMeetSemiLattice and Lattice instances for HashMap
Add HashMap lattice laws test
Fix HashMap JoinSemiLattice and MeetSemiLattice to be lawful instances. Fixes #50

lambdageek commented 7 years ago

Fixed indentation.

phadej commented 7 years ago

Thanks!