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 - Sourcedata-checked-0.
3 on Hackage
Modules
- Data.CheckedType-indexed runtime-checked properties.
- Data.Checked.StrictA 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.22.0.0with GHC
- deepseq-1.5.1.0with GHC