ganeti

Safe HaskellNone

Test.Ganeti.Locking.Waiting

Description

Tests for lock waiting structure.

Documentation

data UpdateRequest a b c Source

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

forAllBlocked :: Testable prop => (LockWaiting TestLock TestOwner Integer -> TestOwner -> Integer -> [LockRequest TestLock] -> prop) -> PropertySource