Function validateGeneratedValues

packages/effect/test/Schema/SchemaTest.ts:94–106

* Verifies that the schema generates valid arbitrary values that satisfy * the schema.

(schema: Schema.Schema<A, I, R>, options?: {
        readonly params?: FastCheck.Parameters<[A]> | undefined
      })

       * the schema.
       */
      validateGeneratedValues<A, I, R>(schema: Schema.Schema<A, I, R>, options?: {
        readonly params?: FastCheck.Parameters<[A]> | undefined
      }) {
        if (config.arbitrary?.validateGeneratedValues?.skip === true) {
          return
        }
        const params = Predicate.isObject(config.arbitrary?.validateGeneratedValues)
          ? { ...config.arbitrary?.validateGeneratedValues?.params, ...options?.params }
          : options?.params
        const is = Schema.is(schema)
        const arb = Arbitrary.make(schema)
        FastCheck.assert(FastCheck.property(arb, (a) => is(a)), params)
      }
    },

    /**