classiq 0.38.0__py3-none-any.whl → 0.39.0__py3-none-any.whl

classiq/interface/model/quantum_function_call.py

@@ -1,10 +1,10 @@
 import itertools
 import re
-from typing import Any, Dict, List, Mapping, Optional, Set, Union
+from typing import Any, Dict, List, Mapping, Optional, Set, Type, Union
 
 import pydantic
-from pydantic import BaseModel
 
+from classiq.interface.ast_node import ASTNode
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.generator.functions.function_declaration import (
     FunctionDeclaration,
@@ -77,8 +77,13 @@ def _validate_no_duplicated_handles(
 def _validate_no_mixing_sliced_and_whole_handles(
     inouts: Mapping[str, HandleBinding],
 ) -> None:
+    def _treat_subscript_as_slice(type_: Type[HandleBinding]) -> Type[HandleBinding]:
+        if type_ == SubscriptHandleBinding:
+            return SlicedHandleBinding
+        return type_
+
     inout_handle_names_to_types = {
-        handle_name: {type(handle) for handle in handles}
+        handle_name: {_treat_subscript_as_slice(type(handle)) for handle in handles}
         for handle_name, handles in itertools.groupby(
             inouts.values(), lambda handle: handle.name
         )
@@ -103,7 +108,7 @@ ArgValue = Union[
 ]
 
 
-class OperandIdentifier(BaseModel):
+class OperandIdentifier(ASTNode):
     name: str
     index: Expression
 

classiq/interface/model/quantum_if_operation.py

@@ -17,7 +17,7 @@ from classiq.interface.model.quantum_expressions.quantum_expression import (
 from classiq.exceptions import ClassiqValueError
 
 if TYPE_CHECKING:
-    from classiq.interface.model.quantum_lambda_function import QuantumOperand
+    from classiq.interface.model.statement_block import StatementBlock
 
 QUANTUM_IF_INOUT_NAME = "ctrl"
 QUANTUM_IF_CONDITION_ARG_ERROR_MESSAGE_FORMAT = (
@@ -26,8 +26,8 @@ QUANTUM_IF_CONDITION_ARG_ERROR_MESSAGE_FORMAT = (
 )
 
 
-class QuantumIfOperation(QuantumExpressionOperation):
-    then: "QuantumOperand"
+class QuantumIf(QuantumExpressionOperation):
+    then: "StatementBlock"
     _ctrl: Optional[QmodQNumProxy] = pydantic.PrivateAttr(
         default=None,
     )

classiq/interface/model/quantum_lambda_function.py

@@ -1,21 +1,18 @@
 from typing import TYPE_CHECKING, Dict, List, Optional, Union
 
 import pydantic
-from pydantic import BaseModel
 
+from classiq.interface.ast_node import ASTNode
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.model.quantum_function_declaration import (
     QuantumOperandDeclaration,
 )
-from classiq.interface.model.quantum_if_operation import QuantumIfOperation
 
 if TYPE_CHECKING:
     from classiq.interface.model.statement_block import StatementBlock
 
-from classiq.interface.model.within_apply_operation import WithinApplyOperation
 
-
-class QuantumLambdaFunction(BaseModel):
+class QuantumLambdaFunction(ASTNode):
     """
     The definition of an anonymous function passed as operand to higher-level functions
     """
@@ -39,7 +36,7 @@ class QuantumLambdaFunction(BaseModel):
         self._func_decl = fd
 
 
-class LambdaListComprehension(BaseModel):
+class LambdaListComprehension(ASTNode):
     """
     Specification of a list of lambda functions iteratively
     """
@@ -59,6 +56,3 @@ class LambdaListComprehension(BaseModel):
 
 QuantumCallable = Union[str, QuantumLambdaFunction]
 QuantumOperand = Union[QuantumCallable, List[QuantumCallable], LambdaListComprehension]
-
-QuantumIfOperation.update_forward_refs(QuantumOperand=QuantumOperand)
-WithinApplyOperation.update_forward_refs(QuantumOperand=QuantumOperand)

classiq/interface/model/quantum_statement.py

@@ -1,7 +1,8 @@
 from typing import Mapping, Union
 
-from pydantic import BaseModel, Extra
+from pydantic import Extra
 
+from classiq.interface.ast_node import ASTNode
 from classiq.interface.model.handle_binding import (
     HandleBinding,
     SlicedHandleBinding,
@@ -9,7 +10,7 @@ from classiq.interface.model.handle_binding import (
 )
 
 
-class QuantumStatement(BaseModel):
+class QuantumStatement(ASTNode):
     class Config:
         extra = Extra.forbid
 

classiq/interface/model/quantum_type.py

@@ -4,6 +4,7 @@ import pydantic
 from pydantic import Extra, Field
 from typing_extensions import Annotated
 
+from classiq.interface.ast_node import HashableASTNode
 from classiq.interface.generator.arith.register_user_input import (
     RegisterArithmeticInfo,
     RegisterUserInput,
@@ -14,15 +15,12 @@ from classiq.interface.generator.expressions.qmod_qscalar_proxy import (
     QmodQScalarProxy,
 )
 from classiq.interface.generator.expressions.qmod_sized_proxy import QmodSizedProxy
-from classiq.interface.helpers.hashable_pydantic_base_model import (
-    HashablePydanticBaseModel,
-)
 from classiq.interface.helpers.pydantic_model_helpers import values_with_discriminator
 
 from classiq.exceptions import ClassiqValueError
 
 
-class QuantumType(HashablePydanticBaseModel):
+class QuantumType(HashableASTNode):
     class Config:
         extra = Extra.forbid
 

classiq/interface/model/quantum_variable_declaration.py

@@ -1,8 +1,8 @@
 from typing import Any, Mapping, Optional
 
 import pydantic
-from pydantic import BaseModel
 
+from classiq.interface.ast_node import ASTNode
 from classiq.interface.generator.expressions.expression import Expression
 from classiq.interface.model.quantum_type import (
     ConcreteQuantumType,
@@ -11,7 +11,7 @@ from classiq.interface.model.quantum_type import (
 )
 
 
-class QuantumVariableDeclaration(BaseModel):
+class QuantumVariableDeclaration(ASTNode):
     name: str
     quantum_type: ConcreteQuantumType
     size: Optional[Expression] = pydantic.Field(default=None)

classiq/interface/model/repeat.py

@@ -0,0 +1,13 @@
+from typing import TYPE_CHECKING
+
+from classiq.interface.generator.expressions.expression import Expression
+from classiq.interface.model.quantum_statement import QuantumOperation
+
+if TYPE_CHECKING:
+    from classiq.interface.model.statement_block import StatementBlock
+
+
+class Repeat(QuantumOperation):
+    iter_var: str
+    count: Expression
+    body: "StatementBlock"

classiq/interface/model/resolvers/function_call_resolver.py

@@ -1,11 +1,17 @@
+import itertools
 from typing import Any, Mapping
 
 from classiq.interface.generator.visitor import Visitor
+from classiq.interface.model.control import Control
+from classiq.interface.model.invert import Invert
 from classiq.interface.model.native_function_definition import NativeFunctionDefinition
 from classiq.interface.model.quantum_function_call import QuantumFunctionCall
 from classiq.interface.model.quantum_function_declaration import (
     QuantumFunctionDeclaration,
 )
+from classiq.interface.model.quantum_if_operation import QuantumIf
+from classiq.interface.model.repeat import Repeat
+from classiq.interface.model.within_apply_operation import WithinApply
 
 
 class FunctionCallResolver(Visitor):
@@ -15,6 +21,26 @@ class FunctionCallResolver(Visitor):
     ) -> None:
         self._quantum_function_dict = quantum_function_dict
 
+    def visit_Invert(self, invert: Invert) -> None:
+        for fc in invert.body:
+            self.visit(fc)
+
+    def visit_Repeat(self, repeat: Repeat) -> None:
+        for fc in repeat.body:
+            self.visit(fc)
+
+    def visit_Control(self, control: Control) -> None:
+        for fc in control.body:
+            self.visit(fc)
+
+    def visit_QuantumIf(self, quantum_if: QuantumIf) -> None:
+        for fc in quantum_if.then:
+            self.visit(fc)
+
+    def visit_WithinApply(self, within_apply: WithinApply) -> None:
+        for fc in itertools.chain(within_apply.compute, within_apply.action):
+            self.visit(fc)
+
     def visit_QuantumFunctionCall(self, fc: QuantumFunctionCall) -> None:
         fc.resolve_function_decl(self._quantum_function_dict, check_operands=True)
         self.visit_BaseModel(fc)

classiq/interface/model/statement_block.py

@@ -1,7 +1,11 @@
 from typing import List, Union
 
 from classiq.interface.model.bind_operation import BindOperation
+from classiq.interface.model.classical_if import ClassicalIf
+from classiq.interface.model.control import Control
 from classiq.interface.model.inplace_binary_operation import InplaceBinaryOperation
+from classiq.interface.model.invert import Invert
+from classiq.interface.model.power import Power
 from classiq.interface.model.quantum_expressions.amplitude_loading_operation import (
     AmplitudeLoadingOperation,
 )
@@ -9,12 +13,13 @@ from classiq.interface.model.quantum_expressions.arithmetic_operation import (
     ArithmeticOperation,
 )
 from classiq.interface.model.quantum_function_call import QuantumFunctionCall
-from classiq.interface.model.quantum_if_operation import QuantumIfOperation
+from classiq.interface.model.quantum_if_operation import QuantumIf
 from classiq.interface.model.quantum_lambda_function import QuantumLambdaFunction
+from classiq.interface.model.repeat import Repeat
 from classiq.interface.model.variable_declaration_statement import (
     VariableDeclarationStatement,
 )
-from classiq.interface.model.within_apply_operation import WithinApplyOperation
+from classiq.interface.model.within_apply_operation import WithinApply
 
 ConcreteQuantumStatement = Union[
     QuantumFunctionCall,
@@ -23,10 +28,22 @@ ConcreteQuantumStatement = Union[
     VariableDeclarationStatement,
     BindOperation,
     InplaceBinaryOperation,
-    QuantumIfOperation,
-    WithinApplyOperation,
+    Control,
+    Repeat,
+    Power,
+    Invert,
+    ClassicalIf,
+    QuantumIf,
+    WithinApply,
 ]
 
 StatementBlock = List[ConcreteQuantumStatement]
 
+Control.update_forward_refs(StatementBlock=StatementBlock)
+QuantumIf.update_forward_refs(StatementBlock=StatementBlock)
 QuantumLambdaFunction.update_forward_refs(StatementBlock=StatementBlock)
+Repeat.update_forward_refs(StatementBlock=StatementBlock)
+Power.update_forward_refs(StatementBlock=StatementBlock)
+Invert.update_forward_refs(StatementBlock=StatementBlock)
+WithinApply.update_forward_refs(StatementBlock=StatementBlock)
+ClassicalIf.update_forward_refs(StatementBlock=StatementBlock)

classiq/interface/model/validations/handles_validator.py

@@ -1,7 +1,7 @@
 from typing import Dict, Mapping, Set, Union
 
 from classiq.interface.generator.function_params import PortDirection
-from classiq.interface.generator.functions.core_lib_declarations.quantum_operators import (
+from classiq.interface.generator.functions.builtins.quantum_operators import (
     APPLY_OPERATOR,
 )
 from classiq.interface.model.handle_binding import (
@@ -11,11 +11,8 @@ from classiq.interface.model.handle_binding import (
 )
 from classiq.interface.model.port_declaration import PortDeclaration
 from classiq.interface.model.quantum_function_call import QuantumFunctionCall
-from classiq.interface.model.quantum_lambda_function import (
-    QuantumLambdaFunction,
-    QuantumOperand,
-)
 from classiq.interface.model.quantum_statement import QuantumOperation
+from classiq.interface.model.statement_block import StatementBlock
 from classiq.interface.model.validation_handle import HandleState, ValidationHandle
 from classiq.interface.model.validations.handle_validation_base import (
     HandleValidationBase,
@@ -23,7 +20,7 @@ from classiq.interface.model.validations.handle_validation_base import (
 from classiq.interface.model.variable_declaration_statement import (
     VariableDeclarationStatement,
 )
-from classiq.interface.model.within_apply_operation import WithinApplyOperation
+from classiq.interface.model.within_apply_operation import WithinApply
 
 from classiq.exceptions import ClassiqValueError
 
@@ -60,8 +57,9 @@ class HandleValidator(HandleValidationBase):
 
     def handle_operation(self, op: QuantumOperation) -> None:
         if isinstance(op, QuantumFunctionCall) and op.function == APPLY_OPERATOR.name:
-            self._handle_apply(op.operands[APPLY_OPERATOR.operand_names[0]])
-        elif isinstance(op, WithinApplyOperation):
+            call_name = op.operands[APPLY_OPERATOR.operand_names[0]]
+            self._handle_apply([QuantumFunctionCall(function=call_name)])
+        elif isinstance(op, WithinApply):
             self._handle_apply(op.action)
         self._handle_inputs(op.wiring_inputs)
         self._handle_outputs(op.wiring_outputs)
@@ -133,12 +131,10 @@ class HandleValidator(HandleValidationBase):
                 f"Invalid use of inout handle {handle!r}, used both in slice or subscript and whole"
             )
 
-    def _handle_apply(self, operand: QuantumOperand) -> None:
-        if not isinstance(operand, QuantumLambdaFunction):
-            return
+    def _handle_apply(self, body: StatementBlock) -> None:
         local_variables: Set[str] = set()
         output_capturing_variables: Set[str] = set()
-        for statement in operand.body:
+        for statement in body:
             if isinstance(statement, VariableDeclarationStatement):
                 local_variables.add(statement.name)
             elif isinstance(statement, QuantumOperation):

classiq/interface/model/within_apply_operation.py

@@ -3,9 +3,9 @@ from typing import TYPE_CHECKING
 from classiq.interface.model.quantum_statement import QuantumOperation
 
 if TYPE_CHECKING:
-    from classiq.interface.model.quantum_lambda_function import QuantumOperand
+    from classiq.interface.model.statement_block import StatementBlock
 
 
-class WithinApplyOperation(QuantumOperation):
-    compute: "QuantumOperand"
-    action: "QuantumOperand"
+class WithinApply(QuantumOperation):
+    compute: "StatementBlock"
+    action: "StatementBlock"

classiq/interface/server/routes.py

@@ -78,10 +78,6 @@ FINANCE_GENERATE_MODEL_PATH = MODEL_GENERATE_PREFIX + "/finance"
 
 GROVER_GENERATE_MODEL_PATH = MODEL_GENERATE_PREFIX + "/grover"
 
-QMOD_PREFIX = ANALYZER_PREFIX + "/qmods"
-QMOD_METADATA_PATH = QMOD_PREFIX + "/metadata"
-QMOD_FILE_PATH = QMOD_PREFIX + "/file"
-
 CONVERSION_GENERATED_CIRCUIT_TO_EXECUTION_INPUT_SUFFIX = "/execution_input"
 CONVERSION_GENERATED_CIRCUIT_TO_EXECUTION_INPUT_FULL = (
     CONVERSION_PREFIX + CONVERSION_GENERATED_CIRCUIT_TO_EXECUTION_INPUT_SUFFIX

classiq/qmod/builtins/classical_functions.py

@@ -8,6 +8,14 @@ from classiq.qmod.symbolic import symbolic_function
 from .structs import *
 
 
+def qft_const_adder_phase(
+    bit_index: QParam[int],
+    value: QParam[int],
+    reg_len: QParam[int],
+) -> QParam[float]:
+    return symbolic_function(bit_index, value, reg_len, return_type=QParam[float])
+
+
 def molecule_problem_to_hamiltonian(
     problem: QParam[MoleculeProblem],
 ) -> QParam[List[PauliTerm]]:
@@ -59,20 +67,12 @@ def gaussian_finance_post_process(
     )
 
 
-def qft_const_adder_phase(
-    bit_index: QParam[int],
-    value: QParam[int],
-    reg_len: QParam[int],
-) -> QParam[float]:
-    return symbolic_function(bit_index, value, reg_len, return_type=QParam[float])
-
-
 __all__ = [
+    "qft_const_adder_phase",
     "molecule_problem_to_hamiltonian",
     "fock_hamiltonian_problem_to_hamiltonian",
     "grid_entangler_graph",
     "hypercube_entangler_graph",
     "log_normal_finance_post_process",
     "gaussian_finance_post_process",
-    "qft_const_adder_phase",
 ]