Policies

  1. base

    Base class of most policy classes defining the narrow observer policies.

    1. static void _ub(Impl &&)

      Special function which causes noticeable hard undefined behaviour.

    2. static bool _has_value(Impl &&) noexcept

      Returns true if a value is present in the implementation passed in. Constexpr, never throws.

    3. static bool _has_error(Impl &&) noexcept

      Returns true if an error is present in the implementation passed in. Constexpr, never throws.

    4. static bool _has_exception(Impl &&) noexcept

      Returns true if an exception is present in the implementation passed in. Constexpr, never throws.

    5. static bool _has_error_is_errno(Impl &&) noexcept

      Returns true if the error code in the implementation passed in has a domain or category matching that of POSIX errno. Constexpr, never throws.

    6. static auto &&_value(Impl &&) noexcept

      Returns a reference to the value in the implementation passed in. Constexpr, never throws.

    7. static auto &&_error(Impl &&) noexcept

      Returns a reference to the error in the implementation passed in. Constexpr, never throws.

    8. static auto &&_exception(Impl &&) noexcept

      Returns a reference to the exception in the implementation passed in. Constexpr, never throws.

    9. static void _set_has_value(Impl &&, bool) noexcept

      Sets whether the implementation has a value. Constexpr, never throws.

    10. static void _set_has_error(Impl &&, bool) noexcept

      Sets whether the implementation has an error. Constexpr, never throws.

    11. static void _set_has_exception(Impl &&, bool) noexcept

      Sets whether the implementation has an exception. Constexpr, never throws.

    12. static void _set_has_exception(Impl &&, bool) noexcept

      Sets whether the implementation’s error code has a domain or category matching that of POSIX errno. Constexpr, never throws.

    13. static void narrow_value_check(Impl &&) noexcept

      Observer policy performing hard UB if no value is present. Constexpr, never throws.

    14. static void narrow_error_check(Impl &&) noexcept

      Observer policy performing hard UB if no error is present. Constexpr, never throws.

    15. static void narrow_exception_check(Impl &&) noexcept

      Observer policy performing hard UB if no exception is present. Constexpr, never throws.

  2. all_narrow

    Policy class defining that hard undefined behaviour should occur on incorrect narrow and wide value, error or exception observation. Inherits publicly from base.

  3. error_code_throw_as_system_error<T, EC, EP>

    Policy class defining that EP ought to be rethrown if possible, then the ADL discovered free function outcome_throw_as_system_error_with_payload() should be called on incorrect wide value observation. Inherits publicly from base. Can only be used with basic_outcome.

  4. error_code_throw_as_system_error<T, EC, void>

    Policy class defining that the ADL discovered free function outcome_throw_as_system_error_with_payload() should be called on incorrect wide value observation. Inherits publicly from base. Can only be used with basic_result.

  5. exception_ptr_rethrow<T, EC, EP>

    Policy class defining that the ADL discovered free function rethrow_exception() should be called on incorrect wide value observation. Inherits publicly from base. Can only be used with basic_outcome.

  6. exception_ptr_rethrow<T, EC, void>

    Policy class defining that the ADL discovered free function rethrow_exception() should be called on incorrect wide value observation. Inherits publicly from base. Can only be used with basic_result.

  7. fail_to_compile_observers

    Policy class defining that a static assertion should occur upon compilation of the wide value, error or exception observation. Inherits publicly from base.

  8. terminate

    Policy class defining that std::terminate() should be called on incorrect wide value, error or exception observation. Inherits publicly from base.

  9. throw_bad_result_access<EC>

    Policy class defining that bad_result_access_with<EC> should be thrown on incorrect wide value observation. Inherits publicly from base.