#pragma once

#include <type_traits>

namespace siterator {
	template<typename T>
	struct static_iterator;

	template<typename T, T X>
	struct static_iterator<std::integral_constant<T, X>> {
		typedef std::integral_constant<T, X> type;

		typedef static_iterator<std::integral_constant<T, X + 1>> next;

		typedef static_iterator<std::integral_constant<T, X>> curr;

		typedef static_iterator<std::integral_constant<T, X - 1>> prev;

		template<typename U>
		struct equal : std::false_type { };

		template<typename U, U Y>
		struct equal<static_iterator<std::integral_constant<U, Y>>>
			: std::enable_if<std::is_same<T, U>::value, std::integral_constant<bool, X == Y>>::type { };
	};

	template<size_t K>
	static_iterator<std::integral_constant<size_t, K>> uint_iterator() { }

	template<typename Func, typename End, typename Cur, bool, typename... Params>
	struct static_loop_helper;

	template<typename Func, typename End, typename Cur, typename... Params>
	struct static_loop_helper<Func, End, Cur, true, Params...> {
		typedef typename Cur::next Next;
		typedef typename Func::template iteration<Cur>::type CurFunc;

		void operator()(Params&&... params) const {
			CurFunc()(std::forward<Params>(params)...);
			static_loop_helper<Func, End, Next, !Next::template equal<End>::value, Params...>()(std::forward<Params>(params)...);
		}
	};

	template<typename Func, typename End, typename Cur, typename... Params>
	struct static_loop_helper<Func, End, Cur, false, Params...> {
		void operator()(Params&&...) const {
			// end recursion
		}
	};

	template<typename Func, typename End, typename Cur = typename Func::cur_iterator, typename... Params>
	struct static_loop {
		void operator()(Params&&... params) const {
			static_loop_helper<Func, End, Cur, !Cur::template equal<End>::value, Params...>()(std::forward<Params>(params)...);
		}
	};

	template<typename Func, typename End, typename Cur = typename Func::cur_iterator, typename... Params>
	void do_loop(Params&&... params) {
		static_loop<Func, End, Cur, Params...>()(std::forward<Params>(params)...);
	}
}