di::concepts::ValidNamedArguments Concept Reference

A concept to check if a list of named arguments is valid. More...

#include <di/util/named_arguments.h>

Concept definition

template<typename Allowed, typename... Args>
concept di::concepts::ValidNamedArguments = 
    (meta::Size<meta::Unique<meta::List<meta::Like<Args, typename Args::Tag>&&...>>> == sizeof...(Args)) &&
    (meta::All<meta::List<meta::Like<Args, typename Args::Tag>&&...>,
               meta::BindFront<detail::ContainsF, meta::Transform<Allowed, meta::Quote<meta::AddRValueReference>>>>)

Detailed Description

A concept to check if a list of named arguments is valid.

Template Parameters

Allowed	The list of allowed named arguments.
Args	The list of arguments passed to the function.

This concept checks if a list of named arguments is valid. A list of named arguments is valid if it contains only named arguments from the list of allowed named arguments. Note that for now, this concept assumes all named arguments are optional.

See also

NamedArguments