aboutsummaryrefslogtreecommitdiff
path: root/src/list/list.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/list/list.h')
-rw-r--r--src/list/list.h11
1 files changed, 9 insertions, 2 deletions
diff --git a/src/list/list.h b/src/list/list.h
index e369739..c9e6a9e 100644
--- a/src/list/list.h
+++ b/src/list/list.h
@@ -5,6 +5,8 @@
namespace tav {
+namespace detail {
+
template <
typename Head,
typename... Tail
@@ -36,6 +38,11 @@ struct List<void, void> {
typedef void type;
};
+}
+
+template <typename... Elements>
+using List = Eval<detail::List<Elements...>>;
+
template <
typename Type,
Type... Values
@@ -45,10 +52,10 @@ using ListOfType = List<
>;
template <typename Cons>
-using Head = Eval<Car<Cons>>;
+using Head = Car<Cons>;
template <typename Cons>
-using Tail = Eval<Cdr<Cons>>;
+using Tail = Cdr<Cons>;
}