data-checked

Type-indexed runtime-checked properties

https://github.com/mvv/data-checked

LTS Haskell 23.2:0.3
Stackage Nightly 2024-12-30:0.3
Latest on Hackage:0.3

See all snapshots data-checked appears in

BSD-3-Clause licensed and maintained by Mikhail Vorozhtsov
This version can be pinned in stack with:data-checked-0.3@sha256:beb83f47ffc398faa684e822aa327d07c36db366f675222cc71ce6a3b83b07d7,927

Module documentation for 0.3

Depends on 2 packages(full list with versions):
base, deepseq
Used by 1 package in nightly-2024-08-23(full list with versions):
text-latin1

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