Refinement types with static and runtime checking

Version on this page:
LTS Haskell 19.14:0.6.3
Stackage Nightly 2022-07-04:0.7
Latest on Hackage:0.7

See all snapshots refined appears in

MIT licensed and maintained by Nikita Volkov
This version can be pinned in stack with:refined-,1203

Module documentation for

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