Interface: IProperty<Ts>
Defined in: packages/fast-check/src/check/property/Property.generic.ts:30
Interface for synchronous property, see IRawProperty
Remarks
Since 1.19.0
Extends
IRawProperty<Ts,false>
Extended by
Type Parameters
| Type Parameter |
|---|
Ts |
Properties
runAfterEach
runAfterEach: () =>
void
Defined in: packages/fast-check/src/check/property/IRawProperty.ts:81
Run after each hook
Returns
void
Remarks
Since 3.4.0
Inherited from
runBeforeEach
runBeforeEach: () =>
void
Defined in: packages/fast-check/src/check/property/IRawProperty.ts:75
Run before each hook
Returns
void
Remarks
Since 3.4.0
Inherited from
Methods
generate()
generate(
mrng,runId?):Value<Ts>
Defined in: packages/fast-check/src/check/property/IRawProperty.ts:49
Generate values of type Ts
Parameters
| Parameter | Type | Description |
|---|---|---|
mrng | Random | Random number generator |
runId? | number | Id of the generation, starting at 0 - if set the generation might be biased |
Returns
Value<Ts>
Remarks
Since 0.0.7 (return type changed in 3.0.0)
Inherited from
isAsync()
isAsync():
false
Defined in: packages/fast-check/src/check/property/IRawProperty.ts:39
Is the property asynchronous?
true in case of asynchronous property, false otherwise
Returns
false
Remarks
Since 0.0.7
Inherited from
run()
run(
v):PreconditionFailure|PropertyFailure|null
Defined in: packages/fast-check/src/check/property/IRawProperty.ts:65
Check the predicate for v
Parameters
| Parameter | Type | Description |
|---|---|---|
v | Ts | Value of which we want to check the predicate |
Returns
PreconditionFailure | PropertyFailure | null
Remarks
Since 0.0.7
Inherited from
shrink()
Defined in: packages/fast-check/src/check/property/IRawProperty.ts:58
Shrink value of type Ts
Parameters
| Parameter | Type | Description |
|---|---|---|
value | Value<Ts> | The value to be shrunk, it can be context-less |
Returns
Remarks
Since 3.0.0