Concept determining whether the Nullable is constructible with the specified argument. More...

#include <Common.hpp>

Concept definition

template<typename T, typename Arg>
concept gimo::constructible_from_value =  nullable<T>
                                    && detail::unqualified<T>
                                    && detail::constructible_from_value<T, Arg&&>

Detailed Description

Concept determining whether the Nullable is constructible with the specified argument.

Template Parameters

T	The type to check.
Arg	The construction argument type to forward.

A nullable is considered constructible from value if at least one of the following is true:

Priority 1: Its gimo::traits specialization has an accessible from_value static function, which takes Arg as argument and returns T.
Priority 2: It's (possibly explicitly) constructible from Arg.