SeqAn3 3.2.0-rc.1
The Modern C++ library for sequence analysis.
concept.hpp
Go to the documentation of this file.
1// -----------------------------------------------------------------------------------------------------
2// Copyright (c) 2006-2021, Knut Reinert & Freie Universität Berlin
3// Copyright (c) 2016-2021, Knut Reinert & MPI für molekulare Genetik
4// This file may be used, modified and/or redistributed under the terms of the 3-clause BSD-License
5// shipped with this file and also available at: https://github.com/seqan/seqan3/blob/master/LICENSE.md
6// -----------------------------------------------------------------------------------------------------
7
13#pragma once
14
15#include <concepts>
16#include <iosfwd>
17#include <type_traits>
18
19#include <seqan3/core/platform.hpp>
20
21namespace seqan3
22{
32template <typename stream_type, typename value_type>
33concept output_stream_over = std::is_base_of_v<std::ios_base, std::remove_reference_t<stream_type>> &&
34 requires (stream_type & os, value_type & val)
35{
36 typename std::remove_reference_t<stream_type>::char_type;
37 typename std::remove_reference_t<stream_type>::traits_type;
38 typename std::remove_reference_t<stream_type>::int_type;
39 typename std::remove_reference_t<stream_type>::pos_type;
40 typename std::remove_reference_t<stream_type>::off_type;
41
42 {os << val} -> std::same_as<std::basic_ostream<typename std::remove_reference_t<stream_type>::char_type,
43 typename std::remove_reference_t<stream_type>::traits_type> &>;
44};
45
46template <typename stream_type>
47concept output_stream = requires { typename std::remove_reference_t<stream_type>::char_type; } &&
48 output_stream_over<stream_type, typename std::remove_reference_t<stream_type>::char_type>;
50
89
99template <typename stream_type, typename value_type>
100concept input_stream_over = std::is_base_of_v<std::ios_base, std::remove_reference_t<stream_type>> &&
101 requires (stream_type & is, value_type & val)
102{
103 typename std::remove_reference_t<stream_type>::char_type;
104 typename std::remove_reference_t<stream_type>::traits_type;
105 typename std::remove_reference_t<stream_type>::int_type;
106 typename std::remove_reference_t<stream_type>::pos_type;
107 typename std::remove_reference_t<stream_type>::off_type;
108
109
110 {is >> val} -> std::same_as<std::basic_istream<typename std::remove_reference_t<stream_type>::char_type,
111 typename std::remove_reference_t<stream_type>::traits_type> &>;
112};
113
114template <typename stream_type>
115concept input_stream = requires { typename std::remove_reference_t<stream_type>::char_type; } &&
116 input_stream_over<stream_type, typename std::remove_reference_t<stream_type>::char_type>;
118
157
158} // namespace seqan3
input_stream_over
Concept for input streams.
output_stream_over
Concept for output streams.
seqan3
The main SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:29
platform.hpp
Provides platform and dependency checks.