vocab.h File Reference

#include "di/meta/core.h"
#include "di/meta/function.h"
#include "di/meta/language.h"
#include "di/types/integers.h"
#include "di/vocab/expected/expected_forward_declaration.h"
#include "di/vocab/optional/optional_forward_declaration.h"
#include "di/vocab/span/span_forward_declaration.h"
#include "di/vocab/tuple/tuple_forward_declaration.h"

Go to the source code of this file.

Namespaces
namespace	di
namespace	di::vocab
namespace	di::concepts
namespace	di::meta
namespace	di::util

Concepts
concept	di::concepts::Array
concept	di::concepts::Expected
concept	di::concepts::ExpectedOf
concept	di::concepts::ExpectedError
concept	di::concepts::MaybeFallible
concept	di::concepts::Optional
concept	di::concepts::OptionalOf
concept	di::concepts::ReferenceWrapper
concept	di::concepts::Span
concept	di::concepts::Tuple
concept	di::concepts::Unexpected

Typedefs
template<concepts::Expected T>
using	di::meta::ExpectedValue = meta::RemoveCVRef<T>::Value
template<concepts::Expected T>
using	di::meta::ExpectedError = meta::RemoveCVRef<T>::Error
template<typename T, typename U>
using	di::meta::LikeExpected = Type<detail::LikeExpectedHelper<T, U>>
template<typename T>
using	di::meta::UnwrapExpected = Invoke<Conditional<concepts::Expected<T>, meta::Quote<ExpectedValue>, meta::TypeConstant<T>>, T>
template<concepts::Optional T>
using	di::meta::OptionalValue = meta::RemoveCVRef<T>::Value
template<typename T>
using	di::meta::WrapReference = detail::WrapReference<T>::Type
template<typename T>
using	di::meta::UnwrapReference = detail::UnwrapReferenceHelper<T>::Type
template<typename T>
using	di::meta::UnwrapRefDecay = UnwrapReference<Decay<T>>
template<typename T>
using	di::meta::UnwrapRefRValue = RemoveRValueReference<UnwrapReference<T>>

Variables
template<typename T>
constexpr auto	di::meta::ExpectedRank = 0ZU
template<concepts::Expected T>
constexpr auto	di::meta::ExpectedRank< T > = 1 + ExpectedRank<ExpectedValue<T>>
template<typename T>
constexpr auto	di::meta::OptionalRank = 0ZU
template<concepts::Optional T>
constexpr auto	di::meta::OptionalRank< T > = 1 + OptionalRank<OptionalValue<T>>