Module adseq.implementations.base

Classes

class BaseQueue (*args, **kwargs)

Expand source code

@runtime_checkable
class BaseQueue(Protocol):
    @classmethod
    def init(cls, delay: int) -> Self:
        ...

    def enqueue(self, n: int) -> Self:
        ...

    def pop(self, n: int) -> Tuple[Self, int | jax.Array]:
        ...

Base class for protocol classes.

Protocol classes are defined as::

class Proto(Protocol):
    def meth(self) -> int:
        ...

Such classes are primarily used with static type checkers that recognize structural subtyping (static duck-typing).

For example::

class C:
    def meth(self) -> int:
        return 0

def func(x: Proto) -> int:
    return x.meth()

func(C())  # Passes static type check

See PEP 544 for details. Protocol classes decorated with @typing.runtime_checkable act as simple-minded runtime protocols that check only the presence of given attributes, ignoring their type signatures. Protocol classes can be generic, they are defined as::

class GenProto[T](Protocol):
    def meth(self) -> T:
        ...

Ancestors

• typing.Protocol
• typing.Generic

Static methods

def init(delay: int) ‑> Self

Methods

def enqueue(self, n: int) ‑> Self

Expand source code

def enqueue(self, n: int) -> Self:
    ...

def pop(self, n: int) ‑> Tuple[Self, int | jax.Array]

Expand source code

def pop(self, n: int) -> Tuple[Self, int | jax.Array]:
    ...