#pragma once

namespace Logic {
	template<typename Cond, typename T>
	bool any(Cond cond, T v)
	{
		return cond(v);
	}

	template<typename Cond, typename T, typename... Args>
	bool any(Cond cond, T v, Args... args)
	{
		return cond(v) || any(cond, args...);
	}

	template<typename Cond, typename T>
	bool all(Cond cond, T v)
	{
		return cond(v);
	}

	template<typename Cond, typename T, typename... Args>
	bool all(Cond cond, T v, Args... args)
	{
		return cond(v) && all(cond, args...);
	}

	template<typename Cond, typename... Args>
	bool none(Cond cond, Args... args)
	{
		return !all(cond, args...);
	}
}