Skip to content
Snippets Groups Projects
Commit f7a37a3b authored by Martin Larralde's avatar Martin Larralde
Browse files

Overload `SequenceFile.read_block` with concrete `SequenceBlock` types

parent c59025e0
No related branches found
No related tags found
No related merge requests found
......@@ -583,7 +583,7 @@ class DigitalSequence(Sequence):
# --- Sequence block ---------------------------------------------------------
S = typing.TypeVar("S", TextSequence, DigitalSequence)
B = typing.TypeVar("B")
B = typing.TypeVar("B", SequenceBlock[TextSequence], SequenceBlock[DigitalSequence])
class SequenceBlock(typing.MutableSequence[S], typing.Generic[S]):
def __len__(self) -> int: ...
......@@ -678,6 +678,19 @@ class SequenceFile(typing.Generic[S], typing.ContextManager[SequenceFile[S]], ty
def readinto(
self, seq: Sequence, skip_info: bool = False, skip_sequence: bool = False
) -> typing.Optional[S]: ...
@typing.overload
def read_block(
self: SequenceFile[TextSequence],
sequences: typing.Optional[int] = None,
residues: typing.Optional[int] = None,
) -> TextSequenceBlock: ...
@typing.overload
def read_block(
self: SequenceFile[DigitalSequence],
sequences: typing.Optional[int] = None,
residues: typing.Optional[int] = None,
) -> DigitalSequenceBlock: ...
@typing.overload
def read_block(
self,
sequences: typing.Optional[int] = None,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment