Rename `CoreLib::*` to `Slang`

Getting rid of more namespace complexity and stripping things down to the basics.

This also gets rid of some dead code in the "core" library.

1 files changed, 529 insertions, 533 deletions

diff --git a/source/core/linq.h b/source/core/linq.h
index bd40f1bc2..52af3abd0 100644
--- a/source/core/linq.h
+++ b/source/core/linq.h
@@ -3,666 +3,662 @@
 
 #include "List.h"
 
-namespace CoreLib
+namespace Slang
 {
-	namespace Basic
-	{
-
-		template <typename T>
-		T ConstructT();
+	template <typename T>
+	T ConstructT();
 
-		template <typename T>
-		class RemoveReference
-		{
-		public:
-			typedef T Type;
-		};
+	template <typename T>
+	class RemoveReference
+	{
+	public:
+		typedef T Type;
+	};
 
-		template <typename T>
-		class RemoveReference<T&>
-		{
-		public:
-			typedef T Type;
-		};
+	template <typename T>
+	class RemoveReference<T&>
+	{
+	public:
+		typedef T Type;
+	};
 
-		template <typename T>
-		class RemoveReference<T&&>
-		{
-		public:
-			typedef T Type;
-		};
+	template <typename T>
+	class RemoveReference<T&&>
+	{
+	public:
+		typedef T Type;
+	};
 
-		template<typename T>
-		struct RemovePointer
-		{
-			typedef T Type;
-		};
+	template<typename T>
+	struct RemovePointer
+	{
+		typedef T Type;
+	};
 
-		template<typename T>
-		struct RemovePointer<T*>
-		{
-			typedef T Type;
-		};
+	template<typename T>
+	struct RemovePointer<T*>
+	{
+		typedef T Type;
+	};
 
-		template <typename TQueryable1, typename TEnumerator1, typename TQueryable2, typename TEnumerator2, typename T>
-		class ConcatQuery
+	template <typename TQueryable1, typename TEnumerator1, typename TQueryable2, typename TEnumerator2, typename T>
+	class ConcatQuery
+	{
+	private:
+		TQueryable1 items1;
+		TQueryable2 items2;
+	public:
+		ConcatQuery(const TQueryable1 & queryable1, const TQueryable2 & queryable2)
+			: items1(queryable1), items2(queryable2)
+		{}
+		class Enumerator
 		{
 		private:
-			TQueryable1 items1;
-			TQueryable2 items2;
+			TEnumerator1 ptr1;
+			TEnumerator1 end1;
+			TEnumerator2 ptr2;
+			TEnumerator2 end2;
 		public:
-			ConcatQuery(const TQueryable1 & queryable1, const TQueryable2 & queryable2)
-				: items1(queryable1), items2(queryable2)
+			Enumerator(const Enumerator &) = default;
+			Enumerator(TEnumerator1 pptr, TEnumerator1 pend, TEnumerator2 pptr2, TEnumerator2 pend2)
+				: ptr1(pptr), end1(pend), ptr2(pptr2), end2(pend2)
 			{}
-			class Enumerator
+			T operator *() const
 			{
-			private:
-				TEnumerator1 ptr1;
-				TEnumerator1 end1;
-				TEnumerator2 ptr2;
-				TEnumerator2 end2;
-			public:
-				Enumerator(const Enumerator &) = default;
-				Enumerator(TEnumerator1 pptr, TEnumerator1 pend, TEnumerator2 pptr2, TEnumerator2 pend2)
-					: ptr1(pptr), end1(pend), ptr2(pptr2), end2(pend2)
-				{}
-				T operator *() const
-				{
-					if (ptr1 != end1)
-						return *(ptr1);
-					else
-						return *(ptr2);
-				}
-				Enumerator& operator ++()
-				{
-					if (ptr1 != end1)
-						++ptr1;
-					else
-						++ptr2;
-					return *this;
-				}
-				Enumerator operator ++(int)
-				{
-					Enumerator rs = *this;
-					++rs;
-					return rs;
-				}
-				bool operator != (const Enumerator & iter) const
-				{
-					return ptr1 != iter.ptr1 || ptr2 != iter.ptr2;
-				}
-				bool operator == (const Enumerator & iter) const
-				{
-					return ptr1 == iter.ptr1 && ptr2 == iter.ptr2;
-				}
-			};
-			Enumerator begin() const
-			{
-				return Enumerator(items1.begin(), items1.end(), items2.begin(), items2.end());
+				if (ptr1 != end1)
+					return *(ptr1);
+				else
+					return *(ptr2);
 			}
-			Enumerator end() const
+			Enumerator& operator ++()
 			{
-				return Enumerator(items1.end(), items1.end(), items2.end(), items2.end());
+				if (ptr1 != end1)
+					++ptr1;
+				else
+					++ptr2;
+				return *this;
 			}
-		};
-
-		template <typename TQueryable, typename TEnumerator, typename T, typename TFunc>
-		class WhereQuery
-		{
-		private:
-			TQueryable items;
-			TFunc func;
-		public:
-			WhereQuery(const TQueryable & queryable, const TFunc & f)
-				: items(queryable), func(f)
-			{}
-			class Enumerator
+			Enumerator operator ++(int)
 			{
-			private:
-				TEnumerator ptr;
-				TEnumerator end;
-				const TFunc * func;
-			public:
-				Enumerator(const Enumerator &) = default;
-				Enumerator(TEnumerator ptr, TEnumerator end, const TFunc & f)
-					: ptr(ptr), end(end), func(&f)
-				{}
-				T operator *() const
-				{
-					return *(ptr);
-				}
-				Enumerator& operator ++()
-				{
-					++ptr;
-					while (ptr != end)
-					{
-						if ((*func)(*ptr))
-							break;
-						else
-							++ptr;
-					}
-					return *this;
-				}
-				Enumerator operator ++(int)
-				{
-					Enumerator rs = *this;
-					while (rs.ptr != end)
-					{
-						if ((*func)(*rs.ptr))
-							break;
-						++rs.ptr;
-					}
-					return rs;
-				}
-				bool operator != (const Enumerator & iter) const
-				{
-					return ptr != iter.ptr;
-				}
-				bool operator == (const Enumerator & iter) const
-				{
-					return ptr == iter.ptr;
-				}
-			};
-			Enumerator begin() const
-			{
-				auto ptr = items.begin();
-				auto end = items.end();
-				while (ptr != end)
-				{
-					if (func(*ptr))
-						break;
-					++ptr;
-				}
-				return Enumerator(ptr, end, func);
+				Enumerator rs = *this;
+				++rs;
+				return rs;
 			}
-			Enumerator end() const
+			bool operator != (const Enumerator & iter) const
 			{
-				return Enumerator(items.end(), items.end(), func);
+				return ptr1 != iter.ptr1 || ptr2 != iter.ptr2;
 			}
-		};
-
-		template <typename TQueryable, typename TEnumerator, typename T>
-		class SkipQuery
-		{
-		private:
-			TQueryable items;
-			int count = 0;
-		public:
-			SkipQuery(const TQueryable & queryable, int pCount)
-				: items(queryable), count(pCount)
-			{}
-			class Enumerator
+			bool operator == (const Enumerator & iter) const
 			{
-			private:
-				TEnumerator ptr;
-				TEnumerator end;
-			public:
-				Enumerator(const Enumerator &) = default;
-				Enumerator(TEnumerator pptr, TEnumerator pend)
-					: ptr(pptr), end(pend)
-				{
-				}
-				T operator *() const
-				{
-					return *(ptr);
-				}
-				Enumerator& operator ++()
-				{
-					++ptr;
-					return *this;
-				}
-				Enumerator operator ++(int)
-				{
-					Enumerator rs = *this;
-					++ptr;
-					return rs;
-				}
-				bool operator != (const Enumerator & iter) const
-				{
-					return ptr != iter.ptr;
-				}
-				bool operator == (const Enumerator & iter) const
-				{
-					return ptr == iter.ptr;
-				}
-			};
-			Enumerator begin() const
-			{
-				auto ptr = items.begin();
-				auto end = items.end();
-				for (int i = 0; i < count; i++)
-					if (ptr != end)
-						++ptr;
-				return Enumerator(ptr, end);
-			}
-			Enumerator end() const
-			{
-				return Enumerator(items.end(), items.end());
+				return ptr1 == iter.ptr1 && ptr2 == iter.ptr2;
 			}
 		};
+		Enumerator begin() const
+		{
+			return Enumerator(items1.begin(), items1.end(), items2.begin(), items2.end());
+		}
+		Enumerator end() const
+		{
+			return Enumerator(items1.end(), items1.end(), items2.end(), items2.end());
+		}
+	};
 
-		template <typename TQueryable, typename TEnumerator, typename T, typename TFunc>
-		class SelectQuery
+	template <typename TQueryable, typename TEnumerator, typename T, typename TFunc>
+	class WhereQuery
+	{
+	private:
+		TQueryable items;
+		TFunc func;
+	public:
+		WhereQuery(const TQueryable & queryable, const TFunc & f)
+			: items(queryable), func(f)
+		{}
+		class Enumerator
 		{
 		private:
-			TQueryable items;
-			TFunc func;
+			TEnumerator ptr;
+			TEnumerator end;
+			const TFunc * func;
 		public:
-			SelectQuery(const TQueryable & queryable, const TFunc & f)
-				: items(queryable), func(f)
+			Enumerator(const Enumerator &) = default;
+			Enumerator(TEnumerator ptr, TEnumerator end, const TFunc & f)
+				: ptr(ptr), end(end), func(&f)
 			{}
-			class Enumerator
-			{
-			private:
-				TEnumerator ptr;
-				TEnumerator end;
-				const TFunc * func;
-			public:
-				Enumerator(const Enumerator &) = default;
-				Enumerator(TEnumerator ptr, TEnumerator end, const TFunc & f)
-					: ptr(ptr), end(end), func(&f)
-				{}
-				auto operator *() const -> decltype((*func)(*ptr))
-				{
-					return (*func)(*ptr);
-				}
-				Enumerator& operator ++()
-				{
-					++ptr;
-					return *this;
-				}
-				Enumerator operator ++(int)
-				{
-					Enumerator rs = *this;
-					++rs;
-					return rs;
-				}
-				bool operator != (const Enumerator & iter) const
-				{
-					return !(ptr == iter.ptr);
-				}
-				bool operator == (const Enumerator & iter) const
-				{
-					return ptr == iter.ptr;
-				}
-			};
-			Enumerator begin() const
+			T operator *() const
 			{
-				return Enumerator(items.begin(), items.end(), func);
+				return *(ptr);
 			}
-			Enumerator end() const
+			Enumerator& operator ++()
 			{
-				return Enumerator(items.end(), items.end(), func);
-			}
-		};
-
-		template <typename TQueryable, typename TEnumerator, typename T, typename TFunc>
-		class SelectManyQuery
-		{
-		private:
-			TQueryable items;
-			TFunc func;
-			SelectManyQuery()
-			{}
-		public:
-			SelectManyQuery(const TQueryable & queryable, const TFunc & f)
-				: items(queryable), func(f)
-			{}
-			template<typename TItems, typename TItemPtr>
-			class Enumerator
-			{
-			private:
-				TEnumerator ptr;
-				TEnumerator end;
-				const TFunc * func;
-				TItems items;
-				TItemPtr subPtr;
-			public:
-				Enumerator(const Enumerator &) = default;
-				Enumerator(TEnumerator ptr, TEnumerator end, const TFunc & f)
-					: ptr(ptr), end(end), func(&f)
-				{
-					if (ptr != end)
-					{
-						items = f(*ptr);
-						subPtr = items.begin();
-					}
-				}
-				auto operator *() const -> decltype(*subPtr)
-				{
-					return *subPtr;
-				}
-				Enumerator& operator ++()
+				++ptr;
+				while (ptr != end)
 				{
-					++subPtr;
-					while (subPtr == items.end() && ptr != end)
-					{
+					if ((*func)(*ptr))
+						break;
+					else
 						++ptr;
-						if (ptr != end)
-						{
-							items = (*func)(*ptr);
-							subPtr = items.begin();
-						}
-						else
-							break;
-					}
-
-					return *this;
-				}
-				Enumerator operator ++(int)
-				{
-					Enumerator rs = *this;
-					++rs;
-					return rs;
 				}
-				bool operator != (const Enumerator & iter) const
-				{
-					return !operator==(iter);
-				}
-				bool operator == (const Enumerator & iter) const
+				return *this;
+			}
+			Enumerator operator ++(int)
+			{
+				Enumerator rs = *this;
+				while (rs.ptr != end)
 				{
-					if (ptr == iter.ptr)
-					{
-						if (ptr == end)
-							return true;
-						else
-							return subPtr == iter.subPtr;
-					}
-					else
-						return false;
+					if ((*func)(*rs.ptr))
+						break;
+					++rs.ptr;
 				}
-			};
-			auto begin() const ->Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>
+				return rs;
+			}
+			bool operator != (const Enumerator & iter) const
 			{
-				return Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>(items.begin(), items.end(), func);
+				return ptr != iter.ptr;
 			}
-			auto end() const ->Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>
+			bool operator == (const Enumerator & iter) const
 			{
-				return Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>(items.end(), items.end(), func);
+				return ptr == iter.ptr;
 			}
 		};
-
-		template <typename T>
-		struct EnumeratorType
-		{
-			typedef decltype(ConstructT<T>().begin()) Type;
-		};
-
-		template <typename TFunc, typename TArg>
-		class ExtractReturnType
+		Enumerator begin() const
 		{
-		public:
-			static TFunc * f;
-			static TArg ConstructArg() {};
-			typedef decltype((*f)(ConstructArg())) ReturnType;
-		};
-
-		template <typename T>
-		class ExtractItemType
+			auto ptr = items.begin();
+			auto end = items.end();
+			while (ptr != end)
+			{
+				if (func(*ptr))
+					break;
+				++ptr;
+			}
+			return Enumerator(ptr, end, func);
+		}
+		Enumerator end() const
 		{
-		public:
-			typedef typename RemovePointer<decltype(ConstructT<T>().begin())>::Type Type;
-		};
+			return Enumerator(items.end(), items.end(), func);
+		}
+	};
 
-		template <typename TQueryable, typename TEnumerator, typename T>
-		class Queryable
+	template <typename TQueryable, typename TEnumerator, typename T>
+	class SkipQuery
+	{
+	private:
+		TQueryable items;
+		int count = 0;
+	public:
+		SkipQuery(const TQueryable & queryable, int pCount)
+			: items(queryable), count(pCount)
+		{}
+		class Enumerator
 		{
 		private:
-			TQueryable items;
+			TEnumerator ptr;
+			TEnumerator end;
 		public:
-			auto begin() const -> decltype(items.begin())
+			Enumerator(const Enumerator &) = default;
+			Enumerator(TEnumerator pptr, TEnumerator pend)
+				: ptr(pptr), end(pend)
 			{
-				return items.begin();
 			}
-			auto end() const -> decltype(items.end())
+			T operator *() const
 			{
-				return items.end();
+				return *(ptr);
 			}
-		public:
-			const TQueryable & GetItems() const
+			Enumerator& operator ++()
 			{
-				return items;
+				++ptr;
+				return *this;
 			}
-			Queryable(const TQueryable & items)
-				: items(items)
-			{}
-
-			Queryable<SkipQuery<TQueryable, TEnumerator, T>, typename SkipQuery<TQueryable, TEnumerator, T>::Enumerator, T> Skip(int count) const
+			Enumerator operator ++(int)
 			{
-				return Queryable<SkipQuery<TQueryable, TEnumerator, T>, typename SkipQuery<TQueryable, TEnumerator, T>::Enumerator, T>(SkipQuery<TQueryable, TEnumerator, T>(items, count));
+				Enumerator rs = *this;
+				++ptr;
+				return rs;
 			}
-
-			template<typename TQueryable2, typename TEnumerator2>
-			Queryable<ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>, typename ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>::Enumerator, T> Concat(const Queryable<TQueryable2, TEnumerator2, T> & other) const
+			bool operator != (const Enumerator & iter) const
 			{
-				return Queryable<ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>, typename ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>::Enumerator, T>(ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>(this->items, other.GetItems()));
+				return ptr != iter.ptr;
 			}
-
-			template<typename TFunc>
-			Queryable<WhereQuery<TQueryable, TEnumerator, T, TFunc>, typename WhereQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, T> Where(const TFunc & f) const
+			bool operator == (const Enumerator & iter) const
 			{
-				return Queryable<WhereQuery<TQueryable, TEnumerator, T, TFunc>, typename WhereQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, T>(WhereQuery<TQueryable, TEnumerator, T, TFunc>(items, f));
+				return ptr == iter.ptr;
 			}
+		};
+		Enumerator begin() const
+		{
+			auto ptr = items.begin();
+			auto end = items.end();
+			for (int i = 0; i < count; i++)
+				if (ptr != end)
+					++ptr;
+			return Enumerator(ptr, end);
+		}
+		Enumerator end() const
+		{
+			return Enumerator(items.end(), items.end());
+		}
+	};
 
-			template<typename TFunc>
-			Queryable<SelectQuery<TQueryable, TEnumerator, T, TFunc>, typename SelectQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, typename RemoveReference<typename ExtractReturnType<TFunc, T>::ReturnType>::Type> Select(const TFunc & f) const
+	template <typename TQueryable, typename TEnumerator, typename T, typename TFunc>
+	class SelectQuery
+	{
+	private:
+		TQueryable items;
+		TFunc func;
+	public:
+		SelectQuery(const TQueryable & queryable, const TFunc & f)
+			: items(queryable), func(f)
+		{}
+		class Enumerator
+		{
+		private:
+			TEnumerator ptr;
+			TEnumerator end;
+			const TFunc * func;
+		public:
+			Enumerator(const Enumerator &) = default;
+			Enumerator(TEnumerator ptr, TEnumerator end, const TFunc & f)
+				: ptr(ptr), end(end), func(&f)
+			{}
+			auto operator *() const -> decltype((*func)(*ptr))
 			{
-				return Queryable<SelectQuery<TQueryable, TEnumerator, T, TFunc>, typename SelectQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, typename RemoveReference<typename ExtractReturnType<TFunc, T>::ReturnType>::Type>(SelectQuery<TQueryable, TEnumerator, T, TFunc>(items, f));
+				return (*func)(*ptr);
 			}
-
-			template<typename TFunc>
-			auto SelectMany(const TFunc & f) const ->Queryable<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>, typename EnumeratorType<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>>::Type, typename ExtractItemType<decltype(f(ConstructT<T>()))>::Type>
+			Enumerator& operator ++()
 			{
-				return Queryable<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>, typename EnumeratorType<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>>::Type, typename ExtractItemType<decltype(f(ConstructT<T>()))>::Type>(SelectManyQuery<TQueryable, TEnumerator, T, TFunc>(items, f));
+				++ptr;
+				return *this;
 			}
-
-			template<typename TAggregateResult, typename TFunc>
-			auto Aggregate(const TAggregateResult & initial, const TFunc & f) const -> decltype(f(initial, *items.begin()))
+			Enumerator operator ++(int)
 			{
-				TAggregateResult rs = initial;
-				for (auto && x : items)
-					rs = f(rs, x);
+				Enumerator rs = *this;
+				++rs;
 				return rs;
 			}
-
-			template<typename TFunc>
-			bool Any(const TFunc & condition) const
+			bool operator != (const Enumerator & iter) const
 			{
-				for (auto && x : items)
-					if (condition(x))
-						return true;
-				return false;
+				return !(ptr == iter.ptr);
 			}
-
-			template<typename TFunc>
-			T & First(const TFunc & condition) const
+			bool operator == (const Enumerator & iter) const
 			{
-				for (auto && x : items)
-					if (condition(x))
-						return x;
+				return ptr == iter.ptr;
 			}
+		};
+		Enumerator begin() const
+		{
+			return Enumerator(items.begin(), items.end(), func);
+		}
+		Enumerator end() const
+		{
+			return Enumerator(items.end(), items.end(), func);
+		}
+	};
 
-			template <typename TFunc>
-			T Max(const TFunc & selector) const
+	template <typename TQueryable, typename TEnumerator, typename T, typename TFunc>
+	class SelectManyQuery
+	{
+	private:
+		TQueryable items;
+		TFunc func;
+		SelectManyQuery()
+		{}
+	public:
+		SelectManyQuery(const TQueryable & queryable, const TFunc & f)
+			: items(queryable), func(f)
+		{}
+		template<typename TItems, typename TItemPtr>
+		class Enumerator
+		{
+		private:
+			TEnumerator ptr;
+			TEnumerator end;
+			const TFunc * func;
+			TItems items;
+			TItemPtr subPtr;
+		public:
+			Enumerator(const Enumerator &) = default;
+			Enumerator(TEnumerator ptr, TEnumerator end, const TFunc & f)
+				: ptr(ptr), end(end), func(&f)
 			{
-				return Aggregate(*items.begin(), [&](const T & v0, const T & v1)
+				if (ptr != end)
 				{
-					return selector(v0) > selector(v1) ? v0 : v1;
-				});
+					items = f(*ptr);
+					subPtr = items.begin();
+				}
 			}
-
-			template <typename TFunc>
-			T Min(const TFunc & selector) const
+			auto operator *() const -> decltype(*subPtr)
 			{
-				return Aggregate(*items.begin(), [&](const T & v0, const T & v1)
-				{
-					return selector(v0) < selector(v1) ? v0 : v1;
-				});
+				return *subPtr;
 			}
-
-			template <typename TFunc>
-			auto Sum(const TFunc & selector) const -> decltype(selector(ConstructT<T>()))
+			Enumerator& operator ++()
 			{
-				decltype(selector(ConstructT<T>())) rs(0);
-				for (auto && x : items)
-					rs = rs + selector(x);
-				return rs;
-			}
+				++subPtr;
+				while (subPtr == items.end() && ptr != end)
+				{
+					++ptr;
+					if (ptr != end)
+					{
+						items = (*func)(*ptr);
+						subPtr = items.begin();
+					}
+					else
+						break;
+				}
 
-			T Max() const
-			{
-				return Aggregate(*items.begin(), [](const T & v0, const T & v1) {return v0 > v1 ? v0 : v1; });
+				return *this;
 			}
-
-			T Min() const
+			Enumerator operator ++(int)
 			{
-				return Aggregate(*items.begin(), [](const T & v0, const T & v1) {return v0 < v1 ? v0 : v1; });
+				Enumerator rs = *this;
+				++rs;
+				return rs;
 			}
-
-			T Sum() const
+			bool operator != (const Enumerator & iter) const
 			{
-				T rs = T(0);
-				for (auto && x : items)
-					rs = rs + x;
-				return rs;
+				return !operator==(iter);
 			}
-
-			T Avg() const
+			bool operator == (const Enumerator & iter) const
 			{
-				T rs = T(0);
-				int count = 0;
-				for (auto && x : items)
+				if (ptr == iter.ptr)
 				{
-					rs = rs + x;
-					count++;
+					if (ptr == end)
+						return true;
+					else
+						return subPtr == iter.subPtr;
 				}
-				return rs / count;
+				else
+					return false;
 			}
+		};
+		auto begin() const ->Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>
+		{
+			return Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>(items.begin(), items.end(), func);
+		}
+		auto end() const ->Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>
+		{
+			return Enumerator<decltype(func(ConstructT<T>())), decltype(func(ConstructT<T>()).begin())>(items.end(), items.end(), func);
+		}
+	};
 
-			int Count() const
-			{
-				int rs = 0;
-				for (auto && x : items)
-					rs++;
-				return rs;
-			}
+	template <typename T>
+	struct EnumeratorType
+	{
+		typedef decltype(ConstructT<T>().begin()) Type;
+	};
 
-			List<T> ToList() const
-			{
-				List<T> rs;
-				for (auto && val : items)
-					rs.Add(val);
-				return rs;
-			}
-		};
+	template <typename TFunc, typename TArg>
+	class ExtractReturnType
+	{
+	public:
+		static TFunc * f;
+		static TArg ConstructArg() {};
+		typedef decltype((*f)(ConstructArg())) ReturnType;
+	};
+
+	template <typename T>
+	class ExtractItemType
+	{
+	public:
+		typedef typename RemovePointer<decltype(ConstructT<T>().begin())>::Type Type;
+	};
+
+	template <typename TQueryable, typename TEnumerator, typename T>
+	class Queryable
+	{
+	private:
+		TQueryable items;
+	public:
+		auto begin() const -> decltype(items.begin())
+		{
+			return items.begin();
+		}
+		auto end() const -> decltype(items.end())
+		{
+			return items.end();
+		}
+	public:
+		const TQueryable & GetItems() const
+		{
+			return items;
+		}
+		Queryable(const TQueryable & items)
+			: items(items)
+		{}
+
+		Queryable<SkipQuery<TQueryable, TEnumerator, T>, typename SkipQuery<TQueryable, TEnumerator, T>::Enumerator, T> Skip(int count) const
+		{
+			return Queryable<SkipQuery<TQueryable, TEnumerator, T>, typename SkipQuery<TQueryable, TEnumerator, T>::Enumerator, T>(SkipQuery<TQueryable, TEnumerator, T>(items, count));
+		}
 
+		template<typename TQueryable2, typename TEnumerator2>
+		Queryable<ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>, typename ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>::Enumerator, T> Concat(const Queryable<TQueryable2, TEnumerator2, T> & other) const
+		{
+			return Queryable<ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>, typename ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>::Enumerator, T>(ConcatQuery<TQueryable, TEnumerator, TQueryable2, TEnumerator2, T>(this->items, other.GetItems()));
+		}
 
-		template<typename T, typename TAllocator>
-		inline Queryable<ArrayView<T>, T*, T> From(const List<T, TAllocator> & list)
+		template<typename TFunc>
+		Queryable<WhereQuery<TQueryable, TEnumerator, T, TFunc>, typename WhereQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, T> Where(const TFunc & f) const
 		{
-			return Queryable<ArrayView<T>, T*, T>(list.GetArrayView());
+			return Queryable<WhereQuery<TQueryable, TEnumerator, T, TFunc>, typename WhereQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, T>(WhereQuery<TQueryable, TEnumerator, T, TFunc>(items, f));
 		}
 
-		template<typename T, typename TAllocator>
-		inline Queryable<List<T, TAllocator>, T*, T> From(List<T, TAllocator> && list)
+		template<typename TFunc>
+		Queryable<SelectQuery<TQueryable, TEnumerator, T, TFunc>, typename SelectQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, typename RemoveReference<typename ExtractReturnType<TFunc, T>::ReturnType>::Type> Select(const TFunc & f) const
 		{
-			return Queryable<List<T, TAllocator>, T*, T>(_Move(list));
+			return Queryable<SelectQuery<TQueryable, TEnumerator, T, TFunc>, typename SelectQuery<TQueryable, TEnumerator, T, TFunc>::Enumerator, typename RemoveReference<typename ExtractReturnType<TFunc, T>::ReturnType>::Type>(SelectQuery<TQueryable, TEnumerator, T, TFunc>(items, f));
 		}
 
-		template<typename T>
-		inline Queryable<ArrayView<T>, T*, T> From(const ArrayView<T> & list)
+		template<typename TFunc>
+		auto SelectMany(const TFunc & f) const ->Queryable<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>, typename EnumeratorType<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>>::Type, typename ExtractItemType<decltype(f(ConstructT<T>()))>::Type>
 		{
-			return Queryable<ArrayView<T>, T*, T>(list);
+			return Queryable<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>, typename EnumeratorType<SelectManyQuery<TQueryable, TEnumerator, T, TFunc>>::Type, typename ExtractItemType<decltype(f(ConstructT<T>()))>::Type>(SelectManyQuery<TQueryable, TEnumerator, T, TFunc>(items, f));
 		}
 
-		template<typename T, int count>
-		inline Queryable<Array<T, count>, T*, T> From(const Array<T, count> & list)
+		template<typename TAggregateResult, typename TFunc>
+		auto Aggregate(const TAggregateResult & initial, const TFunc & f) const -> decltype(f(initial, *items.begin()))
 		{
-			return Queryable<Array<T, count>, T*, T>(list);
+			TAggregateResult rs = initial;
+			for (auto && x : items)
+				rs = f(rs, x);
+			return rs;
 		}
 
-		template<typename T>
-		inline auto From(const T & list) -> Queryable<T, decltype(list.begin()), decltype(*list.begin())>
+		template<typename TFunc>
+		bool Any(const TFunc & condition) const
 		{
-			return Queryable<T, decltype(list.begin()), decltype(*list.begin())>(list);
+			for (auto && x : items)
+				if (condition(x))
+					return true;
+			return false;
 		}
 
-		template<typename T>
-		inline Queryable<Array<T, 1>, T*, T> FromSingle(const T & obj)
+		template<typename TFunc>
+		T & First(const TFunc & condition) const
 		{
-			Array<T, 1> arr;
-			arr.Add(obj);
-			return From(arr);
+			for (auto && x : items)
+				if (condition(x))
+					return x;
 		}
 
-		template<typename T>
-		struct LinkedListView
+		template <typename TFunc>
+		T Max(const TFunc & selector) const
 		{
-			typename LinkedList<T>::Iterator start, last;
-			typename LinkedList<T>::Iterator begin() const
+			return Aggregate(*items.begin(), [&](const T & v0, const T & v1)
 			{
-				return start;
-			}
-			typename LinkedList<T>::Iterator end() const
+				return selector(v0) > selector(v1) ? v0 : v1;
+			});
+		}
+
+		template <typename TFunc>
+		T Min(const TFunc & selector) const
+		{
+			return Aggregate(*items.begin(), [&](const T & v0, const T & v1)
 			{
-				return last;
-			}
-		};
+				return selector(v0) < selector(v1) ? v0 : v1;
+			});
+		}
 
-		template<typename T>
-		inline Queryable<LinkedListView<T>, LinkedNode<T>, T> From(const LinkedList<T> & list)
+		template <typename TFunc>
+		auto Sum(const TFunc & selector) const -> decltype(selector(ConstructT<T>()))
 		{
-			LinkedListView<T> view;
-			view.start = list.begin();
-			view.last = list.end();
-			return Queryable<LinkedListView<T>, LinkedNode<T>, T>(view);
+			decltype(selector(ConstructT<T>())) rs(0);
+			for (auto && x : items)
+				rs = rs + selector(x);
+			return rs;
 		}
 
-		template<typename TKey, typename TValue>
-		struct EnumerableDictView
+		T Max() const
 		{
-			typename EnumerableDictionary<TKey, TValue>::Iterator start, last;
-			typename EnumerableDictionary<TKey, TValue>::Iterator begin() const
-			{
-				return start;
-			}
-			typename EnumerableDictionary<TKey, TValue>::Iterator end() const
-			{
-				return last;
-			}
-		};
+			return Aggregate(*items.begin(), [](const T & v0, const T & v1) {return v0 > v1 ? v0 : v1; });
+		}
 
-		template<typename TKey, typename TValue>
-		inline Queryable<EnumerableDictView<TKey, TValue>, typename EnumerableDictionary<TKey, TValue>::Iterator, KeyValuePair<TKey, TValue>> From(const EnumerableDictionary<TKey, TValue> & dict)
+		T Min() const
 		{
-			EnumerableDictView<TKey, TValue> view;
-			view.start = dict.begin();
-			view.last = dict.end();
-			return Queryable<EnumerableDictView<TKey, TValue>, typename EnumerableDictionary<TKey, TValue>::Iterator, KeyValuePair<TKey, TValue>>(view);
+			return Aggregate(*items.begin(), [](const T & v0, const T & v1) {return v0 < v1 ? v0 : v1; });
 		}
 
