optional.h File Reference

#include "di/assert/assert_bool.h"
#include "di/container/meta/enable_borrowed_container.h"
#include "di/container/meta/enable_view.h"
#include "di/function/invoke.h"
#include "di/function/monad/monad_interface.h"
#include "di/meta/compare.h"
#include "di/meta/core.h"
#include "di/meta/language.h"
#include "di/meta/operations.h"
#include "di/meta/trivial.h"
#include "di/meta/util.h"
#include "di/meta/vocab.h"
#include "di/types/in_place.h"
#include "di/util/addressof.h"
#include "di/util/declval.h"
#include "di/util/initializer_list.h"
#include "di/util/move.h"
#include "di/util/swap.h"
#include "di/vocab/optional/constructible_from_cref_optional.h"
#include "di/vocab/optional/optional_forward_declaration.h"
#include "di/vocab/optional/storage_for.h"

Go to the source code of this file.

Classes
class	di::vocab::Optional< T >

Namespaces
namespace	di
namespace	di::vocab
namespace	di::vocab::detail

Concepts
concept	di::vocab::detail::OptionalConvertibleToWorkaround

Functions
template<typename T, concepts::EqualityComparableWith< T > U>
constexpr auto	di::vocab::operator== (Optional< T > const &a, Optional< U > const &b) -> bool
template<typename T>
constexpr auto	di::vocab::operator== (Optional< T > const &a, NullOpt) -> bool
template<typename T, typename U> requires ((meta::OptionalRank<T> >= meta::OptionalRank<U>) && concepts::EqualityComparableWith<T, U>)
constexpr auto	di::vocab::operator== (Optional< T > const &a, U const &b) -> bool
template<typename T, concepts::ThreeWayComparableWith< T > U>
constexpr auto	di::vocab::operator<=> (Optional< T > const &a, Optional< U > const &b) -> meta::CompareThreeWayResult< T, U >
template<typename T>
constexpr auto	di::vocab::operator<=> (Optional< T > const &a, NullOpt) -> types::strong_ordering
template<typename T, typename U> requires ((meta::OptionalRank<T> >= meta::OptionalRank<U>) && concepts::ThreeWayComparableWith<T, U>)
constexpr auto	di::vocab::operator<=> (Optional< T > const &a, U const &b) -> meta::CompareThreeWayResult< T, U >
template<class T>
	di::vocab::Optional (T) -> Optional< T >