13 Mar
2021
13 Mar
'21
11:51 a.m.
On Sat, Mar 13, 2021 at 04:39:40PM +0500, Ignat Insarov wrote:
So, I have a three layer stack: PostgreSQL data base, Haskell back end, PureScript front end. And there is a fault somewhere in this stack [...] Our last hope is to property check the whole thing, from end to end, verifying that any things put into the data base can be retrieved by the front end.
It's not clear to me why you need to reset anything. Can you attach a unique value to each entry you make and then subsequently check that the unique value is present in the data you read back?