Traits

is_basic_outcome<T>
An integral constant type true for basic_outcome<T, EC, EP, NoValuePolicy> types.
is_basic_result<T>
An integral constant type true for basic_result<T, E, NoValuePolicy> types.
is_error_code_available<T>
True if an error code can be constructed from a T.
is_error_type<E>
A customisable integral constant type true for E types which are to receive error throwing no-value policies.
is_error_type_enum<E, Enum>
A customisable integral constant type true for E types constructible from Enum types which are to receive error throwing no-value policies.
is_exception_ptr_available<T>
True if an exception ptr can be constructed from a T.
is_failure_type<T>
An integral constant boolean variable true for failure_type<EC, E = void> types.
is_success_type<T>
An integral constant boolean variable true for success_type<T> types.
type_can_be_used_in_basic_result<R>
A constexpr boolean true for types permissible in basic_result<T, E, NoValuePolicy>.