I love your article on Effectful Property Testing, and I'm trying to put it into practice. The concepts make sense, but I am struggling to reconcile some of the examples in the article with the necessary boilerplate. I found some somewhat related code that you wrote here (which is also super useful! Thank you for demonstrating how to rollback database transactions in tests. It's much faster than truncating all the tables!), but I'm struggling to marry the hedgehog examples with the other provideDatabase, itDb, and runTestDb code.
Could you share a small example where your arrange, act, assert API works together with the boilerplate from the test suite in the Gear Tracker project? I could maybe post a minimal non-working example if that helps?
Hi Matt,
I love your article on Effectful Property Testing, and I'm trying to put it into practice. The concepts make sense, but I am struggling to reconcile some of the examples in the article with the necessary boilerplate. I found some somewhat related code that you wrote here (which is also super useful! Thank you for demonstrating how to rollback database transactions in tests. It's much faster than truncating all the tables!), but I'm struggling to marry the hedgehog examples with the other
provideDatabase
,itDb
, andrunTestDb
code.Could you share a small example where your
arrange
,act
,assert
API works together with the boilerplate from the test suite in the Gear Tracker project? I could maybe post a minimal non-working example if that helps?