Refinement types with static and runtime checking

Version on this page:
LTS Haskell 13.10:
Stackage Nightly 2019-03-06:
Latest on Hackage:[email protected]:1

See all snapshots refined appears in

MIT licensed and maintained by Nikita Volkov

Module documentation for

This version can be pinned in stack with:[email protected]:b99251b30c95703a91b57113ef8bc7ab24aeeafdbb2286ff55f0416c11df56d5,1570

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