gimo::nullable Concept Reference

Concept describing a type that can be used as a monad in the pipeline. More...

#include <Common.hpp>

Concept definition

template<typename T>
concept gimo::nullable =  requires {
        requires null_for<decltype(traits<std::remove_cvref_t<T>>::null), std::remove_cvref_t<T>>;
        requires detail::readable_value<T>;
    }

Detailed Description

Concept describing a type that can be used as a monad in the pipeline.

Template Parameters

T	The type to check.

A type is nullable if:

1. It has a valid gimo::traits specialization defining a null data member.
2. It satisfies the null_for relationship with that null.
3. It allows value extraction via gimo::traits::value(), member operator*, or ADL value() (in that priority).