search

nikita-volkov / refined

Refinement types with static checking
http://hackage.haskell.org/package/refined
MIT License
182 stars 31 forks source link

improve docs #11

Closed chessai closed 5 years ago

chessai commented 6 years ago

More examples should be added, especially since the 'Predicate' typeclass did become more complicated in the majour version change.

chessai commented 6 years ago

Also, there were recently some minour breaking changes. I need to make sure the docs still look OKAY after that.

chessai commented 6 years ago

I don't like docs or package descriptions that point you to a blog or README. I need to change that