Function unaryInKind

An arbitrary for the type F<A⇒B>. Requires an arbitrary of B, a function lifting A to F<A>, and the type A.

unaryInKind<A>(): (<F, In1, Out2, Out1>(of: (<T>(t: T) => Kind<F, In1, Out2, Out1, T>)) => ((b: Arbitrary) => Arbitrary<Kind<F, In1, Out2, Out1, ((a: A) => B)>>))
Type Parameters
- A
Returns (<F, In1, Out2, Out1>(of: (<T>(t: T) => Kind<F, In1, Out2, Out1, T>)) => ((b: Arbitrary) => Arbitrary<Kind<F, In1, Out2, Out1, ((a: A) => B)>>))
An arbitrary of type F<(a: A) => B>.
- - <F, In1, Out2, Out1>(of): ((b: Arbitrary) => Arbitrary<Kind<F, In1, Out2, Out1, ((a: A) => B)>>)
 - Type Parameters
 - F extends TypeLambda
 - In1 = never
 - Out2 = unknown
 - Out1 = unknown
 Parameters
 - of: (<T>(t: T) => Kind<F, In1, Out2, Out1, T>)
 <T>(t): Kind<F, In1, Out2, Out1, T>
 Type Parameters
 T
 Parameters
 t: T
 Returns Kind<F, In1, Out2, Out1, T>
 Returns ((b: Arbitrary) => Arbitrary<Kind<F, In1, Out2, Out1, ((a: A) => B)>>)
 - - (b): Arbitrary<Kind<F, In1, Out2, Out1, ((a: A) => B)>>
 - Type Parameters
 B
 Parameters
 b: Arbitrary
 Returns Arbitrary<Kind<F, In1, Out2, Out1, ((a: A) => B)>>
- Defined in src/arbitrary/function.ts:63