Random Module

Assembly: Hedgehog.dll

Functions and values

Function or value	Description
`bind k r` Full Usage: `bind k r` Parameters: k : `'a -> Random<'b>` r : `Random<'a>` Returns: `Random<'b>`	k : `'a -> Random<'b>` r : `Random<'a>` Returns: `Random<'b>`
`constant x` Full Usage: `constant x` Parameters: x : `'a` Returns: `Random<'a>`	x : `'a` Returns: `Random<'a>`
`delay f` Full Usage: `delay f` Parameters: f : `unit -> Random<'a>` Returns: `Random<'a>`	f : `unit -> Random<'a>` Returns: `Random<'a>`
`double range` Full Usage: `double range` Parameters: range : `Range<double>` Returns: `Random<double>`	Generates a random floating point number in the given inclusive range. range : `Range<double>` Returns: `Random<double>`
`integral range` Full Usage: `integral range` Parameters: range : `Range<^a>` Returns: `Random<^a>`	Generates a random integral number in the given inclusive range. range : `Range<^a>` Returns: `Random<^a>`
`map f r` Full Usage: `map f r` Parameters: f : `'a -> 'b` r : `Random<'a>` Returns: `Random<'b>`	f : `'a -> 'b` r : `Random<'a>` Returns: `Random<'b>`
`replicate times r` Full Usage: `replicate times r` Parameters: times : `int` r : `Random<'a>` Returns: `Random<seq<'a>>`	times : `int` r : `Random<'a>` Returns: `Random<seq<'a>>`
`resize newSize r` Full Usage: `resize newSize r` Parameters: newSize : `Size` r : `Random<'a>` Returns: `Random<'a>`	Overrides the size parameter. Returns a generator which uses the given size instead of the runtime-size parameter. newSize : `Size` r : `Random<'a>` Returns: `Random<'a>`
`run seed size r` Full Usage: `run seed size r` Parameters: seed : `Seed` size : `Size` r : `Random<'a>` Returns: `'a`	seed : `Seed` size : `Size` r : `Random<'a>` Returns: `'a`
`sized f` Full Usage: `sized f` Parameters: f : `Size -> Random<'a>` Returns: `Random<'a>`	Used to construct generators that depend on the size parameter. f : `Size -> Random<'a>` Returns: `Random<'a>`
`tryFinally after r` Full Usage: `tryFinally after r` Parameters: after : `unit -> unit` r : `Random<'a>` Returns: `Random<'a>`	after : `unit -> unit` r : `Random<'a>` Returns: `Random<'a>`
`tryWith k r` Full Usage: `tryWith k r` Parameters: k : `exn -> Random<'a>` r : `Random<'a>` Returns: `Random<'a>`	k : `exn -> Random<'a>` r : `Random<'a>` Returns: `Random<'a>`