classiq 0.92.0__py3-none-any.whl → 0.94.0__py3-none-any.whl

classiq/qmod/builtins/functions/standard_gates.py

@@ -1,8 +1,8 @@
 from typing import Literal
 
-from classiq.qmod.qfunc import qfunc
+from classiq.qmod.qfunc import qfunc, qperm
 from classiq.qmod.qmod_parameter import CReal
-from classiq.qmod.qmod_variable import Const, Permutable, QArray, QBit
+from classiq.qmod.qmod_variable import Const, QArray, QBit
 
 
 @qfunc(external=True)
@@ -24,8 +24,8 @@ def H(target: QBit) -> None:
     pass
 
 
-@qfunc(external=True)
-def X(target: Permutable[QBit]) -> None:
+@qperm(external=True)
+def X(target: QBit) -> None:
     """
     [Qmod core-library function]
 
@@ -43,8 +43,8 @@ def X(target: Permutable[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
-def Y(target: Permutable[QBit]) -> None:
+@qperm(external=True)
+def Y(target: QBit) -> None:
     """
     [Qmod core-library function]
 
@@ -62,7 +62,7 @@ def Y(target: Permutable[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def Z(target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -81,7 +81,7 @@ def Z(target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def I(target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -100,7 +100,7 @@ def I(target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def S(target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -119,7 +119,7 @@ def S(target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def T(target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -138,7 +138,7 @@ def T(target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def SDG(target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -157,7 +157,7 @@ def SDG(target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def TDG(target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -176,7 +176,7 @@ def TDG(target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def PHASE(theta: CReal, target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -238,7 +238,7 @@ def RY(theta: CReal, target: QBit) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def RZ(theta: CReal, target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -323,7 +323,7 @@ def RYY(theta: CReal, target: QArray[QBit, Literal[2]]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def RZZ(theta: CReal, target: Const[QArray[QBit, Literal[2]]]) -> None:
     """
     [Qmod core-library function]
@@ -369,8 +369,8 @@ def CH(ctrl: Const[QBit], target: QBit) -> None:
     pass
 
 
-@qfunc(external=True)
-def CX(ctrl: Const[QBit], target: Permutable[QBit]) -> None:
+@qperm(external=True)
+def CX(ctrl: Const[QBit], target: QBit) -> None:
     """
     [Qmod core-library function]
 
@@ -394,8 +394,8 @@ def CX(ctrl: Const[QBit], target: Permutable[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
-def CY(ctrl: Const[QBit], target: Permutable[QBit]) -> None:
+@qperm(external=True)
+def CY(ctrl: Const[QBit], target: QBit) -> None:
     """
     [Qmod core-library function]
 
@@ -419,7 +419,7 @@ def CY(ctrl: Const[QBit], target: Permutable[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def CZ(ctrl: Const[QBit], target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -496,7 +496,7 @@ def CRY(theta: CReal, ctrl: Const[QBit], target: QBit) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def CRZ(theta: CReal, ctrl: Const[QBit], target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -522,7 +522,7 @@ def CRZ(theta: CReal, ctrl: Const[QBit], target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def CPHASE(theta: CReal, ctrl: Const[QBit], target: Const[QBit]) -> None:
     """
     [Qmod core-library function]
@@ -548,8 +548,8 @@ def CPHASE(theta: CReal, ctrl: Const[QBit], target: Const[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
-def SWAP(qbit0: Permutable[QBit], qbit1: Permutable[QBit]) -> None:
+@qperm(external=True)
+def SWAP(qbit0: QBit, qbit1: QBit) -> None:
     """
     [Qmod core-library function]
 
@@ -573,7 +573,7 @@ def SWAP(qbit0: Permutable[QBit], qbit1: Permutable[QBit]) -> None:
     pass
 
 
-@qfunc(external=True)
+@qperm(external=True)
 def IDENTITY(target: Const[QArray[QBit]]) -> None:
     """
     [Qmod core-library function]
@@ -622,8 +622,8 @@ def U(theta: CReal, phi: CReal, lam: CReal, gam: CReal, target: QBit) -> None:
     pass
 
 
-@qfunc(external=True)
-def CCX(ctrl: Const[QArray[QBit, Literal[2]]], target: Permutable[QBit]) -> None:
+@qperm(external=True)
+def CCX(ctrl: Const[QArray[QBit, Literal[2]]], target: QBit) -> None:
     """
     [Qmod core-library function]
 

classiq/qmod/builtins/operations.py

@@ -1,19 +1,15 @@
 import inspect
 import sys
-import warnings
-from collections.abc import Mapping
+from collections.abc import Callable, Mapping
 from types import FrameType
 from typing import (
     Any,
-    Callable,
     Final,
     NoReturn,
-    Optional,
-    Union,
     overload,
 )
 
-from classiq.interface.exceptions import ClassiqDeprecationWarning, ClassiqValueError
+from classiq.interface.exceptions import ClassiqValueError
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.generator.functions.builtins.internal_operators import (
     REPEAT_OPERATOR_NAME,
@@ -61,7 +57,7 @@ _MISSING_VALUE: Final[int] = -1
 
 
 @overload
-def allocate(num_qubits: Union[int, SymbolicExpr], out: Output[QVar]) -> None:
+def allocate(num_qubits: int | SymbolicExpr, out: Output[QVar]) -> None:
     pass
 
 
@@ -72,9 +68,9 @@ def allocate(out: Output[QVar]) -> None:
 
 @overload
 def allocate(
-    num_qubits: Union[int, SymbolicExpr],
-    is_signed: Union[bool, SymbolicExpr],
-    fraction_digits: Union[int, SymbolicExpr],
+    num_qubits: int | SymbolicExpr,
+    is_signed: bool | SymbolicExpr,
+    fraction_digits: int | SymbolicExpr,
     out: Output[QVar],
 ) -> None:
     pass
@@ -146,8 +142,8 @@ def allocate(*args: Any, **kwargs: Any) -> None:
 
 @suppress_return_value
 def bind(
-    source: Union[Input[QVar], list[Input[QVar]]],
-    destination: Union[Output[QVar], list[Output[QVar]]],
+    source: Input[QVar] | list[Input[QVar]],
+    destination: Output[QVar] | list[Output[QVar]],
 ) -> None:
     """
     Reassign qubit or arrays of qubits by redirecting their logical identifiers.
@@ -182,9 +178,9 @@ def bind(
 
 @suppress_return_value
 def if_(
-    condition: Union[SymbolicExpr, bool],
-    then: Union[QCallable, Callable[[], Statements]],
-    else_: Union[QCallable, Callable[[], Statements], int] = _MISSING_VALUE,
+    condition: SymbolicExpr | bool,
+    then: QCallable | Callable[[], Statements],
+    else_: QCallable | Callable[[], Statements] | int = _MISSING_VALUE,
 ) -> None:
     """
     Conditionally executes quantum operations based on a symbolic or boolean expression.
@@ -219,9 +215,9 @@ def if_(
 
 @suppress_return_value
 def control(
-    ctrl: Union[SymbolicExpr, QBit, QArray[QBit], list[QVar]],
-    stmt_block: Union[QCallable, Callable[[], Statements]],
-    else_block: Union[QCallable, Callable[[], Statements], None] = None,
+    ctrl: SymbolicExpr | QBit | QArray[QBit] | list[QVar],
+    stmt_block: QCallable | Callable[[], Statements],
+    else_block: QCallable | Callable[[], Statements] | None = None,
 ) -> None:
     """
     Conditionally executes quantum operations based on the value of quantum variables or expressions.
@@ -256,7 +252,15 @@ def control(
 
 
 @suppress_return_value
-def skip_control(stmt_block: Union[QCallable, Callable[[], Statements]]) -> None:
+def skip_control(stmt_block: QCallable | Callable[[], Statements]) -> None:
+    """
+    Applies quantum statements unconditionally.
+
+    Args:
+        stmt_block: A callable that produces a quantum operation.
+
+    For more details, see [Qmod Reference](https://docs.classiq.io/latest/qmod-reference/language-reference/statements/skip-control).
+    """
     _validate_operand(stmt_block)
     assert QCallable.CURRENT_EXPANDABLE is not None
     source_ref = get_source_ref(sys._getframe(1))
@@ -396,9 +400,7 @@ def within_apply(
 
 
 @suppress_return_value
-def repeat(
-    count: Union[SymbolicExpr, int], iteration: Callable[[int], Statements]
-) -> None:
+def repeat(count: SymbolicExpr | int, iteration: Callable[[int], Statements]) -> None:
     """
     Executes a quantum loop a specified number of times, applying a quantum operation on each iteration.
 
@@ -454,8 +456,8 @@ def repeat(
 
 @suppress_return_value
 def power(
-    exponent: Union[SymbolicExpr, int],
-    stmt_block: Union[QCallable, Callable[[], Statements]],
+    exponent: SymbolicExpr | int,
+    stmt_block: QCallable | Callable[[], Statements],
 ) -> None:
     """
     Apply a quantum operation raised to a symbolic or integer power.
@@ -499,7 +501,7 @@ def power(
 
 
 @suppress_return_value
-def invert(stmt_block: Union[QCallable, Callable[[], Statements]]) -> None:
+def invert(stmt_block: QCallable | Callable[[], Statements]) -> None:
     """
     Apply the inverse of a quantum gate.
 
@@ -532,25 +534,10 @@ def invert(stmt_block: Union[QCallable, Callable[[], Statements]]) -> None:
     QCallable.CURRENT_EXPANDABLE.append_statement_to_body(invert_stmt)
 
 
-@overload
-def phase(
-    phase_expr: Union[SymbolicExpr, float], theta: Union[SymbolicExpr, float] = 1.0
-) -> None:
-    pass
-
-
-@overload
-def phase(
-    *, expr: Union[SymbolicExpr, float], theta: Union[SymbolicExpr, float] = 1.0
-) -> None:
-    pass
-
-
 @suppress_return_value
 def phase(
-    phase_expr: Union[SymbolicExpr, float, None] = None,
-    theta: Union[SymbolicExpr, float] = 1.0,
-    expr: Any = None,
+    phase_expr: SymbolicExpr | float | None = None,
+    theta: SymbolicExpr | float = 1.0,
 ) -> None:
     """
     Applies a state-dependent or fixed phase shift (Z rotation) to the quantum state.
@@ -570,16 +557,6 @@ def phase(
         they are equivalent when the phase_expr is a single-qubit variable.
     """
     assert QCallable.CURRENT_EXPANDABLE is not None
-    if expr is not None:
-        warnings.warn(
-            "Parameter 'expr' of function 'phase' has been renamed to "
-            "'phase_expr'. Parameter 'expr' will no longer be supported starting on "
-            "2025-09-19 at the earliest.\nHint: Change `phase(expr=..., theta=...)` to "
-            "`phase(phase_expr=..., theta=...)` or `phase(..., ...)`.",
-            category=ClassiqDeprecationWarning,
-            stacklevel=2,
-        )
-        phase_expr = expr
     source_ref = get_source_ref(sys._getframe(1))
     QCallable.CURRENT_EXPANDABLE.append_statement_to_body(
         PhaseOperation(
@@ -592,7 +569,7 @@ def phase(
 
 @suppress_return_value
 def block(
-    statements: Union[QCallable, Callable[[], Statements]],
+    statements: QCallable | Callable[[], Statements],
 ) -> None:
     _validate_operand(statements)
     assert QCallable.CURRENT_EXPANDABLE is not None
@@ -617,8 +594,8 @@ def reset_bounds(
 @overload
 def reset_bounds(
     target_var: QNum,
-    lower_bound: Union[float, SymbolicExpr],
-    upper_bound: Union[float, SymbolicExpr],
+    lower_bound: float | SymbolicExpr,
+    upper_bound: float | SymbolicExpr,
 ) -> None:
     pass
 
@@ -626,8 +603,8 @@ def reset_bounds(
 @suppress_return_value
 def reset_bounds(
     target_var: QNum,
-    lower_bound: Optional[Union[float, SymbolicExpr]] = None,
-    upper_bound: Optional[Union[float, SymbolicExpr]] = None,
+    lower_bound: float | SymbolicExpr | None = None,
+    upper_bound: float | SymbolicExpr | None = None,
 ) -> None:
     assert QCallable.CURRENT_EXPANDABLE is not None
     source_ref = get_source_ref(sys._getframe(1))
@@ -660,6 +637,14 @@ def _validate_operand(stmt_block: Any, num_params: int = 0) -> None:
         )
     if isinstance(stmt_block, QCallable):
         return
+    if not callable(stmt_block):
+        _raise_operand_error(
+            lambda operation_name, operand_arg_name: (
+                f"Argument {operand_arg_name!r} to {operation_name!r} must be a "
+                f"callable object"
+            ),
+            num_params,
+        )
     op_spec = inspect.getfullargspec(stmt_block)
     params = op_spec.args[: len(op_spec.args) - len(op_spec.defaults or ())]
     if len(params) > num_params or (
@@ -726,7 +711,7 @@ def _get_operand_hint(
 
 
 def _operand_to_body(
-    callable_: Union[QCallable, Callable[[], Statements]], param_name: str
+    callable_: QCallable | Callable[[], Statements], param_name: str
 ) -> StatementBlock:
     op_name = sys._getframe(1).f_code.co_name
     if (

classiq/qmod/builtins/structs.py

@@ -5,8 +5,8 @@ from classiq.interface.exceptions import ClassiqValueError
 from classiq.interface.generator.types.struct_declaration import StructDeclaration
 from classiq.interface.helpers.text_utils import are, readable_list, s
 
-from classiq.qmod.builtins.enums import LadderOperator, Pauli
-from classiq.qmod.cparam import CArray, CBool, CInt, CReal
+from classiq.qmod.builtins.enums import Pauli
+from classiq.qmod.cparam import CArray, CInt, CReal
 from classiq.qmod.python_classical_type import PythonClassicalType
 
 
@@ -131,55 +131,6 @@ class SparsePauliOp:
         )
 
 
-@dataclass
-class Position:
-    x: CReal
-    y: CReal
-    z: CReal
-
-
-@dataclass
-class ChemistryAtom:
-    element: CInt
-    position: Position
-
-
-@dataclass
-class Molecule:
-    atoms: CArray[ChemistryAtom]
-    spin: CInt
-    charge: CInt
-
-
-@dataclass
-class MoleculeProblem:
-    mapping: CInt
-    z2_symmetries: CBool
-    molecule: Molecule
-    freeze_core: CBool
-    remove_orbitals: CArray[CInt]
-
-
-@dataclass
-class LadderOp:
-    op: LadderOperator
-    index: CInt
-
-
-@dataclass
-class LadderTerm:
-    coefficient: CReal
-    ops: CArray[LadderOp]
-
-
-@dataclass
-class FockHamiltonianProblem:
-    mapping: CInt
-    z2_symmetries: CBool
-    terms: CArray[LadderTerm]
-    num_particles: CArray[CInt]
-
-
 @dataclass
 class CombinatorialOptimizationSolution:
     probability: CReal
@@ -234,18 +185,11 @@ BUILTIN_STRUCT_DECLARATIONS = {
 
 
 __all__ = [
-    "ChemistryAtom",
     "CombinatorialOptimizationSolution",
-    "FockHamiltonianProblem",
     "GaussianModel",
     "IndexedPauli",
-    "LadderOp",
-    "LadderTerm",
     "LogNormalModel",
-    "Molecule",
-    "MoleculeProblem",
     "PauliTerm",
-    "Position",
     "QSVMFeatureMapPauli",
     "QsvmResult",
     "SparsePauliOp",

classiq/qmod/cfunc.py

@@ -1,4 +1,5 @@
-from typing import Any, Callable, Optional, Union, overload
+from collections.abc import Callable
+from typing import Any, overload
 
 from classiq.qmod.classical_function import CFunc
 
@@ -30,7 +31,7 @@ def cfunc(func: Callable) -> CFunc: ...
 def cfunc(func: None = None) -> Callable[[Callable], CFunc]: ...
 
 
-def cfunc(func: Optional[Callable] = None) -> Union[Callable[[Callable], CFunc], CFunc]:
+def cfunc(func: Callable | None = None) -> Callable[[Callable], CFunc] | CFunc:
     caller_locals = get_caller_locals()
 
     def wrapper(func: Callable) -> CFunc:

classiq/qmod/classical_function.py

@@ -1,7 +1,8 @@
 import ast
 import inspect
+from collections.abc import Callable
 from textwrap import dedent
-from typing import Any, Callable
+from typing import Any
 
 from classiq.interface.exceptions import ClassiqValueError
 

classiq/qmod/classical_variable.py

@@ -1,7 +1,7 @@
 import sys
 from typing import TYPE_CHECKING, Any
 
-from classiq.interface.exceptions import ClassiqInternalError
+from classiq.interface.exceptions import ClassiqInternalError, ClassiqTypeError
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.generator.functions.classical_type import Bool, ClassicalType
 from classiq.interface.model.handle_binding import HandleBinding
@@ -37,7 +37,9 @@ def declare_classical_variable(
 
 def assign_classical_variable(target: CParam, value: Any, frame_depth: int) -> None:
     if not isinstance(value, SYMBOLIC_TYPES):
-        raise TypeError(f"Invalid argument {value!r} for classical variable assignment")
+        raise ClassiqTypeError(
+            f"Invalid argument {value!r} for classical variable assignment"
+        )
 
     if TYPE_CHECKING:
         assert QCallable.CURRENT_EXPANDABLE is not None

classiq/qmod/cparam.py

@@ -1,11 +1,9 @@
-import sys
 from abc import ABC, abstractmethod
-from typing import (  # type: ignore[attr-defined]
+from typing import (
     TYPE_CHECKING,
     Any,
     Generic,
     Union,
-    _GenericAlias,
 )
 
 from typing_extensions import ParamSpec
@@ -59,11 +57,7 @@ _P = ParamSpec("_P")
 
 
 class ArrayBase(Generic[_P]):
-    # Support comma-separated generic args in older Python versions
-    if sys.version_info[0:2] < (3, 10):
-
-        def __class_getitem__(cls, args) -> _GenericAlias:
-            return _GenericAlias(cls, args)
+    pass
 
 
 class CArray(CParamAbstract, ArrayBase[_P]):

classiq/qmod/create_model_function.py

@@ -1,4 +1,4 @@
-from typing import Optional, Union, cast
+from typing import cast
 
 from classiq.interface.exceptions import ClassiqError
 from classiq.interface.executor.execution_preferences import ExecutionPreferences
@@ -28,12 +28,12 @@ def add_entry_point(
 
 
 def create_model(
-    entry_point: Union[QFunc, GenerativeQFunc],
-    constraints: Optional[Constraints] = None,
-    execution_preferences: Optional[ExecutionPreferences] = None,
-    preferences: Optional[Preferences] = None,
-    classical_execution_function: Optional[CFunc] = None,
-    out_file: Optional[str] = None,
+    entry_point: QFunc | GenerativeQFunc,
+    constraints: Constraints | None = None,
+    execution_preferences: ExecutionPreferences | None = None,
+    preferences: Preferences | None = None,
+    classical_execution_function: CFunc | None = None,
+    out_file: str | None = None,
 ) -> SerializedModel:
     """
     Create a serialized model from a given Qmod entry function and additional parameters.