refined

Refinement types with static and runtime checking

https://github.com/nikita-volkov/refined

Version on this page:0.1.2.1
LTS Haskell 17.11:0.6.2
Stackage Nightly 2021-05-15:0.6.2
Latest on Hackage:0.6.2

See all snapshots refined appears in

MIT licensed and maintained by Nikita Volkov
This version can be pinned in stack with:refined-0.1.2.1@sha256:b99251b30c95703a91b57113ef8bc7ab24aeeafdbb2286ff55f0416c11df56d5,1570

Module documentation for 0.1.2.1

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