fast-check/lib/cjs/fast-check-default.js

Property based testing framework for JavaScript (like QuickCheck)

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.letrec = exports.jsonValue = exports.json = exports.object = exports.anything = exports.map = exports.dictionary = exports.record = exports.tuple = exports.uniqueArray = exports.set = exports.infiniteStream = exports.sparseArray = exports.array = exports.subarray = exports.shuffledSubarray = exports.noShrink = exports.noBias = exports.clone = exports.oneof = exports.option = exports.mapToConstant = exports.constantFrom = exports.constant = exports.lorem = exports.limitShrink = exports.stringMatching = exports.base64String = exports.string = exports.mixedCase = exports.bigInt = exports.maxSafeNat = exports.maxSafeInteger = exports.nat = exports.integer = exports.double = exports.float = exports.falsy = exports.boolean = exports.asyncProperty = exports.property = exports.PreconditionFailure = exports.pre = exports.assert = exports.check = exports.statistics = exports.sample = exports.__commitHash = exports.__version = exports.__type = void 0;
exports.asyncStringify = exports.stringify = exports.getDepthContextFor = exports.hasAsyncToStringMethod = exports.asyncToStringMethod = exports.hasToStringMethod = exports.toStringMethod = exports.hasCloneMethod = exports.cloneIfNeeded = exports.cloneMethod = exports.Value = exports.Arbitrary = exports.schedulerFor = exports.scheduler = exports.commands = exports.scheduledModelRun = exports.modelRun = exports.asyncModelRun = exports.bigUint64Array = exports.bigInt64Array = exports.float64Array = exports.float32Array = exports.uint32Array = exports.int32Array = exports.uint16Array = exports.int16Array = exports.uint8ClampedArray = exports.uint8Array = exports.int8Array = exports.uuid = exports.ulid = exports.emailAddress = exports.webUrl = exports.webQueryParameters = exports.webPath = exports.webFragments = exports.webSegment = exports.webAuthority = exports.domain = exports.ipV6 = exports.ipV4Extended = exports.ipV4 = exports.date = exports.gen = exports.context = exports.func = exports.compareFunc = exports.compareBooleanFunc = exports.entityGraph = exports.memo = void 0;
exports.createDepthIdentifier = exports.stream = exports.Stream = exports.Random = exports.ExecutionStatus = exports.resetConfigureGlobal = exports.readConfigureGlobal = exports.configureGlobal = exports.VerbosityLevel = exports.hash = exports.asyncDefaultReportMessage = exports.defaultReportMessage = void 0;
const Pre_js_1 = require("./check/precondition/Pre.js");
Object.defineProperty(exports, "pre", { enumerable: true, get: function () { return Pre_js_1.pre; } });
const AsyncProperty_js_1 = require("./check/property/AsyncProperty.js");
Object.defineProperty(exports, "asyncProperty", { enumerable: true, get: function () { return AsyncProperty_js_1.asyncProperty; } });
const Property_js_1 = require("./check/property/Property.js");
Object.defineProperty(exports, "property", { enumerable: true, get: function () { return Property_js_1.property; } });
const Runner_js_1 = require("./check/runner/Runner.js");
Object.defineProperty(exports, "assert", { enumerable: true, get: function () { return Runner_js_1.assert; } });
Object.defineProperty(exports, "check", { enumerable: true, get: function () { return Runner_js_1.check; } });
const Sampler_js_1 = require("./check/runner/Sampler.js");
Object.defineProperty(exports, "sample", { enumerable: true, get: function () { return Sampler_js_1.sample; } });
Object.defineProperty(exports, "statistics", { enumerable: true, get: function () { return Sampler_js_1.statistics; } });
const gen_js_1 = require("./arbitrary/gen.js");
Object.defineProperty(exports, "gen", { enumerable: true, get: function () { return gen_js_1.gen; } });
const array_js_1 = require("./arbitrary/array.js");
Object.defineProperty(exports, "array", { enumerable: true, get: function () { return array_js_1.array; } });
const bigInt_js_1 = require("./arbitrary/bigInt.js");
Object.defineProperty(exports, "bigInt", { enumerable: true, get: function () { return bigInt_js_1.bigInt; } });
const boolean_js_1 = require("./arbitrary/boolean.js");
Object.defineProperty(exports, "boolean", { enumerable: true, get: function () { return boolean_js_1.boolean; } });
const falsy_js_1 = require("./arbitrary/falsy.js");
Object.defineProperty(exports, "falsy", { enumerable: true, get: function () { return falsy_js_1.falsy; } });
const constant_js_1 = require("./arbitrary/constant.js");
Object.defineProperty(exports, "constant", { enumerable: true, get: function () { return constant_js_1.constant; } });
const constantFrom_js_1 = require("./arbitrary/constantFrom.js");
Object.defineProperty(exports, "constantFrom", { enumerable: true, get: function () { return constantFrom_js_1.constantFrom; } });
const context_js_1 = require("./arbitrary/context.js");
Object.defineProperty(exports, "context", { enumerable: true, get: function () { return context_js_1.context; } });
const date_js_1 = require("./arbitrary/date.js");
Object.defineProperty(exports, "date", { enumerable: true, get: function () { return date_js_1.date; } });
const clone_js_1 = require("./arbitrary/clone.js");
Object.defineProperty(exports, "clone", { enumerable: true, get: function () { return clone_js_1.clone; } });
const dictionary_js_1 = require("./arbitrary/dictionary.js");
Object.defineProperty(exports, "dictionary", { enumerable: true, get: function () { return dictionary_js_1.dictionary; } });
const emailAddress_js_1 = require("./arbitrary/emailAddress.js");
Object.defineProperty(exports, "emailAddress", { enumerable: true, get: function () { return emailAddress_js_1.emailAddress; } });
const double_js_1 = require("./arbitrary/double.js");
Object.defineProperty(exports, "double", { enumerable: true, get: function () { return double_js_1.double; } });
const float_js_1 = require("./arbitrary/float.js");
Object.defineProperty(exports, "float", { enumerable: true, get: function () { return float_js_1.float; } });
const compareBooleanFunc_js_1 = require("./arbitrary/compareBooleanFunc.js");
Object.defineProperty(exports, "compareBooleanFunc", { enumerable: true, get: function () { return compareBooleanFunc_js_1.compareBooleanFunc; } });
const compareFunc_js_1 = require("./arbitrary/compareFunc.js");
Object.defineProperty(exports, "compareFunc", { enumerable: true, get: function () { return compareFunc_js_1.compareFunc; } });
const func_js_1 = require("./arbitrary/func.js");
Object.defineProperty(exports, "func", { enumerable: true, get: function () { return func_js_1.func; } });
const domain_js_1 = require("./arbitrary/domain.js");
Object.defineProperty(exports, "domain", { enumerable: true, get: function () { return domain_js_1.domain; } });
const integer_js_1 = require("./arbitrary/integer.js");
Object.defineProperty(exports, "integer", { enumerable: true, get: function () { return integer_js_1.integer; } });
const maxSafeInteger_js_1 = require("./arbitrary/maxSafeInteger.js");
Object.defineProperty(exports, "maxSafeInteger", { enumerable: true, get: function () { return maxSafeInteger_js_1.maxSafeInteger; } });
const maxSafeNat_js_1 = require("./arbitrary/maxSafeNat.js");
Object.defineProperty(exports, "maxSafeNat", { enumerable: true, get: function () { return maxSafeNat_js_1.maxSafeNat; } });
const nat_js_1 = require("./arbitrary/nat.js");
Object.defineProperty(exports, "nat", { enumerable: true, get: function () { return nat_js_1.nat; } });
const ipV4_js_1 = require("./arbitrary/ipV4.js");
Object.defineProperty(exports, "ipV4", { enumerable: true, get: function () { return ipV4_js_1.ipV4; } });
const ipV4Extended_js_1 = require("./arbitrary/ipV4Extended.js");
Object.defineProperty(exports, "ipV4Extended", { enumerable: true, get: function () { return ipV4Extended_js_1.ipV4Extended; } });
const ipV6_js_1 = require("./arbitrary/ipV6.js");
Object.defineProperty(exports, "ipV6", { enumerable: true, get: function () { return ipV6_js_1.ipV6; } });
const letrec_js_1 = require("./arbitrary/letrec.js");
Object.defineProperty(exports, "letrec", { enumerable: true, get: function () { return letrec_js_1.letrec; } });
const entityGraph_js_1 = require("./arbitrary/entityGraph.js");
Object.defineProperty(exports, "entityGraph", { enumerable: true, get: function () { return entityGraph_js_1.entityGraph; } });
const lorem_js_1 = require("./arbitrary/lorem.js");
Object.defineProperty(exports, "lorem", { enumerable: true, get: function () { return lorem_js_1.lorem; } });
const map_js_1 = require("./arbitrary/map.js");
Object.defineProperty(exports, "map", { enumerable: true, get: function () { return map_js_1.map; } });
const mapToConstant_js_1 = require("./arbitrary/mapToConstant.js");
Object.defineProperty(exports, "mapToConstant", { enumerable: true, get: function () { return mapToConstant_js_1.mapToConstant; } });
const memo_js_1 = require("./arbitrary/memo.js");
Object.defineProperty(exports, "memo", { enumerable: true, get: function () { return memo_js_1.memo; } });
const mixedCase_js_1 = require("./arbitrary/mixedCase.js");
Object.defineProperty(exports, "mixedCase", { enumerable: true, get: function () { return mixedCase_js_1.mixedCase; } });
const object_js_1 = require("./arbitrary/object.js");
Object.defineProperty(exports, "object", { enumerable: true, get: function () { return object_js_1.object; } });
const json_js_1 = require("./arbitrary/json.js");
Object.defineProperty(exports, "json", { enumerable: true, get: function () { return json_js_1.json; } });
const anything_js_1 = require("./arbitrary/anything.js");
Object.defineProperty(exports, "anything", { enumerable: true, get: function () { return anything_js_1.anything; } });
const jsonValue_js_1 = require("./arbitrary/jsonValue.js");
Object.defineProperty(exports, "jsonValue", { enumerable: true, get: function () { return jsonValue_js_1.jsonValue; } });
const oneof_js_1 = require("./arbitrary/oneof.js");
Object.defineProperty(exports, "oneof", { enumerable: true, get: function () { return oneof_js_1.oneof; } });
const option_js_1 = require("./arbitrary/option.js");
Object.defineProperty(exports, "option", { enumerable: true, get: function () { return option_js_1.option; } });
const record_js_1 = require("./arbitrary/record.js");
Object.defineProperty(exports, "record", { enumerable: true, get: function () { return record_js_1.record; } });
const uniqueArray_js_1 = require("./arbitrary/uniqueArray.js");
Object.defineProperty(exports, "uniqueArray", { enumerable: true, get: function () { return uniqueArray_js_1.uniqueArray; } });
const set_js_1 = require("./arbitrary/set.js");
Object.defineProperty(exports, "set", { enumerable: true, get: function () { return set_js_1.set; } });
const infiniteStream_js_1 = require("./arbitrary/infiniteStream.js");
Object.defineProperty(exports, "infiniteStream", { enumerable: true, get: function () { return infiniteStream_js_1.infiniteStream; } });
const base64String_js_1 = require("./arbitrary/base64String.js");
Object.defineProperty(exports, "base64String", { enumerable: true, get: function () { return base64String_js_1.base64String; } });
const string_js_1 = require("./arbitrary/string.js");
Object.defineProperty(exports, "string", { enumerable: true, get: function () { return string_js_1.string; } });
const subarray_js_1 = require("./arbitrary/subarray.js");
Object.defineProperty(exports, "subarray", { enumerable: true, get: function () { return subarray_js_1.subarray; } });
const shuffledSubarray_js_1 = require("./arbitrary/shuffledSubarray.js");
Object.defineProperty(exports, "shuffledSubarray", { enumerable: true, get: function () { return shuffledSubarray_js_1.shuffledSubarray; } });
const tuple_js_1 = require("./arbitrary/tuple.js");
Object.defineProperty(exports, "tuple", { enumerable: true, get: function () { return tuple_js_1.tuple; } });
const ulid_js_1 = require("./arbitrary/ulid.js");
Object.defineProperty(exports, "ulid", { enumerable: true, get: function () { return ulid_js_1.ulid; } });
const uuid_js_1 = require("./arbitrary/uuid.js");
Object.defineProperty(exports, "uuid", { enumerable: true, get: function () { return uuid_js_1.uuid; } });
const webAuthority_js_1 = require("./arbitrary/webAuthority.js");
Object.defineProperty(exports, "webAuthority", { enumerable: true, get: function () { return webAuthority_js_1.webAuthority; } });
const webFragments_js_1 = require("./arbitrary/webFragments.js");
Object.defineProperty(exports, "webFragments", { enumerable: true, get: function () { return webFragments_js_1.webFragments; } });
const webPath_js_1 = require("./arbitrary/webPath.js");
Object.defineProperty(exports, "webPath", { enumerable: true, get: function () { return webPath_js_1.webPath; } });
const webQueryParameters_js_1 = require("./arbitrary/webQueryParameters.js");
Object.defineProperty(exports, "webQueryParameters", { enumerable: true, get: function () { return webQueryParameters_js_1.webQueryParameters; } });
const webSegment_js_1 = require("./arbitrary/webSegment.js");
Object.defineProperty(exports, "webSegment", { enumerable: true, get: function () { return webSegment_js_1.webSegment; } });
const webUrl_js_1 = require("./arbitrary/webUrl.js");
Object.defineProperty(exports, "webUrl", { enumerable: true, get: function () { return webUrl_js_1.webUrl; } });
const commands_js_1 = require("./arbitrary/commands.js");
Object.defineProperty(exports, "commands", { enumerable: true, get: function () { return commands_js_1.commands; } });
const ModelRunner_js_1 = require("./check/model/ModelRunner.js");
Object.defineProperty(exports, "asyncModelRun", { enumerable: true, get: function () { return ModelRunner_js_1.asyncModelRun; } });
Object.defineProperty(exports, "modelRun", { enumerable: true, get: function () { return ModelRunner_js_1.modelRun; } });
Object.defineProperty(exports, "scheduledModelRun", { enumerable: true, get: function () { return ModelRunner_js_1.scheduledModelRun; } });
const Random_js_1 = require("./random/generator/Random.js");
Object.defineProperty(exports, "Random", { enumerable: true, get: function () { return Random_js_1.Random; } });
const GlobalParameters_js_1 = require("./check/runner/configuration/GlobalParameters.js");
Object.defineProperty(exports, "configureGlobal", { enumerable: true, get: function () { return GlobalParameters_js_1.configureGlobal; } });
Object.defineProperty(exports, "readConfigureGlobal", { enumerable: true, get: function () { return GlobalParameters_js_1.readConfigureGlobal; } });
Object.defineProperty(exports, "resetConfigureGlobal", { enumerable: true, get: function () { return GlobalParameters_js_1.resetConfigureGlobal; } });
const VerbosityLevel_js_1 = require("./check/runner/configuration/VerbosityLevel.js");
Object.defineProperty(exports, "VerbosityLevel", { enumerable: true, get: function () { return VerbosityLevel_js_1.VerbosityLevel; } });
const ExecutionStatus_js_1 = require("./check/runner/reporter/ExecutionStatus.js");
Object.defineProperty(exports, "ExecutionStatus", { enumerable: true, get: function () { return ExecutionStatus_js_1.ExecutionStatus; } });
const symbols_js_1 = require("./check/symbols.js");
Object.defineProperty(exports, "cloneMethod", { enumerable: true, get: function () { return symbols_js_1.cloneMethod; } });
Object.defineProperty(exports, "cloneIfNeeded", { enumerable: true, get: function () { return symbols_js_1.cloneIfNeeded; } });
Object.defineProperty(exports, "hasCloneMethod", { enumerable: true, get: function () { return symbols_js_1.hasCloneMethod; } });
const Stream_js_1 = require("./stream/Stream.js");
Object.defineProperty(exports, "Stream", { enumerable: true, get: function () { return Stream_js_1.Stream; } });
Object.defineProperty(exports, "stream", { enumerable: true, get: function () { return Stream_js_1.stream; } });
const hash_js_1 = require("./utils/hash.js");
Object.defineProperty(exports, "hash", { enumerable: true, get: function () { return hash_js_1.hash; } });
const stringify_js_1 = require("./utils/stringify.js");
Object.defineProperty(exports, "stringify", { enumerable: true, get: function () { return stringify_js_1.stringify; } });
Object.defineProperty(exports, "asyncStringify", { enumerable: true, get: function () { return stringify_js_1.asyncStringify; } });
Object.defineProperty(exports, "toStringMethod", { enumerable: true, get: function () { return stringify_js_1.toStringMethod; } });
Object.defineProperty(exports, "hasToStringMethod", { enumerable: true, get: function () { return stringify_js_1.hasToStringMethod; } });
Object.defineProperty(exports, "asyncToStringMethod", { enumerable: true, get: function () { return stringify_js_1.asyncToStringMethod; } });
Object.defineProperty(exports, "hasAsyncToStringMethod", { enumerable: true, get: function () { return stringify_js_1.hasAsyncToStringMethod; } });
const scheduler_js_1 = require("./arbitrary/scheduler.js");
Object.defineProperty(exports, "scheduler", { enumerable: true, get: function () { return scheduler_js_1.scheduler; } });
Object.defineProperty(exports, "schedulerFor", { enumerable: true, get: function () { return scheduler_js_1.schedulerFor; } });
const RunDetailsFormatter_js_1 = require("./check/runner/utils/RunDetailsFormatter.js");
Object.defineProperty(exports, "defaultReportMessage", { enumerable: true, get: function () { return RunDetailsFormatter_js_1.defaultReportMessage; } });
Object.defineProperty(exports, "asyncDefaultReportMessage", { enumerable: true, get: function () { return RunDetailsFormatter_js_1.asyncDefaultReportMessage; } });
const PreconditionFailure_js_1 = require("./check/precondition/PreconditionFailure.js");
Object.defineProperty(exports, "PreconditionFailure", { enumerable: true, get: function () { return PreconditionFailure_js_1.PreconditionFailure; } });
const int8Array_js_1 = require("./arbitrary/int8Array.js");
Object.defineProperty(exports, "int8Array", { enumerable: true, get: function () { return int8Array_js_1.int8Array; } });
const int16Array_js_1 = require("./arbitrary/int16Array.js");
Object.defineProperty(exports, "int16Array", { enumerable: true, get: function () { return int16Array_js_1.int16Array; } });
const int32Array_js_1 = require("./arbitrary/int32Array.js");
Object.defineProperty(exports, "int32Array", { enumerable: true, get: function () { return int32Array_js_1.int32Array; } });
const uint8Array_js_1 = require("./arbitrary/uint8Array.js");
Object.defineProperty(exports, "uint8Array", { enumerable: true, get: function () { return uint8Array_js_1.uint8Array; } });
const uint8ClampedArray_js_1 = require("./arbitrary/uint8ClampedArray.js");
Object.defineProperty(exports, "uint8ClampedArray", { enumerable: true, get: function () { return uint8ClampedArray_js_1.uint8ClampedArray; } });
const uint16Array_js_1 = require("./arbitrary/uint16Array.js");
Object.defineProperty(exports, "uint16Array", { enumerable: true, get: function () { return uint16Array_js_1.uint16Array; } });
const uint32Array_js_1 = require("./arbitrary/uint32Array.js");
Object.defineProperty(exports, "uint32Array", { enumerable: true, get: function () { return uint32Array_js_1.uint32Array; } });
const float32Array_js_1 = require("./arbitrary/float32Array.js");
Object.defineProperty(exports, "float32Array", { enumerable: true, get: function () { return float32Array_js_1.float32Array; } });
const float64Array_js_1 = require("./arbitrary/float64Array.js");
Object.defineProperty(exports, "float64Array", { enumerable: true, get: function () { return float64Array_js_1.float64Array; } });
const sparseArray_js_1 = require("./arbitrary/sparseArray.js");
Object.defineProperty(exports, "sparseArray", { enumerable: true, get: function () { return sparseArray_js_1.sparseArray; } });
const Arbitrary_js_1 = require("./check/arbitrary/definition/Arbitrary.js");
Object.defineProperty(exports, "Arbitrary", { enumerable: true, get: function () { return Arbitrary_js_1.Arbitrary; } });
const Value_js_1 = require("./check/arbitrary/definition/Value.js");
Object.defineProperty(exports, "Value", { enumerable: true, get: function () { return Value_js_1.Value; } });
const DepthContext_js_1 = require("./arbitrary/_internals/helpers/DepthContext.js");
Object.defineProperty(exports, "createDepthIdentifier", { enumerable: true, get: function () { return DepthContext_js_1.createDepthIdentifier; } });
Object.defineProperty(exports, "getDepthContextFor", { enumerable: true, get: function () { return DepthContext_js_1.getDepthContextFor; } });
const bigInt64Array_js_1 = require("./arbitrary/bigInt64Array.js");
Object.defineProperty(exports, "bigInt64Array", { enumerable: true, get: function () { return bigInt64Array_js_1.bigInt64Array; } });
const bigUint64Array_js_1 = require("./arbitrary/bigUint64Array.js");
Object.defineProperty(exports, "bigUint64Array", { enumerable: true, get: function () { return bigUint64Array_js_1.bigUint64Array; } });
const stringMatching_js_1 = require("./arbitrary/stringMatching.js");
Object.defineProperty(exports, "stringMatching", { enumerable: true, get: function () { return stringMatching_js_1.stringMatching; } });
const noShrink_js_1 = require("./arbitrary/noShrink.js");
Object.defineProperty(exports, "noShrink", { enumerable: true, get: function () { return noShrink_js_1.noShrink; } });
const noBias_js_1 = require("./arbitrary/noBias.js");
Object.defineProperty(exports, "noBias", { enumerable: true, get: function () { return noBias_js_1.noBias; } });
const limitShrink_js_1 = require("./arbitrary/limitShrink.js");
Object.defineProperty(exports, "limitShrink", { enumerable: true, get: function () { return limitShrink_js_1.limitShrink; } });
const __type = 'commonjs';
exports.__type = __type;
const __version = '4.5.0';
exports.__version = __version;
const __commitHash = '9d0797a79a0101bba146db1bcc0dcf6febbce295';
exports.__commitHash = __commitHash;