didactic
The didactic distribution provides immutable, validated Python models backed
by Panproto. Each dx.Model compiles to
a Panproto theory, so the same declaration can drive validation, schema
migration, compatibility checks, code generation, and schema version control.
Install
Didactic requires Python 3.14 or later and panproto>=0.75.0.
pip install didactic
Define a model
import didactic.api as dx
class User(dx.Model):
"""A user record."""
id: str
email: str
display_name: str = ""
user = User(id="u1", email="alice@example.com")
updated = user.with_(display_name="Alice")
assert updated.display_name == "Alice"
assert User.__theory__.name == "User"
Model construction checks Python types, field constraints, class axioms, and
custom validators. Instances serialize to Python objects or JSON and update
through with_(), which returns a new validated instance.
Describe indexed data
Use dx.Universe when one field selects the Python type accepted by another:
from typing import Annotated, Literal
import didactic.api as dx
Payload = dx.Universe("Payload", text=str, number=float)
class Record(dx.Model):
kind: Literal["text", "number"]
body: Annotated[str | float, Payload.at("kind")]
record = Record(kind="number", body=2.5)
The general dx.GADT API defines arbitrary indexed families, constructors,
dependent motives, equations, rewrites, and user-defined eliminators. Panproto
checks the declaration when compile() is called. Generated JSON Schema and
OpenAPI preserve known cases as conditions, Pydantic adapters retain
cross-field validation, and compatibility checks treat index changes as
breaking.
Included APIs
The core distribution includes:
dx.Model, fields, validators, computed fields, and class axioms- references and embedded models for graph-shaped data
- lenses, isomorphisms, and dependent lenses
- migration registration, schema diffing, and migration synthesis
- schema emitters and a filesystem-backed schema repository
- property-based helpers for checking lens and migration laws
- GADTs, indexed families, symbolic terms, reduction, and coverage checking
The didactic-pydantic, didactic-settings, and didactic-fastapi
distributions add their modules under the didactic namespace.
Documentation
Read the tutorial and guides or the API reference.
License
Released under the MIT License.
1 maintainer
Metadata
1 maintainer
Release files for didactic 0.17.4
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| didactic-0.17.4.tar.gz | 150.5 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| didactic-0.17.4-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 333.9 kB
Release files / didactic-0.17.4.tar.gz
| Download URL | didactic-0.17.4.tar.gz |
|---|---|
| Size | 150.5 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
a48cca42a103e84c172a5806f3a1abeb47ef1f4b75eb93a35ba8d9ad35eb8904
|
|
BLAKE2b-256 checksum How to use checksums |
1a53e6ccc6b8c1be47bb40002638fe905cbca6543ce7b3affa42133f20486dd0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency logRelease files / didactic-0.17.4-py3-none-any.whl
| Download URL | didactic-0.17.4-py3-none-any.whl |
|---|---|
| Size | 183.4 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
c6829d2163e2ff3f9c04d17fe3b8a9ed5710e8641a32ec902ce8ca90742dc17a
|
|
BLAKE2b-256 checksum How to use checksums |
dd4a84c500d4de9791bfd9f748af93242afec7b9ff00b392e4991abb26c3e9a1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 9, 2026.
Transparency log
