Jikka.CPlusPlus.Convert.InlineSetAt

Documentation

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

run does inline expansion of jikka::set_atT(...) function.

Examples

Before:

func(jikka::set_at<T>(xs, i, x));

After:

vector<int> ys = xs;
ys[i] = x;
func(ys);