package tezos-benchmark

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_benchmark.Base_samplersSource

Sourcetype 'a sampler = Random.State.t -> 'a

The type of samplers. Samplers should be deterministic in their input. Note that a value of type Random.State.t is mutable and can be updated destructively at each call of the sampler.

Sourcetype range = {
  1. min : int;
  2. max : int;
}

Range (inclusive)

Sourceval sample_in_interval : range:range -> int sampler

sample_in_interval ~range creates a sampler in the specified interval.

Sourceval sample_float_in_interval : min:float -> max:float -> float sampler

sample_float_in_interval ~min ~max creates a sampler in the specified interval.

Sourceval uniform_bool : bool sampler

Samples a boolean uniformly at random

Sourceval uniform_byte : char sampler

Sample a byte uniformly at random

Sourceval uniform_partial_byte : nbits:int -> char sampler

Samples the specified number of bits uniformly at random. The sampled bits are the nbits least significant ones in the returned char.

Sourceval uniform_string : nbytes:int -> string sampler

Samples a string of length nbytes uniformly at random.

Sourceval uniform_bytes : nbytes:int -> bytes sampler

Samples bytes of length nbytes uniformly at random.

Sourceval uniform_nat : nbytes:int -> Z.t sampler

Samples a non-negative big integer stored on nbytes bytes, uniformly at random (modulo trailing zeroes).

Sourceval uniform_int : nbytes:int -> Z.t sampler

Samples a big integer stored on nbytes bytes, uniformly at random (modulo trailing zeroes).

Sourceval nat : size:range -> Z.t sampler

Samples a size in bytes uniformly in size and then samples a uniform non-negative big integer of this size.

Sourceval int : size:range -> Z.t sampler

Samples a size in bytes uniformly in size and then samples a uniform big integer of this size.

Sourceval uniform_readable_ascii : char sampler

Samples a readable character.

Sourceval readable_ascii_string : size:range -> string sampler

Samples a readable string with length sampled uniformly in size.

Sourceval string : size:range -> string sampler

Samples a string with length sampled uniformly in size.

Sourceval bytes : size:range -> bytes sampler

Samples bytes with length sampled uniformly in size.

Sourcemodule Adversarial : sig ... end

Sampling of "adversarial" values in the sense that they exhibit the worst-case performance of the usual comparison functions.

OCaml

Innovation. Community. Security.