Copyright | (c) Kimiyuki Onaka 2020 |
---|---|
License | Apache License 2.0 |
Maintainer | kimiyuki95@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- run :: (MonadAlpha m, MonadError Error m) => Program -> m Program
Documentation
run :: (MonadAlpha m, MonadError Error m) => Program -> m Program Source #
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) { ... }