parameter_pack.hpp

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2019, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2019, Knut Reinert & MPI für molekulare Genetik
// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
// -----------------------------------------------------------------------------------------------------

#pragma once

#include <utility>

#include <seqan3/std/concepts>
#include <seqan3/std/type_traits>

namespace seqan3::detail
{

template <typename unary_function_t, typename ...args_t>
    requires (std::Invocable<unary_function_t, args_t> && ... && true)
constexpr void for_each_value(unary_function_t && fn, args_t && ...args)
{
    [[maybe_unused]] int r = (fn(std::forward<args_t>(args)), ..., 0);
}

template <typename ...types, typename unary_function_t>
    requires (std::Invocable<unary_function_t, std::type_identity<types>> && ... && true)
constexpr void for_each_type(unary_function_t && fn)
{
    for_each_value(std::forward<unary_function_t>(fn), std::type_identity<types>{}...);
}

template <template <typename...> typename type_list_t, typename ...args_t, typename unary_function_t>
    requires (std::Invocable<unary_function_t, std::type_identity<args_t>> && ... && true)
constexpr void for_each_type(unary_function_t && fn, type_list_t<args_t...> const & SEQAN3_DOXYGEN_ONLY(type_list))
{
    for_each_type<args_t...>(std::forward<unary_function_t>(fn));
}

} // namespace seqan3::detail