FsCheck


PropOperators

Namespace: FsCheck
Attributes:
[<AutoOpen>]

Operators for Prop.

Functions and values

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

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

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

CompiledName: op_AtBar

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

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