effect-ts-laws
Preparing search index...
index
LiftArbitrary
Interface LiftArbitrary<F, R, O, E>
The type of a function that given any arbitrary of type
A
, returns an arbitrary for
F<A>
.
Type Parameters
F
extends
TypeLambda
R
=
never
O
=
unknown
E
=
unknown
LiftArbitrary
<
A
>
(
a
:
Arbitrary
<
A
>
)
:
Arbitrary
<
Kind
<
F
,
R
,
O
,
E
,
A
>
>
Type Parameters
A
Parameters
a
:
Arbitrary
<
A
>
Returns
Arbitrary
<
Kind
<
F
,
R
,
O
,
E
,
A
>
>
Settings
Member Visibility
Internal
Theme
OS
Light
Dark
effect-ts-laws
Loading...
The type of a function that given any arbitrary of type
A, returns an arbitrary forF<A>.