StateMachine (FsCheck)

StateMachine Module

Namespace: FsCheck.Experimental
Assembly: FsCheck.dll

Functions and values

Function or value	Description
`forAll arb` Full Usage: `forAll arb` Parameters: arb : `Arbitrary<MachineRun<'Actual, 'Model>>` Returns: `Property`	Check all generated runs, i.e. create a property from an arbitrarily generated run. arb : `Arbitrary<MachineRun<'Actual, 'Model>>` Returns: `Property`
`forOne arg1` Full Usage: `forOne arg1` Parameters: arg0 : `MachineRun<'Actual, 'Model>` Returns: `Property`	Check one run, i.e. create a property from a single run. arg0 : `MachineRun<'Actual, 'Model>` Returns: `Property`
`generate spec` Full Usage: `generate spec` Parameters: spec : `Machine<'Actual, 'Model>` Returns: `Gen<MachineRun<'Actual, 'Model>>`	spec : `Machine<'Actual, 'Model>` Returns: `Gen<MachineRun<'Actual, 'Model>>`
`operation name runModel check` Full Usage: `operation name runModel check` Parameters: name : `string` runModel : `'Model -> 'Model` check : `'Actual * 'Model -> 'a` Returns: `Operation<'Actual, 'Model>`	name : `string` runModel : `'Model -> 'Model` check : `'Actual * 'Model -> 'a` Returns: `Operation<'Actual, 'Model>`
`operationAction name runModel check` Full Usage: `operationAction name runModel check` Parameters: name : `string` runModel : `Func<'Model, 'Model>` check : `Action<'Actual, 'Model>` Returns: `Operation<'Actual, 'Model>`	name : `string` runModel : `Func<'Model, 'Model>` check : `Action<'Actual, 'Model>` Returns: `Operation<'Actual, 'Model>`
`operationBool name runModel check` Full Usage: `operationBool name runModel check` Parameters: name : `string` runModel : `Func<'Model, 'Model>` check : `Func<'Actual, 'Model, bool>` Returns: `Operation<'Actual, 'Model>`	name : `string` runModel : `Func<'Model, 'Model>` check : `Func<'Actual, 'Model, bool>` Returns: `Operation<'Actual, 'Model>`
`operationProp name runModel check` Full Usage: `operationProp name runModel check` Parameters: name : `string` runModel : `Func<'Model, 'Model>` check : `Func<'Actual, 'Model, Property>` Returns: `Operation<'Actual, 'Model>`	name : `string` runModel : `Func<'Model, 'Model>` check : `Func<'Actual, 'Model, Property>` Returns: `Operation<'Actual, 'Model>`
`operationWithPrecondition name preCondition runModel check` Full Usage: `operationWithPrecondition name preCondition runModel check` Parameters: name : `string` preCondition : `'Model -> bool` runModel : `'Model -> 'Model` check : `'Actual * 'Model -> 'a` Returns: `Operation<'Actual, 'Model>`	name : `string` preCondition : `'Model -> bool` runModel : `'Model -> 'Model` check : `'Actual * 'Model -> 'a` Returns: `Operation<'Actual, 'Model>`
`setup actual model` Full Usage: `setup actual model` Parameters: actual : `unit -> 'a` model : `unit -> 'b` Returns: `Setup<'a, 'b>`	actual : `unit -> 'a` model : `unit -> 'b` Returns: `Setup<'a, 'b>`
`setupFunc actual model` Full Usage: `setupFunc actual model` Parameters: actual : `Func<'a>` model : `Func<'b>` Returns: `Setup<'a, 'b>`	actual : `Func<'a>` model : `Func<'b>` Returns: `Setup<'a, 'b>`
`shrink spec run` Full Usage: `shrink spec run` Parameters: spec : `Machine<'Actual, 'Model>` run : `MachineRun<'Actual, 'Model>` Returns: `MachineRun<'Actual, 'Model> seq`	spec : `Machine<'Actual, 'Model>` run : `MachineRun<'Actual, 'Model>` Returns: `MachineRun<'Actual, 'Model> seq`
`tearDown run` Full Usage: `tearDown run` Parameters: run : `'a -> unit` Returns: `TearDown<'a>`	run : `'a -> unit` Returns: `TearDown<'a>`
`tearDownAction run` Full Usage: `tearDownAction run` Parameters: run : `Action<'a>` Returns: `TearDown<'a>`	run : `Action<'a>` Returns: `TearDown<'a>`
`toProperty spec` Full Usage: `toProperty spec` Parameters: spec : `Machine<'Actual, 'Model>` Returns: `Property`	Turn a machine specification into a property. spec : `Machine<'Actual, 'Model>` Returns: `Property`