Prop Type

Assembly: FsCheck.dll

Base Type: obj

Extensions to construct Properties.

Static members

Static member	Description
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `Property` right : `Property` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `Property` right : `Property` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `Property` right : `Func<bool>` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `Property` right : `Func<bool>` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `Property` right : `bool` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `Property` right : `bool` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `Property` right : `Action` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `Property` right : `Action` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `bool` right : `Property` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `bool` right : `Property` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `bool` right : `Func<bool>` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `bool` right : `Func<bool>` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `bool` right : `bool` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `bool` right : `bool` Returns: `Property`
`Prop.And(left, right)` Full Usage: `Prop.And(left, right)` Parameters: left : `bool` right : `Action` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') left : `bool` right : `Action` Returns: `Property`
`Prop.Classify(property, cond, name)` Full Usage: `Prop.Classify(property, cond, name)` Parameters: property : `Property` cond : `bool` name : `string` Returns: `Property`	Classify test cases. Test cases satisfying the condition are assigned the classification given. property : `Property` cond : `bool` name : `string` Returns: `Property`
`Prop.Classify(property, cond, name)` Full Usage: `Prop.Classify(property, cond, name)` Parameters: property : `Func<bool>` cond : `bool` name : `string` Returns: `Property`	Classify test cases. Test cases satisfying the condition are assigned the classification given. property : `Func<bool>` cond : `bool` name : `string` Returns: `Property`
`Prop.Classify(property, cond, name)` Full Usage: `Prop.Classify(property, cond, name)` Parameters: property : `bool` cond : `bool` name : `string` Returns: `Property`	Classify test cases. Test cases satisfying the condition are assigned the classification given. property : `bool` cond : `bool` name : `string` Returns: `Property`
`Prop.Classify(property, cond, name)` Full Usage: `Prop.Classify(property, cond, name)` Parameters: property : `Action` cond : `bool` name : `string` Returns: `Property`	property : `Action` cond : `bool` name : `string` Returns: `Property`
`Prop.Collect(property, v)` Full Usage: `Prop.Collect(property, v)` Parameters: property : `Property` v : `'CollectedValue` Returns: `Property`	Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported. property : `Property` v : `'CollectedValue` Returns: `Property`
`Prop.Collect(property, v)` Full Usage: `Prop.Collect(property, v)` Parameters: property : `Func<bool>` v : `'CollectedValue` Returns: `Property`	Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported. property : `Func<bool>` v : `'CollectedValue` Returns: `Property`
`Prop.Collect(property, v)` Full Usage: `Prop.Collect(property, v)` Parameters: property : `bool` v : `'CollectedValue` Returns: `Property`	Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported. property : `bool` v : `'CollectedValue` Returns: `Property`
`Prop.Collect(property, v)` Full Usage: `Prop.Collect(property, v)` Parameters: property : `Action` v : `'CollectedValue` Returns: `Property`	Collect data values. The argument of collect is evaluated in each test case, and the distribution of values is reported. property : `Action` v : `'CollectedValue` Returns: `Property`
`Prop.Discard()` Full Usage: `Prop.Discard()` Returns: `'a`	Returns: `'a`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, 'V3, Func<Property>>` Returns: `Property`	body : `Func<'V1, 'V2, 'V3, Func<Property>>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, 'V3, Func<bool>>` Returns: `Property`	body : `Func<'V1, 'V2, 'V3, Func<bool>>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, 'V3, Task>` Returns: `Property`	body : `Func<'V1, 'V2, 'V3, Task>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, 'V3, Property>` Returns: `Property`	body : `Func<'V1, 'V2, 'V3, Property>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, 'V3, bool>` Returns: `Property`	body : `Func<'V1, 'V2, 'V3, bool>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Action<'V1, 'V2, 'V3>` Returns: `Property`	body : `Action<'V1, 'V2, 'V3>` Returns: `Property`
`Prop.ForAll(arb1, arb2, arb3, body)` Full Usage: `Prop.ForAll(arb1, arb2, arb3, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Task<Property>>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Task<Property>>` Returns: `Property`
`Prop.ForAll(arb1, arb2, arb3, body)` Full Usage: `Prop.ForAll(arb1, arb2, arb3, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Task<bool>>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Task<bool>>` Returns: `Property`
`Prop.ForAll(arb1, arb2, arb3, body)` Full Usage: `Prop.ForAll(arb1, arb2, arb3, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Task>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Task>` Returns: `Property`
`Prop.ForAll(arb1, arb2, arb3, body)` Full Usage: `Prop.ForAll(arb1, arb2, arb3, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Property>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, Property>` Returns: `Property`
`Prop.ForAll(arb1, arb2, arb3, body)` Full Usage: `Prop.ForAll(arb1, arb2, arb3, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, bool>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Func<'V1, 'V2, 'V3, bool>` Returns: `Property`
`Prop.ForAll(arb1, arb2, arb3, body)` Full Usage: `Prop.ForAll(arb1, arb2, arb3, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Action<'V1, 'V2, 'V3>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` arb3 : `Arbitrary<'V3>` body : `Action<'V1, 'V2, 'V3>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, Task<Property>>` Returns: `Property`	body : `Func<'V1, 'V2, Task<Property>>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, Task<bool>>` Returns: `Property`	body : `Func<'V1, 'V2, Task<bool>>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, Task>` Returns: `Property`	body : `Func<'V1, 'V2, Task>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, Property>` Returns: `Property`	body : `Func<'V1, 'V2, Property>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'V1, 'V2, bool>` Returns: `Property`	body : `Func<'V1, 'V2, bool>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Action<'V1, 'V2>` Returns: `Property`	body : `Action<'V1, 'V2>` Returns: `Property`
`Prop.ForAll(arb1, arb2, body)` Full Usage: `Prop.ForAll(arb1, arb2, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Task<Property>>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Task<Property>>` Returns: `Property`
`Prop.ForAll(arb1, arb2, body)` Full Usage: `Prop.ForAll(arb1, arb2, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Task<bool>>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Task<bool>>` Returns: `Property`
`Prop.ForAll(arb1, arb2, body)` Full Usage: `Prop.ForAll(arb1, arb2, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Task>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Task>` Returns: `Property`
`Prop.ForAll(arb1, arb2, body)` Full Usage: `Prop.ForAll(arb1, arb2, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Property>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, Property>` Returns: `Property`
`Prop.ForAll(arb1, arb2, body)` Full Usage: `Prop.ForAll(arb1, arb2, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, bool>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Func<'V1, 'V2, bool>` Returns: `Property`
`Prop.ForAll(arb1, arb2, body)` Full Usage: `Prop.ForAll(arb1, arb2, body)` Parameters: arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Action<'V1, 'V2>` Returns: `Property`	arb1 : `Arbitrary<'V1>` arb2 : `Arbitrary<'V2>` body : `Action<'V1, 'V2>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'Value, Task<Property>>` Returns: `Property`	body : `Func<'Value, Task<Property>>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'Value, Task<bool>>` Returns: `Property`	body : `Func<'Value, Task<bool>>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'Value, Task>` Returns: `Property`	body : `Func<'Value, Task>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'Value, Property>` Returns: `Property`	body : `Func<'Value, Property>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Func<'Value, bool>` Returns: `Property`	body : `Func<'Value, bool>` Returns: `Property`
`Prop.ForAll(body)` Full Usage: `Prop.ForAll(body)` Parameters: body : `Action<'Value>` Returns: `Property`	body : `Action<'Value>` Returns: `Property`
`Prop.ForAll(arb, body)` Full Usage: `Prop.ForAll(arb, body)` Parameters: arb : `Arbitrary<'Value>` body : `Func<'Value, Task<Property>>` Returns: `Property`	arb : `Arbitrary<'Value>` body : `Func<'Value, Task<Property>>` Returns: `Property`
`Prop.ForAll(arb, body)` Full Usage: `Prop.ForAll(arb, body)` Parameters: arb : `Arbitrary<'Value>` body : `Func<'Value, Task<bool>>` Returns: `Property`	arb : `Arbitrary<'Value>` body : `Func<'Value, Task<bool>>` Returns: `Property`
`Prop.ForAll(arb, body)` Full Usage: `Prop.ForAll(arb, body)` Parameters: arb : `Arbitrary<'Value>` body : `Func<'Value, Task>` Returns: `Property`	arb : `Arbitrary<'Value>` body : `Func<'Value, Task>` Returns: `Property`
`Prop.ForAll(arb, body)` Full Usage: `Prop.ForAll(arb, body)` Parameters: arb : `Arbitrary<'Value>` body : `Func<'Value, Property>` Returns: `Property`	arb : `Arbitrary<'Value>` body : `Func<'Value, Property>` Returns: `Property`
`Prop.ForAll(arb, body)` Full Usage: `Prop.ForAll(arb, body)` Parameters: arb : `Arbitrary<'Value>` body : `Func<'Value, bool>` Returns: `Property`	arb : `Arbitrary<'Value>` body : `Func<'Value, bool>` Returns: `Property`
`Prop.ForAll(arb, body)` Full Usage: `Prop.ForAll(arb, body)` Parameters: arb : `Arbitrary<'Value>` body : `Action<'Value>` Returns: `Property`	arb : `Arbitrary<'Value>` body : `Action<'Value>` Returns: `Property`
`Prop.Implies(condition, property)` Full Usage: `Prop.Implies(condition, property)` Parameters: condition : `bool` property : `Property` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. condition : `bool` property : `Property` Returns: `Property`
`Prop.Implies(condition, property)` Full Usage: `Prop.Implies(condition, property)` Parameters: condition : `bool` property : `Func<bool>` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. condition : `bool` property : `Func<bool>` Returns: `Property`
`Prop.Implies(condition, property)` Full Usage: `Prop.Implies(condition, property)` Parameters: condition : `bool` property : `Action` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. condition : `bool` property : `Action` Returns: `Property`
`Prop.Implies(condition, property)` Full Usage: `Prop.Implies(condition, property)` Parameters: condition : `bool` property : `bool` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. condition : `bool` property : `bool` Returns: `Property`
`Prop.Label(property, label)` Full Usage: `Prop.Label(property, label)` Parameters: property : `Property` label : `string` Returns: `Property`	Add the given label to the property. The labels of a failing sub-property are displayed when it fails. property : `Property` label : `string` Returns: `Property`
`Prop.Label(property, label)` Full Usage: `Prop.Label(property, label)` Parameters: property : `Func<bool>` label : `string` Returns: `Property`	Add the given label to the property. The labels of a failing sub-property are displayed when it fails. property : `Func<bool>` label : `string` Returns: `Property`
`Prop.Label(property, label)` Full Usage: `Prop.Label(property, label)` Parameters: property : `bool` label : `string` Returns: `Property`	Add the given label to the property. The labels of a failing sub-property are displayed when it fails. property : `bool` label : `string` Returns: `Property`
`Prop.Label(property, label)` Full Usage: `Prop.Label(property, label)` Parameters: property : `Action` label : `string` Returns: `Property`	Add the given label to the property. The labels of a failing sub-property are displayed when it fails. property : `Action` label : `string` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `Property` right : `Property` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `Property` right : `Property` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `Property` right : `Func<bool>` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `Property` right : `Func<bool>` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `Property` right : `bool` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `Property` right : `bool` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `Property` right : `Action` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `Property` right : `Action` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `bool` right : `Property` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `bool` right : `Property` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `bool` right : `Func<bool>` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `bool` right : `Func<bool>` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `bool` right : `bool` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `bool` right : `bool` Returns: `Property`
`Prop.Or(left, right)` Full Usage: `Prop.Or(left, right)` Parameters: left : `bool` right : `Action` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') left : `bool` right : `Action` Returns: `Property`
`Prop.ToProperty(testable)` Full Usage: `Prop.ToProperty(testable)` Parameters: testable : `Func<bool>` Returns: `Property`	Turns a testable type into a property. testable : `Func<bool>` Returns: `Property`
`Prop.ToProperty(testable)` Full Usage: `Prop.ToProperty(testable)` Parameters: testable : `Action` Returns: `Property`	Turns a testable type into a property. testable : `Action` Returns: `Property`
`Prop.ToProperty(testable)` Full Usage: `Prop.ToProperty(testable)` Parameters: testable : `bool` Returns: `Property`	Turns a testable type into a property. testable : `bool` Returns: `Property`
`Prop.Trivial(property, condition)` Full Usage: `Prop.Trivial(property, condition)` Parameters: property : `Property` condition : `bool` Returns: `Property`	Count trivial cases. Test cases for which the condition is True are classified as trivial. property : `Property` condition : `bool` Returns: `Property`
`Prop.Trivial(property, condition)` Full Usage: `Prop.Trivial(property, condition)` Parameters: property : `Func<bool>` condition : `bool` Returns: `Property`	Count trivial cases. Test cases for which the condition is True are classified as trivial. property : `Func<bool>` condition : `bool` Returns: `Property`
`Prop.Trivial(property, condition)` Full Usage: `Prop.Trivial(property, condition)` Parameters: property : `bool` condition : `bool` Returns: `Property`	Count trivial cases. Test cases for which the condition is True are classified as trivial. property : `bool` condition : `bool` Returns: `Property`
`Prop.Trivial(property, condition)` Full Usage: `Prop.Trivial(property, condition)` Parameters: property : `Action` condition : `bool` Returns: `Property`	Count trivial cases. Test cases for which the condition is True are classified as trivial. property : `Action` condition : `bool` Returns: `Property`
`Prop.When(condition, assertion)` Full Usage: `Prop.When(condition, assertion)` Parameters: condition : `bool` assertion : `Action` Returns: `Property`	Conditional property combinator. Resulting property holds if the given property holds whenever the condition does. See also operator: 'assertion ==> property' condition : `bool` assertion : `Action` Returns: `Property`
`Prop.When(condition, assertion)` Full Usage: `Prop.When(condition, assertion)` Parameters: condition : `bool` assertion : `Func<'Testable>` Returns: `Property`	Conditional property combinator. Resulting property holds if the given property holds whenever the condition does. See also operator: 'assertion ==> property' condition : `bool` assertion : `Func<'Testable>` Returns: `Property`
`Prop.When(property, condition)` Full Usage: `Prop.When(property, condition)` Parameters: property : `Property` condition : `bool` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. property : `Property` condition : `bool` Returns: `Property`
`Prop.When(property, condition)` Full Usage: `Prop.When(property, condition)` Parameters: property : `Func<bool>` condition : `bool` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. property : `Func<bool>` condition : `bool` Returns: `Property`
`Prop.When(property, condition)` Full Usage: `Prop.When(property, condition)` Parameters: property : `Action` condition : `bool` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. property : `Action` condition : `bool` Returns: `Property`
`Prop.When(property, condition)` Full Usage: `Prop.When(property, condition)` Parameters: property : `bool` condition : `bool` Returns: `Property`	Conditional property combinator. Resulting property holds if the property holds when the condition does. property : `bool` condition : `bool` Returns: `Property`