Represents a type that fulfills the "result" contract while having a success value of a specific type Does NOT check the error value (the error can be of any type) More...

#include <traits.hpp>

Concept definition

template<typename T, typename V>
concept mtcore::ResultLikeWithValue = 
    ((impl::ResultVoid<T> && std::same_as<V, void>) || (impl::ResultValue<T> && std::same_as<typename T::Value, V>) ) &&
    ResultLike<T>

Detailed Description

Represents a type that fulfills the "result" contract while having a success value of a specific type Does NOT check the error value (the error can be of any type)

Definition at line 170 of file core/mtcore/traits.hpp.