refined

Refinement types with static and runtime checking

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

Version on this page:0.2.3.0
LTS Haskell 22.14: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-0.2.3.0@sha256:037209a1aeb0381ac791f52c43b40bc2481624c36855b4f59c2d438445602ab9,1203

Module documentation for 0.2.3.0

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