Zafu/Testing/HedgeHog/Range

`Zafu/Testing/HedgeHog/Range`

source code:

src/Zafu/Testing/HedgeHog/Range.bosatsu

public dependencies: Zafu/Testing/HedgeHog/Seed, Zafu/Testing/HedgeHog/Size

Index

Types: Range
Values: constant_Range, int128_signed_Range, int16_signed_Range, int32_signed_Range, int64_signed_Range, int8_signed_Range, linear_Range, lower_bound, one_of_Int, pos_int16_Range, pos_int32_Range, pos_int8_Range, sample_Int, uint32_Range, upper_bound

Types

`Range`

Size-sensitive integer range with an origin and bound scaling rule.

type Range

Values

`constant_Range`

Build a size-independent range with fixed inclusive/exclusive bounds.

references: Int, Range

def constant_Range(lower: Int, upper_exclusive: Int) -> Range

`int128_signed_Range`

Size-scaled signed 128-bit integer range.

references: Range

int128_signed_Range: Range

`int16_signed_Range`

Size-scaled signed 16-bit integer range.

references: Range

int16_signed_Range: Range

`int32_signed_Range`

Size-scaled signed 32-bit integer range.

references: Range

int32_signed_Range: Range

`int64_signed_Range`

Size-scaled signed 64-bit integer range.

references: Range

int64_signed_Range: Range

`int8_signed_Range`

Size-scaled signed 8-bit integer range.

references: Range

int8_signed_Range: Range

`linear_Range`

Build a linearly size-scaled range with a derived origin.

references: Int, Range

def linear_Range(lower: Int, upper_exclusive: Int) -> Range

`lower_bound`

Return the current lower bound for a size.

references: Int, Range, Zafu/Testing/HedgeHog/Size::Size

def lower_bound(range: Range, size: Zafu/Testing/HedgeHog/Size::Size) -> Int

`one_of_Int`

Build a size-aware sampler that chooses one of several ranges uniformly first.

references: Int, List, Range, Tuple2, Zafu/Testing/HedgeHog/Seed::Seed, Zafu/Testing/HedgeHog/Size::Size

def one_of_Int(first: Range, rest: List[Range]) -> (Zafu/Testing/HedgeHog/Size::Size, Zafu/Testing/HedgeHog/Seed::Seed) -> (Zafu/Testing/HedgeHog/Seed::Seed, Int)

`pos_int16_Range`

Size-scaled positive 16-bit integer range.

references: Range

pos_int16_Range: Range

`pos_int32_Range`

Size-scaled positive 32-bit integer range.

references: Range

pos_int32_Range: Range

`pos_int8_Range`

Size-scaled positive 8-bit integer range.

references: Range

pos_int8_Range: Range

`sample_Int`

Sample an integer from the range at the given size.

references: Int, Range, Tuple2, Zafu/Testing/HedgeHog/Seed::Seed, Zafu/Testing/HedgeHog/Size::Size

def sample_Int(range: Range, size: Zafu/Testing/HedgeHog/Size::Size, seed: Zafu/Testing/HedgeHog/Seed::Seed) -> (Zafu/Testing/HedgeHog/Seed::Seed, Int)

`uint32_Range`

Size-scaled unsigned 32-bit integer range.

references: Range

uint32_Range: Range

`upper_bound`

Return the current exclusive upper bound for a size.

references: Int, Range, Zafu/Testing/HedgeHog/Size::Size

def upper_bound(range: Range, size: Zafu/Testing/HedgeHog/Size::Size) -> Int