Type-indexed runtime-checked properties for Haskell
Haskell
Switch branches/tags
Nothing to show
Latest commit dfda8f6 Dec 24, 2016 @mvv Add shields to README
Permalink
Failed to load latest commit information.
src/Data
.gitignore
.travis.yml
LICENSE
README.md
Setup.hs
data-checked.cabal

README.md

Data-Checked

Travis Hackage

This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.

Installation

The usual:

$ cabal install