/** Return a trimmed string, or undefined when the input is not a non-empty string. */
export function trimNonEmpty(value) {
    if (typeof value !== 'string')
        return undefined;
    const trimmed = value.trim();
    return trimmed.length > 0 ? trimmed : undefined;
}
//# sourceMappingURL=string.js.map