How to use CommandsArbitrary method in fast-check-monorepo

Best JavaScript code snippet using fast-check-monorepo

fast-check_vx.x.x.js

Source:fast-check_vx.x.x.js

1// flow-typed signature: 704f405ae6b39401d81167c4dca96bcc2// flow-typed version: <<STUB>>/fast-check_v^2.2.0/flow_v0.134.03/**4 * This is an autogenerated libdef stub for:5 *6 *   'fast-check'7 *8 * Fill this stub out by replacing all the `any` types.9 *10 * Once filled out, we encourage you to share your work with the11 * community by sending a pull request to:12 * https://github.com/flowtype/flow-typed13 */14declare module 'fast-check' {15  declare module.exports: any;16}17/**18 * We include stubs for each file inside this npm package in case you need to19 * require those files directly. Feel free to delete any files that aren't20 * needed.21 */22declare module 'fast-check/lib/check/arbitrary/ArrayArbitrary' {23  declare module.exports: any;24}25declare module 'fast-check/lib/check/arbitrary/AsyncSchedulerArbitrary' {26  declare module.exports: any;27}28declare module 'fast-check/lib/check/arbitrary/BigIntArbitrary' {29  declare module.exports: any;30}31declare module 'fast-check/lib/check/arbitrary/BooleanArbitrary' {32  declare module.exports: any;33}34declare module 'fast-check/lib/check/arbitrary/CharacterArbitrary' {35  declare module.exports: any;36}37declare module 'fast-check/lib/check/arbitrary/ConstantArbitrary' {38  declare module.exports: any;39}40declare module 'fast-check/lib/check/arbitrary/ContextArbitrary' {41  declare module.exports: any;42}43declare module 'fast-check/lib/check/arbitrary/DateArbitrary' {44  declare module.exports: any;45}46declare module 'fast-check/lib/check/arbitrary/DedupArbitrary' {47  declare module.exports: any;48}49declare module 'fast-check/lib/check/arbitrary/definition/Arbitrary' {50  declare module.exports: any;51}52declare module 'fast-check/lib/check/arbitrary/definition/ArbitraryWithShrink' {53  declare module.exports: any;54}55declare module 'fast-check/lib/check/arbitrary/definition/BiasedArbitraryWrapper' {56  declare module.exports: any;57}58declare module 'fast-check/lib/check/arbitrary/definition/Shrinkable' {59  declare module.exports: any;60}61declare module 'fast-check/lib/check/arbitrary/DictionaryArbitrary' {62  declare module.exports: any;63}64declare module 'fast-check/lib/check/arbitrary/EmailArbitrary' {65  declare module.exports: any;66}67declare module 'fast-check/lib/check/arbitrary/FalsyArbitrary' {68  declare module.exports: any;69}70declare module 'fast-check/lib/check/arbitrary/FloatingPointArbitrary' {71  declare module.exports: any;72}73declare module 'fast-check/lib/check/arbitrary/FrequencyArbitrary' {74  declare module.exports: any;75}76declare module 'fast-check/lib/check/arbitrary/FunctionArbitrary' {77  declare module.exports: any;78}79declare module 'fast-check/lib/check/arbitrary/helpers/BiasNumeric' {80  declare module.exports: any;81}82declare module 'fast-check/lib/check/arbitrary/helpers/ShrinkNumeric' {83  declare module.exports: any;84}85declare module 'fast-check/lib/check/arbitrary/helpers/SpecificCharacterRange' {86  declare module.exports: any;87}88declare module 'fast-check/lib/check/arbitrary/helpers/TextEscaper' {89  declare module.exports: any;90}91declare module 'fast-check/lib/check/arbitrary/HostArbitrary' {92  declare module.exports: any;93}94declare module 'fast-check/lib/check/arbitrary/IntegerArbitrary' {95  declare module.exports: any;96}97declare module 'fast-check/lib/check/arbitrary/IpArbitrary' {98  declare module.exports: any;99}100declare module 'fast-check/lib/check/arbitrary/LetRecArbitrary' {101  declare module.exports: any;102}103declare module 'fast-check/lib/check/arbitrary/LoremArbitrary' {104  declare module.exports: any;105}106declare module 'fast-check/lib/check/arbitrary/MapToConstantArbitrary' {107  declare module.exports: any;108}109declare module 'fast-check/lib/check/arbitrary/MemoArbitrary' {110  declare module.exports: any;111}112declare module 'fast-check/lib/check/arbitrary/MixedCaseArbitrary' {113  declare module.exports: any;114}115declare module 'fast-check/lib/check/arbitrary/ObjectArbitrary' {116  declare module.exports: any;117}118declare module 'fast-check/lib/check/arbitrary/OneOfArbitrary' {119  declare module.exports: any;120}121declare module 'fast-check/lib/check/arbitrary/OptionArbitrary' {122  declare module.exports: any;123}124declare module 'fast-check/lib/check/arbitrary/RecordArbitrary' {125  declare module.exports: any;126}127declare module 'fast-check/lib/check/arbitrary/SetArbitrary' {128  declare module.exports: any;129}130declare module 'fast-check/lib/check/arbitrary/StreamArbitrary' {131  declare module.exports: any;132}133declare module 'fast-check/lib/check/arbitrary/StringArbitrary' {134  declare module.exports: any;135}136declare module 'fast-check/lib/check/arbitrary/SubarrayArbitrary' {137  declare module.exports: any;138}139declare module 'fast-check/lib/check/arbitrary/TupleArbitrary.generated' {140  declare module.exports: any;141}142declare module 'fast-check/lib/check/arbitrary/TupleArbitrary.generic' {143  declare module.exports: any;144}145declare module 'fast-check/lib/check/arbitrary/TupleArbitrary' {146  declare module.exports: any;147}148declare module 'fast-check/lib/check/arbitrary/UuidArbitrary' {149  declare module.exports: any;150}151declare module 'fast-check/lib/check/arbitrary/WebArbitrary' {152  declare module.exports: any;153}154declare module 'fast-check/lib/check/model/command/AsyncCommand' {155  declare module.exports: any;156}157declare module 'fast-check/lib/check/model/command/Command' {158  declare module.exports: any;159}160declare module 'fast-check/lib/check/model/command/ICommand' {161  declare module.exports: any;162}163declare module 'fast-check/lib/check/model/commands/CommandsArbitrary' {164  declare module.exports: any;165}166declare module 'fast-check/lib/check/model/commands/CommandsContraints' {167  declare module.exports: any;168}169declare module 'fast-check/lib/check/model/commands/CommandsIterable' {170  declare module.exports: any;171}172declare module 'fast-check/lib/check/model/commands/CommandWrapper' {173  declare module.exports: any;174}175declare module 'fast-check/lib/check/model/commands/ScheduledCommand' {176  declare module.exports: any;177}178declare module 'fast-check/lib/check/model/ModelRunner' {179  declare module.exports: any;180}181declare module 'fast-check/lib/check/model/ReplayPath' {182  declare module.exports: any;183}184declare module 'fast-check/lib/check/precondition/Pre' {185  declare module.exports: any;186}187declare module 'fast-check/lib/check/precondition/PreconditionFailure' {188  declare module.exports: any;189}190declare module 'fast-check/lib/check/property/AsyncProperty.generated' {191  declare module.exports: any;192}193declare module 'fast-check/lib/check/property/AsyncProperty.generic' {194  declare module.exports: any;195}196declare module 'fast-check/lib/check/property/AsyncProperty' {197  declare module.exports: any;198}199declare module 'fast-check/lib/check/property/IRawProperty' {200  declare module.exports: any;201}202declare module 'fast-check/lib/check/property/Property.generated' {203  declare module.exports: any;204}205declare module 'fast-check/lib/check/property/Property.generic' {206  declare module.exports: any;207}208declare module 'fast-check/lib/check/property/Property' {209  declare module.exports: any;210}211declare module 'fast-check/lib/check/property/SkipAfterProperty' {212  declare module.exports: any;213}214declare module 'fast-check/lib/check/property/TimeoutProperty' {215  declare module.exports: any;216}217declare module 'fast-check/lib/check/property/UnbiasedProperty' {218  declare module.exports: any;219}220declare module 'fast-check/lib/check/runner/configuration/GlobalParameters' {221  declare module.exports: any;222}223declare module 'fast-check/lib/check/runner/configuration/Parameters' {224  declare module.exports: any;225}226declare module 'fast-check/lib/check/runner/configuration/QualifiedParameters' {227  declare module.exports: any;228}229declare module 'fast-check/lib/check/runner/configuration/RandomType' {230  declare module.exports: any;231}232declare module 'fast-check/lib/check/runner/configuration/VerbosityLevel' {233  declare module.exports: any;234}235declare module 'fast-check/lib/check/runner/DecorateProperty' {236  declare module.exports: any;237}238declare module 'fast-check/lib/check/runner/reporter/ExecutionStatus' {239  declare module.exports: any;240}241declare module 'fast-check/lib/check/runner/reporter/ExecutionTree' {242  declare module.exports: any;243}244declare module 'fast-check/lib/check/runner/reporter/RunDetails' {245  declare module.exports: any;246}247declare module 'fast-check/lib/check/runner/reporter/RunExecution' {248  declare module.exports: any;249}250declare module 'fast-check/lib/check/runner/Runner' {251  declare module.exports: any;252}253declare module 'fast-check/lib/check/runner/RunnerIterator' {254  declare module.exports: any;255}256declare module 'fast-check/lib/check/runner/Sampler' {257  declare module.exports: any;258}259declare module 'fast-check/lib/check/runner/SourceValuesIterator' {260  declare module.exports: any;261}262declare module 'fast-check/lib/check/runner/Tosser' {263  declare module.exports: any;264}265declare module 'fast-check/lib/check/runner/utils/PathWalker' {266  declare module.exports: any;267}268declare module 'fast-check/lib/check/runner/utils/RunDetailsFormatter' {269  declare module.exports: any;270}271declare module 'fast-check/lib/check/symbols' {272  declare module.exports: any;273}274declare module 'fast-check/lib/esm/check/arbitrary/ArrayArbitrary' {275  declare module.exports: any;276}277declare module 'fast-check/lib/esm/check/arbitrary/AsyncSchedulerArbitrary' {278  declare module.exports: any;279}280declare module 'fast-check/lib/esm/check/arbitrary/BigIntArbitrary' {281  declare module.exports: any;282}283declare module 'fast-check/lib/esm/check/arbitrary/BooleanArbitrary' {284  declare module.exports: any;285}286declare module 'fast-check/lib/esm/check/arbitrary/CharacterArbitrary' {287  declare module.exports: any;288}289declare module 'fast-check/lib/esm/check/arbitrary/ConstantArbitrary' {290  declare module.exports: any;291}292declare module 'fast-check/lib/esm/check/arbitrary/ContextArbitrary' {293  declare module.exports: any;294}295declare module 'fast-check/lib/esm/check/arbitrary/DateArbitrary' {296  declare module.exports: any;297}298declare module 'fast-check/lib/esm/check/arbitrary/DedupArbitrary' {299  declare module.exports: any;300}301declare module 'fast-check/lib/esm/check/arbitrary/definition/Arbitrary' {302  declare module.exports: any;303}304declare module 'fast-check/lib/esm/check/arbitrary/definition/ArbitraryWithShrink' {305  declare module.exports: any;306}307declare module 'fast-check/lib/esm/check/arbitrary/definition/BiasedArbitraryWrapper' {308  declare module.exports: any;309}310declare module 'fast-check/lib/esm/check/arbitrary/definition/Shrinkable' {311  declare module.exports: any;312}313declare module 'fast-check/lib/esm/check/arbitrary/DictionaryArbitrary' {314  declare module.exports: any;315}316declare module 'fast-check/lib/esm/check/arbitrary/EmailArbitrary' {317  declare module.exports: any;318}319declare module 'fast-check/lib/esm/check/arbitrary/FalsyArbitrary' {320  declare module.exports: any;321}322declare module 'fast-check/lib/esm/check/arbitrary/FloatingPointArbitrary' {323  declare module.exports: any;324}325declare module 'fast-check/lib/esm/check/arbitrary/FrequencyArbitrary' {326  declare module.exports: any;327}328declare module 'fast-check/lib/esm/check/arbitrary/FunctionArbitrary' {329  declare module.exports: any;330}331declare module 'fast-check/lib/esm/check/arbitrary/helpers/BiasNumeric' {332  declare module.exports: any;333}334declare module 'fast-check/lib/esm/check/arbitrary/helpers/ShrinkNumeric' {335  declare module.exports: any;336}337declare module 'fast-check/lib/esm/check/arbitrary/helpers/SpecificCharacterRange' {338  declare module.exports: any;339}340declare module 'fast-check/lib/esm/check/arbitrary/helpers/TextEscaper' {341  declare module.exports: any;342}343declare module 'fast-check/lib/esm/check/arbitrary/HostArbitrary' {344  declare module.exports: any;345}346declare module 'fast-check/lib/esm/check/arbitrary/IntegerArbitrary' {347  declare module.exports: any;348}349declare module 'fast-check/lib/esm/check/arbitrary/IpArbitrary' {350  declare module.exports: any;351}352declare module 'fast-check/lib/esm/check/arbitrary/LetRecArbitrary' {353  declare module.exports: any;354}355declare module 'fast-check/lib/esm/check/arbitrary/LoremArbitrary' {356  declare module.exports: any;357}358declare module 'fast-check/lib/esm/check/arbitrary/MapToConstantArbitrary' {359  declare module.exports: any;360}361declare module 'fast-check/lib/esm/check/arbitrary/MemoArbitrary' {362  declare module.exports: any;363}364declare module 'fast-check/lib/esm/check/arbitrary/MixedCaseArbitrary' {365  declare module.exports: any;366}367declare module 'fast-check/lib/esm/check/arbitrary/ObjectArbitrary' {368  declare module.exports: any;369}370declare module 'fast-check/lib/esm/check/arbitrary/OneOfArbitrary' {371  declare module.exports: any;372}373declare module 'fast-check/lib/esm/check/arbitrary/OptionArbitrary' {374  declare module.exports: any;375}376declare module 'fast-check/lib/esm/check/arbitrary/RecordArbitrary' {377  declare module.exports: any;378}379declare module 'fast-check/lib/esm/check/arbitrary/SetArbitrary' {380  declare module.exports: any;381}382declare module 'fast-check/lib/esm/check/arbitrary/StreamArbitrary' {383  declare module.exports: any;384}385declare module 'fast-check/lib/esm/check/arbitrary/StringArbitrary' {386  declare module.exports: any;387}388declare module 'fast-check/lib/esm/check/arbitrary/SubarrayArbitrary' {389  declare module.exports: any;390}391declare module 'fast-check/lib/esm/check/arbitrary/TupleArbitrary.generated' {392  declare module.exports: any;393}394declare module 'fast-check/lib/esm/check/arbitrary/TupleArbitrary.generic' {395  declare module.exports: any;396}397declare module 'fast-check/lib/esm/check/arbitrary/TupleArbitrary' {398  declare module.exports: any;399}400declare module 'fast-check/lib/esm/check/arbitrary/UuidArbitrary' {401  declare module.exports: any;402}403declare module 'fast-check/lib/esm/check/arbitrary/WebArbitrary' {404  declare module.exports: any;405}406declare module 'fast-check/lib/esm/check/model/command/AsyncCommand' {407  declare module.exports: any;408}409declare module 'fast-check/lib/esm/check/model/command/Command' {410  declare module.exports: any;411}412declare module 'fast-check/lib/esm/check/model/command/ICommand' {413  declare module.exports: any;414}415declare module 'fast-check/lib/esm/check/model/commands/CommandsArbitrary' {416  declare module.exports: any;417}418declare module 'fast-check/lib/esm/check/model/commands/CommandsContraints' {419  declare module.exports: any;420}421declare module 'fast-check/lib/esm/check/model/commands/CommandsIterable' {422  declare module.exports: any;423}424declare module 'fast-check/lib/esm/check/model/commands/CommandWrapper' {425  declare module.exports: any;426}427declare module 'fast-check/lib/esm/check/model/commands/ScheduledCommand' {428  declare module.exports: any;429}430declare module 'fast-check/lib/esm/check/model/ModelRunner' {431  declare module.exports: any;432}433declare module 'fast-check/lib/esm/check/model/ReplayPath' {434  declare module.exports: any;435}436declare module 'fast-check/lib/esm/check/precondition/Pre' {437  declare module.exports: any;438}439declare module 'fast-check/lib/esm/check/precondition/PreconditionFailure' {440  declare module.exports: any;441}442declare module 'fast-check/lib/esm/check/property/AsyncProperty.generated' {443  declare module.exports: any;444}445declare module 'fast-check/lib/esm/check/property/AsyncProperty.generic' {446  declare module.exports: any;447}448declare module 'fast-check/lib/esm/check/property/AsyncProperty' {449  declare module.exports: any;450}451declare module 'fast-check/lib/esm/check/property/IRawProperty' {452  declare module.exports: any;453}454declare module 'fast-check/lib/esm/check/property/Property.generated' {455  declare module.exports: any;456}457declare module 'fast-check/lib/esm/check/property/Property.generic' {458  declare module.exports: any;459}460declare module 'fast-check/lib/esm/check/property/Property' {461  declare module.exports: any;462}463declare module 'fast-check/lib/esm/check/property/SkipAfterProperty' {464  declare module.exports: any;465}466declare module 'fast-check/lib/esm/check/property/TimeoutProperty' {467  declare module.exports: any;468}469declare module 'fast-check/lib/esm/check/property/UnbiasedProperty' {470  declare module.exports: any;471}472declare module 'fast-check/lib/esm/check/runner/configuration/GlobalParameters' {473  declare module.exports: any;474}475declare module 'fast-check/lib/esm/check/runner/configuration/Parameters' {476  declare module.exports: any;477}478declare module 'fast-check/lib/esm/check/runner/configuration/QualifiedParameters' {479  declare module.exports: any;480}481declare module 'fast-check/lib/esm/check/runner/configuration/RandomType' {482  declare module.exports: any;483}484declare module 'fast-check/lib/esm/check/runner/configuration/VerbosityLevel' {485  declare module.exports: any;486}487declare module 'fast-check/lib/esm/check/runner/DecorateProperty' {488  declare module.exports: any;489}490declare module 'fast-check/lib/esm/check/runner/reporter/ExecutionStatus' {491  declare module.exports: any;492}493declare module 'fast-check/lib/esm/check/runner/reporter/ExecutionTree' {494  declare module.exports: any;495}496declare module 'fast-check/lib/esm/check/runner/reporter/RunDetails' {497  declare module.exports: any;498}499declare module 'fast-check/lib/esm/check/runner/reporter/RunExecution' {500  declare module.exports: any;501}502declare module 'fast-check/lib/esm/check/runner/Runner' {503  declare module.exports: any;504}505declare module 'fast-check/lib/esm/check/runner/RunnerIterator' {506  declare module.exports: any;507}508declare module 'fast-check/lib/esm/check/runner/Sampler' {509  declare module.exports: any;510}511declare module 'fast-check/lib/esm/check/runner/SourceValuesIterator' {512  declare module.exports: any;513}514declare module 'fast-check/lib/esm/check/runner/Tosser' {515  declare module.exports: any;516}517declare module 'fast-check/lib/esm/check/runner/utils/PathWalker' {518  declare module.exports: any;519}520declare module 'fast-check/lib/esm/check/runner/utils/RunDetailsFormatter' {521  declare module.exports: any;522}523declare module 'fast-check/lib/esm/check/symbols' {524  declare module.exports: any;525}526declare module 'fast-check/lib/esm/fast-check-default' {527  declare module.exports: any;528}529declare module 'fast-check/lib/esm/fast-check' {530  declare module.exports: any;531}532declare module 'fast-check/lib/esm/random/generator/Random' {533  declare module.exports: any;534}535declare module 'fast-check/lib/esm/stream/LazyIterableIterator' {536  declare module.exports: any;537}538declare module 'fast-check/lib/esm/stream/Stream' {539  declare module.exports: any;540}541declare module 'fast-check/lib/esm/stream/StreamHelpers' {542  declare module.exports: any;543}544declare module 'fast-check/lib/esm/utils/globalThis' {545  declare module.exports: any;546}547declare module 'fast-check/lib/esm/utils/hash' {548  declare module.exports: any;549}550declare module 'fast-check/lib/esm/utils/stringify' {551  declare module.exports: any;552}553declare module 'fast-check/lib/fast-check-default' {554  declare module.exports: any;555}556declare module 'fast-check/lib/fast-check' {557  declare module.exports: any;558}559declare module 'fast-check/lib/random/generator/Random' {560  declare module.exports: any;561}562declare module 'fast-check/lib/stream/LazyIterableIterator' {563  declare module.exports: any;564}565declare module 'fast-check/lib/stream/Stream' {566  declare module.exports: any;567}568declare module 'fast-check/lib/stream/StreamHelpers' {569  declare module.exports: any;570}571declare module 'fast-check/lib/utils/globalThis' {572  declare module.exports: any;573}574declare module 'fast-check/lib/utils/hash' {575  declare module.exports: any;576}577declare module 'fast-check/lib/utils/stringify' {578  declare module.exports: any;579}580// Filename aliases581declare module 'fast-check/lib/check/arbitrary/ArrayArbitrary.js' {582  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/ArrayArbitrary'>;583}584declare module 'fast-check/lib/check/arbitrary/AsyncSchedulerArbitrary.js' {585  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/AsyncSchedulerArbitrary'>;586}587declare module 'fast-check/lib/check/arbitrary/BigIntArbitrary.js' {588  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/BigIntArbitrary'>;589}590declare module 'fast-check/lib/check/arbitrary/BooleanArbitrary.js' {591  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/BooleanArbitrary'>;592}593declare module 'fast-check/lib/check/arbitrary/CharacterArbitrary.js' {594  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/CharacterArbitrary'>;595}596declare module 'fast-check/lib/check/arbitrary/ConstantArbitrary.js' {597  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/ConstantArbitrary'>;598}599declare module 'fast-check/lib/check/arbitrary/ContextArbitrary.js' {600  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/ContextArbitrary'>;601}602declare module 'fast-check/lib/check/arbitrary/DateArbitrary.js' {603  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/DateArbitrary'>;604}605declare module 'fast-check/lib/check/arbitrary/DedupArbitrary.js' {606  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/DedupArbitrary'>;607}608declare module 'fast-check/lib/check/arbitrary/definition/Arbitrary.js' {609  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/definition/Arbitrary'>;610}611declare module 'fast-check/lib/check/arbitrary/definition/ArbitraryWithShrink.js' {612  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/definition/ArbitraryWithShrink'>;613}614declare module 'fast-check/lib/check/arbitrary/definition/BiasedArbitraryWrapper.js' {615  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/definition/BiasedArbitraryWrapper'>;616}617declare module 'fast-check/lib/check/arbitrary/definition/Shrinkable.js' {618  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/definition/Shrinkable'>;619}620declare module 'fast-check/lib/check/arbitrary/DictionaryArbitrary.js' {621  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/DictionaryArbitrary'>;622}623declare module 'fast-check/lib/check/arbitrary/EmailArbitrary.js' {624  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/EmailArbitrary'>;625}626declare module 'fast-check/lib/check/arbitrary/FalsyArbitrary.js' {627  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/FalsyArbitrary'>;628}629declare module 'fast-check/lib/check/arbitrary/FloatingPointArbitrary.js' {630  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/FloatingPointArbitrary'>;631}632declare module 'fast-check/lib/check/arbitrary/FrequencyArbitrary.js' {633  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/FrequencyArbitrary'>;634}635declare module 'fast-check/lib/check/arbitrary/FunctionArbitrary.js' {636  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/FunctionArbitrary'>;637}638declare module 'fast-check/lib/check/arbitrary/helpers/BiasNumeric.js' {639  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/helpers/BiasNumeric'>;640}641declare module 'fast-check/lib/check/arbitrary/helpers/ShrinkNumeric.js' {642  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/helpers/ShrinkNumeric'>;643}644declare module 'fast-check/lib/check/arbitrary/helpers/SpecificCharacterRange.js' {645  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/helpers/SpecificCharacterRange'>;646}647declare module 'fast-check/lib/check/arbitrary/helpers/TextEscaper.js' {648  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/helpers/TextEscaper'>;649}650declare module 'fast-check/lib/check/arbitrary/HostArbitrary.js' {651  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/HostArbitrary'>;652}653declare module 'fast-check/lib/check/arbitrary/IntegerArbitrary.js' {654  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/IntegerArbitrary'>;655}656declare module 'fast-check/lib/check/arbitrary/IpArbitrary.js' {657  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/IpArbitrary'>;658}659declare module 'fast-check/lib/check/arbitrary/LetRecArbitrary.js' {660  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/LetRecArbitrary'>;661}662declare module 'fast-check/lib/check/arbitrary/LoremArbitrary.js' {663  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/LoremArbitrary'>;664}665declare module 'fast-check/lib/check/arbitrary/MapToConstantArbitrary.js' {666  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/MapToConstantArbitrary'>;667}668declare module 'fast-check/lib/check/arbitrary/MemoArbitrary.js' {669  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/MemoArbitrary'>;670}671declare module 'fast-check/lib/check/arbitrary/MixedCaseArbitrary.js' {672  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/MixedCaseArbitrary'>;673}674declare module 'fast-check/lib/check/arbitrary/ObjectArbitrary.js' {675  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/ObjectArbitrary'>;676}677declare module 'fast-check/lib/check/arbitrary/OneOfArbitrary.js' {678  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/OneOfArbitrary'>;679}680declare module 'fast-check/lib/check/arbitrary/OptionArbitrary.js' {681  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/OptionArbitrary'>;682}683declare module 'fast-check/lib/check/arbitrary/RecordArbitrary.js' {684  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/RecordArbitrary'>;685}686declare module 'fast-check/lib/check/arbitrary/SetArbitrary.js' {687  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/SetArbitrary'>;688}689declare module 'fast-check/lib/check/arbitrary/StreamArbitrary.js' {690  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/StreamArbitrary'>;691}692declare module 'fast-check/lib/check/arbitrary/StringArbitrary.js' {693  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/StringArbitrary'>;694}695declare module 'fast-check/lib/check/arbitrary/SubarrayArbitrary.js' {696  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/SubarrayArbitrary'>;697}698declare module 'fast-check/lib/check/arbitrary/TupleArbitrary.generated.js' {699  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/TupleArbitrary.generated'>;700}701declare module 'fast-check/lib/check/arbitrary/TupleArbitrary.generic.js' {702  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/TupleArbitrary.generic'>;703}704declare module 'fast-check/lib/check/arbitrary/TupleArbitrary.js' {705  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/TupleArbitrary'>;706}707declare module 'fast-check/lib/check/arbitrary/UuidArbitrary.js' {708  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/UuidArbitrary'>;709}710declare module 'fast-check/lib/check/arbitrary/WebArbitrary.js' {711  declare module.exports: $Exports<'fast-check/lib/check/arbitrary/WebArbitrary'>;712}713declare module 'fast-check/lib/check/model/command/AsyncCommand.js' {714  declare module.exports: $Exports<'fast-check/lib/check/model/command/AsyncCommand'>;715}716declare module 'fast-check/lib/check/model/command/Command.js' {717  declare module.exports: $Exports<'fast-check/lib/check/model/command/Command'>;718}719declare module 'fast-check/lib/check/model/command/ICommand.js' {720  declare module.exports: $Exports<'fast-check/lib/check/model/command/ICommand'>;721}722declare module 'fast-check/lib/check/model/commands/CommandsArbitrary.js' {723  declare module.exports: $Exports<'fast-check/lib/check/model/commands/CommandsArbitrary'>;724}725declare module 'fast-check/lib/check/model/commands/CommandsContraints.js' {726  declare module.exports: $Exports<'fast-check/lib/check/model/commands/CommandsContraints'>;727}728declare module 'fast-check/lib/check/model/commands/CommandsIterable.js' {729  declare module.exports: $Exports<'fast-check/lib/check/model/commands/CommandsIterable'>;730}731declare module 'fast-check/lib/check/model/commands/CommandWrapper.js' {732  declare module.exports: $Exports<'fast-check/lib/check/model/commands/CommandWrapper'>;733}734declare module 'fast-check/lib/check/model/commands/ScheduledCommand.js' {735  declare module.exports: $Exports<'fast-check/lib/check/model/commands/ScheduledCommand'>;736}737declare module 'fast-check/lib/check/model/ModelRunner.js' {738  declare module.exports: $Exports<'fast-check/lib/check/model/ModelRunner'>;739}740declare module 'fast-check/lib/check/model/ReplayPath.js' {741  declare module.exports: $Exports<'fast-check/lib/check/model/ReplayPath'>;742}743declare module 'fast-check/lib/check/precondition/Pre.js' {744  declare module.exports: $Exports<'fast-check/lib/check/precondition/Pre'>;745}746declare module 'fast-check/lib/check/precondition/PreconditionFailure.js' {747  declare module.exports: $Exports<'fast-check/lib/check/precondition/PreconditionFailure'>;748}749declare module 'fast-check/lib/check/property/AsyncProperty.generated.js' {750  declare module.exports: $Exports<'fast-check/lib/check/property/AsyncProperty.generated'>;751}752declare module 'fast-check/lib/check/property/AsyncProperty.generic.js' {753  declare module.exports: $Exports<'fast-check/lib/check/property/AsyncProperty.generic'>;754}755declare module 'fast-check/lib/check/property/AsyncProperty.js' {756  declare module.exports: $Exports<'fast-check/lib/check/property/AsyncProperty'>;757}758declare module 'fast-check/lib/check/property/IRawProperty.js' {759  declare module.exports: $Exports<'fast-check/lib/check/property/IRawProperty'>;760}761declare module 'fast-check/lib/check/property/Property.generated.js' {762  declare module.exports: $Exports<'fast-check/lib/check/property/Property.generated'>;763}764declare module 'fast-check/lib/check/property/Property.generic.js' {765  declare module.exports: $Exports<'fast-check/lib/check/property/Property.generic'>;766}767declare module 'fast-check/lib/check/property/Property.js' {768  declare module.exports: $Exports<'fast-check/lib/check/property/Property'>;769}770declare module 'fast-check/lib/check/property/SkipAfterProperty.js' {771  declare module.exports: $Exports<'fast-check/lib/check/property/SkipAfterProperty'>;772}773declare module 'fast-check/lib/check/property/TimeoutProperty.js' {774  declare module.exports: $Exports<'fast-check/lib/check/property/TimeoutProperty'>;775}776declare module 'fast-check/lib/check/property/UnbiasedProperty.js' {777  declare module.exports: $Exports<'fast-check/lib/check/property/UnbiasedProperty'>;778}779declare module 'fast-check/lib/check/runner/configuration/GlobalParameters.js' {780  declare module.exports: $Exports<'fast-check/lib/check/runner/configuration/GlobalParameters'>;781}782declare module 'fast-check/lib/check/runner/configuration/Parameters.js' {783  declare module.exports: $Exports<'fast-check/lib/check/runner/configuration/Parameters'>;784}785declare module 'fast-check/lib/check/runner/configuration/QualifiedParameters.js' {786  declare module.exports: $Exports<'fast-check/lib/check/runner/configuration/QualifiedParameters'>;787}788declare module 'fast-check/lib/check/runner/configuration/RandomType.js' {789  declare module.exports: $Exports<'fast-check/lib/check/runner/configuration/RandomType'>;790}791declare module 'fast-check/lib/check/runner/configuration/VerbosityLevel.js' {792  declare module.exports: $Exports<'fast-check/lib/check/runner/configuration/VerbosityLevel'>;793}794declare module 'fast-check/lib/check/runner/DecorateProperty.js' {795  declare module.exports: $Exports<'fast-check/lib/check/runner/DecorateProperty'>;796}797declare module 'fast-check/lib/check/runner/reporter/ExecutionStatus.js' {798  declare module.exports: $Exports<'fast-check/lib/check/runner/reporter/ExecutionStatus'>;799}800declare module 'fast-check/lib/check/runner/reporter/ExecutionTree.js' {801  declare module.exports: $Exports<'fast-check/lib/check/runner/reporter/ExecutionTree'>;802}803declare module 'fast-check/lib/check/runner/reporter/RunDetails.js' {804  declare module.exports: $Exports<'fast-check/lib/check/runner/reporter/RunDetails'>;805}806declare module 'fast-check/lib/check/runner/reporter/RunExecution.js' {807  declare module.exports: $Exports<'fast-check/lib/check/runner/reporter/RunExecution'>;808}809declare module 'fast-check/lib/check/runner/Runner.js' {810  declare module.exports: $Exports<'fast-check/lib/check/runner/Runner'>;811}812declare module 'fast-check/lib/check/runner/RunnerIterator.js' {813  declare module.exports: $Exports<'fast-check/lib/check/runner/RunnerIterator'>;814}815declare module 'fast-check/lib/check/runner/Sampler.js' {816  declare module.exports: $Exports<'fast-check/lib/check/runner/Sampler'>;817}818declare module 'fast-check/lib/check/runner/SourceValuesIterator.js' {819  declare module.exports: $Exports<'fast-check/lib/check/runner/SourceValuesIterator'>;820}821declare module 'fast-check/lib/check/runner/Tosser.js' {822  declare module.exports: $Exports<'fast-check/lib/check/runner/Tosser'>;823}824declare module 'fast-check/lib/check/runner/utils/PathWalker.js' {825  declare module.exports: $Exports<'fast-check/lib/check/runner/utils/PathWalker'>;826}827declare module 'fast-check/lib/check/runner/utils/RunDetailsFormatter.js' {828  declare module.exports: $Exports<'fast-check/lib/check/runner/utils/RunDetailsFormatter'>;829}830declare module 'fast-check/lib/check/symbols.js' {831  declare module.exports: $Exports<'fast-check/lib/check/symbols'>;832}833declare module 'fast-check/lib/esm/check/arbitrary/ArrayArbitrary.js' {834  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/ArrayArbitrary'>;835}836declare module 'fast-check/lib/esm/check/arbitrary/AsyncSchedulerArbitrary.js' {837  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/AsyncSchedulerArbitrary'>;838}839declare module 'fast-check/lib/esm/check/arbitrary/BigIntArbitrary.js' {840  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/BigIntArbitrary'>;841}842declare module 'fast-check/lib/esm/check/arbitrary/BooleanArbitrary.js' {843  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/BooleanArbitrary'>;844}845declare module 'fast-check/lib/esm/check/arbitrary/CharacterArbitrary.js' {846  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/CharacterArbitrary'>;847}848declare module 'fast-check/lib/esm/check/arbitrary/ConstantArbitrary.js' {849  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/ConstantArbitrary'>;850}851declare module 'fast-check/lib/esm/check/arbitrary/ContextArbitrary.js' {852  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/ContextArbitrary'>;853}854declare module 'fast-check/lib/esm/check/arbitrary/DateArbitrary.js' {855  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/DateArbitrary'>;856}857declare module 'fast-check/lib/esm/check/arbitrary/DedupArbitrary.js' {858  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/DedupArbitrary'>;859}860declare module 'fast-check/lib/esm/check/arbitrary/definition/Arbitrary.js' {861  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/definition/Arbitrary'>;862}863declare module 'fast-check/lib/esm/check/arbitrary/definition/ArbitraryWithShrink.js' {864  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/definition/ArbitraryWithShrink'>;865}866declare module 'fast-check/lib/esm/check/arbitrary/definition/BiasedArbitraryWrapper.js' {867  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/definition/BiasedArbitraryWrapper'>;868}869declare module 'fast-check/lib/esm/check/arbitrary/definition/Shrinkable.js' {870  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/definition/Shrinkable'>;871}872declare module 'fast-check/lib/esm/check/arbitrary/DictionaryArbitrary.js' {873  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/DictionaryArbitrary'>;874}875declare module 'fast-check/lib/esm/check/arbitrary/EmailArbitrary.js' {876  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/EmailArbitrary'>;877}878declare module 'fast-check/lib/esm/check/arbitrary/FalsyArbitrary.js' {879  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/FalsyArbitrary'>;880}881declare module 'fast-check/lib/esm/check/arbitrary/FloatingPointArbitrary.js' {882  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/FloatingPointArbitrary'>;883}884declare module 'fast-check/lib/esm/check/arbitrary/FrequencyArbitrary.js' {885  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/FrequencyArbitrary'>;886}887declare module 'fast-check/lib/esm/check/arbitrary/FunctionArbitrary.js' {888  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/FunctionArbitrary'>;889}890declare module 'fast-check/lib/esm/check/arbitrary/helpers/BiasNumeric.js' {891  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/helpers/BiasNumeric'>;892}893declare module 'fast-check/lib/esm/check/arbitrary/helpers/ShrinkNumeric.js' {894  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/helpers/ShrinkNumeric'>;895}896declare module 'fast-check/lib/esm/check/arbitrary/helpers/SpecificCharacterRange.js' {897  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/helpers/SpecificCharacterRange'>;898}899declare module 'fast-check/lib/esm/check/arbitrary/helpers/TextEscaper.js' {900  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/helpers/TextEscaper'>;901}902declare module 'fast-check/lib/esm/check/arbitrary/HostArbitrary.js' {903  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/HostArbitrary'>;904}905declare module 'fast-check/lib/esm/check/arbitrary/IntegerArbitrary.js' {906  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/IntegerArbitrary'>;907}908declare module 'fast-check/lib/esm/check/arbitrary/IpArbitrary.js' {909  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/IpArbitrary'>;910}911declare module 'fast-check/lib/esm/check/arbitrary/LetRecArbitrary.js' {912  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/LetRecArbitrary'>;913}914declare module 'fast-check/lib/esm/check/arbitrary/LoremArbitrary.js' {915  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/LoremArbitrary'>;916}917declare module 'fast-check/lib/esm/check/arbitrary/MapToConstantArbitrary.js' {918  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/MapToConstantArbitrary'>;919}920declare module 'fast-check/lib/esm/check/arbitrary/MemoArbitrary.js' {921  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/MemoArbitrary'>;922}923declare module 'fast-check/lib/esm/check/arbitrary/MixedCaseArbitrary.js' {924  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/MixedCaseArbitrary'>;925}926declare module 'fast-check/lib/esm/check/arbitrary/ObjectArbitrary.js' {927  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/ObjectArbitrary'>;928}929declare module 'fast-check/lib/esm/check/arbitrary/OneOfArbitrary.js' {930  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/OneOfArbitrary'>;931}932declare module 'fast-check/lib/esm/check/arbitrary/OptionArbitrary.js' {933  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/OptionArbitrary'>;934}935declare module 'fast-check/lib/esm/check/arbitrary/RecordArbitrary.js' {936  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/RecordArbitrary'>;937}938declare module 'fast-check/lib/esm/check/arbitrary/SetArbitrary.js' {939  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/SetArbitrary'>;940}941declare module 'fast-check/lib/esm/check/arbitrary/StreamArbitrary.js' {942  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/StreamArbitrary'>;943}944declare module 'fast-check/lib/esm/check/arbitrary/StringArbitrary.js' {945  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/StringArbitrary'>;946}947declare module 'fast-check/lib/esm/check/arbitrary/SubarrayArbitrary.js' {948  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/SubarrayArbitrary'>;949}950declare module 'fast-check/lib/esm/check/arbitrary/TupleArbitrary.generated.js' {951  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/TupleArbitrary.generated'>;952}953declare module 'fast-check/lib/esm/check/arbitrary/TupleArbitrary.generic.js' {954  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/TupleArbitrary.generic'>;955}956declare module 'fast-check/lib/esm/check/arbitrary/TupleArbitrary.js' {957  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/TupleArbitrary'>;958}959declare module 'fast-check/lib/esm/check/arbitrary/UuidArbitrary.js' {960  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/UuidArbitrary'>;961}962declare module 'fast-check/lib/esm/check/arbitrary/WebArbitrary.js' {963  declare module.exports: $Exports<'fast-check/lib/esm/check/arbitrary/WebArbitrary'>;964}965declare module 'fast-check/lib/esm/check/model/command/AsyncCommand.js' {966  declare module.exports: $Exports<'fast-check/lib/esm/check/model/command/AsyncCommand'>;967}968declare module 'fast-check/lib/esm/check/model/command/Command.js' {969  declare module.exports: $Exports<'fast-check/lib/esm/check/model/command/Command'>;970}971declare module 'fast-check/lib/esm/check/model/command/ICommand.js' {972  declare module.exports: $Exports<'fast-check/lib/esm/check/model/command/ICommand'>;973}974declare module 'fast-check/lib/esm/check/model/commands/CommandsArbitrary.js' {975  declare module.exports: $Exports<'fast-check/lib/esm/check/model/commands/CommandsArbitrary'>;976}977declare module 'fast-check/lib/esm/check/model/commands/CommandsContraints.js' {978  declare module.exports: $Exports<'fast-check/lib/esm/check/model/commands/CommandsContraints'>;979}980declare module 'fast-check/lib/esm/check/model/commands/CommandsIterable.js' {981  declare module.exports: $Exports<'fast-check/lib/esm/check/model/commands/CommandsIterable'>;982}983declare module 'fast-check/lib/esm/check/model/commands/CommandWrapper.js' {984  declare module.exports: $Exports<'fast-check/lib/esm/check/model/commands/CommandWrapper'>;985}986declare module 'fast-check/lib/esm/check/model/commands/ScheduledCommand.js' {987  declare module.exports: $Exports<'fast-check/lib/esm/check/model/commands/ScheduledCommand'>;988}989declare module 'fast-check/lib/esm/check/model/ModelRunner.js' {990  declare module.exports: $Exports<'fast-check/lib/esm/check/model/ModelRunner'>;991}992declare module 'fast-check/lib/esm/check/model/ReplayPath.js' {993  declare module.exports: $Exports<'fast-check/lib/esm/check/model/ReplayPath'>;994}995declare module 'fast-check/lib/esm/check/precondition/Pre.js' {996  declare module.exports: $Exports<'fast-check/lib/esm/check/precondition/Pre'>;997}998declare module 'fast-check/lib/esm/check/precondition/PreconditionFailure.js' {999  declare module.exports: $Exports<'fast-check/lib/esm/check/precondition/PreconditionFailure'>;1000}1001declare module 'fast-check/lib/esm/check/property/AsyncProperty.generated.js' {1002  declare module.exports: $Exports<'fast-check/lib/esm/check/property/AsyncProperty.generated'>;1003}1004declare module 'fast-check/lib/esm/check/property/AsyncProperty.generic.js' {1005  declare module.exports: $Exports<'fast-check/lib/esm/check/property/AsyncProperty.generic'>;1006}1007declare module 'fast-check/lib/esm/check/property/AsyncProperty.js' {1008  declare module.exports: $Exports<'fast-check/lib/esm/check/property/AsyncProperty'>;1009}1010declare module 'fast-check/lib/esm/check/property/IRawProperty.js' {1011  declare module.exports: $Exports<'fast-check/lib/esm/check/property/IRawProperty'>;1012}1013declare module 'fast-check/lib/esm/check/property/Property.generated.js' {1014  declare module.exports: $Exports<'fast-check/lib/esm/check/property/Property.generated'>;1015}1016declare module 'fast-check/lib/esm/check/property/Property.generic.js' {1017  declare module.exports: $Exports<'fast-check/lib/esm/check/property/Property.generic'>;1018}1019declare module 'fast-check/lib/esm/check/property/Property.js' {1020  declare module.exports: $Exports<'fast-check/lib/esm/check/property/Property'>;1021}1022declare module 'fast-check/lib/esm/check/property/SkipAfterProperty.js' {1023  declare module.exports: $Exports<'fast-check/lib/esm/check/property/SkipAfterProperty'>;1024}1025declare module 'fast-check/lib/esm/check/property/TimeoutProperty.js' {1026  declare module.exports: $Exports<'fast-check/lib/esm/check/property/TimeoutProperty'>;1027}1028declare module 'fast-check/lib/esm/check/property/UnbiasedProperty.js' {1029  declare module.exports: $Exports<'fast-check/lib/esm/check/property/UnbiasedProperty'>;1030}1031declare module 'fast-check/lib/esm/check/runner/configuration/GlobalParameters.js' {1032  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/configuration/GlobalParameters'>;1033}1034declare module 'fast-check/lib/esm/check/runner/configuration/Parameters.js' {1035  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/configuration/Parameters'>;1036}1037declare module 'fast-check/lib/esm/check/runner/configuration/QualifiedParameters.js' {1038  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/configuration/QualifiedParameters'>;1039}1040declare module 'fast-check/lib/esm/check/runner/configuration/RandomType.js' {1041  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/configuration/RandomType'>;1042}1043declare module 'fast-check/lib/esm/check/runner/configuration/VerbosityLevel.js' {1044  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/configuration/VerbosityLevel'>;1045}1046declare module 'fast-check/lib/esm/check/runner/DecorateProperty.js' {1047  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/DecorateProperty'>;1048}1049declare module 'fast-check/lib/esm/check/runner/reporter/ExecutionStatus.js' {1050  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/reporter/ExecutionStatus'>;1051}1052declare module 'fast-check/lib/esm/check/runner/reporter/ExecutionTree.js' {1053  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/reporter/ExecutionTree'>;1054}1055declare module 'fast-check/lib/esm/check/runner/reporter/RunDetails.js' {1056  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/reporter/RunDetails'>;1057}1058declare module 'fast-check/lib/esm/check/runner/reporter/RunExecution.js' {1059  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/reporter/RunExecution'>;1060}1061declare module 'fast-check/lib/esm/check/runner/Runner.js' {1062  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/Runner'>;1063}1064declare module 'fast-check/lib/esm/check/runner/RunnerIterator.js' {1065  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/RunnerIterator'>;1066}1067declare module 'fast-check/lib/esm/check/runner/Sampler.js' {1068  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/Sampler'>;1069}1070declare module 'fast-check/lib/esm/check/runner/SourceValuesIterator.js' {1071  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/SourceValuesIterator'>;1072}1073declare module 'fast-check/lib/esm/check/runner/Tosser.js' {1074  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/Tosser'>;1075}1076declare module 'fast-check/lib/esm/check/runner/utils/PathWalker.js' {1077  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/utils/PathWalker'>;1078}1079declare module 'fast-check/lib/esm/check/runner/utils/RunDetailsFormatter.js' {1080  declare module.exports: $Exports<'fast-check/lib/esm/check/runner/utils/RunDetailsFormatter'>;1081}1082declare module 'fast-check/lib/esm/check/symbols.js' {1083  declare module.exports: $Exports<'fast-check/lib/esm/check/symbols'>;1084}1085declare module 'fast-check/lib/esm/fast-check-default.js' {1086  declare module.exports: $Exports<'fast-check/lib/esm/fast-check-default'>;1087}1088declare module 'fast-check/lib/esm/fast-check.js' {1089  declare module.exports: $Exports<'fast-check/lib/esm/fast-check'>;1090}1091declare module 'fast-check/lib/esm/random/generator/Random.js' {1092  declare module.exports: $Exports<'fast-check/lib/esm/random/generator/Random'>;1093}1094declare module 'fast-check/lib/esm/stream/LazyIterableIterator.js' {1095  declare module.exports: $Exports<'fast-check/lib/esm/stream/LazyIterableIterator'>;1096}1097declare module 'fast-check/lib/esm/stream/Stream.js' {1098  declare module.exports: $Exports<'fast-check/lib/esm/stream/Stream'>;1099}1100declare module 'fast-check/lib/esm/stream/StreamHelpers.js' {1101  declare module.exports: $Exports<'fast-check/lib/esm/stream/StreamHelpers'>;1102}1103declare module 'fast-check/lib/esm/utils/globalThis.js' {1104  declare module.exports: $Exports<'fast-check/lib/esm/utils/globalThis'>;1105}1106declare module 'fast-check/lib/esm/utils/hash.js' {1107  declare module.exports: $Exports<'fast-check/lib/esm/utils/hash'>;1108}1109declare module 'fast-check/lib/esm/utils/stringify.js' {1110  declare module.exports: $Exports<'fast-check/lib/esm/utils/stringify'>;1111}1112declare module 'fast-check/lib/fast-check-default.js' {1113  declare module.exports: $Exports<'fast-check/lib/fast-check-default'>;1114}1115declare module 'fast-check/lib/fast-check.js' {1116  declare module.exports: $Exports<'fast-check/lib/fast-check'>;1117}1118declare module 'fast-check/lib/random/generator/Random.js' {1119  declare module.exports: $Exports<'fast-check/lib/random/generator/Random'>;1120}1121declare module 'fast-check/lib/stream/LazyIterableIterator.js' {1122  declare module.exports: $Exports<'fast-check/lib/stream/LazyIterableIterator'>;1123}1124declare module 'fast-check/lib/stream/Stream.js' {1125  declare module.exports: $Exports<'fast-check/lib/stream/Stream'>;1126}1127declare module 'fast-check/lib/stream/StreamHelpers.js' {1128  declare module.exports: $Exports<'fast-check/lib/stream/StreamHelpers'>;1129}1130declare module 'fast-check/lib/utils/globalThis.js' {1131  declare module.exports: $Exports<'fast-check/lib/utils/globalThis'>;1132}1133declare module 'fast-check/lib/utils/hash.js' {1134  declare module.exports: $Exports<'fast-check/lib/utils/hash'>;1135}1136declare module 'fast-check/lib/utils/stringify.js' {1137  declare module.exports: $Exports<'fast-check/lib/utils/stringify'>;...

