cats.effect.laws.util
Defines instances for Future and for IO, meant for law testing by means of TestContext.
Future
IO
The TestContext interpreter is used here for simulating asynchronous execution.
Defines equality for Future references that can get interpreted by means of a TestContext.
Defines equality for IO references that can get interpreted by means of a TestContext.
Defines instances for
Future
and forIO
, meant for law testing by means of TestContext.The TestContext interpreter is used here for simulating asynchronous execution.