dimsuz
08/06/2021, 3:38 PMArb
?sam
08/06/2021, 3:50 PMdimsuz
08/06/2021, 3:53 PMArb<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 Codepointsam
08/06/2021, 3:56 PMsam
08/06/2021, 3:57 PMarbitrary { List(it.random.nextInt(10)).joinToString(" ") }
sam
08/06/2021, 3:57 PMsam
08/06/2021, 3:57 PMdimsuz
08/06/2021, 4:07 PMArb.whitespace()
be a good name?sam
08/06/2021, 4:08 PMLeoColman
08/06/2021, 6:43 PMLeoColman
08/06/2021, 6:44 PMLeoColman
08/06/2021, 6:44 PMLeoColman
08/06/2021, 6:44 PMsam
08/06/2021, 6:50 PMsam
08/06/2021, 6:50 PMLeoColman
08/06/2021, 6:51 PMLeoColman
08/06/2021, 6:51 PMsam
08/06/2021, 6:51 PMsam
08/06/2021, 6:51 PMLeoColman
08/06/2021, 6:52 PMLeoColman
08/06/2021, 6:52 PMLeoColman
08/06/2021, 6:53 PMsam
08/06/2021, 6:56 PMdimsuz
08/06/2021, 10:31 PMisBlank()
could be used as a guideline, i.e. Arb.blanks().map { it.isBlank() } == [true]
sam
08/06/2021, 10:32 PM