CommandsArbitrary.spec.ts

Source:CommandsArbitrary.spec.ts

1import * as fc from '../../../src/fast-check';2import { FailureCommand, SuccessCommand } from './StepCommands';3import {4  IncreaseCommand,5  DecreaseCommand,6  EvenCommand,7  OddCommand,8  CheckLessThanCommand,9  SuccessAlwaysCommand,10} from './CounterCommands';11import { seed } from '../seed';12describe(`CommandsArbitrary (seed: ${seed})`, () => {13  describe('commands', () => {14    it('Should shrink up to the shortest failing commands list', () => {15      const out = fc.check(16        fc.property(17          fc.commands(18            [19              fc.nat().map((n) => new IncreaseCommand(n)),20              fc.nat().map((n) => new DecreaseCommand(n)),21              fc.constant(new EvenCommand()),22              fc.constant(new OddCommand()),23              fc.nat().map((n) => new CheckLessThanCommand(n + 1)),24            ],25            { disableReplayLog: true, size: '+2' }26          ),27          (cmds) => {28            const setup = () => ({29              model: { count: 0 },30              real: {},31            });32            fc.modelRun(setup, cmds);33          }34        ),35        { seed: seed }36      );37      expect(out.failed).toBe(true);38      const cmdsRepr = out.counterexample![0].toString();39      expect(cmdsRepr).toMatch(/check\[(\d+)\]$/);40      expect(cmdsRepr).toEqual('inc[1],check[1]');41    });42    it('Should result in empty commands if failures happen after the run', () => {43      const out = fc.check(44        fc.property(fc.commands([fc.constant(new SuccessAlwaysCommand())]), (cmds) => {45          const setup = () => ({46            model: { count: 0 },47            real: {},48          });49          fc.modelRun(setup, cmds);50          return false; // fails after the model, no matter the commands51        }),52        { seed: seed }53      );54      expect(out.failed).toBe(true);55      expect([...out.counterexample![0]]).toHaveLength(0);56    });57    it('Should shrink towards minimal case even with other arbitraries', () => {58      // Why this test?59      //60      // fc.commands is one of the rare Arbitrary relying on an internal state.61      // By generating commands along with other arbitraries, we could highlight states issues.62      // Basically shrinking will re-use the generated commands multiple times along with a shrunk array.63      //64      // First version was failing on this test with the following output:65      // Expected the only played command to be 'failure', got: -,success,failure for steps 266      // The output for 'steps 2' should have been '-,-,failure'67      const out = fc.check(68        fc.property(69          fc.array(fc.nat(9), { maxLength: 3 }),70          fc.commands([fc.constant(new FailureCommand()), fc.constant(new SuccessCommand())], {71            disableReplayLog: true,72          }),73          fc.array(fc.nat(9), { maxLength: 3 }),74          (validSteps1, cmds, validSteps2) => {75            const setup = () => ({76              model: { current: { stepId: 0 }, validSteps: [...validSteps1, ...validSteps2] },77              real: {},78            });79            fc.modelRun(setup, cmds);80          }81        ),82        { seed: seed }83      );84      expect(out.failed).toBe(true);85      expect(out.counterexample![1].toString()).toEqual('failure');86    });87    it('Should not start a run with already started commands', () => {88      // Why this test?89      // fc.commands relies on cloning not to waste the hasRan status of an execution90      // between two runs it is supposed to clone the commands before resetting the hasRan flag91      const unexpectedPartiallyExecuted: string[] = [];92      const out = fc.check(93        fc.property(94          fc.array(fc.nat(9), { maxLength: 3 }),95          fc.commands([fc.constant(new FailureCommand()), fc.constant(new SuccessCommand())], {96            disableReplayLog: true,97          }),98          fc.array(fc.nat(9), { maxLength: 3 }),99          (validSteps1, cmds, validSteps2) => {100            if (String(cmds) !== '') {101              // When no command has been started, String(cmds) === ''102              // Having String(cmds) !== '' implies that some commands have the hasRan flag ON103              unexpectedPartiallyExecuted.push(String(cmds));104            }105            const setup = () => ({106              model: { current: { stepId: 0 }, validSteps: [...validSteps1, ...validSteps2] },107              real: {},108            });109            fc.modelRun(setup, cmds);110          }111        ),112        { seed: seed }113      );114      expect(out.failed).toBe(true);115      expect(unexpectedPartiallyExecuted).toEqual([]);116    });117  });...

commands.ts

Source:commands.ts

...46): Arbitrary<Iterable<ICommand<Model, Real, RunResult, CheckAsync>>> {47  const { size, maxCommands = MaxLengthUpperBound, disableReplayLog = false, replayPath = null } = constraints;48  const specifiedMaxCommands = constraints.maxCommands !== undefined;49  const maxGeneratedCommands = maxGeneratedLengthFromSizeForArbitrary(size, 0, maxCommands, specifiedMaxCommands);50  return new CommandsArbitrary(commandArbs, maxGeneratedCommands, maxCommands, replayPath, disableReplayLog);51}...

Using AI Code Generation

1const { CommandsArbitrary } = require('fast-check-monorepo');2const commandsArbitrary = CommandsArbitrary.forCommands({3  a: (x) => x,4  b: (x) => x,5  c: (x) => x,6});7fastCheck.check(commandsArbitrary, {8});

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.