data-checked

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

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:data-checked-0.3@sha256: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-13.19(full list with versions):