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

Property based testing framework for JavaScript (like QuickCheck)

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.resetConfigureGlobal = exports.readConfigureGlobal = exports.configureGlobal = exports.VerbosityLevel = exports.stream = exports.Stream = exports.Random = exports.ExecutionStatus = exports.defaultReportMessage = exports.stringify = exports.cloneMethod = exports.Shrinkable = exports.Arbitrary = exports.schedulerFor = exports.scheduler = exports.commands = exports.scheduledModelRun = exports.modelRun = exports.asyncModelRun = exports.uuidV = exports.uuid = exports.emailAddress = exports.webUrl = exports.webQueryParameters = exports.webFragments = exports.webSegment = exports.webAuthority = exports.domain = exports.ipV6 = exports.ipV4Extended = exports.ipV4 = exports.date = exports.context = exports.func = exports.compareFunc = exports.compareBooleanFunc = exports.memo = exports.letrec = exports.unicodeJsonObject = exports.unicodeJson = exports.jsonObject = exports.json = exports.object = exports.anything = exports.dictionary = exports.record = exports.genericTuple = exports.tuple = exports.set = exports.infiniteStream = exports.array = exports.subarray = exports.shuffledSubarray = exports.dedup = exports.frequency = exports.oneof = exports.option = exports.mapToConstant = exports.clonedConstant = exports.constantFrom = exports.constant = exports.lorem = exports.base64String = exports.hexaString = exports.fullUnicodeString = exports.unicodeString = exports.stringOf = exports.string16bits = exports.asciiString = exports.string = exports.mixedCase = exports.base64 = exports.hexa = exports.fullUnicode = exports.unicode = exports.char16bits = exports.ascii = exports.char = exports.bigUint = exports.bigInt = exports.bigUintN = exports.bigIntN = exports.maxSafeNat = exports.maxSafeInteger = exports.nat = exports.integer = exports.double = exports.float = exports.falsy = exports.boolean = exports.asyncProperty = exports.property = exports.pre = exports.assert = exports.check = exports.statistics = exports.sample = exports.__version = exports.__type = void 0;
const Pre_1 = require("./check/precondition/Pre");
Object.defineProperty(exports, "pre", { enumerable: true, get: function () { return Pre_1.pre; } });
const AsyncProperty_1 = require("./check/property/AsyncProperty");
Object.defineProperty(exports, "asyncProperty", { enumerable: true, get: function () { return AsyncProperty_1.asyncProperty; } });
const Property_1 = require("./check/property/Property");
Object.defineProperty(exports, "property", { enumerable: true, get: function () { return Property_1.property; } });
const Runner_1 = require("./check/runner/Runner");
Object.defineProperty(exports, "assert", { enumerable: true, get: function () { return Runner_1.assert; } });
Object.defineProperty(exports, "check", { enumerable: true, get: function () { return Runner_1.check; } });
const Sampler_1 = require("./check/runner/Sampler");
Object.defineProperty(exports, "sample", { enumerable: true, get: function () { return Sampler_1.sample; } });
Object.defineProperty(exports, "statistics", { enumerable: true, get: function () { return Sampler_1.statistics; } });
const ArrayArbitrary_1 = require("./check/arbitrary/ArrayArbitrary");
Object.defineProperty(exports, "array", { enumerable: true, get: function () { return ArrayArbitrary_1.array; } });
const BigIntArbitrary_1 = require("./check/arbitrary/BigIntArbitrary");
Object.defineProperty(exports, "bigInt", { enumerable: true, get: function () { return BigIntArbitrary_1.bigInt; } });
Object.defineProperty(exports, "bigIntN", { enumerable: true, get: function () { return BigIntArbitrary_1.bigIntN; } });
Object.defineProperty(exports, "bigUint", { enumerable: true, get: function () { return BigIntArbitrary_1.bigUint; } });
Object.defineProperty(exports, "bigUintN", { enumerable: true, get: function () { return BigIntArbitrary_1.bigUintN; } });
const BooleanArbitrary_1 = require("./check/arbitrary/BooleanArbitrary");
Object.defineProperty(exports, "boolean", { enumerable: true, get: function () { return BooleanArbitrary_1.boolean; } });
const FalsyArbitrary_1 = require("./check/arbitrary/FalsyArbitrary");
Object.defineProperty(exports, "falsy", { enumerable: true, get: function () { return FalsyArbitrary_1.falsy; } });
const CharacterArbitrary_1 = require("./check/arbitrary/CharacterArbitrary");
Object.defineProperty(exports, "ascii", { enumerable: true, get: function () { return CharacterArbitrary_1.ascii; } });
Object.defineProperty(exports, "base64", { enumerable: true, get: function () { return CharacterArbitrary_1.base64; } });
Object.defineProperty(exports, "char", { enumerable: true, get: function () { return CharacterArbitrary_1.char; } });
Object.defineProperty(exports, "char16bits", { enumerable: true, get: function () { return CharacterArbitrary_1.char16bits; } });
Object.defineProperty(exports, "fullUnicode", { enumerable: true, get: function () { return CharacterArbitrary_1.fullUnicode; } });
Object.defineProperty(exports, "hexa", { enumerable: true, get: function () { return CharacterArbitrary_1.hexa; } });
Object.defineProperty(exports, "unicode", { enumerable: true, get: function () { return CharacterArbitrary_1.unicode; } });
const ConstantArbitrary_1 = require("./check/arbitrary/ConstantArbitrary");
Object.defineProperty(exports, "clonedConstant", { enumerable: true, get: function () { return ConstantArbitrary_1.clonedConstant; } });
Object.defineProperty(exports, "constant", { enumerable: true, get: function () { return ConstantArbitrary_1.constant; } });
Object.defineProperty(exports, "constantFrom", { enumerable: true, get: function () { return ConstantArbitrary_1.constantFrom; } });
const ContextArbitrary_1 = require("./check/arbitrary/ContextArbitrary");
Object.defineProperty(exports, "context", { enumerable: true, get: function () { return ContextArbitrary_1.context; } });
const DateArbitrary_1 = require("./check/arbitrary/DateArbitrary");
Object.defineProperty(exports, "date", { enumerable: true, get: function () { return DateArbitrary_1.date; } });
const DedupArbitrary_1 = require("./check/arbitrary/DedupArbitrary");
Object.defineProperty(exports, "dedup", { enumerable: true, get: function () { return DedupArbitrary_1.dedup; } });
const Arbitrary_1 = require("./check/arbitrary/definition/Arbitrary");
Object.defineProperty(exports, "Arbitrary", { enumerable: true, get: function () { return Arbitrary_1.Arbitrary; } });
const Shrinkable_1 = require("./check/arbitrary/definition/Shrinkable");
Object.defineProperty(exports, "Shrinkable", { enumerable: true, get: function () { return Shrinkable_1.Shrinkable; } });
const DictionaryArbitrary_1 = require("./check/arbitrary/DictionaryArbitrary");
Object.defineProperty(exports, "dictionary", { enumerable: true, get: function () { return DictionaryArbitrary_1.dictionary; } });
const EmailArbitrary_1 = require("./check/arbitrary/EmailArbitrary");
Object.defineProperty(exports, "emailAddress", { enumerable: true, get: function () { return EmailArbitrary_1.emailAddress; } });
const FloatingPointArbitrary_1 = require("./check/arbitrary/FloatingPointArbitrary");
Object.defineProperty(exports, "double", { enumerable: true, get: function () { return FloatingPointArbitrary_1.double; } });
Object.defineProperty(exports, "float", { enumerable: true, get: function () { return FloatingPointArbitrary_1.float; } });
const FrequencyArbitrary_1 = require("./check/arbitrary/FrequencyArbitrary");
Object.defineProperty(exports, "frequency", { enumerable: true, get: function () { return FrequencyArbitrary_1.frequency; } });
const FunctionArbitrary_1 = require("./check/arbitrary/FunctionArbitrary");
Object.defineProperty(exports, "compareBooleanFunc", { enumerable: true, get: function () { return FunctionArbitrary_1.compareBooleanFunc; } });
Object.defineProperty(exports, "compareFunc", { enumerable: true, get: function () { return FunctionArbitrary_1.compareFunc; } });
Object.defineProperty(exports, "func", { enumerable: true, get: function () { return FunctionArbitrary_1.func; } });
const HostArbitrary_1 = require("./check/arbitrary/HostArbitrary");
Object.defineProperty(exports, "domain", { enumerable: true, get: function () { return HostArbitrary_1.domain; } });
const IntegerArbitrary_1 = require("./check/arbitrary/IntegerArbitrary");
Object.defineProperty(exports, "integer", { enumerable: true, get: function () { return IntegerArbitrary_1.integer; } });
Object.defineProperty(exports, "maxSafeInteger", { enumerable: true, get: function () { return IntegerArbitrary_1.maxSafeInteger; } });
Object.defineProperty(exports, "maxSafeNat", { enumerable: true, get: function () { return IntegerArbitrary_1.maxSafeNat; } });
Object.defineProperty(exports, "nat", { enumerable: true, get: function () { return IntegerArbitrary_1.nat; } });
const IpArbitrary_1 = require("./check/arbitrary/IpArbitrary");
Object.defineProperty(exports, "ipV4", { enumerable: true, get: function () { return IpArbitrary_1.ipV4; } });
Object.defineProperty(exports, "ipV4Extended", { enumerable: true, get: function () { return IpArbitrary_1.ipV4Extended; } });
Object.defineProperty(exports, "ipV6", { enumerable: true, get: function () { return IpArbitrary_1.ipV6; } });
const LetRecArbitrary_1 = require("./check/arbitrary/LetRecArbitrary");
Object.defineProperty(exports, "letrec", { enumerable: true, get: function () { return LetRecArbitrary_1.letrec; } });
const LoremArbitrary_1 = require("./check/arbitrary/LoremArbitrary");
Object.defineProperty(exports, "lorem", { enumerable: true, get: function () { return LoremArbitrary_1.lorem; } });
const MapToConstantArbitrary_1 = require("./check/arbitrary/MapToConstantArbitrary");
Object.defineProperty(exports, "mapToConstant", { enumerable: true, get: function () { return MapToConstantArbitrary_1.mapToConstant; } });
const MemoArbitrary_1 = require("./check/arbitrary/MemoArbitrary");
Object.defineProperty(exports, "memo", { enumerable: true, get: function () { return MemoArbitrary_1.memo; } });
const MixedCaseArbitrary_1 = require("./check/arbitrary/MixedCaseArbitrary");
Object.defineProperty(exports, "mixedCase", { enumerable: true, get: function () { return MixedCaseArbitrary_1.mixedCase; } });
const ObjectArbitrary_1 = require("./check/arbitrary/ObjectArbitrary");
Object.defineProperty(exports, "anything", { enumerable: true, get: function () { return ObjectArbitrary_1.anything; } });
Object.defineProperty(exports, "json", { enumerable: true, get: function () { return ObjectArbitrary_1.json; } });
Object.defineProperty(exports, "jsonObject", { enumerable: true, get: function () { return ObjectArbitrary_1.jsonObject; } });
Object.defineProperty(exports, "object", { enumerable: true, get: function () { return ObjectArbitrary_1.object; } });
Object.defineProperty(exports, "unicodeJson", { enumerable: true, get: function () { return ObjectArbitrary_1.unicodeJson; } });
Object.defineProperty(exports, "unicodeJsonObject", { enumerable: true, get: function () { return ObjectArbitrary_1.unicodeJsonObject; } });
const OneOfArbitrary_1 = require("./check/arbitrary/OneOfArbitrary");
Object.defineProperty(exports, "oneof", { enumerable: true, get: function () { return OneOfArbitrary_1.oneof; } });
const OptionArbitrary_1 = require("./check/arbitrary/OptionArbitrary");
Object.defineProperty(exports, "option", { enumerable: true, get: function () { return OptionArbitrary_1.option; } });
const RecordArbitrary_1 = require("./check/arbitrary/RecordArbitrary");
Object.defineProperty(exports, "record", { enumerable: true, get: function () { return RecordArbitrary_1.record; } });
const SetArbitrary_1 = require("./check/arbitrary/SetArbitrary");
Object.defineProperty(exports, "set", { enumerable: true, get: function () { return SetArbitrary_1.set; } });
const StreamArbitrary_1 = require("./check/arbitrary/StreamArbitrary");
Object.defineProperty(exports, "infiniteStream", { enumerable: true, get: function () { return StreamArbitrary_1.infiniteStream; } });
const StringArbitrary_1 = require("./check/arbitrary/StringArbitrary");
Object.defineProperty(exports, "asciiString", { enumerable: true, get: function () { return StringArbitrary_1.asciiString; } });
Object.defineProperty(exports, "base64String", { enumerable: true, get: function () { return StringArbitrary_1.base64String; } });
Object.defineProperty(exports, "fullUnicodeString", { enumerable: true, get: function () { return StringArbitrary_1.fullUnicodeString; } });
Object.defineProperty(exports, "hexaString", { enumerable: true, get: function () { return StringArbitrary_1.hexaString; } });
Object.defineProperty(exports, "string", { enumerable: true, get: function () { return StringArbitrary_1.string; } });
Object.defineProperty(exports, "string16bits", { enumerable: true, get: function () { return StringArbitrary_1.string16bits; } });
Object.defineProperty(exports, "stringOf", { enumerable: true, get: function () { return StringArbitrary_1.stringOf; } });
Object.defineProperty(exports, "unicodeString", { enumerable: true, get: function () { return StringArbitrary_1.unicodeString; } });
const SubarrayArbitrary_1 = require("./check/arbitrary/SubarrayArbitrary");
Object.defineProperty(exports, "shuffledSubarray", { enumerable: true, get: function () { return SubarrayArbitrary_1.shuffledSubarray; } });
Object.defineProperty(exports, "subarray", { enumerable: true, get: function () { return SubarrayArbitrary_1.subarray; } });
const TupleArbitrary_1 = require("./check/arbitrary/TupleArbitrary");
Object.defineProperty(exports, "genericTuple", { enumerable: true, get: function () { return TupleArbitrary_1.genericTuple; } });
Object.defineProperty(exports, "tuple", { enumerable: true, get: function () { return TupleArbitrary_1.tuple; } });
const UuidArbitrary_1 = require("./check/arbitrary/UuidArbitrary");
Object.defineProperty(exports, "uuid", { enumerable: true, get: function () { return UuidArbitrary_1.uuid; } });
Object.defineProperty(exports, "uuidV", { enumerable: true, get: function () { return UuidArbitrary_1.uuidV; } });
const WebArbitrary_1 = require("./check/arbitrary/WebArbitrary");
Object.defineProperty(exports, "webAuthority", { enumerable: true, get: function () { return WebArbitrary_1.webAuthority; } });
Object.defineProperty(exports, "webFragments", { enumerable: true, get: function () { return WebArbitrary_1.webFragments; } });
Object.defineProperty(exports, "webQueryParameters", { enumerable: true, get: function () { return WebArbitrary_1.webQueryParameters; } });
Object.defineProperty(exports, "webSegment", { enumerable: true, get: function () { return WebArbitrary_1.webSegment; } });
Object.defineProperty(exports, "webUrl", { enumerable: true, get: function () { return WebArbitrary_1.webUrl; } });
const CommandsArbitrary_1 = require("./check/model/commands/CommandsArbitrary");
Object.defineProperty(exports, "commands", { enumerable: true, get: function () { return CommandsArbitrary_1.commands; } });
const ModelRunner_1 = require("./check/model/ModelRunner");
Object.defineProperty(exports, "asyncModelRun", { enumerable: true, get: function () { return ModelRunner_1.asyncModelRun; } });
Object.defineProperty(exports, "modelRun", { enumerable: true, get: function () { return ModelRunner_1.modelRun; } });
Object.defineProperty(exports, "scheduledModelRun", { enumerable: true, get: function () { return ModelRunner_1.scheduledModelRun; } });
const Random_1 = require("./random/generator/Random");
Object.defineProperty(exports, "Random", { enumerable: true, get: function () { return Random_1.Random; } });
const GlobalParameters_1 = require("./check/runner/configuration/GlobalParameters");
Object.defineProperty(exports, "configureGlobal", { enumerable: true, get: function () { return GlobalParameters_1.configureGlobal; } });
Object.defineProperty(exports, "readConfigureGlobal", { enumerable: true, get: function () { return GlobalParameters_1.readConfigureGlobal; } });
Object.defineProperty(exports, "resetConfigureGlobal", { enumerable: true, get: function () { return GlobalParameters_1.resetConfigureGlobal; } });
const VerbosityLevel_1 = require("./check/runner/configuration/VerbosityLevel");
Object.defineProperty(exports, "VerbosityLevel", { enumerable: true, get: function () { return VerbosityLevel_1.VerbosityLevel; } });
const ExecutionStatus_1 = require("./check/runner/reporter/ExecutionStatus");
Object.defineProperty(exports, "ExecutionStatus", { enumerable: true, get: function () { return ExecutionStatus_1.ExecutionStatus; } });
const symbols_1 = require("./check/symbols");
Object.defineProperty(exports, "cloneMethod", { enumerable: true, get: function () { return symbols_1.cloneMethod; } });
const Stream_1 = require("./stream/Stream");
Object.defineProperty(exports, "Stream", { enumerable: true, get: function () { return Stream_1.Stream; } });
Object.defineProperty(exports, "stream", { enumerable: true, get: function () { return Stream_1.stream; } });
const stringify_1 = require("./utils/stringify");
Object.defineProperty(exports, "stringify", { enumerable: true, get: function () { return stringify_1.stringify; } });
const AsyncSchedulerArbitrary_1 = require("./check/arbitrary/AsyncSchedulerArbitrary");
Object.defineProperty(exports, "scheduler", { enumerable: true, get: function () { return AsyncSchedulerArbitrary_1.scheduler; } });
Object.defineProperty(exports, "schedulerFor", { enumerable: true, get: function () { return AsyncSchedulerArbitrary_1.schedulerFor; } });
const RunDetailsFormatter_1 = require("./check/runner/utils/RunDetailsFormatter");
Object.defineProperty(exports, "defaultReportMessage", { enumerable: true, get: function () { return RunDetailsFormatter_1.defaultReportMessage; } });
const __type = 'commonjs';
exports.__type = __type;
const __version = '2.0.0';
exports.__version = __version;