FsCheck


PropOperators

Namespace: FsCheck

Operators for Prop.

Functions and values

Function or valueDescription
( %> )
Signature: '?73793 -> string -> Property
Type parameters: '?73793

Add the given label to the property. Property on the left hand side, label on the right.

CompiledName: op_PercentGreater

( .&. ) l r
Signature: l:'LeftTestable -> r:'RightTestable -> Property
Type parameters: 'LeftTestable, 'RightTestable

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

CompiledName: op_DotAmpDot

( .|. ) l r
Signature: l:'LeftTestable -> r:'RightTestable -> Property
Type parameters: 'LeftTestable, 'RightTestable

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

CompiledName: op_DotBarDot

( @| )
Signature: string -> '?73791 -> Property
Type parameters: '?73791

Add the given label to the property. label on the left hand side, property on the right.

CompiledName: op_AtBar

( |@ ) x y
Signature: x:'?73789 -> y:string -> Property
Type parameters: '?73789

Add the given label to the property. Property on the left hand side, label on the right.

CompiledName: op_BarAt

( ==> ) condition assertion
Signature: condition:bool -> assertion:'Testable -> Property
Type parameters: 'Testable

Conditional property combinator. Resulting property holds if the property after ==> holds whenever the condition does.

CompiledName: op_EqualsEqualsGreater

Fork me on GitHub