Function unaryInKind

unaryInKind<A>(): <F extends TypeLambda, R = never, O = unknown, E = unknown>(
of: <T>(t: T) => Kind<F, R, O, E, T>,
) => <B>(b: Arbitrary<B>) => Arbitrary<Kind<F, R, O, E, (a: A) => B>>
An arbitrary for the type F<A⇒B>. Requires an arbitrary of B, a function lifting A to F<A>, and the type A.
Type Parameters
- A
Returns <F extends TypeLambda, R = never, O = unknown, E = unknown>(
of: <T>(t: T) => Kind<F, R, O, E, T>,
) => <B>(b: Arbitrary<B>) => Arbitrary<Kind<F, R, O, E, (a: A) => B>>
An arbitrary of type F<(a: A) => B>.
- Defined in src/arbitrary/function.ts:79