Custom Generators

SqlProof maps PostgreSQL types to Hypothesis strategies automatically. For tighter control, override columns via proof.customize().

Basic Override

from hypothesis import strategies as st

proof.customize(
    "products",
    price=st.decimals(min_value="0.01", max_value="9999.99", places=2),
    name=st.text(min_size=1, max_size=100),
)

Well-Known Strategies

SqlProof also ships helpers for common string domains:

from sqlproof.generators.well_known import emails, slugs, urls

proof.customize(
    "customers",
    email=emails(),
)

proof.customize(
    "content",
    slug=slugs(max_length=64),
    canonical_url=urls(include_fragment=False),
)

Type Mapping Examples

PostgreSQL type	Default strategy
`integer`	`st.integers(-2147483648, 2147483647)`
`bigint`	`st.integers(-(263), 263 - 1)`
`boolean`	`st.booleans()`
`text`	`st.text(max_size=255)`
`varchar(n)`	`st.text(max_size=n)`
`uuid`	`st.uuids()`
`jsonb`	Recursive JSON value strategies
enum types	`st.sampled_from(enum_values)`