original::Condition Concept Reference

Constraint for predicate callbacks. More...

#include <types.h>

Concept definition

template<typename Callback, typename TYPE>
concept original::Condition =  CallbackOf<Callback, bool, const TYPE&>

Detailed Description

Constraint for predicate callbacks.

Template Parameters

Callback	Predicate function type
TYPE	Input type for predicate

Requires a callback that takes a TYPE reference and returns bool.

// Validates positive number checker
auto is_positive = [](const auto& x) { return x > 0; };
static_assert(Condition<decltype(is_positive), double>);  // Passes
 
// Invalid example (parameter type mismatch)
auto string_check = [](std::string s) { return !s.empty(); };
static_assert(!Condition<decltype(string_check), const std::string&>);  // Fails: requires const reference