concept.hpp

Go to the documentation of this file.

// -----------------------------------------------------------------------------------------------------
// Copyright (c) 2006-2019, Knut Reinert & Freie Universität Berlin
// Copyright (c) 2016-2019, 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 <ios>
#include <type_traits>

#include <seqan3/core/platform.hpp>

namespace seqan3
{
template <typename stream_type, typename value_type>
SEQAN3_CONCEPT OStream = 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;

    { os << val } -> 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 OStream2 = requires { typename std::remove_reference_t<stream_type>::char_type; } &&
                          OStream<stream_type, typename std::remove_reference_t<stream_type>::char_type>;


template <typename stream_type, typename value_type>
SEQAN3_CONCEPT IStream = 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;

    { is >> val } -> 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 IStream2 = requires { typename std::remove_reference_t<stream_type>::char_type; } &&
                          IStream<stream_type, typename std::remove_reference_t<stream_type>::char_type>;


template <typename stream_type, typename value_type>
SEQAN3_CONCEPT Stream = OStream<stream_type, value_type> &&
                        IStream<stream_type, value_type>;


} // namespace seqan3