Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Infered

Agda.Utils.Function

Synopsis

Documentation

iterate' :: Integral i => i -> (a -> a) -> a -> aSource

iterate' n f x applies f to x n times and returns the result.

The applications are calculated strictly.