package

data-checked

Description

Type-indexed runtime-checked properties.

Description

hackage.haskell.org

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

Metadata

Version

0.3

License

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:82704

Homepage

https://hackage.haskell.org/package/data-checked

Platforms (77)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all