PropExtensions.Implies(TTestable) Method

PropExtensionsImpliesTTestable Method

Wrapper method around FsCheck's ==> implication operator.

Namespace: FsCheckUtils
Assembly: FsCheckUtils (in FsCheckUtils.dll) Version: 1.0.1.0 (1.0.1.0)

Syntax

public static Gen<Rose<Result>> Implies<TTestable>(
	bool condition,
	TTestable assertion
)

Public Shared Function Implies(Of TTestable) ( 
	condition As Boolean,
	assertion As TTestable
) As Gen(Of Rose(Of Result))

public:
generic<typename TTestable>
static Gen<Rose<Result^>^>^ Implies(
	bool condition, 
	TTestable assertion
)

static member Implies : 
        condition : bool * 
        assertion : 'TTestable -> Gen<Rose<Result>>

condition: Type: SystemBoolean
The condition which, if true, implies that the property should be tested.
assertion: Type: TTestable
The property to test if the condition is true.

Type: GenRoseResult
A property that does or doesn't test the assertion depending on the condition