This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.
The usual:
$ cabal install
Type-indexed runtime-checked properties for Haskell
This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.
The usual:
$ cabal install
Type-indexed runtime-checked properties for Haskell
BSD 3-Clause "New" or "Revised" License