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

Agda.Utils.Function

Synopsis

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

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

iterate' n f x

iterate'

f

x

n

The applications are calculated strictly.