simon.vergauwen
06/07/2020, 8:11 AMArb
.
I added the output from values(RandomSource.Default).take(100)
. Am I composing Arb
in an incorrect way?sam
06/07/2020, 3:32 PMsimon.vergauwen
06/07/2020, 3:34 PMsam
06/07/2020, 3:34 PMsimon.vergauwen
06/07/2020, 3:35 PMsam
06/07/2020, 3:35 PMsimon.vergauwen
06/07/2020, 3:36 PMArb
now, but it felt quite low level to achieve what I needed.sam
06/07/2020, 3:36 PMsimon.vergauwen
06/07/2020, 3:36 PM4.0.5
sam
06/07/2020, 3:36 PMsimon.vergauwen
06/07/2020, 3:37 PMcheckAll
supportsam
06/07/2020, 3:37 PMsimon.vergauwen
06/07/2020, 3:37 PMArb
which can probably use some improvement but we might be able to move to kotest
if you’re interested.sam
06/07/2020, 3:37 PMsimon.vergauwen
06/07/2020, 3:38 PMArb
so far, but I could see where I could probably reduce stress on my test suites in quite some places by refactoring to Exhaustive
sam
06/07/2020, 3:39 PM"cancelableF works for immediate values" {
checkAll(Arb.result(<http://Arb.int|Arb.int>())) { res ->
Either.catch {
cancellableF<Int> { cb ->
cb(res)
CancelToken.unit
}
} shouldBe res.toEither()
}
}
simon.vergauwen
06/07/2020, 3:40 PMIO
😅sam
06/07/2020, 3:40 PMsimon.vergauwen
06/07/2020, 3:41 PMIO
into suspend
and the result is quite nicesam
06/07/2020, 3:42 PMsimon.vergauwen
06/07/2020, 3:42 PMsam
06/07/2020, 3:43 PMsimon.vergauwen
06/07/2020, 3:43 PMIO
implparTraverse
, parMapN
, raceN
all those kind of operatorssam
06/07/2020, 3:45 PMsimon.vergauwen
06/07/2020, 3:46 PMsuspend
sam
06/07/2020, 3:46 PMsimon.vergauwen
06/07/2020, 3:47 PMsam
06/07/2020, 3:47 PMsimon.vergauwen
06/07/2020, 3:53 PMsam
06/07/2020, 3:53 PM