original::Operation Concept Reference

Constraint for mutating operations. More...

#include <types.h>

Concept definition

template<typename Callback, typename TYPE>
concept original::Operation =  CallbackOf<Callback, void, TYPE&>

Detailed Description

Constraint for mutating operations.

Template Parameters

Callback	Mutation function type
TYPE	Type being modified

Requires a callback that takes a mutable TYPE reference and returns void.

// Validates increment operation
auto increment = [](auto& x) { x += 1; };
static_assert(Operation<decltype(increment), int>);  // Passes
 
// Invalid example (wrong return type)
auto bad_op = [](int& x) { return x++; };
static_assert(!Operation<decltype(bad_op), int>);  // Fails: returns int instead of void