relational-record-examples 0.3.1.2 → 0.3.1.3
raw patch · 2 files changed
+15/−10 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- relational-record-examples.cabal +1/−1
- src/examples.hs +14/−9
relational-record-examples.cabal view
@@ -1,5 +1,5 @@ name: relational-record-examples-version: 0.3.1.2+version: 0.3.1.3 synopsis: Examples of Haskell Relationa Record description: Provides examples of Haskell Relational Record license: BSD3
src/examples.hs view
@@ -13,7 +13,7 @@ import Data.Time (Day, LocalTime) import qualified Account-import Account (Account, account, tableOfAccount)+import Account (Account, account) import qualified Branch import Branch (Branch, branch) import qualified Business@@ -21,7 +21,7 @@ import qualified Customer import Customer (Customer, customer) import qualified Department-import Department (Department, department, tableOfDepartment)+import Department (Department, department) import qualified Individual import Individual (individual) --import qualified Officer@@ -33,7 +33,7 @@ import qualified Transaction import Transaction (transaction) import qualified Employee-import Employee (Employee, employee, tableOfEmployee)+import Employee (Employee, employee) allAccount :: Relation () Account allAccount = relation $ query account@@ -768,8 +768,9 @@ -- @ -- deleteAccount_o1 :: Delete ()-deleteAccount_o1 = typedDelete tableOfAccount . restriction $ \proj -> do+deleteAccount_o1 = derivedDelete $ \proj -> do wheres $ proj ! Account.accountId' .=. value 2+ return unitPlaceHolder -- | -- Placeholder version of Generated SQL:@@ -782,7 +783,7 @@ -- -- @ -- deleteAccount_o1P :: Delete Int64--- deleteAccount_o1P = typedDelete tableOfAccount . restriction' $ \proj -> do+-- deleteAccount_o1P = derivedDelete $ \proj -> do -- fmap fst $ placeholder (\ph -> wheres $ proj ! Account.accountId' .=. ph) -- @ --@@ -808,9 +809,10 @@ -- @ -- deleteAccount_o2 :: Delete ()-deleteAccount_o2 = typedDelete tableOfAccount . restriction $ \proj -> do+deleteAccount_o2 = derivedDelete $ \proj -> do wheres $ proj ! Account.accountId' .>=. value 10 wheres $ proj ! Account.accountId' .<=. value 20+ return unitPlaceHolder -- | -- Placeholder version of Generated SQL:@@ -846,12 +848,13 @@ -- @ -- deleteEmployee_9_4_2 :: Delete ()-deleteEmployee_9_4_2 = typedDelete tableOfDepartment . restriction $ \proj -> do+deleteEmployee_9_4_2 = derivedDelete $ \proj -> do el <- queryList $ relation $ do e <- query employee wheres $ e ! Employee.deptId' .=. just (proj ! Department.deptId') return (value (1 :: Int64)) wheres $ not' . exists $ el+ return unitPlaceHolder -- | -- (original) Updating data@@ -873,10 +876,11 @@ -- @ -- updateEmployee_o3 :: Update ()-updateEmployee_o3 = typedUpdate tableOfEmployee . updateTarget $ \proj -> do+updateEmployee_o3 = derivedUpdate $ \proj -> do Employee.lname' <-# value "Bush" Employee.deptId' <-# just (value 3) wheres $ proj ! Employee.empId' .=. value 10+ return unitPlaceHolder -- | -- Placeholder version of Generated SQL:@@ -930,7 +934,7 @@ -- @ -- updateAccount_9_4_2 :: Update ()-updateAccount_9_4_2 = typedUpdate tableOfAccount . updateTarget $ \proj -> do+updateAccount_9_4_2 = derivedUpdate $ \proj -> do ts <- queryScalar $ aggregatedUnique (relation $ do t <- query transaction wheres $ t ! Transaction.accountId' .=. proj ! Account.accountId'@@ -942,6 +946,7 @@ return (value (1 :: Int64)) Account.lastActivityDate' <-# (toDay $ flattenMaybe ts) wheres $ exists $ tl+ return unitPlaceHolder toDay :: (SqlProjectable p, ProjectableShowSql p) => p (Maybe LocalTime) -> p (Maybe Day) toDay dt = unsafeProjectSql $ "date(" ++ unsafeShowSql dt ++ ")"