#9 Add a MINIMAL pragma

Open
sheaf wants to merge 1 commits from sheaf/minimal into koz.ross/master
sheaf commented 3 years ago

The documentation says

If you want a manually-defined instance, but don't wish to define every method, only fromFinite and toFinite are needed, along with Cardinality.

Adding a MINIMAL pragma would reflect that in the haddocks, which currently say

Minimal complete definition: Nothing

due to the default methods.

P.S. The hackage page for this library currently says "Deprecated." for all versions, when I assume this text is only meant to appear for the older versions?

The documentation says >If you want a manually-defined instance, but don't wish to define every method, only fromFinite and toFinite are needed, along with Cardinality. Adding a `MINIMAL` pragma would reflect that in the haddocks, which currently say > Minimal complete definition: Nothing due to the default methods. P.S. The hackage page for this library currently says "Deprecated." for all versions, when I assume this text is only meant to appear for the older versions?
Koz Ross commented 3 years ago
Owner

This is because MINIMAL pragmata interfere with derivation-via-Generics. It's annoying, but a known problem.

Also, I am no longer working on finitary (hence the deprecation). If you'd like it, please let me know.

This is because MINIMAL pragmata interfere with derivation-via-`Generics`. It's annoying, but a known problem. Also, I am no longer working on `finitary` (hence the deprecation). If you'd like it, please let me know.
This pull request can be merged automatically.
Sign in to join this conversation.
No Milestone
No assignee
2 Participants
Loading...
Cancel
Save
There is no content yet.