Refinement types with static and runtime checking

Version on this page:
LTS Haskell 22.12:0.8.1
Stackage Nightly 2023-12-26:0.8.1
Latest on Hackage:0.8.1

See all snapshots refined appears in

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

Module documentation for

Used by 1 package in lts-9.21(full list with versions):

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