Namespace quickcheck

Index

Variables

quickcheckOptionsDefault

Functions

Variables

Const quickcheckOptionsDefault

quickcheckOptionsDefault: QuickCheckOptions = ...

Functions

async

async<I>(...a: [arbitrary: Arbitrary<I>, property: (value: I) => Assertion, options?: Partial<QuickCheckOptions>]): Promise<void>

- Defined in packages/core/src/quickcheck/assert.ts:99
Type parameters
- I
Parameters
- Rest ...a: [arbitrary: Arbitrary<I>, property: (value: I) => Assertion, options?: Partial<QuickCheckOptions>]
Returns Promise<void>

io

io<I>(arbitrary: Arbitrary<I>, property: (value: I) => void, options?: Partial<QuickCheckOptions>): IO<void>

- Defined in packages/core/src/quickcheck/assert.ts:87
Type parameters
- I
Parameters
- arbitrary: Arbitrary<I>
- property: (value: I) => void
  - - (value: I): void
    - Parameters
      - value: I
      Returns void
- Optional options: Partial<QuickCheckOptions>
Returns IO<void>

mk

mk<F, A>(options: AssertOptions1<F, A>): Assert1<F, A>
mk<F, A>(dependencies: AssertOptions<F, A>): Assert<F, A>

- Defined in packages/core/src/quickcheck/assert.ts:52
Type parameters
- F: keyof URItoKind<any>
- A
Parameters
- options: AssertOptions1<F, A>
Returns Assert1<F, A>
- Defined in packages/core/src/quickcheck/assert.ts:56
Type parameters
- F
- A
Parameters
- dependencies: AssertOptions<F, A>
Returns Assert<F, A>

sync

sync<I>(...a: [arbitrary: Arbitrary<I>, property: (value: I) => void, options?: Partial<QuickCheckOptions>]): void

- Defined in packages/core/src/quickcheck/assert.ts:98
Type parameters
- I
Parameters
- Rest ...a: [arbitrary: Arbitrary<I>, property: (value: I) => void, options?: Partial<QuickCheckOptions>]
Returns void

task

task<I>(arbitrary: Arbitrary<I>, property: (value: I) => Assertion, options?: Partial<QuickCheckOptions>): Task<void>

- Defined in packages/core/src/quickcheck/assert.ts:92
Type parameters
- I
Parameters
- arbitrary: Arbitrary<I>
- property: (value: I) => Assertion
  - - (value: I): Assertion
    - Parameters
      - value: I
      Returns Assertion
- Optional options: Partial<QuickCheckOptions>
Returns Task<void>

Generated using TypeDoc