Revision history for predicate-transformers

0.9.0.0 -- 2024-07-21

• Add instance Predicatory (e -> a). This will allow for adding extra parameters to predicates, making it easier to compose them; maybe these are called "functional predicates".
• Added traceFailFun. This version of traceFail works on functional predicates.
• Tupling sugar renamed from ==> to :=>, to allow i to be a pattern synonym.
• Minor code style changes.

0.1.0.0 -- 2019-10-05

• First version. Released on an unsuspecting world.