Skip to content

Draft experiment to alias opaque types #403

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
mwpb wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

Draft experiment to alias opaque types #403

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
328c5bf
Draft experiment to alias opaque types
mwpb Mar 10, 2026
8af4736
Update qsci.ipynb
mwpb Mar 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 11 additions & 8 deletions docs/source/examples/example_workers/qsci_worker/api/api.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,12 @@
"""Code generated from qsci_worker namespace. Please do not edit."""

from typing import NamedTuple, Protocol
from tierkreis.controller.data.models import TKR, OpaqueType
from typing import Literal, NamedTuple, Protocol
from tierkreis.controller.data.models import TKR
from tierkreis.controller.data.types import Struct

type Circuit = Literal["pytket._tket.circuit.Circuit"]
type BackendResult = Literal["pytket.backends.backendresult.BackendResult"]


class CompleteActiveSpace(Struct, Protocol):
n: int # noqa: F821 # fmt: skip
Expand Down Expand Up @@ -32,8 +35,8 @@ class state_prep(NamedTuple):
cas_hsim: TKR[CompleteActiveSpace] # noqa: F821 # fmt: skip

@staticmethod
def out() -> type[TKR[OpaqueType["pytket._tket.circuit.Circuit"]]]: # noqa: F821 # fmt: skip
return TKR[OpaqueType["pytket._tket.circuit.Circuit"]] # noqa: F821 # fmt: skip
def out() -> type[TKR[Circuit]]: # noqa: F821 # fmt: skip
return TKR[Circuit] # noqa: F821 # fmt: skip

@property
def namespace(self) -> str:
Expand All @@ -43,16 +46,16 @@ def namespace(self) -> str:
class circuits_from_hamiltonians(NamedTuple):
ham_init: TKR[Hamiltonian] # noqa: F821 # fmt: skip
ham_hsim: TKR[Hamiltonian] # noqa: F821 # fmt: skip
adapt_circuit: TKR[OpaqueType["pytket._tket.circuit.Circuit"]] # noqa: F821 # fmt: skip
adapt_circuit: TKR[Circuit] # noqa: F821 # fmt: skip
t_step_list: TKR[list[float]] # noqa: F821 # fmt: skip
cas_init: TKR[CompleteActiveSpace] # noqa: F821 # fmt: skip
cas_hsim: TKR[CompleteActiveSpace] # noqa: F821 # fmt: skip
mo_occ: TKR[list[int]] # noqa: F821 # fmt: skip
max_cx_gates: TKR[int] # noqa: F821 # fmt: skip

@staticmethod
def out() -> type[TKR[list[OpaqueType["pytket._tket.circuit.Circuit"]]]]: # noqa: F821 # fmt: skip
return TKR[list[OpaqueType["pytket._tket.circuit.Circuit"]]] # noqa: F821 # fmt: skip
def out() -> type[TKR[list[Circuit]]]: # noqa: F821 # fmt: skip
return TKR[list[Circuit]] # noqa: F821 # fmt: skip

@property
def namespace(self) -> str:
Expand All @@ -61,7 +64,7 @@ def namespace(self) -> str:

class energy_from_results(NamedTuple):
ham_hsim: TKR[Hamiltonian] # noqa: F821 # fmt: skip
backend_results: TKR[list[OpaqueType["pytket.backends.backendresult.BackendResult"]]] # noqa: F821 # fmt: skip
backend_results: TKR[list[BackendResult]] # noqa: F821 # fmt: skip
mo_occ: TKR[list[int]] # noqa: F821 # fmt: skip
cas_init: TKR[CompleteActiveSpace] # noqa: F821 # fmt: skip
cas_hsim: TKR[CompleteActiveSpace] # noqa: F821 # fmt: skip
Expand Down
26 changes: 14 additions & 12 deletions docs/source/examples/example_workers/scipy_worker/api/api.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,19 @@
"""Code generated from scipy_worker namespace. Please do not edit."""

