Iros
Loading...
Searching...
No Matches
di::concepts::AnyStorage Concept Reference
#include <
di/any/concepts/any_storage.h
>
Concept definition
template
<
typename
T>
concept
di::concepts::AnyStorage
=
DefaultConstructible<T>
&&
requires
{
typename
T::Interface;
{ T::storage_category() } ->
SameAs<any::StorageCategory>
;
typename
meta::Constexpr
<T::storage_category()>;
{ T::creation_is_fallible(
in_place_type<Void>
) } -> SameAs<bool>;
typename
meta::Constexpr
<T::creation_is_fallible(
in_place_type<Void>
)>;
typename
T::template CreationResult<Void>;
}
di::concepts::AnyStorage
Definition
any_storage.h:11
di::concepts::DefaultConstructible
Definition
operations.h:24
di::concepts::SameAs
Definition
core.h:114
di::in_place_type
constexpr auto in_place_type
Definition
in_place_type.h:12
di::meta::Constexpr
A wrapper for a constexpr value.
Definition
core.h:77
di
concepts
AnyStorage
Generated by
1.13.0