iostream.hpp

#ifndef SIPLASPLAS_TYPEERASURE_IOSTREAM_HPP
#define SIPLASPLAS_TYPEERASURE_IOSTREAM_HPP

#include "concept.hpp"

#include <siplasplas/utility/meta.hpp>
#include <ostream>
#include <istream>

namespace cpp
{

namespace concepts
{

template<typename T, typename = void>
class OStreamable :  public Concept<false> {};

template<typename T>
class OStreamable<T, cpp::meta::void_t<decltype(std::declval<std::ostream&>() << std::declval<T>())>> :
    public Concept<true, noexcept(std::declval<std::ostream&>() << std::declval<T>())>
{};

template<typename T, typename = void>
class IStreamable :  public Concept<false> {};

template<typename T>
class IStreamable<T, cpp::meta::void_t<decltype(std::declval<std::istream&>() >> *static_cast<T*>(nullptr))>> :
    public Concept<true, noexcept(std::declval<std::istream&>() >> *static_cast<T*>(nullptr))>
{};

}

}

#endif // SIPLASPLAS_TYPEERASURE_IOSTREAM_HPP