data-checked
Version 0.3 revision 0 uploaded by MikhailVorozhtsov.
Package meta
- 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.
- Author
- Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
- Bug reports
- https://github.com/mvv/data-checked/issues
- Category
- Data
- Copyright
- 2013 Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
- Homepage
- https://github.com/mvv/data-checked
- Maintainer
- Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
- Package URL
- n/a
- Stability
- experimental