classiq 0.93.0__py3-none-any.whl → 0.94.1__py3-none-any.whl

classiq/interface/generator/types/compilation_metadata.py

@@ -5,7 +5,8 @@ class CompilationMetadata(BaseModel):
     should_synthesize_separately: bool = Field(default=False)
     occurrences_number: NonNegativeInt = Field(default=1)
     _occupation_number: NonNegativeInt = PrivateAttr(default=0)
-    unchecked: list[str] = Field(default_factory=list)
+    disable_perm_check: bool = Field(default=False)
+    disable_const_checks: list[str] | bool = Field(default=False)
 
     @property
     def occupation_number(self) -> NonNegativeInt:
@@ -14,3 +15,13 @@ class CompilationMetadata(BaseModel):
     @occupation_number.setter
     def occupation_number(self, value: NonNegativeInt) -> None:
         self._occupation_number = value
+
+    @property
+    def has_user_directives(self) -> bool:
+        return bool(self.disable_perm_check or self.disable_const_checks)
+
+    def copy_user_directives(self) -> "CompilationMetadata":
+        return CompilationMetadata(
+            disable_perm_check=self.disable_perm_check,
+            disable_const_checks=self.disable_const_checks,
+        )

classiq/interface/generator/types/enum_declaration.py

@@ -1,6 +1,7 @@
 from collections import Counter
+from collections.abc import Callable
 from enum import Enum, EnumMeta, IntEnum
-from typing import Any, Callable
+from typing import Any
 
 import pydantic
 

classiq/interface/generator/validations/flow_graph.py

@@ -2,7 +2,7 @@ from collections import Counter, defaultdict
 from collections.abc import Collection, Iterable, Mapping
 from dataclasses import dataclass
 from itertools import chain
-from typing import Optional, TypeVar
+from typing import TypeVar
 
 import networkx as nx
 
@@ -23,8 +23,8 @@ RECURRING_NAMES_ERROR_MSG = "Recurring wire names"
 
 @dataclass
 class Wire:
-    start: Optional[PydanticNonEmptyString] = None
-    end: Optional[PydanticNonEmptyString] = None
+    start: PydanticNonEmptyString | None = None
+    end: PydanticNonEmptyString | None = None
 
 
 def _parse_call_inputs(

classiq/interface/generator/visitor.py

@@ -1,11 +1,9 @@
 from collections import abc, defaultdict
-from collections.abc import Collection, Mapping, Sequence
+from collections.abc import Callable, Collection, Mapping, Sequence
 from functools import partial
 from typing import (
     TYPE_CHECKING,
     Any,
-    Callable,
-    Optional,
     TypeVar,
     Union,
 )
@@ -30,7 +28,7 @@ Ret = TypeVar("Ret", bound=RetType)
 
 
 class Visitor:
-    def visit(self, node: NodeType) -> Optional[RetType]:
+    def visit(self, node: NodeType) -> RetType | None:
         for cls in type(node).__mro__:
             method = "visit_" + cls.__name__
             if hasattr(self, method):
@@ -38,40 +36,40 @@ class Visitor:
                 return visitor(node)
         return self.generic_visit(node)
 
-    def generic_visit(self, node: NodeType) -> Optional[RetType]:
+    def generic_visit(self, node: NodeType) -> RetType | None:
         if isinstance(node, BaseModel):
             return self.visit_BaseModel(node)
 
         return node
 
-    def visit_list(self, node: list[NodeType]) -> Optional[RetType]:
+    def visit_list(self, node: list[NodeType]) -> RetType | None:
         for elem in node:
             self.visit(elem)
 
         return None
 
-    def visit_dict(self, node: dict[Key, NodeType]) -> Optional[RetType]:
+    def visit_dict(self, node: dict[Key, NodeType]) -> RetType | None:
         for value in node.values():
             self.visit(value)
 
         return None
 
-    def visit_tuple(self, node: tuple[NodeType, ...]) -> Optional[tuple[RetType, ...]]:
+    def visit_tuple(self, node: tuple[NodeType, ...]) -> tuple[RetType, ...] | None:
         for value in node:
             self.visit(value)
 
         return None
 
-    def visit_BaseModel(self, node: BaseModel) -> Optional[RetType]:
+    def visit_BaseModel(self, node: BaseModel) -> RetType | None:
         for _, value in node:
             self.visit(value)
 
         return None
 
-    def visit_int(self, n: int) -> Optional[RetType]:
+    def visit_int(self, n: int) -> RetType | None:
         return None
 
-    def visit_bool(self, b: bool) -> Optional[RetType]:
+    def visit_bool(self, b: bool) -> RetType | None:
         return None
 
 
@@ -103,7 +101,7 @@ class Transformer(Visitor):
         return tuple(self.visit(value) for value in node)
 
     def visit_BaseModel(
-        self, node: BaseModel, fields_to_skip: Optional[Collection[str]] = None
+        self, node: BaseModel, fields_to_skip: Collection[str] | None = None
     ) -> RetType:
         fields_to_skip = fields_to_skip or set()
 

classiq/interface/hardware.py

@@ -71,7 +71,7 @@ class HardwareStatus(pydantic.BaseModel):
         default=None,
         description="The estimated queue time for the hardware in seconds.",
     )
