Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Now using OpDefs and a TKET1 resource.
The logic for translating individual operations is contained by an internal
JsonOp
struct, which tries to make things as homogeneous as possible (given that any data in antket_json_rs::Operation
may be missing).Next up is doing the encoder and testing the roundtrip. This should be straightforward now that we have the
Commands
iterator.Note that free variables as parameters are not yet supported. (That'll probably go into an issue after this is merged.)
Note that until we solve CQCL/hugr#263 printing the graph will not show the actual name of wrapped operations:
Alternatively, we could dynamically add operations to the resource when we encounter new unsupported operation names. I'm not sure whether non-
static
resources would break something in the hugr...