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 <seqan3/std/concepts>
#include <iosfwd>
#include <type_traits>
 
#include <seqan3/core/platform.hpp>
 
namespace seqan3
{
template <typename stream_type, typename value_type>
SEQAN3_CONCEPT output_stream_over = std::is_base_of_v<std::ios_base, std::remove_reference_t<stream_type>> &&
                         requires (stream_type & os, value_type & val)
{
    typename std::remove_reference_t<stream_type>::char_type;
    typename std::remove_reference_t<stream_type>::traits_type;
    typename std::remove_reference_t<stream_type>::int_type;
    typename std::remove_reference_t<stream_type>::pos_type;
    typename std::remove_reference_t<stream_type>::off_type;
 
    SEQAN3_RETURN_TYPE_CONSTRAINT(os << val,
                                  std::same_as,
                                  std::basic_ostream<typename std::remove_reference_t<stream_type>::char_type,
                                                     typename std::remove_reference_t<stream_type>::traits_type> &);
};
 
template <typename stream_type>
SEQAN3_CONCEPT output_stream = requires { typename std::remove_reference_t<stream_type>::char_type; } &&
                          output_stream_over<stream_type, typename std::remove_reference_t<stream_type>::char_type>;
 
 
template <typename stream_type, typename value_type>
SEQAN3_CONCEPT input_stream_over = std::is_base_of_v<std::ios_base, std::remove_reference_t<stream_type>> &&
                         requires (stream_type & is, value_type & val)
{
    typename std::remove_reference_t<stream_type>::char_type;
    typename std::remove_reference_t<stream_type>::traits_type;
    typename std::remove_reference_t<stream_type>::int_type;
    typename std::remove_reference_t<stream_type>::pos_type;
    typename std::remove_reference_t<stream_type>::off_type;
 
 
    SEQAN3_RETURN_TYPE_CONSTRAINT(is >> val,
                                  std::same_as,
                                  std::basic_istream<typename std::remove_reference_t<stream_type>::char_type,
                                                     typename std::remove_reference_t<stream_type>::traits_type> &);
};
 
template <typename stream_type>
SEQAN3_CONCEPT input_stream = requires { typename std::remove_reference_t<stream_type>::char_type; } &&
                          input_stream_over<stream_type, typename std::remove_reference_t<stream_type>::char_type>;
 
 
template <typename stream_type, typename value_type>
SEQAN3_CONCEPT stream_REMOVEME = output_stream_over<stream_type, value_type> &&
                        input_stream_over<stream_type, value_type>;
 
 
} // namespace seqan3