concept.hpp

Go to the documentation of this file.

// SPDX-FileCopyrightText: 2006-2024, Knut Reinert & Freie Universität Berlin
// SPDX-FileCopyrightText: 2016-2024, Knut Reinert & MPI für molekulare Genetik
// SPDX-License-Identifier: BSD-3-Clause
 
#pragma once
 
#include <concepts>
 
#include <sharg/enumeration_names.hpp>
 
namespace sharg
{
 
// clang-format off
template <typename value_type>
concept istreamable = requires (std::istream & is, value_type & val)
{
    {is >> val} -> std::same_as<std::istream&>;
};
// clang-format on
 
// clang-format off
template <typename type>
concept ostreamable = requires (std::ostream & os, type & val)
                      {
                          {os << val} -> std::same_as<std::ostream&>;
                      }
                    ||
                      requires (std::ostream & os, std::ranges::range_reference_t<type> val)
                      {
                          {os << val} -> std::same_as<std::ostream&>;
                      };
// clang-format on
 
template <typename option_type>
concept parsable =
    (sharg::istreamable<option_type> && sharg::ostreamable<option_type>) || named_enumeration<option_type>;
 
} // namespace sharg