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

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