Line data    Source code

       1              : // Taken from here: https://stackoverflow.com/questions/521295/seeding-the-random-number-generator-in-javascript
       2              : 
       3              : import { PseudoRandomNumberGenerator } from "./prng.js";
       4              : 
       5              : export interface Hasher {
       6              :     clone(): Hasher;
       7              :     add(str: string): Hasher;
       8              :     addN(str: string[]): Hasher;
       9              :     asPrng(): PseudoRandomNumberGenerator;
      10              :     asString(): string;
      11              : }
      12              : 
      13            1 : export function randomBuffer32(len: number, rng: PseudoRandomNumberGenerator) {
      14            1 :     const out = new Uint32Array(len);
      15            1 :     for (let i = 0; i < out.length; ++i) {
      16            1 :         out[i] = rng.next();
      17              :     }
      18            1 :     return out.buffer;
      19            1 : }