bendns' repos / ttools
[no description]
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs13
1 files changed, 13 insertions, 0 deletions
diff --git a/build.rs b/build.rs
index b43249d..181888e 100644
--- a/build.rs
+++ b/build.rs
@@ -70,6 +70,11 @@ fn generate(
type At = {at};
type L = ({left});
type R = ({right});
+ type Delete = ({left} /* */ {right});
+ fn delete(({left}): Self::L, ({right}): Self::R) -> Self::Delete \
+ {{
+ ({left} {right})
+ }}
fn repick(({left}): Self::L, at: Self::At, ({right}): Self::R) -> \
Self {{
({left} at, {right})
@@ -79,6 +84,14 @@ fn generate(
(({left}), {at}, ({right}))
}}
}}
+
+ impl<{tupl} Z> RePick<{i}, Z> for ({tupl}) {{
+ type New = ({left} Z, {right});
+ fn unpick(({left}): Self::L, at: Z, ({right}): Self::R) -> \
+ Self::New {{
+ ({left} at, {right})
+ }}
+ }}
",
at = x.clone().nth(i).unwrap(),
left = tup(x.clone().take(i)),