quickcheck-state-machine-distributed-0.0.0: Test monadic programs using state machine based models

Safe HaskellNone
LanguageHaskell2010

Linearisability

Documentation

type History pid inv resp = [(pid, Either inv resp)] Source #

linearisable :: Eq pid => (model -> Either inv resp -> model) -> (model -> inv -> resp -> Bool) -> model -> History pid inv resp -> Bool Source #

trace :: (Show model, Show inv, Show resp) => (model -> Either inv resp -> model) -> model -> History ProcessId inv resp -> String Source #

wellformed :: Eq pid => [pid] -> History pid inv resp -> Either (NotSequential pid inv resp) () Source #