Type-indexed runtime-checked properties

Latest on Hackage:0.3

See all snapshots data-checked appears in

BSD-3-Clause licensed and maintained by Mikhail Vorozhtsov

Module documentation for 0.3

This version can be pinned in stack with:[email protected]:beb83f47ffc398faa684e822aa327d07c36db366f675222cc71ce6a3b83b07d7,927

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(full list with versions):
Used by 1 package in lts-7.24(full list with versions):