FsCheck


CommandExtensions

Namespace: FsCheck
Attributes:
[<AbstractClass>]
[<Sealed>]
[<Extension>]

Static members

Static memberDescription
CommandExtensions.ToProperty(...)
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:
[<Extension>]

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

CommandExtensions.ToProperty(spec)
Signature: spec:ICommandGenerator<'Actual,'Model> -> Property
Type parameters: 'Actual, 'Model Attributes:
[<Extension>]

Turn a specification into a property.

Fork me on GitHub