function.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2022 deCODE Genetics
// Copyright (c) 2006-2021, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2021, 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/biocpp/biocpp-core/blob/main/LICENSE.md
// -----------------------------------------------------------------------------------------------------
 
#pragma once
 
#include <concepts>
#include <type_traits>
#include <utility>
 
#include <bio/meta/type_list/type_list.hpp>
 
namespace bio::meta::detail
{
 
//-----------------------------------------------------------------------------
// all_of
//-----------------------------------------------------------------------------
 
template <typename type_list_t, typename unary_predicate_t>
[[nodiscard]] constexpr bool all_of(unary_predicate_t && fn)
    requires template_specialisation_of<type_list_t, type_list>
{
    return [&]<typename... ts>(type_list<ts...>) { return (fn(std::type_identity<ts>{}) && ...); }(type_list_t{});
}
 
//-----------------------------------------------------------------------------
// for_each
//-----------------------------------------------------------------------------
 
template <typename type_list_t, typename unary_function_t>
    requires template_specialisation_of<type_list_t, bio::meta::type_list>
constexpr void for_each(unary_function_t && fn)
{
    return [&]<typename... ts>(type_list<ts...>) { (fn(std::type_identity<ts>{}), ...); }(type_list_t{});
}
 
} // namespace bio::meta::detail