Popularity
9.4
Growing
Activity
5.6
-
119
8
18

Monthly Downloads: 266
Programming language: Haskell
License: MIT License
Tags: Data    
Latest version: v0.4.4

refined alternatives and similar packages

Based on the "Data" category

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/