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_move_bitcopying<T>

   (>= Outcome v2.2.0) A customisable integral constant type true for T types which are move bitcopying safe.

9. is_success_type<T>

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

10. type_can_be_used_in_basic_result<R>

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