SeqAn3 3.2.0
The Modern C++ library for sequence analysis.
concept.hpp
Go to the documentation of this file.
1// -----------------------------------------------------------------------------------------------------
2// Copyright (c) 2006-2022, Knut Reinert & Freie Universität Berlin
3// Copyright (c) 2016-2022, 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 =
34 std::is_base_of_v<std::ios_base, std::remove_reference_t<stream_type>>
35 && requires (stream_type & os, value_type & val) {
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 {
43 os << val
44 } -> std::same_as<std::basic_ostream<typename std::remove_reference_t<stream_type>::char_type,
45 typename std::remove_reference_t<stream_type>::traits_type> &>;
46 };
47
48template <typename stream_type>
49concept output_stream = requires { typename std::remove_reference_t<stream_type>::char_type; }
50 && output_stream_over<stream_type, typename std::remove_reference_t<stream_type>::char_type>;
52
91
101template <typename stream_type, typename value_type>
102concept input_stream_over =
103 std::is_base_of_v<std::ios_base, std::remove_reference_t<stream_type>>
104 && requires (stream_type & is, value_type & val) {
105 typename std::remove_reference_t<stream_type>::char_type;
106 typename std::remove_reference_t<stream_type>::traits_type;
107 typename std::remove_reference_t<stream_type>::int_type;
108 typename std::remove_reference_t<stream_type>::pos_type;
109 typename std::remove_reference_t<stream_type>::off_type;
110
111 {
112 is >> val
113 } -> std::same_as<std::basic_istream<typename std::remove_reference_t<stream_type>::char_type,
114 typename std::remove_reference_t<stream_type>::traits_type> &>;
115 };
116
117template <typename stream_type>
118concept input_stream = requires { typename std::remove_reference_t<stream_type>::char_type; }
119 && input_stream_over<stream_type, typename std::remove_reference_t<stream_type>::char_type>;
121
160
161} // 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.