Function unaryFromKind

unaryFromKind<A, F extends TypeLambda, R = never, O = unknown, E = unknown>(): <
B,
>(
b: Arbitrary<B>,
) => Arbitrary<(fa: Kind<F, R, O, E, A>) => B>
An arbitrary for a function from F<A> to B. Requires an arbitrary of B and specifying the kind type parameters.
Type Parameters
- A
- F extends TypeLambda
- R = never
- O = unknown
- E = unknown
Returns <B>(b: Arbitrary<B>) => Arbitrary<(fa: Kind<F, R, O, E, A>) => B>
An arbitrary of type (a: F<A>) => B.
- Defined in src/arbitrary/function.ts:66