Concept describing a type that acts like std::expected (has both a value and an error channel). More...

#include <Common.hpp>

Concept definition

template<typename T>
concept gimo::expected_like =  nullable<T>
                         && detail::readable_error<T>

Detailed Description

Concept describing a type that acts like std::expected (has both a value and an error channel).

Template Parameters

T	The type to check.

An expected_like type must satisfy nullable and additionally support error extraction via gimo::traits::error(), member .error(), or ADL error() (in that priority).