returns monadic predicate which stopped the loop: "zero"-elements (error, empty, None, etc.) or one-element false
inside a monad
Used as predicate of mIf
& fmIf
statements and loops.
Used as predicate of mIf
& fmIf
statements and loops. For single element monads it is identity
.
For collections it returns reduced collection (1 or 0 elements) with 'true' if collection contains 'true'.
Override it to use another mapping of collection to monadic predicate.
(Since version ) see corresponding Javadoc for more information.