effect-ts-laws
    Preparing search index...

    Function unaryToKind

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

      Type Parameters

      • A

      Returns <F extends TypeLambda, R, O, E>(
          getArbitrary: LiftArbitrary<F, R, O, E>,
      ) => <B>(b: Arbitrary<B>) => Arbitrary<(a: A) => Kind<F, R, O, E, B>>

      An arbitrary of type (a: A) => F<B>.