-		template<typename TKey>
-		struct EnumerableHashSetView
+		T Sum() const
 		{
-			typename HashSetBase<TKey, EnumerableDictionary<TKey, _DummyClass>>::Iterator start, last;
-			typename EnumerableHashSet<TKey>::Iterator begin() const
-			{
-				return start;
-			}
-			typename EnumerableHashSet<TKey>::Iterator end() const
+			T rs = T(0);
+			for (auto && x : items)
+				rs = rs + x;
+			return rs;
+		}
+
+		T Avg() const
+		{
+			T rs = T(0);
+			int count = 0;
+			for (auto && x : items)
 			{
-				return last;
+				rs = rs + x;
+				count++;
 			}
-		};
+			return rs / count;
+		}
+
+		int Count() const
+		{
+			int rs = 0;
+			for (auto && x : items)
+				rs++;
+			return rs;
+		}
+
+		List<T> ToList() const
+		{
+			List<T> rs;
+			for (auto && val : items)
+				rs.Add(val);
+			return rs;
+		}
+	};
+
+
+	template<typename T, typename TAllocator>
+	inline Queryable<ArrayView<T>, T*, T> From(const List<T, TAllocator> & list)
+	{
+		return Queryable<ArrayView<T>, T*, T>(list.GetArrayView());
+	}
 
