Package0.3Data
data-checked
Type-indexed runtime-checked properties
- Version0.3
- CategoryData
- LicenceBSD-3-Clause
- AuthorMikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
- MaintainerMikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
- Homepagegithub.com/mvv/data-checked
- Pinned byhackage data-checked 0.3
- Sourcehackage.haskell.org/package/data-checked-0.3
Modules
2 modules- Data.Checked8Type-indexed runtime-checked properties.
- Data.Checked.Strict8A version of Checked that requires client code to provide
Description
This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.
Depends on
2 packages- base-4.20.2.0with GHC
- deepseq-1.5.0.0with GHC