-    pending_jobs: Optional[int] = None
+    pending_jobs: int | None = None
 
 
 if TYPE_CHECKING:
@@ -87,7 +87,7 @@ class HardwareInformation(pydantic.BaseModel):
     display_name: str
     device_type: DeviceType
     number_of_qubits: int
-    connectivity_map: Optional[list[ConnectivityMapEntry]] = None
+    connectivity_map: list[ConnectivityMapEntry] | None = None
     basis_gates: list[str]
     status: HardwareStatus
 

classiq/interface/helpers/classproperty.py

@@ -1,8 +1,8 @@
-from typing import TYPE_CHECKING, Any, Optional
+from typing import TYPE_CHECKING, Any
 
 
 class classproperty(property):  # noqa: N801
-    def __get__(self, owner_self: Any, owner_cls: Optional[type] = None) -> Any:
+    def __get__(self, owner_self: Any, owner_cls: type | None = None) -> Any:
         if TYPE_CHECKING:
             assert self.fget is not None
         return self.fget(owner_cls)

classiq/interface/helpers/custom_encoders.py

@@ -1,3 +1,4 @@
-from typing import Any, Callable
+from collections.abc import Callable
+from typing import Any
 
 CUSTOM_ENCODERS: dict[type, Callable[[Any], Any]] = {complex: str}

classiq/interface/helpers/custom_pydantic_types.py

@@ -8,7 +8,7 @@ from classiq.interface.generator.parameters import ParameterComplexType
 
 # General int types
 
-MAX_EXPRESSION_SIZE = 32768
+MAX_EXPRESSION_SIZE = 2**20
 
 if TYPE_CHECKING:
     PydanticLargerThanOneInteger = int

classiq/interface/helpers/text_utils.py

@@ -1,7 +1,4 @@
-from typing import Union
-
-
-def s(items: Union[list, int]) -> str:
+def s(items: list | int) -> str:
     if isinstance(items, list):
         items = len(items)
     return "" if items == 1 else "s"

classiq/interface/ide/visual_model.py

@@ -3,7 +3,7 @@ from collections import Counter
 from collections.abc import Iterator
 from functools import cached_property
 from itertools import count
-from typing import Any, Optional
+from typing import Any
 
 import pydantic
 from pydantic import ConfigDict, field_validator
@@ -46,7 +46,7 @@ class OperationType(StrEnum):
 
 
 class OperationData(pydantic.BaseModel):
-    approximated_depth: Optional[int] = None
+    approximated_depth: int | None = None
     width: int
     gate_count: Counter[str] = pydantic.Field(default_factory=dict)
 
@@ -65,7 +65,7 @@ class ProgramData(pydantic.BaseModel):
 
 class OperationLink(pydantic.BaseModel):
     label: str
-    inner_label: Optional[str] = None
+    inner_label: str | None = None
     qubits: tuple[int, ...]
     type: str
     is_captured: bool = False
@@ -148,14 +148,14 @@ class AtomicGate(StrEnum):
 
 class Operation(pydantic.BaseModel):
     name: str
