Popularity
9.5
Growing
Activity
3.8
Growing
159
7
25

Monthly Downloads: 176
Programming language: Haskell
License: MIT License
Tags: Data    
Latest version: v0.6.2

refined alternatives and similar packages

Based on the "Data" category.
Alternatively, view refined alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of refined or a related project?

Add another 'Data' Package

README

refined

Build Status

In type theory, a refinement type is a type endowed with a predicate which is assumed to hold for any element of the refined type.

This library allows one to capture the idea of a refinement type using the Refined type. A Refined p x wraps a value of type x, ensuring that it satisfies a type-level predicate p.

A simple introduction to this library can be found here: http://nikita-volkov.github.io/refined/