Hackage :: [Package]

coverage: Exhaustivity Checking Library

[ control, library, mit ] [ Propose Tags ] [ Report a vulnerability ]

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-21T05:48:07Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3515 total (25 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.0

[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 exhaustive

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