Concept describing the relationship between a Nullable type and its null state. More...

#include <Common.hpp>

Concept definition

template<typename Null, typename Nullable>
concept gimo::null_for =  detail::regular_relationship<Nullable, Null>
                    && detail::weakly_equality_comparable_with<Null, Nullable>
                    && std::constructible_from<Nullable, Null const&>
                    && detail::weakly_assignable_from<Nullable&, Null const&>

Detailed Description

Concept describing the relationship between a Nullable type and its null state.

Template Parameters

Null	The null type.
Nullable	the nullable type.

Requires that the Nullable type can be compared to, constructed from, and assigned from the Null type defined in its traits.