1 files changed, 43 insertions, 0 deletions
diff --git a/tiger-compiler/lib/misc/list.hxx b/tiger-compiler/lib/misc/list.hxx
new file mode 100644
index 0000000..63d7f0d
--- /dev/null
+++ b/tiger-compiler/lib/misc/list.hxx
@@ -0,0 +1,43 @@
+/**
+ ** \file misc/list.hh
+ ** \brief Implementation of misc::list
+ */
+
+#pragma once
+
+#include <misc/list.hh>
+
+namespace misc::list
+{
+  template <class T> inline vector<T> cons(const T head, const vector<T>& tail)
+  {
+    vector<T> res;
+
+    res.emplace_back(head);
+    res.append(tail);
+
+    return res;
+  }
+
+  template <class T> inline std::pair<T, vector<T>> snoc(const vector<T>& v)
+  {
+    precondition(v.size() > 0);
+
+    T head = v[0];
+    vector<T> tail(v.begin() + 1, v.end());
+
+    return {head, tail};
+  }
+
+  template <std::size_t Size_, typename T>
+  inline std::array<T, Size_> decompose(const vector<T>& v)
+  {
+    precondition(v.size() == Size_);
+
+    std::array<T, Size_> res;
+    std::copy(v.begin(), v.end(), res.begin());
+
+    return res;
+  }
+
+} // namespace misc::list