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` Type parameters: 'Actual, 'Model	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` Type parameters: 'Actual, 'Model	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>>` Type parameters: '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>` Type parameters: 'Model, 'Actual, 'a	name : `string` runModel : `'Model -> 'Model` check : `'Actual * 'Model -> 'a` 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>` Type parameters: 'Model, 'Actual, 'a	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>` Type parameters: 'a, 'b	actual : `unit -> 'a` model : `unit -> '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` Type parameters: 'Actual, 'Model	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>` Type parameters: 'a	run : `'a -> unit` Returns: `TearDown<'a>`
`toProperty spec` Full Usage: `toProperty spec` Parameters: spec : `Machine<'Actual, 'Model>` Returns: `Property` Type parameters: 'Actual, 'Model	Turn a machine specification into a property. spec : `Machine<'Actual, 'Model>` Returns: `Property`