data-checked

Type-indexed runtime-checked properties https://github.com/mvv/data-checked

Version on this page:0.3
LTS Haskell 12.24:0.3
Stackage Nightly 2018-12-18:0.3
Latest on Hackage:0.3

See all snapshots data-checked appears in

BSD3 licensed and maintained by Mikhail Vorozhtsov

Module documentation for 0.3

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:
Used by 1 package:
comments powered byDisqus