XorOshiro128Plus

[Source]

This is an implementation of xoroshiro128+, as detailed at:

http://xoroshiro.di.unimi.it

This is currently the default Rand implementation.

class ref XorOshiro128Plus is
  Random ref

Implements

• Random ref

Constructors

from_u64

[Source]

Use seed x to seed a SplitMix64 and use this to initialize the 128 bits of state.

new ref from_u64(
  x: U64 val = 5489)
: XorOshiro128Plus ref^

Parameters

• x: U64 val = 5489

Returns

• XorOshiro128Plus ref^

create

[Source]

Create with the specified seed. Returned values are deterministic for a given seed.

new ref create(
  x: U64 val = 5489,
  y: U64 val = 0)
: XorOshiro128Plus ref^

Parameters

• x: U64 val = 5489
• y: U64 val = 0

Returns

• XorOshiro128Plus ref^

Public Functions

next

[Source]

A random integer in [0, 2^64)

fun ref next()
: U64 val

Returns

• U64 val

has_next

fun tag has_next()
: Bool val

Returns

• Bool val

u8

fun ref u8()
: U8 val

Returns

• U8 val

u16

fun ref u16()
: U16 val

Returns

• U16 val

u32

fun ref u32()
: U32 val

Returns

• U32 val

u64

fun ref u64()
: U64 val

Returns

• U64 val

u128

fun ref u128()
: U128 val

Returns

• U128 val

ulong

fun ref ulong()
: ULong val

Returns

• ULong val

usize

fun ref usize()
: USize val

Returns

• USize val

i8

fun ref i8()
: I8 val

Returns

• I8 val

i16

fun ref i16()
: I16 val

Returns

• I16 val

i32

fun ref i32()
: I32 val

Returns

• I32 val

i64

fun ref i64()
: I64 val

Returns

• I64 val

i128

fun ref i128()
: I128 val

Returns

• I128 val

ilong

fun ref ilong()
: ILong val

Returns

• ILong val

isize

fun ref isize()
: ISize val

Returns

• ISize val

int_fp_mult[optional N: ((U8 val | U16 val | U32 val | U64 val | U128 val | ULong val | USize val) & Real[N] val)]

fun ref int_fp_mult[optional N: ((U8 val | U16 val | U32 val | 
    U64 val | U128 val | ULong val | 
    USize val) & Real[N] val)](
  n: N)
: N

Parameters

• n: N

Returns

• N

int[optional N: ((U8 val | U16 val | U32 val | U64 val | U128 val | ULong val | USize val) & Real[N] val)]

fun ref int[optional N: ((U8 val | U16 val | U32 val | 
    U64 val | U128 val | ULong val | 
    USize val) & Real[N] val)](
  n: N)
: N

Parameters

• n: N

Returns

• N

int_unbiased[optional N: ((U8 val | U16 val | U32 val | U64 val | U128 val | ULong val | USize val) & Real[N] val)]

fun ref int_unbiased[optional N: ((U8 val | U16 val | U32 val | 
    U64 val | U128 val | ULong val | 
    USize val) & Real[N] val)](
  n: N)
: N

Parameters

• n: N

Returns

• N

real

fun ref real()
: F64 val

Returns

• F64 val

shuffle[A: A]

fun ref shuffle[A: A](
  array: Array[A] ref)
: None val

Parameters

• array: Array[A] ref

Returns

• None val