ghc-data-checked
Type-indexed runtime-checked properties

This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.

BSD-3-Clause

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...