14.4.40  Iterate

The standard library Iterate api defines the iterate repeat and forloop iterator functions.

The Iterate api is implemented by the iterate package.

The Iterate api source code is in src/lib/src/iterate.api.

The above information is manually maintained and may contain errors.

api {
    iterate : (X -> X) -> Int -> X -> X;
    repeat : ((Int , X) -> X) -> Int -> X -> X;
    forloop : ((Int , X) -> X) -> (Int , Int , Int) -> X -> X;};