Namespace shrink

Index

Interfaces

Shrink

Type aliases

URI

Variables

URI

Functions

Type aliases

URI

URI: typeof shrink.URI

Variables

Const URI

URI: "Shrinkable" = "Shrinkable"

Functions

array

array<A>(shrink: Shrink<A>): Shrink<readonly A[]>

- Defined in packages/core/src/shrink.ts:32
summary
Shrinks an array, using the provided Shrink to shrink the elements.

todo
Use rightDichotomy for the indexes, otherwise we'll end up far too many arrays.

Type parameters
- A
Parameters
- shrink: Shrink<A>
Returns Shrink<readonly A[]>

boolean

boolean(r: boolean): Iterable<boolean>

- Defined in packages/core/src/shrink.ts:55
Parameters
- r: boolean
Returns Iterable<boolean>

char

char(r: string): Iterable<string>

- Defined in packages/core/src/shrink.ts:117
Parameters
- r: string
Returns Iterable<string>

imap

imap<A, B>(f: (a: A) => B, g: (b: B) => A): (fa: Shrink<A>) => Shrink<B>

- Defined in packages/core/src/shrink.ts:19
Type parameters
- A
- B
Parameters
- f: (a: A) => B
  - - (a: A): B
    - Parameters
      - a: A
      Returns B
- g: (b: B) => A
  - - (b: B): A
    - Parameters
      - b: B
      Returns A
Returns (fa: Shrink<A>) => Shrink<B>
- - (fa: Shrink<A>): Shrink<B>
  - Parameters
    - fa: Shrink<A>
    Returns Shrink<B>

integer

integer(r: number): Iterable<number>

- Defined in packages/core/src/shrink.ts:108
Parameters
- r: number
Returns Iterable<number>

partial

partial<T>(shrinks: { readonly [ P in string | number | symbol]: Shrink<T[P]> }): Shrink<Partial<T>>

- Defined in packages/core/src/shrink.ts:75
Type parameters
- T: Record<string, unknown>
Parameters
- shrinks: { readonly [ P in string | number | symbol]: Shrink<T[P]> }
Returns Shrink<Partial<T>>

string

string(r: string): Iterable<string>

- Defined in packages/core/src/shrink.ts:125
Parameters
- r: string
Returns Iterable<string>

struct

struct<T>(shrinks: { readonly [ P in string | number | symbol]: Shrink<T[P]> }): Shrink<T>

- Defined in packages/core/src/shrink.ts:58
Type parameters
- T: Record<string, unknown>
Parameters
- shrinks: { readonly [ P in string | number | symbol]: Shrink<T[P]> }
Returns Shrink<T>

zero

zero<A>(): Shrink<A>

- Defined in packages/core/src/shrink.ts:24
Type parameters
- A
Returns Shrink<A>

Generated using TypeDoc