# Revision history for predicate-transformers
## 0.11.0.0 -- 2024-07-21
* Add documentation.
* Rename `onlyContains` to `sole`. Add `soleOf`, generalizing over `Fold`s.
`soleOf` is likely a better replacement for `match` than `allOf1` was.
* Exchange `INLINABLE` pragmas for `-fexpose-all-unfoldings`.
* Implement `traceFailFunShow`.
* Change `Exceptional`'s method `assess` to make it possible to implement for functional predicates, and delete `traceFailFun`, now redundant.
## 0.10.0.0 -- 2024-07-21
* Rename `oneOfTwo` to `otherHand`, for easier reading.
* Set `also` and `otherHand` precedences to those of `&&` and `||`
respectively. That makes them work better with the precedence of
`!`, allowing easier composition.
* Rename `only` to `onlyContains`, for easier reading and to avoid a
name conflict with `Control.Lens.only`.
* Set `!` precedence to be equal to that of `.`.
* Add `equals` predicate.
* Delete `match`. `allOf1` does the same thing more generally, with
`Fold` instead of `Prism`.
* Make `otherHand` stop catching async exceptions. Otherwise a thread
being killed may appear as a predicate failure.
## 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 it to be a pattern synonym.
* Minor code style changes.
## 0.1.0.0 -- 2019-10-05
* First version. Released on an unsuspecting world.