idfxx::has_factory Concept Reference

Concept for types that provide a static make() factory method returning result<T>. More...

#include <idfxx_core/include/idfxx/error.hpp>

Concept definition

template<typename T, typename... Args>
concept idfxx::has_factory =  requires {
    { T::make(std::declval<Args>()...) } -> std::same_as<result<T>>;
}

Detailed Description

Concept for types that provide a static make() factory method returning result<T>.

A type satisfies this concept if T::make(args...) is a valid expression returning result<T> for the given argument types.

Template Parameters

T	The type to check.
Args	The argument types to pass to T::make().

Definition at line 132 of file error.hpp.