Extending the DSL

nkDSL now exposes a first-class clause abstraction layer for extending the fluent API. In practice, this means you can add your own iterator and predicate methods and call them exactly like built-ins:

op = (
    nkdsl.SymbolicDiscreteJaxOperator(hi, "my-op")
    .my_custom_iterator(...)
    .my_custom_predicate(...)
    .emit(...)
    .build()
)

The extension points are separated by concern:

• Iterator clauses decide where the term iterates.

• Predicate clauses decide when a visit is active.

• Emission clauses decide how branches are emitted (including conditional chains).

Use the pages below as implementation guides:

• Extending DSL Iterators
  • Abstraction hierarchy
  • What every iterator clause must provide
  • Name resolution rules
  • Example: Even-site iterator
  • Example: Graph-edge iterator
  • Practical checklist before shipping a custom iterator
  • Discoverability
• Extending DSL Predicates
  • Abstraction hierarchy
  • What every predicate clause must provide
  • Name resolution rules
  • Example: Occupancy threshold predicate
  • Example: Band predicate (inclusive range)
  • Composition semantics with where
  • Practical checklist before shipping a custom predicate
  • Discoverability
• Extending DSL Emissions
  • Abstraction hierarchy
  • What every emission clause must provide
  • Name resolution rules
  • Example: conditional emission convenience clause
  • Practical checklist before shipping a custom emission clause
  • Discoverability