FsCheck


PropertyExtensions

Namespace: FsCheck
Attributes:
[<Extension>]

Extensons to construct Properties.

Static members

Static memberDescription
PropertyExtensions.And(left, right)
Signature: (left:Property * right:Property) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:Property * right:Func<bool>) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:Property * right:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:Property * right:Action) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:bool * right:Property) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:bool * right:Func<bool>) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:bool * right:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.And(left, right)
Signature: (left:bool * right:Action) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Classify(...)
Signature: (property:Property * cond:bool * name:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Classify(...)
Signature: (property:Func<bool> * cond:bool * name:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Classify(...)
Signature: (property:bool * cond:bool * name:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Classify(...)
Signature: (property:Action * cond:bool * name:string) -> Property
Attributes:
[<Extension>]
PropertyExtensions.Collect(property, v)
Signature: (property:Property * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue Attributes:
[<Extension>]

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

PropertyExtensions.Collect(property, v)
Signature: (property:Func<bool> * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue Attributes:
[<Extension>]

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

PropertyExtensions.Collect(property, v)
Signature: (property:bool * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue Attributes:
[<Extension>]

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

PropertyExtensions.Collect(property, v)
Signature: (property:Action * v:'CollectedValue) -> Property
Type parameters: 'CollectedValue Attributes:
[<Extension>]

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

PropertyExtensions.Implies(...)
Signature: (condition:bool * property:Func<bool>) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Label(...)
Signature: (property:Property * label:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Label(...)
Signature: (property:Func<bool> * label:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Label(...)
Signature: (property:bool * label:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Label(...)
Signature: (property:Action * label:string) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:Property * right:Property) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:Property * right:Func<bool>) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:Property * right:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:Property * right:Action) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:bool * right:Property) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:bool * right:Func<bool>) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:bool * right:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Or(left, right)
Signature: (left:bool * right:Action) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.ToProperty(testable)
Signature: testable:Func<bool> -> Property
Attributes:
[<Extension>]

Turns a testable type into a property.

PropertyExtensions.ToProperty(testable)
Signature: testable:Action -> Property
Attributes:
[<Extension>]

Turns a testable type into a property.

PropertyExtensions.ToProperty(testable)
Signature: testable:bool -> Property
Attributes:
[<Extension>]

Turns a testable type into a property.

PropertyExtensions.Trivial(...)
Signature: (property:Property * condition:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Trivial(...)
Signature: (property:Func<bool> * condition:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Trivial(...)
Signature: (property:bool * condition:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.Trivial(...)
Signature: (property:Action * condition:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.When(...)
Signature: (property:Func<bool> * condition:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.When(...)
Signature: (property:Action * condition:bool) -> Property
Attributes:
[<Extension>]

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

PropertyExtensions.When(...)
Signature: (property:bool * condition:bool) -> Property
Attributes:
[<Extension>]

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

Fork me on GitHub