Function collectionArbitrary

packages/effect/src/Schema.ts:11021–11059

(
  fc: typeof FastCheck,
  ctx: Annotations.ToArbitrary.Context,
  item: FastCheck.Arbitrary<T>,
  terminalItem: FastCheck.Arbitrary<T> | undefined,
  fromIterable: (items: Array<T>) => Out,
  comparator?: ((a: T, b: T) => boolean) | undefined
)

}

function collectionArbitrary<T, Out>(
  fc: typeof FastCheck,
  ctx: Annotations.ToArbitrary.Context,
  item: FastCheck.Arbitrary<T>,
  terminalItem: FastCheck.Arbitrary<T> | undefined,
  fromIterable: (items: Array<T>) => Out,
  comparator?: ((a: T, b: T) => boolean) | undefined
) {
  const constraint = ctx.constraint
  const constraints = constraint === undefined ||
      (constraint.minLength === undefined && constraint.maxLength === undefined)
    ? undefined
    : {
      ...(constraint.minLength !== undefined ? { minLength: constraint.minLength } : {}),
      ...(constraint.maxLength !== undefined ? { maxLength: constraint.maxLength } : {})
    }
  if (
    constraints?.minLength !== undefined && constraints.maxLength !== undefined &&
    constraints.minLength > constraints.maxLength
  ) {
    throw new globalThis.Error("Unable to derive an arbitrary for size constraints")
  }
  const minLength = constraints?.minLength ?? 0
  const terminal = minLength === 0
    ? fc.constant<Array<T>>([])
    : terminalItem === undefined
    ? undefined
    : arrayFromItems(fc, terminalItem, { ...constraints, maxLength: minLength }, comparator)
  const arrays = withRecursion(
    fc,
    ctx,
    terminal,
    arrayFromItems(fc, item, constraints, comparator)
  )
  return {
    arbitrary: arrays.arbitrary.map(fromIterable),
    terminal: arrays.terminal?.map(fromIterable)
  }
}

function entriesArbitrary<K, V, Out>(
  fc: typeof FastCheck,