Add insertUnique_ to PersistUniqueWrite

persistent-test/src/ReadWriteTest.hs

@@ -53,3 +53,14 @@ specsWith originalRunDb = describe "ReadWriteTest" $ do
                 mkey1 @== Nothing
                 mperson <- selectFirst [PersonName ==. name_] []
                 fmap entityVal mperson @== Just person
+
+                let nameLuke = "Luke Seale New"
+                    personLuke = Person nameLuke 31 Nothing
+                mkey2 <- insertUnique_ personLuke
+                mkey3 <- insertUnique_ personLuke
+                mkey3 @== Nothing
+                mpersonLuke <- selectFirst [PersonName ==. nameLuke] []
+                fmap entityVal mpersonLuke @== Just personLuke
+
+
+

persistent/ChangeLog.md

@@ -6,6 +6,12 @@
     * Remove extraneous `map toPersistValue` call in the `mkInsertValues`
       function, as it evaluates to `id`.
 
+## 2.14.5.0
+
+* [#1469] https://github.com/yesodweb/persistent/pull/1469
+    * Change default implementation for `insertUnique_` to not perform
+      unecessary queries (mirrors 1449)
+
 ## 2.14.4.4
 
 * [#1460] https://github.com/yesodweb/persistent/pull/1460

persistent/Database/Persist/Class/PersistUnique.hs

@@ -140,6 +140,37 @@ class (PersistUniqueRead backend, PersistStoreWrite backend) =>
             Nothing -> Just `liftM` insert datum
             Just _ -> return Nothing
 
+    -- | Same as 'insertUnique' but doesn't return a @Key@.
+    --
+    -- === __Example usage__
+    --
+    -- With <#schema-persist-unique-1 schema-1> and <#dataset-persist-unique-1 dataset-1>, we try to insert the following two records:
+    --
+    -- > linusId <- insertUnique_ $ User "Linus" 48
+    -- > spjId   <- insertUnique_ $ User "SPJ" 90
+    --
+    -- > +-----+------+-----+
+    -- > |id   |name  |age  |
+    -- > +-----+------+-----+
+    -- > |1    |SPJ   |40   |
+    -- > +-----+------+-----+
+    -- > |2    |Simon |41   |
+    -- > +-----+------+-----+
+    -- > |3    |Linus |48   |
+    -- > +-----+------+-----+
+    --
+    -- Linus's record was inserted to <#dataset-persist-unique-1 dataset-1>, while SPJ wasn't because SPJ already exists in <#dataset-persist-unique-1 dataset-1>.
+    --
+    -- @since 2.14.5.0
+    insertUnique_
+        :: forall record m. (MonadIO m, PersistRecordBackend record backend, SafeToInsert record)
+        => record -> ReaderT backend m (Maybe ())
+    insertUnique_ datum = do
+        conflict <- checkUnique datum
+        case conflict of
+            Nothing -> Just `liftM` insert_ datum
+            Just _ -> return Nothing
+
     -- | Update based on a uniqueness constraint or insert:
     --
     -- * insert the new record if it does not exist;