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

CompiledName: Create

createFuncBool (...)
Signature: runActual:Func<'Actual,'Actual> -> runModel:Func<'Model,'Model> -> postCondition:Func<'Actual,'Model,bool> -> Command<'Actual,'Model>
Type parameters: 'Actual, 'Model

CompiledName: Create

createFuncProp (...)
Signature: runActual:Func<'Actual,'Actual> -> runModel:Func<'Model,'Model> -> postCondition:Func<'Actual,'Model,Property> -> Command<'Actual,'Model>
Type parameters: 'Actual, 'Model

CompiledName: Create

generate spec
Signature: spec:ICommandGenerator<'Actual,'Model> -> Gen<seq<Command<'Actual,'Model>>>
Type parameters: 'Actual, 'Model

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

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

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

Turn a specification into a property.

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

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

Fork me on GitHub