[Haskell-cafe] Property checks and PostgreSQL?

Tom Ellis tom-lists-haskell-cafe-2017 at jaguarpaw.co.uk
Sat Mar 13 11:51:36 UTC 2021

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?

More information about the Haskell-Cafe mailing list