FsCheck


Command

Namespace: FsCheck

Functions and values

Function or valueDescription
create(...)
Signature: preCondition:('Model -> bool) option -> runActual:('Actual -> 'Actual) -> runModel:('Model -> 'Model) -> checkPostCondition:('Actual * 'Model -> Property) -> Command<'Actual,'Model>
Type parameters: 'Model, 'Actual Attributes:
[<CompiledName("Create")>]

CompiledName: Create

createFuncBool(...)
Signature: runActual:Func<'Actual,'Actual> -> runModel:Func<'Model,'Model> -> postCondition:Func<'Actual,'Model,bool> -> Command<'Actual,'Model>
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("Create")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

CompiledName: Create

createFuncProp(...)
Signature: runActual:Func<'Actual,'Actual> -> runModel:Func<'Model,'Model> -> postCondition:Func<'Actual,'Model,Property> -> Command<'Actual,'Model>
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("Create")>]
[<CompilerMessage("This method is not intended for use from F#.", 10001, IsHidden = true, IsError = false)>]

CompiledName: Create

generate(spec)
Signature: spec:ICommandGenerator<'Actual,'Model> -> Gen<seq<Command<'Actual,'Model>>>
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("Generate")>]

Create a generator that generates a sequence of Command objects that satisfies the given specification.

CompiledName: Generate

generateCommands(spec)
Signature: spec:ICommandGenerator<'Actual,'Model> -> Gen<seq<Command<'Actual,'Model>>>
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("GenerateCommands")>]
[<Obsolete("Renamed to Command.generate or Command.Generate.")>]
WARNING: This API is obsolete

Renamed to Command.generate or Command.Generate.

Create a generator that generates a sequence of Command objects that satisfies the given specification.

CompiledName: GenerateCommands

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

Create a shrinker to reduce a sequence of Command objects so that the reduced sequence satisfies the given specification.

CompiledName: Shrink

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

Turn a specification into a property.

CompiledName: ToProperty

toPropertyWith spec generator shrinker
Signature: spec:ICommandGenerator<'Actual,'Model> -> generator:Gen<seq<Command<'Actual,'Model>>> -> shrinker:(seq<Command<'Actual,'Model>> -> seq<seq<Command<'Actual,'Model>>>) -> Property
Type parameters: 'Actual, 'Model Attributes:
[<CompiledName("ToPropertyWith")>]

Turn a specification into a property, allowing you to specify generator and shrinker.

CompiledName: ToPropertyWith

Fork me on GitHub