Interface LiftArbitrary<F, In1, Out2, Out1>

The type of a function that given any arbitrary of type A, returns an arbitrary for F<A>.

Type Parameters

F extends TypeLambda
In1 = never
Out2 = unknown
Out1 = unknown

LiftArbitrary<A>(a): Arbitrary<Kind<F, In1, Out2, Out1, A>>
Type Parameters
- A
Parameters
- a: Arbitrary<A>
Returns Arbitrary<Kind<F, In1, Out2, Out1, A>>
- Defined in src/arbitrary/types.ts:17