Package Info

ghc-data-checked

install

Type-indexed runtime-checked properties

Development/Libraries/Haskell
This package provides a (phantom) type-indexed newtype evidence-wrapper for
values that are checked to satisfy the property associated with the type.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/data-checked

Categories

Development Libraries Haskell

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.3-bp150.2.5 info GA Release 2018-08-01 15
  • AArch64
  • ghc-data-checked
  • ghc-data-checked-devel
0.3-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-data-checked
  • ghc-data-checked-devel