| PropExtensions Methods |
The PropExtensions type exposes the following members.
Methods| Name | Description | |
|---|---|---|
  | AndTLeftTestable, TRightTestable |
Wrapper method around FsCheck's .&. operator that succeeds if both properties succeed.
|
| AndAllTTestable |
Convenience method that applies FsCheck's .&. operator to a collection of properties and succeeds if all properties succeed.
|
| ImpliesTTestable |
Wrapper method around FsCheck's ==> implication operator.
|
| LabelTTestable |
Wrapper method around FsCheck's |@ property operator.
|
| OrTLeftTestable, TRightTestable |
Wrapper method around FsCheck's .|. operator that fails if both properties fail.
|
| OrAllTTestable |
Convenience method that applies FsCheck's .|. operator to a collection of properties and fails if all properties fail.
|
See Also