@hackage data-checked0.2

Type-indexed runtime-checked properties

Categories
License
BSD-3-Clause
Maintainer
Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
Links
Versions
- 0.3 Sun, 9 Feb 2014
- 0.2 Mon, 22 Apr 2013
- 0.1 Sat, 23 Feb 2013

Installation
In your cabal file:
Dependencies (2)
- base >=4 && <5
- deepseq >=1.2
Dependents (2)
@hackage/acme-everything, @hackage/text-latin1

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