Test.Ganeti.Locking.Allocation

Description

Synopsis

• data TestOwner = TestOwner Int
• data TestLock
  • = TestBigLock
  • | TestCollectionLockA
  • | TestLockA Int
  • | TestCollectionLockB
  • | TestLockB Int
• data UpdateRequest b a
  • = UpdateRequest b [LockRequest a]
  • | FreeLockRequest b
• asAllocTrans :: (Lock a, Ord b, Show b) => LockAllocation a b -> UpdateRequest b a -> LockAllocation a b
• foldUpdates :: (Lock a, Ord b, Show b) => [UpdateRequest b a] -> LockAllocation a b
• prop_LocksDisjoint :: Property
• prop_LockslistComplete :: Property
• prop_LocksAllOwnersSubsetLockslist :: Property
• prop_LocksAllOwnersComplete :: Property
• prop_LocksAllOwnersSound :: Property
• prop_LockImplicationX :: Property
• prop_LockImplicationS :: Property
• prop_LocksStable :: Property
• requestSucceeded :: Ord a => Map a OwnerState -> LockRequest a -> Bool
• prop_LockupdateAtomic :: Property
• prop_LockReleaseSucceeds :: Property
• prop_BlockSufficient :: Property
• prop_BlockNecessary :: Property
• prop_ReadShow :: Property
• prop_OwnerComplete :: Property
• prop_OwnerSound :: Property
• prop_ReadShowRequest :: Property
• testLocking_Allocation :: Test

Documentation