Zafu/Testing/HedgeHog/Size

source code:

• src/Zafu/Testing/HedgeHog/Size.bosatsu

Index

• Types: Size
• Values: from_Int, golden, incBy, max, percentage, scale_Size, size_for_sample, to_Int

Types

Size

HedgeHog size parameter normalized to the closed interval 1..100.

type Size

Values

from_Int

Wrap an integer into HedgeHog's normalized size domain.

references: Int, Size

def from_Int(value: Int) -> Size

golden

Scale a size by HedgeHog's golden-ratio heuristic.

references: Size

def golden(size: Size) -> Size

incBy

Add two sizes with HedgeHog's wraparound normalization.

references: Size

def incBy(size: Size, delta: Size) -> Size

max

references: Int

max: Int

percentage

Convert a size to the [0, 1] percentage used for range scaling.

references: Float64, Size

def percentage(size: Size) -> Float64

scale_Size

Scale an integer by the normalized size ratio.

references: Int, Size

def scale_Size(size: Size, value: Int) -> Int

size_for_sample

Compute the sample size used for an index in a finite run.

references: Int, Size

def size_for_sample(index: Int, count: Int) -> Size

to_Int

Extract the normalized integer backing a size.

references: Int, Size

def to_Int(size: Size) -> Int