gimo::rebindable_error_to Concept Reference

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

#include <Common.hpp>

Concept definition

template<typename Expected, typename Error>
concept gimo::rebindable_error_to = 
        expected_like<Expected>
        && requires {
               requires constructible_from_error<rebind_error_t<Expected, Error>, Error>;
               { detail::error(std::declval<rebind_error_t<Expected, Error>&&>()) } -> std::convertible_to<Error const&>;
           }

Detailed Description

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

Template Parameters

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