FsCheck


StateMachine

Namespace: FsCheck.Experimental

Functions and values

Function or valueDescription
forAll(arb)
Signature: arb:Arbitrary<MachineRun<'Actual,'Model>> -> Property
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("ForAll")>]

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 Attributes:
[<CompiledName("ForOne")>]

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 Attributes:
[<CompiledName("Generate")>]

CompiledName: Generate

operation name runModel check
Signature: name:string -> runModel:('Model -> 'Model) -> check:('Actual * 'Model -> '?201756) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?201756 Attributes:
[<CompiledName("Operation")>]

CompiledName: Operation

operationAction name runModel check
Signature: name:string -> runModel:Func<'Model,'Model> -> check:Action<'Actual,'Model> -> Operation<'Actual,'Model>
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("Operation")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

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 Attributes:
[<CompiledName("Operation")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

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 Attributes:
[<CompiledName("Operation")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

CompiledName: Operation

operationWithPrecondition(...)
Signature: name:string -> preCondition:('Model -> bool) -> runModel:('Model -> 'Model) -> check:('Actual * 'Model -> '?201752) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?201752 Attributes:
[<CompiledName("Operation")>]

CompiledName: Operation

setup actual model
Signature: actual:(unit -> '?201740) -> model:(unit -> '?201741) -> Setup<'?201740,'?201741>
Type parameters: '?201740, '?201741 Attributes:
[<CompiledName("Setup")>]

CompiledName: Setup

setupFunc actual model
Signature: actual:Func<'?201743> -> model:Func<'?201744> -> Setup<'?201743,'?201744>
Type parameters: '?201743, '?201744 Attributes:
[<CompiledName("Setup")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

CompiledName: Setup

shrink spec run
Signature: spec:Machine<'Actual,'Model> -> run:MachineRun<'Actual,'Model> -> seq<MachineRun<'Actual,'Model>>
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("Shrink")>]

CompiledName: Shrink

tearDown(run)
Signature: run:('?201746 -> unit) -> TearDown<'?201746>
Type parameters: '?201746 Attributes:
[<CompiledName("TearDown")>]

CompiledName: TearDown

tearDownAction(run)
Signature: run:Action<'?201748> -> TearDown<'?201748>
Type parameters: '?201748 Attributes:
[<CompiledName("TearDown")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

CompiledName: TearDown

toProperty(spec)
Signature: spec:Machine<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("ToProperty")>]

Turn a machine specification into a property.

CompiledName: ToProperty

Fork me on GitHub