coverage: Exhaustivity Checking Library

[ control, library, mit ] [ Propose Tags ]

A library for exhaustivity and redundancy checking.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4
Dependencies base (>=4.7 && <4.8) [details]
License MIT
Copyright (c) 2015 Nicolas Del Piano
Author Nicolas Del Piano <ndel314@gmail.com>
Maintainer Nicolas Del Piano <ndel314@gmail.com>
Category Development
Home page https://github.com/nicodelpiano/coverage
Bug tracker https://github.com/nicodelpiano/coverage/issues
Source repo head: git clone https://github.com/nicodelpiano/coverage.git
Uploaded by NicolasDelPiano at 2015-08-21T16:22:46Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3325 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-08-21 [all 1 reports]

Readme for coverage-0.1.0.2

[back to package description]

Coverage

An exhaustivity checking library

Copyright 2015, Nicolas Del Piano ndel314@gmail.com.

This package provides a tool that performs exhaustivity and redundancy checking over custom pattern matching definitions.

Installation:

cabal install coverage

You can see examples of usage in the examples directory and read the Haddock documentation.

Tests

For running tests (in the tests directory):

runhaskell Spec.hs