nix::InvocableR Concept Reference

#include <concepts.hh>

Concept definition

template<typename CallableT, typename ReturnT, typename ... Args>
concept nix::InvocableR =  std::is_invocable_r_v<ReturnT, CallableT, Args...>

Detailed Description

Like std::invocable<>, but also constrains the return type as well.

Somehow, there is no std concept to do this, even though there is a type trait for it.

Template Parameters

CallableT	The type you want to constrain to be callable, and to return ReturnT when called with Args as arguments.
ReturnT	The type the callable should return when called.
Args	The arguments the callable should accept to return ReturnT.