| Safe Haskell | None |
|---|
Test.Ganeti.Locking.Waiting
Description
Tests for lock waiting structure.
Documentation
data UpdateRequest a b c Source
Constructors
| Update b [LockRequest a] | |
| UpdateWaiting c b [LockRequest a] | |
| RemovePending b | |
| IntersectRequest b [a] | |
| OpportunisticUnion b [(a, OwnerState)] |
Instances
| (Show a, Show b, Show c) => Show (UpdateRequest a b c) | |
| (Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (UpdateRequest a b c) |
asWaitingTrans :: (Lock a, Ord b, Ord c) => LockWaiting a b c -> UpdateRequest a b c -> LockWaiting a b cSource
foldUpdates :: (Lock a, Ord b, Ord c) => [UpdateRequest a b c] -> LockWaiting a b cSource
prop_NoActionWithPendingRequests :: PropertySource
forAllBlocked :: Testable prop => (LockWaiting TestLock TestOwner Integer -> TestOwner -> Integer -> [LockRequest TestLock] -> prop) -> PropertySource
prop_WaitingRequestsGetPending :: PropertySource
prop_PendingGetFulfilledEventually :: PropertySource
prop_PendingGetNotifiedEventually :: PropertySource
prop_Progress :: PropertySource
prop_ProgressSound :: PropertySource
prop_PendingJustified :: PropertySource
prop_UpdateIdempotent :: PropertySource
prop_extReprPreserved :: PropertySource
prop_SimulateUpdateLocks :: PropertySource
prop_SimulateUpdateLocksWaiting :: PropertySource
prop_SafeUpdateWaitingCorrect :: PropertySource
prop_SafeUpdateWaitingIdempotent :: PropertySource
prop_ReadShow :: PropertySource
prop_OpportunisticMonotone :: PropertySource
prop_OpportunisticAnswer :: PropertySource
testLocking_Waiting :: TestSource