FsCheck


PropertyExtensions

Namespace: FsCheck

Extensons to construct Properties.

Static members

Static memberDescription
And(left, right)
Signature: (left:Property * right:Property) -> Property

Construct a property that succeeds if both succeed. (cfr 'and')

And(left, right)
Signature: (left:Property * right:Func<bool>) -> Property

Construct a property that succeeds if both succeed. (cfr 'and')

And(left, right)
Signature: (left:Property * right:bool) -> Property

Construct a property that succeeds if both succeed. (cfr 'and')

And(left, right)
Signature: (left:Property * right:Action) -> Property

Construct a property that succeeds if both succeed. (cfr 'and')

Classify(property, cond, name)
Signature: (property:Property * cond:bool * name:string) -> Property

Classify test cases. Test cases satisfying the condition are assigned the classification given.

Classify(property, cond, name)
Signature: (property:Func<bool> * cond:bool * name:string) -> Property

Classify test cases. Test cases satisfying the condition are assigned the classification given.

Classify(property, cond, name)
Signature: (property:bool * cond:bool * name:string) -> Property

Classify test cases. Test cases satisfying the condition are assigned the classification given.

Classify(property, cond, name)
Signature: (property:Action * cond:bool * name:string) -> Property
Collect(property, v)
Signature: (property:Property * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue

Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported.

Collect(property, v)
Signature: (property:Func<bool> * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue

Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported.

Collect(property, v)
Signature: (property:bool * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue

Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported.

Collect(property, v)
Signature: (property:Action * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue

Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported.

Label(property, label)
Signature: (property:Property * label:string) -> Property

Add the given label to the property. The labels of a failing sub-property are displayed when it fails.

Label(property, label)
Signature: (property:Func<bool> * label:string) -> Property

Add the given label to the property. The labels of a failing sub-property are displayed when it fails.

Label(property, label)
Signature: (property:bool * label:string) -> Property

Add the given label to the property. The labels of a failing sub-property are displayed when it fails.

Label(property, label)
Signature: (property:Action * label:string) -> Property

Add the given label to the property. The labels of a failing sub-property are displayed when it fails.

Or(left, right)
Signature: (left:Property * right:Property) -> Property

Construct a property that fails if both fail. (cfr 'or')

Or(left, right)
Signature: (left:Property * right:Func<bool>) -> Property

Construct a property that fails if both fail. (cfr 'or')

Or(left, right)
Signature: (left:Property * right:bool) -> Property

Construct a property that fails if both fail. (cfr 'or')

Or(left, right)
Signature: (left:Property * right:Action) -> Property

Construct a property that fails if both fail. (cfr 'or')

ToProperty(testable)
Signature: testable:Func<bool> -> Property

Turns a testable type into a property.

ToProperty(testable)
Signature: testable:Action -> Property

Turns a testable type into a property.

ToProperty(testable)
Signature: testable:bool -> Property

Turns a testable type into a property.

Trivial(property, condition)
Signature: (property:Property * condition:bool) -> Property

Count trivial cases. Test cases for which the condition is True are classified as trivial.

Trivial(property, condition)
Signature: (property:Func<bool> * condition:bool) -> Property

Count trivial cases. Test cases for which the condition is True are classified as trivial.

Trivial(property, condition)
Signature: (property:bool * condition:bool) -> Property

Count trivial cases. Test cases for which the condition is True are classified as trivial.

Trivial(property, condition)
Signature: (property:Action * condition:bool) -> Property

Count trivial cases. Test cases for which the condition is True are classified as trivial.

When(property, condition)
Signature: (property:Func<bool> * condition:bool) -> Property

Conditional property combinator. Resulting property holds if the property holds when the condition does.

When(property, condition)
Signature: (property:Action * condition:bool) -> Property

Conditional property combinator. Resulting property holds if the property holds when the condition does.

When(property, condition)
Signature: (property:bool * condition:bool) -> Property

Conditional property combinator. Resulting property holds if the property holds when the condition does.

Fork me on GitHub