Dependent
Extends
Arbitrary
<T
>
Type Parameters
• T
Methods
filter()
Call Signature
filter<
S
>(f
):Dependent
<S
>
Type Parameters
• S
Parameters
f
(x
, context
) => x is S
Returns
Dependent
<S
>
Call Signature
filter(
f
):Dependent
<T
>
Parameters
f
(x
, context
) => boolean
Returns
Dependent
<T
>
sample()
sample(
context
):T
Parameters
context
Returns
T
Properties
chain()
chain: <
U
>(f
) =>Dependent
<U
>
Type Parameters
• U
Parameters
f
(x
, context
) => Arbitrary
<U
>
Returns
Dependent
<U
>
constant()
constant: (
isConstant
?) =>Dependent
<T
>
Parameters
isConstant?
boolean
Returns
Dependent
<T
>
map()
map: <
U
>(f
) =>Dependent
<U
>
Type Parameters
• U
Parameters
f
(x
, context
) => U
Returns
Dependent
<U
>
random()
random: (
context
?) =>T
Parameters
context?
Returns
T
supremumCardinality()?
optional
supremumCardinality: (context
) =>number
Parameters
context
ArbitrarySizeContext
Returns
number
Inherited from
value()
value: (
context
) =>Tree
<T
>
Parameters
context
Returns
Tree
<T
>