Helpers for assembling custom FsCheck arbitraries used by Testify checks.

Operator helpers for composing arbitraries.

Builders and combinators for reusable assertion semantics.

Describes how one quoted value should be validated, rendered, and explained when it fails.

Structured information describing one failed assertion.

Concise operator syntax for example-based assertions.

Outcome of an assertion check.

Curated groups of built-in hint packs for easy enablement.

Additional helpers around property-style result collection and aggregation.

Property-style runner that returns a structured CheckResult.

Represents one concrete property-test case with the observed tested and reference outcomes.

Helpers for building FsCheck configurations used by Testify.Check.

Builders and combinators for property-style expectations.

Describes how a tested implementation should relate to a reference implementation for generated inputs.

Structured information describing a failing property-style test case.

Concise operator syntax for property-style checks.

Outcome of a property-style check.

Helpers for generating short human-readable diffs for assertion and property failures.

Controls how Testify tries to explain mismatches between expected and actual values.

Options for Testify diff generation and truncation.

Helpers for building FsCheck generators used by Testify property checks.

Broad, reusable hint rules for common runtime and mismatch scenarios.

Selectable text fields from a failure report that hint rules can inspect.

Reusable hint rules for Mini/course-specific teaching scenarios.

Controls which textual representation Testify emits for rendered results.

Built-in hint rules focused on shrinking behavior and property-test diagnostics.

Logical fields that the Testify renderer may include or hide based on verbosity.

Built-in hint rules focused on string formatting and textual comparison mistakes.

Public facade for installing and inspecting Testify's global default configuration.

Global default configuration that Testify uses when callers do not override behavior explicitly.

High-level category of failure that Testify is reporting.

Structured, renderer-friendly failure data used across Assert and Check reporting.

Named group of hint rules that can be enabled together in a stable order.

Helpers for building reusable hint rules.

One rule that tries to infer a hint from a structured failure report.

Optional ready-made Testify configurations for specific teaching contexts.

Helpers for normalizing report options against Testify defaults.

Options that influence how Testify renders assertion and property failures.

Global process-wide settings that affect Testify result persistence and rendering defaults.

Controls how much detail Testify includes in rendered reports.