Name: data-checked
Version: 0.1
Category: Data
Stability: experimental
Synopsis: Type-indexed runtime-checked properties
Description:
This package provides a (phantom) type-indexed newtype evidence-wrapper for
values that are checked to satisfy the property associated with the type.
Homepage: https://github.com/mvv/data-checked
Bug-Reports: https://github.com/mvv/data-checked/issues
Author: Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
Maintainer: Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
Copyright: 2013 Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
License: BSD3
License-File: LICENSE
Cabal-Version: >= 1.6.0
Build-Type: Simple
Source-Repository head
Type: git
Location: https://github.com/mvv/data-checked.git
Library
Build-Depends:
base >= 4 && < 5
Hs-Source-Dirs: src
GHC-Options: -Wall
Exposed-Modules:
Data.Checked