coverage: Exhaustivity Checking Library

[ control, library, mit ] [ Propose Tags ]

A library for exhaustivity and redundancy checking.


[Skip to Readme]
Versions [faq] 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4
Dependencies base (==4.7.*) [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 Fri Aug 21 05:48:07 UTC 2015
Distributions NixOS:0.1.0.4
Downloads 1725 total (43 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-08-21 [all 1 reports]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


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