Skip to content
Generator Rule
Summary
- Capture the anamorphic functions (
u) that expand seeds into ordered
structures.
- Define how generator rules operate over the fold schema with explicit
input/output behavior.
Evidence
- Instances of generator rules will map minimal seeds to sequences
[e₀, e₁, e₂, …].
- Connects to the
fold note through seed(F) composition.
Graph links
- Hub: [[readme.md]], [[sitemap.md]], [[obsidian-handbook.md]]
- Backlinks: [[fold.md]], [[termination.md]], [[examples.md]]
- Tags:
#unfold/core, #unfold/schema
Next steps
- Document concrete generator functions (e.g., even number pipeline).
- Capture annotations for rule persistence/termination interplay.
Schema map
u: seed → [e₀, e₁, e₂, …] anamorphism
u(seed(F)) equal to unfold(F, u)