Synnefo » snf-ganeti

data UpdateRequest b a = UpdateRequest b [LockRequest a]

                       | IntersectRequest b [a]

                       | FreeLockRequest b

                       deriving Show

    frequency [ (4, UpdateRequest <$> arbitrary <*> (choose (1, 4) >>= vector))

              , (2, IntersectRequest <$> arbitrary

                                     <*> (choose (1, 4) >>= vector))

              , (1, FreeLockRequest <$> arbitrary)

              ]

  fst $ updateLocks owner updates state

asAllocTrans state (IntersectRequest owner locks) =

  intersectLocks owner locks state

asAllocTrans state (FreeLockRequest owner) = freeLocks state owner

-- | Fold a sequence of requests to transform a lock allocation onto the empty