How to insert \s into charIn?

[cdwmhcc]

About \s

1. charIn('-\\s') => [\-\\s]
2. charIn('-\s') => [\-s]
3. charIn('-${whitespace}') => [\-\\s]

How to solve this problem?

/0|[1-9]\d*/

Also, is there a more concise way to write it?:

after(anyOf(charIn(`-_ `), exactly('').at.lineStart()))

Thank you!

[cdwmhcc]

Temporary solution:

export function charIn(chars: string | RegExp): Input {
  if (chars instanceof RegExp) return createInput(chars.source)
  return createInput(`[${chars.replace(/[-\\^\]]/g, '\\$&')}]`)
}

const positiveInteger = charIn(/[1-9]/).and(digit.times.any())
const commonSeparator = charIn(/[-_\s.]/)

const boundary = charIn(/[-_\s()\/:]/)
const lookbehind = createInput(`(?<=^|${BOUNDARY})`)
const lookahead = createInput(`(?=${BOUNDARY}|$)`)