Missing Haddocks
Open
- Dominant language
- Haskell
- Stars
- 24
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
We need haddocks for this package.
In addition to the non-existent laws, (Every law you can classically state is a free theorem) we need the extra requirement that if the type is `Applicative` then `pure` = `point` = `return`, and also if it is a `Comonad` then `extract` = `copoint`.
This ensures consistency of the hierarchy and avoids the worst abuses.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.