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.

CompiledName: ForAll

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

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

CompiledName: ForOne

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 -> '?210179) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?210179

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 -> '?210175) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?210175

CompiledName: Operation

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

CompiledName: Setup

setupFunc actual model
Signature: actual:Func<'?210166> -> model:Func<'?210167> -> Setup<'?210166,'?210167>
Type parameters: '?210166, '?210167

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:('?210169 -> unit) -> TearDown<'?210169>
Type parameters: '?210169

CompiledName: TearDown

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

CompiledName: TearDown

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

Turn a machine specification into a property.

CompiledName: ToProperty

Fork me on GitHub