Data.Function.AlmostFix

Documentation

almostFix :: (a -> Bool) -> (a -> a) -> a -> a

Applies the predicate to the input: almostFix (< 5) (+1) 0 = 4

almostFixM :: Monad m => m Bool -> (a -> m a) -> a -> m a

Use a monadic predicate for the control flow.