di 0.1.0
|
#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/clone.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 |
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 > | |