From 01029e59e8eda0a160291c3c92f9db5b1cac54d3 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Fri, 16 Jan 2015 22:08:09 +0100
Subject: Implemented basic `Cons` value type and `List` constructor * `Cons`
is a straigth forward type _pair_ containing `car` and `cdr` typedefs ** they
may be accessed using `Car` and `Cdr` helper template aliases ** there is no
enforcement of _Cons_ structure and type equality whatsoever *** i.e. similar
to Scheme and different from how it is implemented in _ConstList_ * `List` is
a recursive variadic helper template for constructing `Cons` value types **
simplifies _Cons_ construction and may be expanded to offer type deduction
and built upon to enforce type equality * added appropriate test cases
---
src/list/cons.h | 23 +++++++++++++++++++++++
src/list/list.h | 26 ++++++++++++++++++++++++++
2 files changed, 49 insertions(+)
create mode 100644 src/list/cons.h
create mode 100644 src/list/list.h
(limited to 'src')
diff --git a/src/list/cons.h b/src/list/cons.h
new file mode 100644
index 0000000..b858c4c
--- /dev/null
+++ b/src/list/cons.h
@@ -0,0 +1,23 @@
+#ifndef TYPEASVALUE_SRC_LIST_CONS_H_
+#define TYPEASVALUE_SRC_LIST_CONS_H_
+
+namespace tav {
+
+template <
+ typename CAR,
+ typename CDR
+>
+struct Cons {
+ typedef CAR car;
+ typedef CDR cdr;
+};
+
+template <typename Cons>
+using Car = typename Cons::car;
+
+template <typename Cons>
+using Cdr = typename Cons::cdr;
+
+}
+
+#endif // TYPEASVALUE_SRC_LIST_CONS_H_
diff --git a/src/list/list.h b/src/list/list.h
new file mode 100644
index 0000000..47d0d2f
--- /dev/null
+++ b/src/list/list.h
@@ -0,0 +1,26 @@
+#ifndef TYPEASVALUE_SRC_LIST_LIST_H_
+#define TYPEASVALUE_SRC_LIST_LIST_H_
+
+#include "cons.h"
+
+namespace tav {
+
+template <
+ typename Head,
+ typename... Tail
+>
+struct List {
+ typedef Cons<
+ Head,
+ typename List<Tail...>::type
+ > type;
+};
+
+template <typename Head>
+struct List<Head> {
+ typedef Cons<Head, void> type;
+};
+
+}
+
+#endif // TYPEASVALUE_SRC_LIST_LIST_H_
--
cgit v1.2.3