gimo::null_for Concept Reference

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

#include <Common.hpp>

Concept definition

    template<typename Null, typename Nullable>
    concept 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.