Add typeclasses law tests - Githubissues

kowainik / prolens

👓 Profunctor based lightweight implementation of Lenses

Mozilla Public License 2.0

72 stars 4 forks source link

Add typeclasses law tests #7

Open vrom911 opened 4 years ago

vrom911 commented 4 years ago

[x] Profunctor: (->)
[x] Profunctor: Fun
[x] Profunctor: Forget
[ ] Strong: (->)
[ ] Strong: Fun
[ ] Strong: Forget
[ ] Choice: (->)
[ ] Choice: Fun
[ ] Choice: Forget
[ ] Monoidal: (->)
[ ] Monoidal: Fun
[ ] Monoidal: Forget