Creates a unique name having a given name as a prefix and having the same flavor (term name or type name) as the given name.
Creates a unique string having a given prefix.
Creates a unique string.
Creates a unique name having a given name as a prefix and having the same flavor (term name or type name) as the given name.
Creates a unique name having a given name as a prefix and having the same flavor (term name or type name) as the given name.
(Since version 2.11.0) Use freshName instead
Creates a unique string having a given prefix.
Creates a unique string having a given prefix.
(Since version 2.11.0) Use freshName instead
Creates a unique string.
Creates a unique string.
(Since version 2.11.0) Use freshName instead
Returns string formatted according to given format
string.
Returns string formatted according to given format
string.
Format strings are as for String.format
(@see java.lang.String.format).
EXPERIMENTAL
A slice of the Scala macros context that provides functions that generate unique names.