Traits

  1. is_basic_outcome<T>

    An integral constant type true for basic_outcome<T, EC, EP, NoValuePolicy> types.

  2. is_basic_result<T>

    An integral constant type true for basic_result<T, E, NoValuePolicy> types.

  3. is_error_code_available<T>

    True if an error code can be constructed from a T.

  4. is_error_type<E>

    A customisable integral constant type true for E types which are to receive error throwing no-value policies.

  5. 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.

  6. is_exception_ptr_available<T>

    True if an exception ptr can be constructed from a T.

  7. is_failure_type<T>

    An integral constant boolean variable true for failure_type<EC, E = void> types.

  8. is_success_type<T>

    An integral constant boolean variable true for success_type<T> types.

  9. type_can_be_used_in_basic_result<R>

    A constexpr boolean true for types permissible in basic_result<T, E, NoValuePolicy>.