:: Int -> (a -> a) -> a -> a package:Agda

iterate' n f x applies f to x n times and returns the result. The applications are calculated strictly.
applyWhen b f a applies f to a when b.
applyUnless b f a applies f to a unless b.