mvv · GitHub

Folders and files

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
src/Data		src/Data
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
data-checked.cabal		data-checked.cabal

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

Installation

The usual:

$ cabal install

About

Type-indexed runtime-checked properties for Haskell

Resources

BSD-3-Clause license

Stars

0 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages

Read the original on github.com ↗