Preparing search index...
The search index is not available
effect-ts-laws
effect-ts-laws
arbitrary
LiftedEquivalenceToArbitrary
Type Alias LiftedEquivalenceToArbitrary<F, Eq>
Lifted
Equivalence
To
Arbitrary
<
F
,
Eq
>
:
(
(
eq
:
Eq
)
=>
Eq
extends
LiftEquivalence
<
F
,
infer
In1
,
infer
Out2
,
infer
Out1
>
?
LiftArbitrary
<
F
,
In1
,
Out2
,
Out1
>
:
never
)
Convert the type of a function that lifts equivalences into one that lifts arbitraries.
Type Parameters
F
extends
TypeLambda
Eq
extends
LiftEquivalence
<
F
,
any
,
any
,
any
>
Settings
Member Visibility
Internal
Theme
OS
Light
Dark
effect-ts-laws
Loading...
Convert the type of a function that lifts equivalences into one that lifts arbitraries.