refined-0.2.3.0: Refinement types with static and runtime checking

refined-0.2.3.0: Refinement types with static and runtime checking

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

Signatures

Modules