-		template<typename TKey>
-		inline Queryable<EnumerableHashSetView<TKey>, typename HashSetBase<TKey, EnumerableDictionary<TKey, _DummyClass>>::Iterator, TKey> From(const EnumerableHashSet<TKey> & dict)
+	template<typename T, typename TAllocator>
+	inline Queryable<List<T, TAllocator>, T*, T> From(List<T, TAllocator> && list)
+	{
+		return Queryable<List<T, TAllocator>, T*, T>(_Move(list));
+	}
+
+	template<typename T>
+	inline Queryable<ArrayView<T>, T*, T> From(const ArrayView<T> & list)
+	{
+		return Queryable<ArrayView<T>, T*, T>(list);
+	}
+
+	template<typename T, int count>
+	inline Queryable<Array<T, count>, T*, T> From(const Array<T, count> & list)
+	{
+		return Queryable<Array<T, count>, T*, T>(list);
+	}
+
+	template<typename T>
+	inline auto From(const T & list) -> Queryable<T, decltype(list.begin()), decltype(*list.begin())>
+	{
+		return Queryable<T, decltype(list.begin()), decltype(*list.begin())>(list);
+	}
+
+	template<typename T>
+	inline Queryable<Array<T, 1>, T*, T> FromSingle(const T & obj)
+	{
+		Array<T, 1> arr;
+		arr.Add(obj);
+		return From(arr);
+	}
+
+	template<typename T>
+	struct LinkedListView
+	{
+		typename LinkedList<T>::Iterator start, last;
+		typename LinkedList<T>::Iterator begin() const
+		{
+			return start;
+		}
+		typename LinkedList<T>::Iterator end() const
+		{
+			return last;
+		}
+	};
+
+	template<typename T>
+	inline Queryable<LinkedListView<T>, LinkedNode<T>, T> From(const LinkedList<T> & list)
+	{
+		LinkedListView<T> view;
+		view.start = list.begin();
+		view.last = list.end();
+		return Queryable<LinkedListView<T>, LinkedNode<T>, T>(view);
+	}
+
+	template<typename TKey, typename TValue>
+	struct EnumerableDictView
+	{
+		typename EnumerableDictionary<TKey, TValue>::Iterator start, last;
+		typename EnumerableDictionary<TKey, TValue>::Iterator begin() const
+		{
+			return start;
+		}
+		typename EnumerableDictionary<TKey, TValue>::Iterator end() const
 		{
-			EnumerableHashSetView<TKey> view;
-			view.start = dict.begin();
-			view.last = dict.end();
-			return Queryable<EnumerableHashSetView<TKey>, typename HashSetBase<TKey, EnumerableDictionary<TKey, _DummyClass>>::Iterator, TKey>(view);
+			return last;
 		}
+	};
+
+	template<typename TKey, typename TValue>
+	inline Queryable<EnumerableDictView<TKey, TValue>, typename EnumerableDictionary<TKey, TValue>::Iterator, KeyValuePair<TKey, TValue>> From(const EnumerableDictionary<TKey, TValue> & dict)
+	{
+		EnumerableDictView<TKey, TValue> view;
+		view.start = dict.begin();
+		view.last = dict.end();
+		return Queryable<EnumerableDictView<TKey, TValue>, typename EnumerableDictionary<TKey, TValue>::Iterator, KeyValuePair<TKey, TValue>>(view);
+	}
+
+	template<typename TKey>
+	struct EnumerableHashSetView
+	{
+		typename HashSetBase<TKey, EnumerableDictionary<TKey, _DummyClass>>::Iterator start, last;
+		typename EnumerableHashSet<TKey>::Iterator begin() const
+		{
+			return start;
+		}
+		typename EnumerableHashSet<TKey>::Iterator end() const
+		{
+			return last;
+		}
+	};
+
+	template<typename TKey>
+	inline Queryable<EnumerableHashSetView<TKey>, typename HashSetBase<TKey, EnumerableDictionary<TKey, _DummyClass>>::Iterator, TKey> From(const EnumerableHashSet<TKey> & dict)
+	{
+		EnumerableHashSetView<TKey> view;
+		view.start = dict.begin();
+		view.last = dict.end();
+		return Queryable<EnumerableHashSetView<TKey>, typename HashSetBase<TKey, EnumerableDictionary<TKey, _DummyClass>>::Iterator, TKey>(view);
 	}
 }