The latest version of exhaustive is 1.1.9-0.

exhaustive

Version 1.1.0 revision 0 uploaded by OliverCharles.

Package meta

Synopsis
Compile time checks that a computation considers producing data through all possible constructors
Description

For a brief tutorial to exhaustive, check out the documentation for Control.Exhaustive, which contains a small example.

Author
Oliver Charles
Bug reports
n/a
Category
Control
Copyright
n/a
Homepage
http://github.com/ocharles/exhaustive
Maintainer
ollie@ocharles.org.uk
Package URL
n/a
Stability
n/a

Components