better inference
commitb190a8e6403571fe47cb1b376daef76b2352ba38
authorEitan Chatav <eitan.chatav@gmail.com>
dateSun 25 Mar 2018, 09:22 (9 years ago)
parent65a930a
squeal-postgresql/src/Squeal/PostgreSQL/PQ.hs+2−1
@@ -375,7 +375,8 @@ class Monad pq => MonadPQ schema pq | pq -> schema where
375375 => (LibPQ.Connection -> IO a) -> pq a
376376 liftPQ = lift . liftPQ
377377
378−instance MonadBase IO io => MonadPQ schema (PQ schema schema io) where
378+instance (MonadBase IO io, schema1 ~ schema)
379+ => MonadPQ schema (PQ schema schema1 io) where
379380
380381 manipulateParams
381382 (UnsafeManipulation q :: Manipulation schema ps ys) (params :: x) =