[Haskell-cafe] Property checks and PostgreSQL?

[Tom Ellis]

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?