ganeti

Safe Haskell	None

Test.Ganeti.Locking.Locks

Contents

Orphan instances

Description

Tests for the lock data structure

Synopsis

prop_ReadShow :: Property
prop_ImpliedOrder :: Property
prop_ImpliedIntervall :: Property
prop_ReadShowLevel :: Property
prop_ReadShow_ClientType :: Property
prop_ReadShow_ClientId :: Property
testLocking_Locks :: Test

Documentation

prop_ReadShow :: Property Source #

Verify that readJSON . showJSON = Ok

prop_ImpliedOrder :: Property Source #

Verify the implied locks are earlier in the lock order.

prop_ImpliedIntervall :: Property Source #

Verify the intervall property of the locks.

prop_ReadShowLevel :: Property Source #

Verify that readJSON . showJSON = Ok for lock levels

prop_ReadShow_ClientType :: Property Source #

Verify that readJSON . showJSON = Ok for ClientType

prop_ReadShow_ClientId :: Property Source #

Verify that readJSON . showJSON = Ok for ClientId

testLocking_Locks :: Test Source #

Orphan instances

Arbitrary CPid #
Instance details Methods arbitrary :: Gen CPid shrink :: CPid -> [CPid]
Arbitrary ClientId #
Instance details Methods arbitrary :: Gen ClientId shrink :: ClientId -> [ClientId]
Arbitrary ClientType #
Instance details Methods arbitrary :: Gen ClientType shrink :: ClientType -> [ClientType]
Arbitrary LockLevel #
Instance details Methods arbitrary :: Gen LockLevel shrink :: LockLevel -> [LockLevel]
Arbitrary GanetiLocks #
Instance details Methods arbitrary :: Gen GanetiLocks shrink :: GanetiLocks -> [GanetiLocks]