search

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Add test suite #10

Open treeowl opened 8 years ago

treeowl commented 8 years ago

The easiest way to get started will probably be to build a clone of most of Data.Map using

newtype Map k v = Map (DMap (Const k) (Const v))

and then just copying large chunks of the Data.Map test suite out of containers.

The same approach should also help get benchmarks started.

Wizek commented 6 years ago

Would be nice, looking at tests for usage examples might have alleviated my issue with #16.