+prop_delAllFromChild :: SyncCollection Int -> Bool
+prop_delAllFromChild inp =
+ let (resMaster, resChild, resState) = syncThem emptymap inp inp
+ expectedResChild = sort . map DeleteItem . Map.keys $ inp
+ in resMaster == [] &&
+ (sort resChild == expectedResChild) &&
+ (sort resState == expectedResChild)
+
+prop_addFromMaster :: SyncCollection Int -> Bool
+prop_addFromMaster inp =
+ let (resMaster, resChild, resState) = syncThem inp emptymap emptymap
+ expectedResChild = sort . map CopyItem . Map.keys $ inp
+ in (resMaster == []) &&
+ (sort resChild == expectedResChild) &&
+ (sort resState == expectedResChild)
+