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 equality for IO.Par
references that can
get interpreted by means of a TestContext.
Defines equality for a Resource
.
Defines equality for a Resource
. Two resources are deemed
equivalent if they allocate an equivalent resource. Cleanup,
which is run purely for effect, is not considered.
Defines instances for
Future
and forIO
, meant for law testing by means of TestContext.The TestContext interpreter is used here for simulating asynchronous execution.