opaleye-trans 0.1.0 → 0.1.1

raw patch · 2 files changed

+16/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• opaleye-trans.cabal +1/−1
• src/Opaleye/Trans.hs +15/−2

@@ -1,5 +1,5 @@ name:                opaleye-trans-version:             0.1.0+version:             0.1.1 synopsis:            A monad transformer for Opaleye description:         A monad transformer for Opaleye homepage:            https://github.com/tomjaguarpaw/haskell-opaleye

@@ -52,6 +52,7 @@ import           Opaleye  +-- | The 'Opaleye' monad transformer newtype OpaleyeT m a = OpaleyeT { unOpaleyeT :: ReaderT Connection m a }     deriving (Functor, Applicative, Monad, MonadTrans, MonadReader Connection) @@ -60,49 +61,58 @@     liftBase = lift . liftBase  --- | TODO Handle exceptions+-- | Given a 'Connection', run an 'OpaleyeT' runOpaleyeT :: PSQL.Connection -> OpaleyeT m a -> m a runOpaleyeT c = flip runReaderT c . unOpaleyeT-+-- TODO Handle exceptions +-- | With a 'Connection' withConn :: Monad m => (Connection -> m a) -> OpaleyeT m a withConn f = do     conn <- ask     lift (f conn)  +-- | With a 'Connection' withConnIO :: MonadBase IO m => (Connection -> IO a) -> OpaleyeT m a withConnIO f = do     conn <- ask     liftBase $ f conn  +-- | 'withTransaction' lifted into a 'MonadBaseControl' 'IO' monad liftWithTransaction :: MonadBaseControl IO m => Connection -> m a -> m a liftWithTransaction conn f =     control $ \io -> withTransaction conn (io f)  +-- | Run a postgresql transaction in the 'OpaleyeT' monad transaction :: MonadBaseControl IO m => OpaleyeT m a -> OpaleyeT m a transaction t = withConn $ \conn ->     liftWithTransaction conn (runOpaleyeT conn t)  +-- | Execute a 'Query'. See 'runQuery'. query :: (MonadBase IO m, Default QueryRunner a b) => Query a -> OpaleyeT m [b] query q = withConnIO (`runQuery` q)  +-- | Retrieve the first result from a 'Query'. Similar to @listToMaybe <$> runQuery@. queryFirst :: (MonadBase IO m, Default QueryRunner a b) => Query a -> OpaleyeT m (Maybe b) queryFirst q = listToMaybe <$> query q  +-- | Insert into a 'Table'. See 'runInsert'. insert :: MonadBase IO m => Table w r -> w -> OpaleyeT m Int64 insert t w = withConnIO (\c -> runInsert c t w)  +-- | Insert many records into a 'Table'. See 'runInsertMany'. insertMany :: MonadBase IO m => Table w r -> [w] -> OpaleyeT m Int64 insertMany t ws = withConnIO (\c -> runInsertMany c t ws)  +-- | Insert a record into a 'Table' with a return value. See 'runInsertReturning'. insertReturning     :: (MonadBase IO m, Default QueryRunner a b)     => Table w r@@ -112,6 +122,8 @@ insertReturning t ret w = withConnIO (\c -> runInsertReturning c t w ret)  +-- | Insert a record into a 'Table' with a return value. Retrieve only the first result.+-- Similar to @listToMaybe <$> insertReturning@ insertReturningFirst     :: (MonadBase IO m, Default QueryRunner a b)     => Table w r@@ -121,6 +133,7 @@ insertReturningFirst t ret w = listToMaybe <$> insertReturning t ret w  +-- | Insert many records into a 'Table' with a return value for each record. insertManyReturning     :: (MonadBaseControl IO m, Default QueryRunner a b)     => Table w r