Implemented `Length` function

* as its name implies this function returns the length of a given _Cons_ structure
* result type is `Size<Length>` which wraps `std::size_t` to match the `sizeof` operator

1 files changed, 10 insertions, 0 deletions

diff --git a/src/list/list.h b/src/list/list.h
index edd46e8..f21d0fc 100644
--- a/src/list/list.h
+++ b/src/list/list.h
@@ -27,6 +27,16 @@ using Head = Car<Cons>;
 template <typename Cons>
 using Tail = Cdr<Cons>;
 
+template <typename Cons>
+struct Length {
+	typedef Add<Size<1>, typename Length<Cdr<Cons>>::type> type;
+};
+
+template <>
+struct Length<void> {
+	typedef Size<0> type;
+};
+
 template <
 	typename Primary,
 	typename Secondary