SeqAn3
concept.hpp
Go to the documentation of this file.
1 // ============================================================================
2 // SeqAn - The Library for Sequence Analysis
3 // ============================================================================
4 //
5 // Copyright (c) 2006-2018, Knut Reinert & Freie Universitaet Berlin
6 // Copyright (c) 2016-2018, Knut Reinert & MPI Molekulare Genetik
7 // All rights reserved.
8 //
9 // Redistribution and use in source and binary forms, with or without
10 // modification, are permitted provided that the following conditions are met:
11 //
12 // * Redistributions of source code must retain the above copyright
13 // notice, this list of conditions and the following disclaimer.
14 // * Redistributions in binary form must reproduce the above copyright
15 // notice, this list of conditions and the following disclaimer in the
16 // documentation and/or other materials provided with the distribution.
17 // * Neither the name of Knut Reinert or the FU Berlin nor the names of
18 // its contributors may be used to endorse or promote products derived
19 // from this software without specific prior written permission.
20 //
21 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
22 // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24 // ARE DISCLAIMED. IN NO EVENT SHALL KNUT REINERT OR THE FU BERLIN BE LIABLE
25 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
27 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
28 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29 // LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30 // OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
31 // DAMAGE.
32 //
33 // ============================================================================
34 
40 #pragma once
41 
42 #include <ios>
43 #include <type_traits>
44 
45 #include <range/v3/utility/associated_types.hpp>
46 
47 #include <seqan3/core/platform.hpp>
48 
49 namespace seqan3
50 {
59 template <typename stream_type, typename value_type>
61 concept ostream_concept = std::is_base_of_v<std::ios_base, stream_type> &&
62  requires (stream_type & os, value_type & val)
63 {
64  typename stream_type::char_type;
65  typename stream_type::traits_type;
66  typename stream_type::int_type;
67  typename stream_type::pos_type;
68  typename stream_type::off_type;
69 
70  { os << val } -> std::basic_ostream<typename stream_type::char_type, typename stream_type::traits_type> &;
71 };
73 
117 
127 template <typename stream_type, typename value_type>
129 concept istream_concept = std::is_base_of_v<std::ios_base, stream_type> &&
130  requires (stream_type & os, value_type & val)
131 {
132  typename stream_type::char_type;
133  typename stream_type::traits_type;
134  typename stream_type::int_type;
135  typename stream_type::pos_type;
136  typename stream_type::off_type;
137 
138  { os >> val } -> std::basic_istream<typename stream_type::char_type, typename stream_type::traits_type> &;
139 };
141 
185 
196 template <typename stream_type, typename value_type>
198 concept stream_concept = ostream_concept<stream_type, value_type> &&
199  istream_concept<stream_type, value_type>;
201 
202 } // namespace seqan3
Contains platform and dependency checks.
The main SeqAn3 namespace.
Definition: aligned_sequence_concept.hpp:58
Provides C++20 additions to the type_traits header.