Eitan Chatav
Eitan Chatav
@gasi Nice job! Yes, I'm on a macbook. I'll send you an email. I've been wanting to get back to Squeal a bit.
Re: type safety. I guess you mean for `OrganizationType` on the Haskell side having a corresponding Postgres type so the `type` column isn't stringly-typed. For that you can use Postgres...
`MonadResult` is only needed to define safe `Transaction`s. Otherwise you’re right, `MonadIO` would suffice alone. Users should not write `MonadResult` instances.
You can imagine that `MonadResult` is a superclass of `MonadIO`. ```Haskell class MonadResult m => MonadIO m ``` It’s not possible to do that but the catchall instance mostly accomplishes...
I see. I’m afraid I didn’t anticipate such a need as reinterpreting `PQ` purely as libPQ is `IO` bound.