TypeList done

module-1/homework/TypeList/typelist/append.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename NewType>
-struct Append;
+struct Append {
+    typedef TypeList<
+            typename TList::H,
+            typename Append<typename TList::T, NewType>::NewTypeList
+    > NewTypeList;
+};
+
+template<typename NewType>
+struct Append<NullType, NewType> {
+    typedef TypeList<NewType, NullType> NewTypeList;
+};
+
+template<>
+struct Append<NullType, NullType> {
+    typedef NullType NewTypeList;
+};

module-1/homework/TypeList/typelist/erase.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct Erase;
+struct Erase{
+    typedef TypeList<
+            typename TList::H,
+            typename Erase<typename TList::T, TargetType>::NewTypeList
+    > NewTypeList;
+};
+
+template<typename TList>
+struct Erase<TList, typename TList::H>{
+    typedef typename TList::T NewTypeList;
+};
+
+template<typename TargetType>
+struct Erase<NullType, TargetType>{
+    typedef NullType NewTypeList;
+};

module-1/homework/TypeList/typelist/eraseall.h

@@ -3,4 +3,22 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct EraseAll;
+struct EraseAll{
+    typedef TypeList<
+            typename TList::H,
+            typename EraseAll<typename TList::T, TargetType>::NewTypeList
+    > NewTypeList;
+};
+
+template<typename TList>
+struct EraseAll<TList, typename TList::H> {
+    typedef typename EraseAll<
+            typename TList::T,
+            typename TList::H
+    >::NewTypeList NewTypeList;
+};
+
+template<typename TargetType>
+struct EraseAll<NullType, TargetType> {
+    typedef NullType NewTypeList;
+};

module-1/homework/TypeList/typelist/indexof.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct IndexOf;
+struct IndexOf{
+private:
+    enum { temp = IndexOf<typename TList::T, TargetType>::pos };
+public:
+    enum { pos = temp == -1 ? -1 : temp + 1 };
+};
+
+template<typename TList>
+struct IndexOf<TList, typename TList::H>{
+    enum { pos = 0 };
+};
+
+template<typename TargetType>
+struct IndexOf<NullType, TargetType> {
+    enum { pos = -1 };
+};

module-1/homework/TypeList/typelist/length.h

@@ -2,5 +2,12 @@
 
 #include "typelist.h"
 
-template<typename TList> 
-struct Length;
+template<typename TList>
+struct Length {
+    enum { length = 1 + Length<typename TList::T>::length };
+};
+
+template<>
+struct Length<NullType> {
+    enum { length = 0 };
+};

module-1/homework/TypeList/typelist/noduplicates.h

@@ -4,4 +4,19 @@
 #include "typelist.h"
 
 template<typename TList>
-struct NoDuplicates;
+struct NoDuplicates {
+    typedef TypeList<
+            typename TList::H,
+            typename NoDuplicates<
+                    typename EraseAll<
+                            typename TList::T,
+                            typename TList::H
+                    >::NewTypeList
+            >::NewTypeList
+    > NewTypeList;
+};
+
+template<>
+struct NoDuplicates<NullType> {
+    typedef NullType NewTypeList;
+};

module-1/homework/TypeList/typelist/replace.h

@@ -2,5 +2,26 @@
 
 #include "typelist.h"
 
-template<typename TList, typename OldType, typename NewType> 
-struct Replace;
+template<typename TList, typename OldType, typename NewType>
+struct Replace {
+    typedef TypeList<
+            typename TList::H,
+            typename Replace<typename TList::T, OldType, NewType>::NewTypeList
+    > NewTypeList;
+};
+
+template<typename TList, typename NewType>
+struct Replace<TList, typename TList::H, NewType> {
+    typedef TypeList<
+            NewType,
+            typename Replace<
+                    typename TList::T,
+                    typename TList::H, NewType
+            >::NewTypeList
+    > NewTypeList;
+};
+
+template<typename OldType, typename NewType>
+struct Replace<NullType, OldType, NewType> {
+    typedef NullType NewTypeList;
+};

module-1/homework/TypeList/typelist/typeat.h

@@ -3,4 +3,11 @@
 #include "typelist.h"
 
 template<typename TList, unsigned int index>
-struct TypeAt;
+struct TypeAt {
+    typedef typename TypeAt<typename TList::T, index - 1>::TargetType TargetType;
+};
+
+template<typename TList>
+struct TypeAt<TList, 0> {
+    typedef typename TList::H TargetType;
+};

module-1/homework/TypeList/typelist/typelist.h

@@ -1,6 +1,9 @@
 #pragma once
 
-template<typename Head, typename Tail> 
-struct TypeList;
+template<typename Head, typename Tail>
+struct TypeList {
+    typedef Head H;
+    typedef Tail T;
+};
 
 struct NullType {};