Skip to content

trace - #280

Merged
jordens merged 26 commits into
mainfrom
trace
Apr 20, 2025
Merged

trace#280
jordens merged 26 commits into
mainfrom
trace

Conversation

@jordens

@jordens jordens commented Apr 18, 2025

Copy link
Copy Markdown
Member
  • py: typing style
  • pass serialize_by_key Ok
  • trace: add example
  • Walk::internal: pass children by value
  • trace: elaborate
  • examples/common: new()
  • trace: streamline
  • trace: trace type
  • TreeDeserialize: add type_by_key
  • TreeDeserialize: type_by_key -> probe_by_key
  • probe_by_key: impls
  • trace: update with probe_by_key
  • CHANGELOG: update
  • deps: sort out serde-reflection, bump strum
  • trace: simple
  • trace: no indexmap
  • Revert "trace: no indexmap"
  • trace: minimal docs
  • trace: use a graph to phantom type

@jordens
jordens enabled auto-merge April 20, 2025 19:23
@jordens jordens linked an issue Apr 20, 2025 that may be closed by this pull request
@jordens
jordens merged commit b79f73d into main Apr 20, 2025
@jordens
jordens deleted the trace branch April 20, 2025 19:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support schema export

1 participant