text: /*=============================================================================
    Copyright (c) 2011-2019 Bolero MURAKAMI
    https://github.com/bolero-MURAKAMI/Sprout
  
    Distributed under the Boost Software License, Version 1.0. (See accompanying
    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  =============================================================================*/
  #ifndef SPROUT_TPP_ALGORITHM_ALL_OF_HPP
  #define SPROUT_TPP_ALGORITHM_ALL_OF_HPP
  
  #include <type_traits>
  #include <sprout/config.hpp>
  #include <sprout/workaround/std/cstddef.hpp>
  #include <sprout/type_traits/integral_constant.hpp>
  #include <sprout/type/type_tuple.hpp>
  
  namespace sprout {
  	namespace tpp {
  		namespace detail {
  			template<typename Tup, std::size_t First, std::size_t Last, bool = (Last - First == 1)>
  			struct all_of_impl
  				: public std::tuple_element<First, Tup>::type
  			{};
  			template<typename Tup, std::size_t First, std::size_t Last>
  			struct all_of_impl<Tup, First, Last, false>
  				: public sprout::bool_constant<
  					sprout::tpp::detail::all_of_impl<Tup, First, (First + Last) / 2>::value
  						&& sprout::tpp::detail::all_of_impl<Tup, (First + Last) / 2, Last>::value
  				>
  			{};
  		}	// namespace detail
  		//
  		// all_of
  		//
  		template<typename... Types>
  		struct all_of
  			: public sprout::tpp::detail::all_of_impl<sprout::types::type_tuple<Types...>, 0, sizeof...(Types)>
  		{};
  		template<>
  		struct all_of<>
  			: public sprout::true_type
  		{};
  		//
  		// all_of_c
  		//
  		template<bool... Values>
  		struct all_of_c
  			: public sprout::tpp::all_of<sprout::bool_constant<Values>...>
  		{};
  	}	// namespace tpp
  }	// namespace sprout
  
  #endif	// #ifndef SPROUT_TPP_ALGORITHM_ALL_OF_HPP
  