The data-checked package

[Tags: bsd3, library]

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


Properties

Versions0.1, 0.2, 0.3
Dependenciesbase (==4.*)
LicenseBSD3
Copyright2013 Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
AuthorMikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
MaintainerMikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
Stabilityexperimental
CategoryData
Home pagehttps://github.com/mvv/data-checked
Bug trackerhttps://github.com/mvv/data-checked/issues
Source repositoryhead: git clone https://github.com/mvv/data-checked.git
Upload dateSat Feb 23 10:26:48 UTC 2013
Uploaded byMikhailVorozhtsov
DistributionsNixOS:0.3
Downloads277 total (24 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees