aboutsummaryrefslogtreecommitdiff
path: root/example/turing/src
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-02-24 16:51:37 +0100
committerAdrian Kummerlaender2015-02-24 16:51:37 +0100
commita3a0d6a1fa880b324576bb073637e021c57b0e65 (patch)
tree7015c994acff2c02c71d7ef3aaa6cc5a6cb4ec11 /example/turing/src
parent0dde43edac6817c3f0a237d25c2054c0ee75926c (diff)
downloadTypeAsValue-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.h3
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
>>;