-    inner_label: Optional[str] = None
+    inner_label: str | None = None
     _id: int = pydantic.PrivateAttr(default_factory=_operation_id_counter.next_id)
     qasm_name: str = pydantic.Field(default="")
     details: str = pydantic.Field(default="")
     children: list["Operation"] = pydantic.Field(default_factory=list)
     # children_ids is optional in order to support backwards compatibility.
     children_ids: list[int] = pydantic.Field(default_factory=list)
-    operation_data: Optional[OperationData] = None
+    operation_data: OperationData | None = None
     operation_links: OperationLinks
     control_qubits: tuple[int, ...] = pydantic.Field(default_factory=tuple)
     auxiliary_qubits: tuple[int, ...]

classiq/interface/jobs.py

@@ -1,4 +1,4 @@
-from typing import Any, Generic, Optional, TypeVar, Union
+from typing import Any, Generic, TypeVar, Union
 
 import pydantic
 from pydantic import BaseModel
@@ -43,8 +43,8 @@ For unsuccessful jobs, we expect failure_details to be a string and result to be
 
 class JobDescription(BaseModel, Generic[T], json_encoders=CUSTOM_ENCODERS):
     status: JobStatus
-    failure_details: Optional[str] = pydantic.Field(default=None)
-    result: Optional[T] = pydantic.Field(default=None)
+    failure_details: str | None = pydantic.Field(default=None)
+    result: T | None = pydantic.Field(default=None)
 
     @pydantic.model_validator(mode="after")
     def validate_status_and_fields(self) -> Self:

classiq/interface/model/allocate.py

@@ -1,5 +1,5 @@
 from collections.abc import Mapping
-from typing import Literal, Optional
+from typing import Literal
 
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.model.handle_binding import ConcreteHandleBinding, HandleBinding
@@ -8,9 +8,9 @@ from classiq.interface.model.quantum_statement import QuantumOperation
 
 class Allocate(QuantumOperation):
     kind: Literal["Allocate"]
-    size: Optional[Expression] = None
-    is_signed: Optional[Expression] = None
-    fraction_digits: Optional[Expression] = None
+    size: Expression | None = None
+    is_signed: Expression | None = None
+    fraction_digits: Expression | None = None
     target: ConcreteHandleBinding
 
     @property

classiq/interface/model/block.py

@@ -1,4 +1,4 @@
-from typing import TYPE_CHECKING, Literal, Optional
+from typing import TYPE_CHECKING, Literal
 
 import pydantic
 
@@ -13,4 +13,4 @@ class Block(QuantumOperation):
 
     statements: "StatementBlock"
 
-    label: Optional[str] = pydantic.Field(default=None)
+    label: str | None = pydantic.Field(default=None)

classiq/interface/model/bounds.py

@@ -1,4 +1,4 @@
-from typing import Literal, Optional
+from typing import Literal
 
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.model.handle_binding import ConcreteHandleBinding
@@ -9,8 +9,8 @@ class SetBoundsStatement(QuantumOperation):
     kind: Literal["SetBoundsStatement"]
 
     target: ConcreteHandleBinding
-    lower_bound: Optional[Expression]
-    upper_bound: Optional[Expression]
+    lower_bound: Expression | None
+    upper_bound: Expression | None
 
     @property
     def expressions(self) -> list[Expression]:

classiq/interface/model/control.py

@@ -19,7 +19,7 @@ class Control(QuantumExpressionOperation):
     else_block: Optional["StatementBlock"] = None
 
     _ctrl_size: int = pydantic.PrivateAttr(default=0)
