@hackage / data-checked

Type-indexed runtime-checked properties

Latest0.3

About

Metadata

  • Last updated , by MikhailVorozhtsov
  • License BSD-3-Clause

  • Maintained by: Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

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