Jikka.CPlusPlus.Convert.OptimizeRange

Documentation

run :: (MonadAlpha m, MonadError Error m) => Program -> m Program

run replaces superfluous copying.

Examples

Before:

int b = range(a).size();

After:

int b = a;

Before:

for (int i : jikka::range(n)) {
    ...
}

After:

for (int i = 0; i < n; ++ i) {
    ...
}