Acts::Concepts::invocable_and_returns Concept Reference

Concept that is satisfied iff type T is callable with arguments Args... and returns type U. More...

#include <Acts/Utilities/Concepts.hpp>

Concept definition

template<auto Callable, typename U, typename... Args>
concept Acts::Concepts::invocable_and_returns =  requires(Args... args) {
  { std::invoke(Callable, args...) } -> std::same_as<U>;
}

Detailed Description

Concept that is satisfied iff type T is callable with arguments Args... and returns type U.