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 -> '?8939) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?8939 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 -> '?8935) -> Operation<'Actual,'Model>
Type parameters: 'Model, 'Actual, '?8935 Attributes:
[<CompiledName("Operation")>]

CompiledName: Operation

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

CompiledName: Setup

setupFunc actual model
Signature: actual:Func<'?8926> -> model:Func<'?8927> -> Setup<'?8926,'?8927>
Type parameters: '?8926, '?8927 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:('?8929 -> unit) -> TearDown<'?8929>
Type parameters: '?8929 Attributes:
[<CompiledName("TearDown")>]

CompiledName: TearDown

tearDownAction(run)
Signature: run:Action<'?8931> -> TearDown<'?8931>
Type parameters: '?8931 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