 Koz Ross
|
dde7da1b45
And again!
|
4 years ago |
|
Koz Ross
|
3509bbd3db
Clarify docs even more
|
4 years ago |
|
Koz Ross
|
ae5a4932ac
Raise bounds to allow future GHC 8.8 build
|
4 years ago |
|
Koz Ross
|
b00626eaf5
Derp
|
4 years ago |
|
Koz Ross
|
cad580d6cb
Add notes to CHANGELOG
|
4 years ago |
|
Koz Ross
|
7995ba64f6
Restore Vector documentation
|
4 years ago |
|
Koz Ross
|
d49c5992fc
Add tests for order preservation, all pass
|
4 years ago |
|
Koz Ross
|
34f5b80363
Remove Eq on test builders, as it's now provided by Finitary itself
|
4 years ago |
|
Koz Ross
|
485f3b2b05
Tighten bounds
|
4 years ago |
|
Koz Ross
|
7c9abe1d9a
Slay the dragon of order-preservation
|
4 years ago |
|
Koz Ross
|
23f8740769
Getting close...
|
4 years ago |
|
Koz Ross
|
227cb492aa
Try and restore vector instances
|
4 years ago |
|
Koz Ross
|
cc96c0f962
Reintroduce Down instance with order preservation
|
4 years ago |
|
Koz Ross
|
ef3137e87b
Remove instances which aren't order-preserving for now, pending Lift
|
4 years ago |
|
Koz Ross
|
3af3e91a12
Document the order-preserving requirement
|
4 years ago |
|
Koz Ross
|
b77c0a6c3e
Add Eq as a constraint on Finitary instances (or the laws have no meaning), amend documentation to suit
|
4 years ago |
|
Koz Ross
|
371de0a944
Reword laws for Finitary (as they were unclear)
|
4 years ago |
|
Koz Ross
|
f55e4cebef
Write tests for skipping methods, all pass
|
4 years ago |
|
Koz Ross
|
087825346c
Add implementation of nextSkipping, fix documentation, fix bad logic error with previousSkipping
|
4 years ago |
|
Koz Ross
|
82957f7117
Write docs for previousSkipping and nextSkipping, implement previousSkipping for everything except Int* types, fix docs a little bit
|
4 years ago |
|
Koz Ross
|
49d5e1a38d
Add missing header for tests file
|
4 years ago |
|
Koz Ross
|
149bcdaa20
Add license headers, (hopefully) fix README for the last time
|
4 years ago |
|
Koz Ross
|
811510b333
Rewrite section explaining what it's been tested on
|
4 years ago |
|
Koz Ross
|
f345bbe724
Cap base bound to block 8.8 builds for now
|
4 years ago |
|
Koz Ross
|
d8459c2e30
Rewrite README.md some
|
4 years ago |
|
Koz Ross
|
964c4691d4
Rewrite README.md some
|
4 years ago |
|
Koz Ross
|
875b31d1ee
Rewrite README.md some
|
4 years ago |
|
Koz Ross
|
ae9dfb1cbb
Remove a such-that in one definition
|
4 years ago |
|
Koz Ross
|
af6224cb79
Redraft README slightly
|
4 years ago |
|
Koz Ross
|
9567d4a30a
Fix up CHANGELOG, ready to cut release
|
4 years ago |