from typing import NamedTuple, Protocol, Union
from tierkreis.controller.data.models import TKR, OpaqueType
from typing import Literal, NamedTuple, Protocol, Union
from tierkreis.controller.data.models import TKR
from tierkreis.controller.data.types import Struct

type ndarray = Literal["numpy.ndarray"]


class PointedArray(Struct, Protocol):
a: OpaqueType["numpy.ndarray"] # noqa: F821 # fmt: skip
a: ndarray # noqa: F821 # fmt: skip
p: int # noqa: F821 # fmt: skip


class add_point(NamedTuple):
a: TKR[OpaqueType["numpy.ndarray"]] # noqa: F821 # fmt: skip
a: TKR[ndarray] # noqa: F821 # fmt: skip
p: TKR[int] # noqa: F821 # fmt: skip

@staticmethod
Expand Down Expand Up @@ -41,33 +43,33 @@ class linspace(NamedTuple):
num: TKR[int] | None = None # noqa: F821 # fmt: skip

@staticmethod
def out() -> type[TKR[OpaqueType["numpy.ndarray"]]]: # noqa: F821 # fmt: skip
return TKR[OpaqueType["numpy.ndarray"]] # noqa: F821 # fmt: skip
def out() -> type[TKR[ndarray]]: # noqa: F821 # fmt: skip
return TKR[ndarray] # noqa: F821 # fmt: skip

@property
def namespace(self) -> str:
return "scipy_worker"


class transpose(NamedTuple):
a: TKR[OpaqueType["numpy.ndarray"]] # noqa: F821 # fmt: skip
a: TKR[ndarray] # noqa: F821 # fmt: skip

@staticmethod
def out() -> type[TKR[OpaqueType["numpy.ndarray"]]]: # noqa: F821 # fmt: skip
return TKR[OpaqueType["numpy.ndarray"]] # noqa: F821 # fmt: skip
def out() -> type[TKR[ndarray]]: # noqa: F821 # fmt: skip
return TKR[ndarray] # noqa: F821 # fmt: skip

@property
def namespace(self) -> str:
return "scipy_worker"


class reshape(NamedTuple):
a: TKR[OpaqueType["numpy.ndarray"]] # noqa: F821 # fmt: skip
a: TKR[ndarray] # noqa: F821 # fmt: skip
shape: TKR[Union[int, list[int]]] # noqa: F821 # fmt: skip

@staticmethod
def out() -> type[TKR[OpaqueType["numpy.ndarray"]]]: # noqa: F821 # fmt: skip
return TKR[OpaqueType["numpy.ndarray"]] # noqa: F821 # fmt: skip
def out() -> type[TKR[ndarray]]: # noqa: F821 # fmt: skip
return TKR[ndarray] # noqa: F821 # fmt: skip

@property
def namespace(self) -> str:
Expand Down
12 changes: 7 additions & 5 deletions docs/source/examples/example_workers/substitution_worker/api/api.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,18 +1,20 @@
"""Code generated from substitution_worker namespace. Please do not edit."""

from typing import NamedTuple
from tierkreis.controller.data.models import TKR, OpaqueType
from typing import Literal, NamedTuple
from tierkreis.controller.data.models import TKR

type Circuit = Literal["pytket._tket.circuit.Circuit"]


class substitute(NamedTuple):
circuit: TKR[OpaqueType["pytket._tket.circuit.Circuit"]] # noqa: F821 # fmt: skip
circuit: TKR[Circuit] # noqa: F821 # fmt: skip
a: TKR[float] # noqa: F821 # fmt: skip
b: TKR[float] # noqa: F821 # fmt: skip
c: TKR[float] # noqa: F821 # fmt: skip

@staticmethod
def out() -> type[TKR[OpaqueType["pytket._tket.circuit.Circuit"]]]: # noqa: F821 # fmt: skip
return TKR[OpaqueType["pytket._tket.circuit.Circuit"]] # noqa: F821 # fmt: skip
def out() -> type[TKR[Circuit]]: # noqa: F821 # fmt: skip
return TKR[Circuit] # noqa: F821 # fmt: skip

@property
def namespace(self) -> str:
Expand Down
Loading
Loading