vctr::is::functionWithSignatureOrImplicitlyConvertible Concept Reference

Constrains Fn to be a function with the specified function signature or some signature with implicitly convertible alternatives to the specified arguments. More...

Concept definition

template<class Fn, class Signature>
concept vctr::is::functionWithSignatureOrImplicitlyConvertible =  detail::FunctionWithSignatureOrImplicitlyConvertible<Fn, Signature>::value

Detailed Description

Constrains Fn to be a function with the specified function signature or some signature with implicitly convertible alternatives to the specified arguments.

Example:

template <is::functionWithSignatureOrImplicitlyConvertible<bool (const int&)> Fn>
void foo (Fn&& fn)

The example code above will accept callable types like those

bool fn1 (int);
bool fn2 (const int&);
const bool& fn3 (int);