FsCheck


StateMachine

Namespace: FsCheck.Experimental

Functions and values

Function or valueDescription
forAll arb
Signature: arb:Arbitrary<MachineRun<'Actual,'Model>> -> Property
Type parameters: 'Actual, 'Model

Check all generated runs, i.e. create a property from an arbitrarily generated run.

forOne arg1
Signature: MachineRun<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model

Check one run, i.e. create a property from a single run.

generate spec
Signature: spec:Machine<'Actual,'Model> -> Gen<MachineRun<'Actual,'Model>>
Type parameters: 'Actual, 'Model

CompiledName: Generate

operation name runModel check
Signature: name:string -> runModel:('Model -> 'Model) -> check:('Actual * 'Model -> '?73596) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?73596

CompiledName: Operation

operationAction name runModel check
Signature: name:string -> runModel:Func<'Model,'Model> -> check:Action<'Actual,'Model> -> Operation<'Actual,'Model>
Type parameters: 'Actual, 'Model

CompiledName: Operation

operationBool name runModel check
Signature: name:string -> runModel:Func<'Model,'Model> -> check:Func<'Actual,'Model,bool> -> Operation<'Actual,'Model>
Type parameters: 'Actual, 'Model

CompiledName: Operation

operationProp name runModel check
Signature: name:string -> runModel:Func<'Model,'Model> -> check:Func<'Actual,'Model,Property> -> Operation<'Actual,'Model>
Type parameters: 'Actual, 'Model

CompiledName: Operation

operationWithPrecondition (...)
Signature: name:string -> preCondition:('Model -> bool) -> runModel:('Model -> 'Model) -> check:('Actual * 'Model -> '?73592) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?73592

CompiledName: Operation

setup actual model
Signature: actual:(unit -> '?73580) -> model:(unit -> '?73581) -> Setup<'?73580,'?73581>
Type parameters: '?73580, '?73581

CompiledName: Setup

setupFunc actual model
Signature: actual:Func<'?73583> -> model:Func<'?73584> -> Setup<'?73583,'?73584>
Type parameters: '?73583, '?73584

CompiledName: Setup

shrink spec run
Signature: spec:Machine<'Actual,'Model> -> run:MachineRun<'Actual,'Model> -> seq<MachineRun<'Actual,'Model>>
Type parameters: 'Actual, 'Model

CompiledName: Shrink

tearDown run
Signature: run:('?73586 -> unit) -> TearDown<'?73586>
Type parameters: '?73586

CompiledName: TearDown

tearDownAction run
Signature: run:Action<'?73588> -> TearDown<'?73588>
Type parameters: '?73588

CompiledName: TearDown

toProperty spec
Signature: spec:Machine<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model

Turn a machine specification into a property.

Fork me on GitHub