+++ /dev/null
-//
-// Copyright 2013 Francisco Jerez
-//
-// Permission is hereby granted, free of charge, to any person obtaining a
-// copy of this software and associated documentation files (the "Software"),
-// to deal in the Software without restriction, including without limitation
-// the rights to use, copy, modify, merge, publish, distribute, sublicense,
-// and/or sell copies of the Software, and to permit persons to whom the
-// Software is furnished to do so, subject to the following conditions:
-//
-// The above copyright notice and this permission notice shall be included in
-// all copies or substantial portions of the Software.
-//
-// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
-// THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR
-// OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
-// ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
-// OTHER DEALINGS IN THE SOFTWARE.
-//
-
-#ifndef CLOVER_UTIL_TUPLE_HPP
-#define CLOVER_UTIL_TUPLE_HPP
-
-#include <tuple>
-
-namespace clover {
- namespace tuple {
- ///
- /// Static sequence of integers.
- ///
- template<int... Is>
- struct integral_sequence;
-
- ///
- /// Static sequence containing all integers from 0 to N-1.
- ///
- template<int N, int... Is>
- struct enumerate {
- typedef typename enumerate<N-1, N-1, Is...>::type
- type;
- };
-
- template<int... Is>
- struct enumerate<0, Is...> {
- typedef integral_sequence<Is...> type;
- };
-
- namespace detail {
- template<typename F, typename T,
- typename E = typename enumerate<std::tuple_size<
- typename std::remove_reference<T>::type>::value
- >::type>
- struct _apply;
-
- template<typename F, typename T, int... Is>
- struct _apply<F, T, integral_sequence<Is...>> {
- typedef typename std::remove_reference<F>::type func_type;
- typedef decltype(
- std::declval<func_type>()(std::get<Is>(std::declval<T &&>())...)
- ) value_type;
-
- static value_type
- eval(F &&f, T &&t) {
- return f(std::get<Is>(std::forward<T>(t))...);
- }
- };
- }
-
- ///
- /// Evaluate function \a f with the elements of tuple \a t
- /// expanded as arguments.
- ///
- template<typename F, typename T>
- typename detail::_apply<F, T>::value_type
- apply(F &&f, T &&t) {
- return detail::_apply<F, T>::eval(std::forward<F>(f),
- std::forward<T>(t));
- }
-
- namespace detail {
- template<typename F, typename T,
- typename E = typename enumerate<std::tuple_size<
- typename std::remove_reference<T>::type>::value
- >::type>
- struct _map;
-
- template<typename F, typename T, int... Is>
- struct _map<F, T, integral_sequence<Is...>> {
- typedef typename std::remove_reference<F>::type func_type;
- typedef std::tuple<
- decltype(std::declval<func_type>()(
- std::get<Is>(std::declval<T &&>())))...
- > value_type;
-
- static value_type
- eval(F &&f, T &&t) {
- return value_type(f(std::get<Is>(std::forward<T>(t)))...);
- }
- };
- }
-
- ///
- /// Evaluate function \a f on each element of the tuple \a t and
- /// return the resulting values as a new tuple.
- ///
- template<typename F, typename T>
- typename detail::_map<F, T>::value_type
- map(F &&f, T &&t) {
- return detail::_map<F, T>::eval(std::forward<F>(f),
- std::forward<T>(t));
- }
- }
-}
-
-#endif