bend-kit-random

Releases (2)

• 0.1.0.1 indexed
• 0.1.0.0 unindexed

Definitions (26)

random.bend

• type Rngxoshiro128** state (https://prng.di.unimi.it/xoshiro128starstar.c).
• def rotl
• def mixsplitmix32's output mixer, a bijection on U32.
• def seedThe first four splitmix32 outputs from s.
• def from_state.if
• def from_stateThe state (a, b, c, d) as is, to replay a reference stream.
• def nextOne xoshiro128** step: a uniform U32 and the next state.
• def Bool.case
• def below.goRejects draws below t = 2^32 mod n, as OpenBSD's arc4random_uniform does.
• def below.if
• def belowA uniform U32 in [0, n).
• def range.fin
• def rangeA uniform U32 in [lo, hi).
• def unit.fin
• def unitA uniform F32 in [0, 1), from the draw's top 24 bits.
• def shuffle.fill
• def shuffle.swap.set
• def shuffle.swap
• def shuffle.goFisher-Yates: at slot i, jr is below(i + 1); slot i swaps with slot j.
• def shuffle.readSlots [0, k] of the array, with ax the read of slot k, prepended to acc.
• def shuffle.fin
• def shuffle.run
• def shuffleA uniform permutation of xs.
• def entropy16 bytes from the OS (getentropy, or crypto.getRandomValues in JS).
• def from_os.fin
• def from_osA generator seeded from OS entropy, for when runs need not repeat.