|
halcheck 1.0
|
An effect for extending unique identifiers passed to other random generation functions. More...
#include <label.hpp>
Public Member Functions | |
| lib::finally_t | fallback () const |
| By default, this effect does nothing. | |
Public Attributes | |
| lib::atom | value |
The unique identifier to prefix. Calls to another function gen::func(my_label, ...) should behave like ‘gen::func(value + ’/' + my_label, ...)as long as the return value of invoking this effect remains in scope, wherevalue + '/' + my_label` conceptually denotes the concatenation of two labels with some separator. | |
An effect for extending unique identifiers passed to other random generation functions.