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

Property based testing framework for JavaScript (like QuickCheck)

"use strict";
exports.__esModule = true;
var Pre_1 = require("./check/precondition/Pre");
exports.pre = Pre_1.pre;
var AsyncProperty_1 = require("./check/property/AsyncProperty");
exports.asyncProperty = AsyncProperty_1.asyncProperty;
var Property_1 = require("./check/property/Property");
exports.property = Property_1.property;
var Runner_1 = require("./check/runner/Runner");
exports.assert = Runner_1.assert;
exports.check = Runner_1.check;
var Sampler_1 = require("./check/runner/Sampler");
exports.sample = Sampler_1.sample;
exports.statistics = Sampler_1.statistics;
var ArrayArbitrary_1 = require("./check/arbitrary/ArrayArbitrary");
exports.array = ArrayArbitrary_1.array;
var BigIntArbitrary_1 = require("./check/arbitrary/BigIntArbitrary");
exports.bigInt = BigIntArbitrary_1.bigInt;
exports.bigIntN = BigIntArbitrary_1.bigIntN;
exports.bigUint = BigIntArbitrary_1.bigUint;
exports.bigUintN = BigIntArbitrary_1.bigUintN;
var BooleanArbitrary_1 = require("./check/arbitrary/BooleanArbitrary");
exports.boolean = BooleanArbitrary_1.boolean;
var CharacterArbitrary_1 = require("./check/arbitrary/CharacterArbitrary");
exports.ascii = CharacterArbitrary_1.ascii;
exports.base64 = CharacterArbitrary_1.base64;
exports.char = CharacterArbitrary_1.char;
exports.char16bits = CharacterArbitrary_1.char16bits;
exports.fullUnicode = CharacterArbitrary_1.fullUnicode;
exports.hexa = CharacterArbitrary_1.hexa;
exports.unicode = CharacterArbitrary_1.unicode;
var ConstantArbitrary_1 = require("./check/arbitrary/ConstantArbitrary");
exports.clonedConstant = ConstantArbitrary_1.clonedConstant;
exports.constant = ConstantArbitrary_1.constant;
exports.constantFrom = ConstantArbitrary_1.constantFrom;
var ContextArbitrary_1 = require("./check/arbitrary/ContextArbitrary");
exports.context = ContextArbitrary_1.context;
var Arbitrary_1 = require("./check/arbitrary/definition/Arbitrary");
exports.Arbitrary = Arbitrary_1.Arbitrary;
var Shrinkable_1 = require("./check/arbitrary/definition/Shrinkable");
exports.Shrinkable = Shrinkable_1.Shrinkable;
var DictionaryArbitrary_1 = require("./check/arbitrary/DictionaryArbitrary");
exports.dictionary = DictionaryArbitrary_1.dictionary;
var FloatingPointArbitrary_1 = require("./check/arbitrary/FloatingPointArbitrary");
exports.double = FloatingPointArbitrary_1.double;
exports.float = FloatingPointArbitrary_1.float;
var FrequencyArbitrary_1 = require("./check/arbitrary/FrequencyArbitrary");
exports.frequency = FrequencyArbitrary_1.frequency;
var FunctionArbitrary_1 = require("./check/arbitrary/FunctionArbitrary");
exports.compareBooleanFunc = FunctionArbitrary_1.compareBooleanFunc;
exports.compareFunc = FunctionArbitrary_1.compareFunc;
exports.func = FunctionArbitrary_1.func;
var IntegerArbitrary_1 = require("./check/arbitrary/IntegerArbitrary");
exports.integer = IntegerArbitrary_1.integer;
exports.nat = IntegerArbitrary_1.nat;
var LoremArbitrary_1 = require("./check/arbitrary/LoremArbitrary");
exports.lorem = LoremArbitrary_1.lorem;
var ObjectArbitrary_1 = require("./check/arbitrary/ObjectArbitrary");
exports.anything = ObjectArbitrary_1.anything;
exports.json = ObjectArbitrary_1.json;
exports.jsonObject = ObjectArbitrary_1.jsonObject;
exports.object = ObjectArbitrary_1.object;
exports.ObjectConstraints = ObjectArbitrary_1.ObjectConstraints;
exports.unicodeJson = ObjectArbitrary_1.unicodeJson;
exports.unicodeJsonObject = ObjectArbitrary_1.unicodeJsonObject;
var OneOfArbitrary_1 = require("./check/arbitrary/OneOfArbitrary");
exports.oneof = OneOfArbitrary_1.oneof;
var OptionArbitrary_1 = require("./check/arbitrary/OptionArbitrary");
exports.option = OptionArbitrary_1.option;
var RecordArbitrary_1 = require("./check/arbitrary/RecordArbitrary");
exports.record = RecordArbitrary_1.record;
var SetArbitrary_1 = require("./check/arbitrary/SetArbitrary");
exports.set = SetArbitrary_1.set;
var StreamArbitrary_1 = require("./check/arbitrary/StreamArbitrary");
exports.infiniteStream = StreamArbitrary_1.infiniteStream;
var StringArbitrary_1 = require("./check/arbitrary/StringArbitrary");
exports.asciiString = StringArbitrary_1.asciiString;
exports.base64String = StringArbitrary_1.base64String;
exports.fullUnicodeString = StringArbitrary_1.fullUnicodeString;
exports.hexaString = StringArbitrary_1.hexaString;
exports.string = StringArbitrary_1.string;
exports.string16bits = StringArbitrary_1.string16bits;
exports.stringOf = StringArbitrary_1.stringOf;
exports.unicodeString = StringArbitrary_1.unicodeString;
var SubarrayArbitrary_1 = require("./check/arbitrary/SubarrayArbitrary");
exports.shuffledSubarray = SubarrayArbitrary_1.shuffledSubarray;
exports.subarray = SubarrayArbitrary_1.subarray;
var TupleArbitrary_1 = require("./check/arbitrary/TupleArbitrary");
exports.genericTuple = TupleArbitrary_1.genericTuple;
exports.tuple = TupleArbitrary_1.tuple;
var CommandsArbitrary_1 = require("./check/model/commands/CommandsArbitrary");
exports.commands = CommandsArbitrary_1.commands;
var ModelRunner_1 = require("./check/model/ModelRunner");
exports.asyncModelRun = ModelRunner_1.asyncModelRun;
exports.modelRun = ModelRunner_1.modelRun;
var Random_1 = require("./random/generator/Random");
exports.Random = Random_1.Random;
var VerbosityLevel_1 = require("./check/runner/configuration/VerbosityLevel");
exports.VerbosityLevel = VerbosityLevel_1.VerbosityLevel;
var symbols_1 = require("./check/symbols");
exports.cloneMethod = symbols_1.cloneMethod;
var Stream_1 = require("./stream/Stream");
exports.Stream = Stream_1.Stream;
exports.stream = Stream_1.stream;