ganeti

Safe HaskellNone

Test.Ganeti.Locking.Allocation

Description

Tests for lock allocation.

Synopsis

Documentation

data TestOwner Source

Constructors

TestOwner Int 

Instances

Eq TestOwner 
Ord TestOwner 
Show TestOwner 
JSON TestOwner 
Arbitrary TestOwner 

data UpdateRequest b a Source

Instances

(Show b, Show a) => Show (UpdateRequest b a) 
(Arbitrary a, Arbitrary b) => Arbitrary (UpdateRequest a b) 

asAllocTrans :: (Lock a, Ord b, Show b) => LockAllocation a b -> UpdateRequest b a -> LockAllocation a bSource

foldUpdates :: (Lock a, Ord b, Show b) => [UpdateRequest b a] -> LockAllocation a bSource

requestSucceeded :: Ord a => Map a OwnerState -> LockRequest a -> BoolSource

Verify that a given request is statisfied in list of owned locks