explainable-predicates: Predicates that can explain themselves.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
Warnings:
- These packages miss upper bounds: - doctest-exitcode-stdio - doctest-lib - hspec Please add them, using `cabal gen-bounds` for suggestions. For more information see: https://pvp.haskell.org/
Explainable predicates are essentially functions from types
to Bool which can additionally describe themselves and
explain why an argument does or doesn't match. They are
intended to be used during unit tests to provide better
error messages when tests fail. For example, if a
collection is missing an element, an explainable predicate
can tell you which element is missing.
[Skip to Readme]
Properties
| Versions | 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.2.1, 0.1.2.2, 0.1.2.3, 0.1.2.3, 0.1.2.4 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | array (>=0.5.2 && <0.6), base (>=4.12.0 && <4.20), HUnit (>=1.3.0 && <1.7), mono-traversable (>=1.0.15 && <1.1), QuickCheck (>=2.8 && <2.15), regex-tdfa (>=1.3.1 && <1.4), syb (>=0.7.2 && <0.8), template-haskell (>=2.13.0 && <2.22) [details] |
| License | BSD-3-Clause |
| Author | Chris Smith <cdsmith@gmail.com> |
| Maintainer | Chris Smith <cdsmith@gmail.com> |
| Category | Testing |
| Home page | https://github.com/cdsmith/explainable-predicates |
| Bug tracker | https://github.com/cdsmith/explainable-predicates/issues |
| Source repo | head: git clone git://github.com/cdsmith/explainable-predicates.git |
| Uploaded | by ChrisSmith at 2023-11-29T06:25:27Z |
Modules
[Index] [Quick Jump]
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| regex | Enable regular expression matching | Enabled |
| containers | Enable container matching, which depends on mono-traversable | Enabled |
| quickcheck | Enable QuickCheck integration | Enabled |
| hunit | Enable HUnit/Hspec integration | Enabled |
| dev | Developer build | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- explainable-predicates-0.1.2.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees
Readme for explainable-predicates-0.1.2.3
[back to package description]explainable-predicates - Predicates that can explain themselves
Explainable predicates
are essentially functions from types to Bool which can additionally describe
themselves and explain why an argument does or doesn't match. They are intended
to be used during unit tests to provide better error messages when tests fail.
For example, if a collection is missing an element, an explainable predicate can
tell you which element is missing.
FAQ
Here are a few tips for making the most of explainable-predicates.
Which GHC versions are supported?
explainable-predicates is tested with GHC versions from 8.6 through 9.4.