quickcheck-state-machine-distributed-0.0.1: Test monadic programs using state machine based models
Linearisability
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 #