gimo::constructible_from_error Concept Reference

Concept determining whether the Expected type supports rebinding its error-type. More...

#include <Common.hpp>

Concept definition

template<typename T, typename Error>
concept gimo::constructible_from_error = 
        expected_like<T>
        && detail::unqualified<T>
        && requires(Error&& e) {
               { traits<T>::from_error(std::forward<Error>(e)) } -> std::same_as<T>;
           }

Detailed Description

Concept determining whether the Expected type supports rebinding its error-type.

Template Parameters

T	The source-expected type to adapt the new error-type.
Error	The new error-type to rebind to.