kwk::tag_invocable Concept Reference

Type supporting the tag_invoke protocol. More...

#include <kwk/utility/invoke/tag_invoke.hpp>

Detailed Description

Type supporting the tag_invoke protocol.

A type Tag satisfies kwk::tag_invocable<Args...> if and only if it can be used in a call to kwk::tag_invoke.

Concept definition

template<typename Tag, typename... Args>
concept kwk::tag_invocable = 
    requires(Tag&& tag, Args&&...args) { kwk::tag_invoke(static_cast<decltype( tag ) &&>( tag ), static_cast<decltype( args ) &&>( args )...); }