concept.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2020, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2020, 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 <functional>
#include <type_traits>
 
#include <meta/meta.hpp>
 
#include <seqan3/core/type_traits/template_inspection.hpp>
#include <seqan3/std/concepts>
 
namespace seqan3
{
// Forward declarations
template <typename derived_t, typename value_t>
struct pipeable_config_element;
}
 
namespace seqan3::detail
{
 
// ----------------------------------------------------------------------------
// Concept config_element
// ----------------------------------------------------------------------------
 
template <typename derived_t>
class config_element_base;
 
template <typename config_t>
SEQAN3_CONCEPT config_element = std::semiregular<std::remove_reference_t<config_t>> &&
requires (config_t c)
{
    { std::remove_reference_t<config_t>::id };
    { c.value };
    // Must inherit from the pipeable_config_element class.
    requires std::is_base_of_v<pipeable_config_element<config_t, decltype(c.value)>, config_t>;
};
} // namespace seqan3::detail