init

.gitignore

@@ -0,0 +1 @@
+/target

Cargo.toml

@@ -0,0 +1,17 @@
+[package]
+name = "tailcall-valid"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+derive_setters = "0.1.6"
+regex = "1.11.0"
+thiserror = "1.0.64"
+serde = { version = "1.0.210", features = ["derive"] }
+serde_json = "1.0.128"
+serde_path_to_error = "0.1.16"
+http = "1.1.0"
+
+[dev-dependencies]
+pretty_assertions = "1.4.1"
+stripmargin = "0.1.1"

src/append.rs

@@ -0,0 +1,78 @@
+pub trait Append<A> {
+    type Out;
+    fn append(self, a: A) -> Self::Out;
+}
+
+impl<A0, A1> Append<A1> for (A0,) {
+    type Out = (A0, A1);
+    fn append(self, a1: A1) -> Self::Out {
+        let (a0,) = self;
+        (a0, a1)
+    }
+}
+impl<A0, A1, A2> Append<A2> for (A0, A1) {
+    type Out = (A0, A1, A2);
+    fn append(self, a2: A2) -> Self::Out {
+        let (a0, a1) = self;
+        (a0, a1, a2)
+    }
+}
+impl<A0, A1, A2, A3> Append<A3> for (A0, A1, A2) {
+    type Out = (A0, A1, A2, A3);
+    fn append(self, a3: A3) -> Self::Out {
+        let (a0, a1, a2) = self;
+        (a0, a1, a2, a3)
+    }
+}
+impl<A0, A1, A2, A3, A4> Append<A4> for (A0, A1, A2, A3) {
+    type Out = (A0, A1, A2, A3, A4);
+    fn append(self, a4: A4) -> Self::Out {
+        let (a0, a1, a2, a3) = self;
+        (a0, a1, a2, a3, a4)
+    }
+}
+impl<A0, A1, A2, A3, A4, A5> Append<A5> for (A0, A1, A2, A3, A4) {
+    type Out = (A0, A1, A2, A3, A4, A5);
+    fn append(self, a5: A5) -> Self::Out {
+        let (a0, a1, a2, a3, a4) = self;
+        (a0, a1, a2, a3, a4, a5)
+    }
+}
+
+impl<A0, A1, A2, A3, A4, A5, A6> Append<A6> for (A0, A1, A2, A3, A4, A5) {
+    type Out = (A0, A1, A2, A3, A4, A5, A6);
+    fn append(self, a6: A6) -> Self::Out {
+        let (a0, a1, a2, a3, a4, a5) = self;
+        (a0, a1, a2, a3, a4, a5, a6)
+    }
+}
+impl<A0, A1, A2, A3, A4, A5, A6, A7> Append<A7> for (A0, A1, A2, A3, A4, A5, A6) {
+    type Out = (A0, A1, A2, A3, A4, A5, A6, A7);
+    fn append(self, a7: A7) -> Self::Out {
+        let (a0, a1, a2, a3, a4, a5, a6) = self;
+        (a0, a1, a2, a3, a4, a5, a6, a7)
+    }
+}
+impl<A0, A1, A2, A3, A4, A5, A6, A7, A8> Append<A8> for (A0, A1, A2, A3, A4, A5, A6, A7) {
+    type Out = (A0, A1, A2, A3, A4, A5, A6, A7, A8);
+    fn append(self, a8: A8) -> Self::Out {
+        let (a0, a1, a2, a3, a4, a5, a6, a7) = self;
+        (a0, a1, a2, a3, a4, a5, a6, a7, a8)
+    }
+}
+impl<A0, A1, A2, A3, A4, A5, A6, A7, A8, A9> Append<A9> for (A0, A1, A2, A3, A4, A5, A6, A7, A8) {
+    type Out = (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9);
+    fn append(self, a9: A9) -> Self::Out {
+        let (a0, a1, a2, a3, a4, a5, a6, a7, a8) = self;
+        (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9)
+    }
+}
+impl<A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10> Append<A10>
+    for (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9)
+{
+    type Out = (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10);
+    fn append(self, a10: A10) -> Self::Out {
+        let (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9) = self;
+        (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
+    }
+}