2 //===----------------------------------------------------------------------===//
4 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5 // See https://llvm.org/LICENSE.txt for license information.
6 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
8 //===----------------------------------------------------------------------===//
10 #ifndef _LIBCPP_EXPECTED
11 #define _LIBCPP_EXPECTED
14 Header <expected> synopsis
17 // [expected.unexpected], class template unexpected
18 template<class E> class unexpected;
20 // [expected.bad], class template bad_expected_access
21 template<class E> class bad_expected_access;
23 // [expected.bad.void], specialization for void
24 template<> class bad_expected_access<void>;
26 // in-place construction of unexpected values
28 explicit unexpect_t() = default;
30 inline constexpr unexpect_t unexpect{};
32 // [expected.expected], class template expected
33 template<class T, class E> class expected;
35 // [expected.void], partial specialization of expected for void types
36 template<class T, class E> requires is_void_v<T> class expected<T, E>;
43 #if _LIBCPP_STD_VER >= 23
44 # include <__expected/bad_expected_access.h>
45 # include <__expected/expected.h>
46 # include <__expected/unexpect.h>
47 # include <__expected/unexpected.h>
52 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
53 # pragma GCC system_header
56 #endif // _LIBCPP_EXPECTED