Dependent <T>

Hierarchy

• Arbitrary<T>
  • Dependent

Index

Properties

• chain
• constant
• map
• random
• supremumCardinality
• value

Methods

• filter
• sample

Properties

chain

chain: <U>(f: (x: T, context: ArbitraryContext) => Arbitrary<U>) => Dependent<U>

Type declaration

• • <U>(f: (x: T, context: ArbitraryContext) => Arbitrary<U>): Dependent<U>

  • Type parameters

    • U

    Parameters

    • f: (x: T, context: ArbitraryContext) => Arbitrary<U>

    Returns Dependent<U>

constant

constant: (isConstant?: boolean) => Dependent<T>

Type declaration

• • (isConstant?: boolean): Dependent<T>

  • Parameters

    • optionalisConstant: boolean

    Returns Dependent<T>

map

map: <U>(f: (x: T, context: ArbitraryContext) => U) => Dependent<U>

Type declaration

• • <U>(f: (x: T, context: ArbitraryContext) => U): Dependent<U>

  • Type parameters

    • U

    Parameters

    • f: (x: T, context: ArbitraryContext) => U

    Returns Dependent<U>

random

random: (context?: ArbitraryContext) => T

Type declaration

• • (context?: ArbitraryContext): T

  • Parameters

    • optionalcontext: ArbitraryContext

    Returns T

optionalsupremumCardinality

supremumCardinality?: (context: ArbitrarySizeContext) => number

Inherited from Arbitrary.supremumCardinality

Type declaration

• • (context: ArbitrarySizeContext): number

  • Parameters

    • context: ArbitrarySizeContext

    Returns number

value

value: (context: ArbitraryContext) => Tree<T>

Inherited from Arbitrary.value

Type declaration

• • (context: ArbitraryContext): Tree<T>

  • Parameters

    • context: ArbitraryContext

    Returns Tree<T>

Methods

filter

• filter<S>(f: (x: T, context: ArbitraryContext) => x is S): Dependent<S>
• filter(f: (x: T, context: ArbitraryContext) => boolean): Dependent<T>

• Type parameters

  • S

  Parameters

  • f: (x: T, context: ArbitraryContext) => x is S

  Returns Dependent<S>

sample

• sample(context: ArbitraryContext): T

• Parameters

  • context: ArbitraryContext

  Returns T