-    _result_type: Optional[QuantumType] = pydantic.PrivateAttr(
+    _result_type: QuantumType | None = pydantic.PrivateAttr(
         default=None,
     )
 

classiq/interface/model/inplace_binary_operation.py

@@ -1,5 +1,5 @@
 from collections.abc import Mapping, Sequence
-from typing import Literal, Union
+from typing import Literal
 
 from classiq.interface.enum_utils import StrEnum
 from classiq.interface.generator.expressions.expression import Expression
@@ -16,7 +16,7 @@ class InplaceBinaryOperation(QuantumOperation):
     kind: Literal["InplaceBinaryOperation"]
 
     target: ConcreteHandleBinding
-    value: Union[ConcreteHandleBinding, Expression]
+    value: ConcreteHandleBinding | Expression
     operation: BinaryOperation
 
     @property

classiq/interface/model/model.py

@@ -185,14 +185,14 @@ class Model(VersionedModel, ASTNode):
         return constants
 
     def dump_no_metadata(self) -> dict[str, Any]:
-        compilation_metadata_with_unchecked = {
-            name: CompilationMetadata(unchecked=comp_metadata.unchecked)
+        compilation_metadata_user_directives = {
+            name: comp_metadata.copy_user_directives()
             for name, comp_metadata in self.functions_compilation_metadata.items()
-            if len(comp_metadata.unchecked) > 0
+            if comp_metadata.has_user_directives
         }
         model = self.model_copy(
             update={
-                "functions_compilation_metadata": compilation_metadata_with_unchecked,
+                "functions_compilation_metadata": compilation_metadata_user_directives,
             }
         )
         return model.model_dump(

classiq/interface/model/parameter.py

@@ -1,11 +1,9 @@
-from typing import Optional
-
 from classiq.interface.ast_node import ASTNode
 from classiq.interface.exceptions import ClassiqError
 
 
 class Parameter(ASTNode):
-    name: Optional[str]
+    name: str | None
 
     def get_name(self) -> str:
         if self.name is None:

classiq/interface/model/port_declaration.py

@@ -49,7 +49,7 @@ class AnonPortDeclaration(Parameter):
     def qmod_type_name(self) -> str:
         prefix = ""
         suffix = ""
-        if self.type_modifier in (TypeModifier.Const, TypeModifier.Permutable):
+        if self.type_modifier is TypeModifier.Const:
             prefix += f"{self.type_modifier.name}["
             suffix += "]"
         if self.direction != PortDeclarationDirection.Inout:

classiq/interface/model/quantum_expressions/quantum_expression.py

@@ -1,6 +1,5 @@
 import abc
 from collections.abc import Mapping
-from typing import Optional
 
 import pydantic
 
@@ -55,7 +54,7 @@ class QuantumAssignmentOperation(QuantumExpressionOperation):
     result_var: ConcreteHandleBinding = pydantic.Field(
         description="The variable storing the expression result"
     )
-    _result_type: Optional[QuantumType] = pydantic.PrivateAttr(
+    _result_type: QuantumType | None = pydantic.PrivateAttr(
         default=None,
     )
 

classiq/interface/model/quantum_function_call.py

@@ -2,7 +2,6 @@ from collections.abc import Iterable, Mapping, Sequence
 from itertools import chain
 from typing import (
     Literal,
-    Optional,
     Union,
 )
 
@@ -41,14 +40,12 @@ ArgValue = Union[
 class QuantumFunctionCall(QuantumOperation):
     kind: Literal["QuantumFunctionCall"]
 
-    function: Union[str, OperandIdentifier] = pydantic.Field(
+    function: str | OperandIdentifier = pydantic.Field(
         description="The function that is called"
     )
     positional_args: list[ArgValue] = pydantic.Field(default_factory=list)
 
-    _func_decl: Optional[QuantumFunctionDeclaration] = pydantic.PrivateAttr(
-        default=None
-    )
+    _func_decl: QuantumFunctionDeclaration | None = pydantic.PrivateAttr(default=None)
 
     def _as_back_ref(self: ASTNodeType) -> ASTNodeType:
         return reset_lists(self, ["positional_args"])
@@ -60,7 +57,7 @@ class QuantumFunctionCall(QuantumOperation):
 
         return self._func_decl
 
-    def set_func_decl(self, fd: Optional[QuantumFunctionDeclaration]) -> None:
+    def set_func_decl(self, fd: QuantumFunctionDeclaration | None) -> None:
         if fd is not None and not isinstance(fd, QuantumFunctionDeclaration):
             raise ClassiqValueError(
                 "the declaration of a quantum function call cannot be set to a non-quantum function declaration."

classiq/interface/model/quantum_function_declaration.py

@@ -61,6 +61,7 @@ class AnonQuantumFunctionDeclaration(FunctionDeclaration):
     positional_arg_declarations: Sequence[AnonPositionalArg] = pydantic.Field(
         default_factory=list
     )
+    permutation: bool = pydantic.Field(default=False)
 
     @property
     def port_declarations(self) -> Sequence[AnonPortDeclaration]:

classiq/interface/model/quantum_lambda_function.py

@@ -1,11 +1,11 @@
-from typing import TYPE_CHECKING, Callable, Optional, Union
+from collections.abc import Callable
+from typing import TYPE_CHECKING, Union
 
 import pydantic
 
 from classiq.interface.ast_node import ASTNode
 from classiq.interface.exceptions import ClassiqError
 from classiq.interface.generator.expressions.expression import Expression
-from classiq.interface.helpers.backward_compatibility import zip_strict
 from classiq.interface.model.quantum_function_declaration import (
     AnonQuantumOperandDeclaration,
 )
@@ -28,7 +28,7 @@ class QuantumLambdaFunction(ASTNode):
         description="A list of function calls passed to the operator"
     )
 
-    _func_decl: Optional[AnonQuantumOperandDeclaration] = pydantic.PrivateAttr(
+    _func_decl: AnonQuantumOperandDeclaration | None = pydantic.PrivateAttr(
         default=None
     )
 
@@ -57,7 +57,7 @@ class QuantumLambdaFunction(ASTNode):
     def named_func_decl(self) -> AnonQuantumOperandDeclaration:
         named_params = [
             param.rename(rename)
-            for param, rename in zip_strict(
+            for param, rename in zip(
                 self.func_decl.positional_arg_declarations,
                 self.pos_rename_params,
                 strict=False,  # strict=False enables lambda keyword args

classiq/interface/model/quantum_statement.py

@@ -1,6 +1,6 @@
-from collections.abc import Iterable, Mapping, Sequence
+from collections.abc import Callable, Iterable, Mapping, Sequence
 from dataclasses import dataclass
-from typing import Any, Callable, Optional
+from typing import Any
 from uuid import UUID, uuid4
 
 import pydantic
@@ -27,7 +27,7 @@ class QuantumStatement(ASTNode):
     def model_copy(
         self,
         *,
-        update: Optional[Mapping[str, Any]] = None,
+        update: Mapping[str, Any] | None = None,
         deep: bool = False,
         keep_uuid: bool = False,
     ) -> Self:
@@ -49,7 +49,7 @@ class QuantumStatement(ASTNode):
 @dataclass
 class HandleMetadata:
     handle: HandleBinding
-    readable_location: Optional[str] = None
+    readable_location: str | None = None
 
 
 class QuantumOperation(QuantumStatement):

classiq/interface/model/quantum_type.py

@@ -1,4 +1,4 @@
-from typing import TYPE_CHECKING, Any, Literal, Optional
+from typing import TYPE_CHECKING, Any, Literal
 
 import pydantic
 from pydantic import BaseModel, Field
@@ -23,7 +23,7 @@ if TYPE_CHECKING:
 
 
 class QuantumType(HashableASTNode):
-    _size_in_bits: Optional[int] = pydantic.PrivateAttr(default=None)
+    _size_in_bits: int | None = pydantic.PrivateAttr(default=None)
 
     def _update_size_in_bits_from_declaration(self) -> None:
         pass
@@ -96,11 +96,11 @@ class QuantumScalar(QuantumType):
     def fraction_digits_value(self) -> int:
         raise NotImplementedError
 
-    def get_bounds(self) -> Optional[tuple[float, float]]:
+    def get_bounds(self) -> tuple[float, float] | None:
         return None
 
     def get_effective_bounds(
-        self, machine_precision: Optional[int] = None
+        self, machine_precision: int | None = None
     ) -> tuple[float, float]:
         raise NotImplementedError
 
@@ -162,7 +162,7 @@ class QuantumBit(QuantumScalar):
         return 0
 
     def get_effective_bounds(
-        self, machine_precision: Optional[int] = None
+        self, machine_precision: int | None = None
     ) -> tuple[float, float]:
         return (0, 1)
 
@@ -176,7 +176,7 @@ class QuantumBitvector(QuantumType):
         discriminator="kind", default_factory=QuantumBit
     )
     kind: Literal["qvec"]
-    length: Optional[Expression] = Field(default=None)
+    length: Expression | None = Field(default=None)
 
     @pydantic.model_validator(mode="before")
     @classmethod
@@ -278,11 +278,11 @@ class QuantumBitvector(QuantumType):
 class QuantumNumeric(QuantumScalar):
     kind: Literal["qnum"]
 
-    size: Optional[Expression] = pydantic.Field(default=None)
-    is_signed: Optional[Expression] = pydantic.Field(default=None)
-    fraction_digits: Optional[Expression] = pydantic.Field(default=None)
+    size: Expression | None = pydantic.Field(default=None)
+    is_signed: Expression | None = pydantic.Field(default=None)
+    fraction_digits: Expression | None = pydantic.Field(default=None)
 
-    _bounds: Optional[PydanticFloatTuple] = pydantic.PrivateAttr(default=None)
+    _bounds: PydanticFloatTuple | None = pydantic.PrivateAttr(default=None)
 
     @pydantic.model_validator(mode="before")
     @classmethod
@@ -429,10 +429,10 @@ class QuantumNumeric(QuantumScalar):
             exprs.append(self.fraction_digits)
         return exprs
 
-    def get_bounds(self) -> Optional[tuple[float, float]]:
+    def get_bounds(self) -> tuple[float, float] | None:
         return self._bounds
 
-    def set_bounds(self, bounds: Optional[tuple[float, float]]) -> None:
+    def set_bounds(self, bounds: tuple[float, float] | None) -> None:
         self._bounds = bounds
 
     def reset_bounds(self) -> None:
@@ -446,7 +446,7 @@ class QuantumNumeric(QuantumScalar):
         )
 
     def get_effective_bounds(
-        self, machine_precision: Optional[int] = None
+        self, machine_precision: int | None = None
     ) -> tuple[float, float]:
         bounds = self.get_bounds() or self.get_maximal_bounds()
 
@@ -522,7 +522,7 @@ UNRESOLVED_SIZE = 1000
 def quantum_var_to_register(name: str, qtype: QuantumType) -> RegisterUserInput:
     signed: bool = False
     fraction_places: int = 0
-    bounds: Optional[tuple[float, float]] = None
+    bounds: tuple[float, float] | None = None
     if isinstance(qtype, QuantumNumeric):
         signed = qtype.sign_value
         fraction_places = qtype.fraction_digits_value

classiq/interface/model/validation_handle.py

@@ -1,7 +1,6 @@
 import dataclasses
 from collections.abc import Mapping
 from enum import Enum
-from typing import Optional
 
 from classiq.interface.exceptions import ClassiqError
 from classiq.interface.model.handle_binding import HandleBinding
@@ -27,8 +26,8 @@ class ValidationHandle:
 
     def __init__(
         self,
-        initial_state: Optional[HandleState] = None,
-        errors: Optional[list[str]] = None,
+        initial_state: HandleState | None = None,
+        errors: list[str] | None = None,
     ) -> None:
         if initial_state is None and not errors:
             raise ClassiqError("Missing initial state for ValidationHandle")

classiq/interface/model/variable_declaration_statement.py

@@ -1,4 +1,4 @@
-from typing import Any, Literal, Optional
+from typing import Any, Literal
 
 import pydantic
 
@@ -15,7 +15,7 @@ class VariableDeclarationStatement(QuantumStatement):
     kind: Literal["VariableDeclarationStatement"]
 
     name: str
-    quantum_type: Optional[ConcreteQuantumType] = None
+    quantum_type: ConcreteQuantumType | None = None
     qmod_type: ConcreteType
 
     @pydantic.model_validator(mode="before")

classiq/interface/pretty_print/expression_to_qmod.py

@@ -1,8 +1,7 @@
 import ast
 import re
-from collections.abc import Mapping
+from collections.abc import Callable, Mapping
 from dataclasses import dataclass
-from typing import Callable, Optional
 
 import numpy as np
 
@@ -47,7 +46,7 @@ class PrettyPrinterError(AssertionError):
 @dataclass
 class ASTToQMODCode:
     level: int
-    decimal_precision: Optional[int]
+    decimal_precision: int | None
     indent_seq: str = "  "
 
     @property
@@ -197,7 +196,7 @@ def _remove_redundant_parentheses(expr: str) -> str:
 def transform_expression(
     expr: str,
     level: int = 0,
-    decimal_precision: Optional[int] = DEFAULT_DECIMAL_PRECISION,
+    decimal_precision: int | None = DEFAULT_DECIMAL_PRECISION,
 ) -> str:
     return ASTToQMODCode(level=level, decimal_precision=decimal_precision).visit(
         ast.parse(expr)