:: (a -> Bool) -> (a -> Bool) -> (a -> Bool) -package:foldl -package:syb

Lift boolean or over predicates.

And (&&) operator over one-argument properties. Allows building conjuntions between one-argument properties:

> holds 100 $ id === (+0) &&& id === (id . id)
True

Or (||) operator over one-argument properties. Allows building disjunctions between one-argument properties:

> holds 100 $ id === (+0) ||| id === (id . id)
True

Allows building equality properties between functions.

prop_id_idempotent  =  id === id . id

> check $ id === (+0)
+++ OK, passed 200 tests.

> check $ id === id . id
+++ OK, passed 1 tests (exhausted).

> check $ id === (+1)
*** Failed! Falsifiable (after 1 tests):
0

Try to run a function, on pattern match fail run the provided handler instead.

>>> reverse `onMismatch` (\"needle" -> "Found It") $ "haystack"
"kcatsyah"

>>> reverse `onMismatch` (\"needle" -> "Found It") $ "needle"
"Found It"

Infix version of flip onMismatch It tries the patterns in order from left to right. The last handler in the chain MUST be total or the chain could fail with a PatternMatchFail

>>> (\1 -> "got 1") ||> (\2 -> "got 2") ||> show $ 1
"got 1"

>>> (\1 -> "got 1") ||> (\1 -> "again") ||> (\2 -> "got 2") ||> show $ 2
"got 2"

>>> (\1 -> "got 1") ||> (\1 -> "again") ||> (\2 -> "got 2") ||> show $ 3
"3"