in (expectedResMaster, []) @=?
(sort resMaster, resChild)
in (expectedResMaster, []) @=?
(sort resMaster, resChild)
prop_addFromMaster inp =
let (resMaster, resChild) = syncBiDir inp emptymap emptymap
expectedResChild = sort . map (\(k, v) -> CopyItem k v) . Map.toList $ inp
prop_addFromMaster inp =
let (resMaster, resChild) = syncBiDir inp emptymap emptymap
expectedResChild = sort . map (\(k, v) -> CopyItem k v) . Map.toList $ inp
prop_allChangesToChild master child =
let (resMaster, resChild) = syncBiDir master child child
expectedResChild = sort $
prop_allChangesToChild master child =
let (resMaster, resChild) = syncBiDir master child child
expectedResChild = sort $
in (sort masterChanges, expectedResChild) @=?
(sort resMaster, sort resChild)
in (sort masterChanges, expectedResChild) @=?
(sort resMaster, sort resChild)
prop_allChangesToMaster master child =
let (resMaster, resChild) = syncBiDir master child master
expectedResMaster = sort $
prop_allChangesToMaster master child =
let (resMaster, resChild) = syncBiDir master child master
expectedResMaster = sort $
prop_allChanges master child lastchild =
let (resMaster, resChild) = syncBiDir master child lastchild
prop_allChanges master child lastchild =
let (resMaster, resChild) = syncBiDir master child lastchild
(sort resMaster, sort resChild)
{- | Basic validation that unaryApplyChanges works -}
(sort resMaster, sort resChild)
{- | Basic validation that unaryApplyChanges works -}
prop_unaryApplyChanges collection randcommands =
let -- We use nubBy to make sure we don't get input that has reference
-- to the same key more than once. We then convert True/False to
prop_unaryApplyChanges collection randcommands =
let -- We use nubBy to make sure we don't get input that has reference
-- to the same key more than once. We then convert True/False to
prop_unaryApplyChangesId master child =
let (resMaster, resChild) = syncBiDir master child child
newMaster = unaryApplyChanges master resMaster
prop_unaryApplyChangesId master child =
let (resMaster, resChild) = syncBiDir master child child
newMaster = unaryApplyChanges master resMaster
in (True, sort (Map.keys master), sort (Map.keys master)) @=?
(newMasterKeys == newChildKeys, newMasterKeys, newChildKeys)
in (True, sort (Map.keys master), sort (Map.keys master)) @=?
(newMasterKeys == newChildKeys, newMasterKeys, newChildKeys)
prop_unaryApplyChanges3 master child lastChild =
let (resMaster, resChild) = syncBiDir master child lastChild
newMaster = unaryApplyChanges master resMaster
newChild = unaryApplyChanges child resChild
in newMaster @=? newChild
prop_unaryApplyChanges3 master child lastChild =
let (resMaster, resChild) = syncBiDir master child lastChild
newMaster = unaryApplyChanges master resMaster
newChild = unaryApplyChanges child resChild
in newMaster @=? newChild
prop_diffCollection coll1 coll2 =
let commands = diffCollection coll1 coll2
newcoll2 = unaryApplyChanges coll1 commands
prop_diffCollection coll1 coll2 =
let commands = diffCollection coll1 coll2
newcoll2 = unaryApplyChanges coll1 commands