Iros
 
Loading...
Searching...
No Matches
di::concepts::TagInvocableTo Concept Reference

#include <di/function/tag_invoke.h>

Concept definition

template<typename Tag, typename R, typename... Args>
concept di::concepts::TagInvocableTo = TagInvocable<Tag, Args...> && ImplicitlyConvertibleTo<R, meta::TagInvokeResult<Tag, Args...>>
di::concepts::ImplicitlyConvertibleTo
Implicit conversion for this test refers to the ability to return a value of function from a type.
Definition operations.h:89
di::concepts::TagInvocableTo
Definition tag_invoke.h:45
di::concepts::TagInvocable
Definition tag_invoke.h:33
di::meta::TagInvokeResult
decltype(di::function::tag_invoke(util::declval< Tag >(), util::declval< Args >()...)) TagInvokeResult
Definition tag_invoke.h:40
di::types::Tag
di::meta::Decay< decltype(T)> Tag
Definition tag_invoke.h:28