Documentation

improve :: Monad m => Word -> (a -> a -> Int) -> a -> (a -> m a) -> m a Source #

improveStep :: Monad m => Word -> (a -> m a) -> (a -> a -> Int) -> a -> m a Source #