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

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

CompiledName: Operation

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

CompiledName: Setup

setupFunc actual model
Signature: actual:Func<'?210161> -> model:Func<'?210162> -> Setup<'?210161,'?210162>
Type parameters: '?210161, '?210162

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

CompiledName: TearDown

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

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