Refinement types with static and runtime checking

Version on this page:
LTS Haskell 13.10:
Stackage Nightly 2020-10-30:0.6.1
Latest on Hackage:0.6.1

See all snapshots refined appears in

MIT licensed by Nikita Volkov
Maintained by chessai

Module documentation for

This version can be pinned in stack with:refined-,1240

For an extensive introduction to the library please follow to this blog-post.