The prednote package

[Tags: bsd3, library]

Build and evaluate trees of predicates. For example, you might build a predicate of the type Int -> Bool. You do this by assembling several predicates into a tree. You can then verbosely evaluate this tree, showing why a particular result is reached.

prednote also provides modules to test several subjects against a given predicate, and to parse infix or RPN expressions into a tree of predicates.


Properties

Versions0.2.0.0, 0.4.0.0, 0.6.0.0, 0.8.0.0, 0.10.0.0, 0.12.0.0, 0.14.0.0, 0.16.0.0, 0.18.0.0, 0.18.0.4, 0.20.0.0, 0.22.0.0, 0.22.0.2, 0.24.0.0, 0.24.2.0, 0.26.0.0, 0.26.0.2, 0.26.0.4, 0.28.0.0, 0.28.0.2, 0.30.0.0, 0.32.0.0, 0.32.0.4, 0.32.0.6
Dependenciesbase (>=4.7 && <4.9), bytestring (==0.10.*), containers (>=0.4.2.1 && <0.6), contravariant (>=1.2 && <1.4), QuickCheck (>=2.7 && <2.9), rainbow (==0.22.*), split (>=0.2.2 && <0.3), tasty (==0.10.*), tasty-quickcheck (==0.8.*), tasty-th (==0.1.*), text (>=0.11.2.0 && <1.3), transformers (>=0.3.0.0 && <0.5)
LicenseBSD3
CopyrightCopyright 2013-2015 Omari Norman
AuthorOmari Norman
Maintaineromari@smileystation.com
StabilityExperimental
CategoryData
Home pagehttp://www.github.com/massysett/prednote
Bug trackerhttp://www.github.com/massysett/prednote/issues
Source repositoryhead: git clone https://github.com/massysett/prednote.git
Executablesprednote-visual-tests
UploadedFri Mar 27 19:03:55 UTC 2015 by OmariNorman
DistributionsLTSHaskell:0.32.0.6, NixOS:0.32.0.6, Stackage:0.32.0.6
Downloads2220 total (190 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-03-27 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefault
visual-testsBuild the prednote-visual-tests executableDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees