operations.h File Reference

#include "di/meta/compare.h"
#include "di/meta/core.h"
#include "di/meta/language.h"
#include "di/util/declval.h"
#include "di/util/forward.h"

Go to the source code of this file.

Namespaces
namespace	di
namespace	di::concepts
namespace	di::concepts::detail

Concepts
concept	di::concepts::ConstructibleFrom
concept	di::concepts::WeaklyAssignableFrom
concept	di::concepts::AssignableFrom
concept	di::concepts::DefaultConstructible
concept	di::concepts::DefaultInitializable
concept	di::concepts::CopyConstructible
concept	di::concepts::CopyAssignable
concept	di::concepts::Copyable
concept	di::concepts::MoveConstructible
concept	di::concepts::MoveAssignable
concept	di::concepts::Movable
concept	di::concepts::detail::DestructibleHelper
concept	di::concepts::Destructible
concept	di::concepts::QualificationConvertibleTo
concept	di::concepts::ImplicitlyConvertibleTo
	Implicit conversion for this test refers to the ability to return a value of function from a type.
concept	di::concepts::ExplicitlyConvertibleTo
concept	di::concepts::ConvertibleTo
concept	di::concepts::ConvertibleToNonSlicing
	This concept requires that the conversion from From to To would not result in converting a derived type to a base type.
concept	di::concepts::DerivedFrom
concept	di::concepts::Semiregular
concept	di::concepts::Regular
concept	di::concepts::detail::BooleanTestableImpl
concept	di::concepts::BooleanTestable
concept	di::concepts::CanReference
concept	di::concepts::Dereferenceable

Variables
template<typename From, typename To>
constexpr bool	di::concepts::detail::qualification_convertible_to = SameAs<From, To>
template<typename From, typename To>
constexpr bool	di::concepts::detail::qualification_convertible_to< From, To const > = SameAs<meta::RemoveConst<From>, To>
template<typename From, typename To>
constexpr bool	di::concepts::detail::qualification_convertible_to< From, To volatile > = SameAs<meta::RemoveVolatile<From>, To>
template<typename From, typename To>
constexpr bool	di::concepts::detail::qualification_convertible_to< From, To const volatile > = SameAs<meta::RemoveCV<From>, To>