composewell / streamly

High performance, concurrent functional programming abstractions
https://streamly.composewell.com
Other
866 stars 66 forks source link

Add tests to check the laws for monad/applicative/functor/monoid etc #45

Open harendra-kumar opened 6 years ago

harendra-kumar commented 6 years ago

We can use http://hackage.haskell.org/package/quickcheck-classes package to check the laws using QuickCheck. Especially since we have many typeclasses it is a good idea to check the laws automatically to make sure that we are lawful and do not break the laws inadvertently.

harendra-kumar commented 5 years ago

See also https://github.com/chessai/hedgehog-classes.