Function unaryToKind

An arbitrary for a function from A to F. Requires an arbitrary of B, a function converting arbitraries of A to arbitraries of F<A>, and the type A.

unaryToKind<A>(): (<F, In1, Out2, Out1>(getArbitrary: LiftArbitrary<F, In1, Out2, Out1>) => ((b: Arbitrary) => Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>))
Type Parameters
- A
Returns (<F, In1, Out2, Out1>(getArbitrary: LiftArbitrary<F, In1, Out2, Out1>) => ((b: Arbitrary) => Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>))
An arbitrary of type (a: A) => F.
- - <F, In1, Out2, Out1>(getArbitrary): ((b: Arbitrary) => Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>)
 - Type Parameters
 - F extends TypeLambda
 - In1
 - Out2
 - Out1
 Parameters
 - getArbitrary: LiftArbitrary<F, In1, Out2, Out1>
 Returns ((b: Arbitrary) => Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>)
 - - (b): Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>
 - Type Parameters
 B
 Parameters
 b: Arbitrary
 Returns Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>
- Defined in src/arbitrary/function.ts:32

Function unaryToKind

Type Parameters

Returns (<F, In1, Out2, Out1>(getArbitrary: LiftArbitrary<F, In1, Out2, Out1>) => (<B>(b: Arbitrary<B>) => Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>))

Type Parameters

Parameters

Returns (<B>(b: Arbitrary<B>) => Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>)

Type Parameters

Parameters

Returns Arbitrary<((a: A) => Kind<F, In1, Out2, Out1, B>)>

Settings