what's the best way to generate "whitespace or empty" strings using

Arb

?

Could quickly write one, would be a good PR actually

What should it be based on? Some

Arb<Codepoint>

which uses the same as the

CharSet.WHITESPACE

(saw it in sources, but it's private). Ah, but that would need an empty case which is not a Codepoint

if you want something that has more white space than just 1

oh, nice, thank you. I can send PR a bit later if needed. Would

Arb.whitespace()

be a good name?

yep

Is an empty string a whitespace tho?

I think " " is whitespace

Kotlin has String.isBlank()

ahh so that's a better term

(for empty and for whitespace)

yeah if we don't we can add the blanks one. I think that's a good suggestion.

Also I'm not sure about this: should this also produce "\t" characters? nbsp characters too? maybe anything for which Char.isWhitespace() returns true? or only ascii spaces? Or maybe kotlin's

isBlank()

could be used as a guideline, i.e.

Arb.blanks().map { it.isBlank() } == [true]

I think the latter, isBlank should be true