[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Include CoArbitrary instances
- Subject: Include CoArbitrary instances
- From: Chris Warburton
- Date: Fri, 28 Jul 2017 13:51:13 +0100
- Resolution: fixed
- State: resolved
We can only get Arbitrary functions if we have a CoArbitrary instances
for their arguments. We need to add a `mkIfCxt.... ''CoArbitrary` line
to ensure this will be picked up by the instance resolution of ifCxt.