File size: 1,197 Bytes
96af7c9 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 |
"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.toss = toss;
exports.lazyToss = lazyToss;
const pure_rand_1 = require("pure-rand");
const Random_1 = require("../../random/generator/Random");
const Value_1 = require("../arbitrary/definition/Value");
const globals_1 = require("../../utils/globals");
function tossNext(generator, rng, index) {
rng.unsafeJump();
return generator.generate(new Random_1.Random(rng), index);
}
function* toss(generator, seed, random, examples) {
for (let idx = 0; idx !== examples.length; ++idx) {
yield new Value_1.Value(examples[idx], undefined);
}
for (let idx = 0, rng = random(seed);; ++idx) {
yield tossNext(generator, rng, idx);
}
}
function lazyGenerate(generator, rng, idx) {
return () => generator.generate(new Random_1.Random(rng), idx);
}
function* lazyToss(generator, seed, random, examples) {
yield* (0, globals_1.safeMap)(examples, (e) => () => new Value_1.Value(e, undefined));
let idx = 0;
let rng = random(seed);
for (;;) {
rng = rng.jump ? rng.jump() : (0, pure_rand_1.skipN)(rng, 42);
yield lazyGenerate(generator, rng, idx++);
}
}
|