diff options
| author | Adrian Kummerlaender | 2015-02-24 16:51:37 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-02-24 16:51:37 +0100 |
| commit | a3a0d6a1fa880b324576bb073637e021c57b0e65 (patch) | |
| tree | 7015c994acff2c02c71d7ef3aaa6cc5a6cb4ec11 /example/turing/src | |
| parent | 0dde43edac6817c3f0a237d25c2054c0ee75926c (diff) | |
| download | TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.tar TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.tar.gz TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.tar.bz2 TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.tar.lz TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.tar.xz TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.tar.zst TypeAsValue-a3a0d6a1fa880b324576bb073637e021c57b0e65.zip | |
Replaced `utility::defer_eval` with placeholder-less `Apply`
* usage of `Apply` sans placeholders was already possible and as such duplicated `utility::defer_eval`
* renamed `apply_none`'s type alias from to `type` to enable combining it with `Eval`
Diffstat (limited to 'example/turing/src')
| -rw-r--r-- | example/turing/src/tape.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/example/turing/src/tape.h b/example/turing/src/tape.h index 4f79bd9..94c9536 100644 --- a/example/turing/src/tape.h +++ b/example/turing/src/tape.h @@ -5,6 +5,7 @@ #include "list/list.h" #include "list/operation/replace_nth.h" #include "conditional/if.h" +#include "function/apply.h" namespace machine { @@ -26,7 +27,7 @@ template < > using readSymbol = tav::Eval<tav::If< tav::LowerThan<Position, tav::Length<Tape>>, - tav::utility::defer_eval<tav::Nth, Position, Tape>, + tav::Apply<tav::Nth, Position, Tape>, BLANK >>; |