FsCheck


PropOperators

Namespace: FsCheck

Operators for Prop.

Functions and values

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

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 -> '?210374 -> Property
Type parameters: '?210374

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

CompiledName: op_AtBar

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

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