gimo::rebindable_value_to Concept Reference

Concept determining whether the Nullable type supports rebinding its value-type. More...

#include <Common.hpp>

Concept definition

template<typename Nullable, typename Value>
concept gimo::rebindable_value_to = 
        nullable<Nullable>
        && requires {
               requires constructible_from_value<rebind_value_t<Nullable, Value>, Value>;
               { detail::value(std::declval<rebind_value_t<Nullable, Value>>()) } -> std::convertible_to<Value const&>;
           }

Detailed Description

Concept determining whether the Nullable type supports rebinding its value-type.

Template Parameters

Nullable	The source-nullable type to adapt the new value-type.
Value	The new value-type to rebind to.