Modules§
- This module contains analysis tools for Quil programs.
- Type check Quil programs.
Structs§
- Details about the expansion of a calibration
- The product of expanding an instruction using a calibration
- A
CalibrationSet
is a collection of calibration instructions that respect how calibrations work in a Quil program. - A collection of Quil calibrations (
DEFCAL
instructions) with utility methods. - A collection of Quil frames (
DEFFRAME
instructions) with utility methods. - The parser returned success, but there was unexpected leftover input.
- The product of evaluating [
FrameMatchConditions
] in the scope of available frames (such as within acrate::Program
). - A Quil Program instance describes a quantum program with metadata used in execution.
- A SourceMap provides information necessary to understand which parts of a target were derived from which parts of a source artifact, in such a way that they can be mapped in either direction.
Enums§
- A source of a calibration, either a
Calibration
or aMeasureCalibrationDefinition
- The result of an attempt to expand an instruction within a [
Program
] - Errors that may occur while parsing a
Program
. - Failed to deserialize a Quil program for some reason.
Functions§
- If parsing was successful but there is leftover input, returns a
SyntaxError::Leftover
containing the output. - Map the parsed output into another value.
- If this
result
isErr(ProgramParsingError::Leftover)
, converts it toOk(_)
with the parsed output.