refined

Refinement types with static and runtime checking

MIT licensed and maintained by Nikita Volkov

This version can be pinned in stack with:refined-0.2.2.0@sha256:538a4c61bb1b4e895def1d05e53f5d7779093d324763eedde3166d268e4a2987,1203

Depends on 8 packages(full list with versions):

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