pyinstantref/datatypes.py

18 lines
363 B
Python

from typing import NewType
from os import PathLike
from dataclasses import dataclass
# X11 window id
WindowId = NewType("WindowId", int)
# PID int
ProcessId = NewType("ProcessId", int)
# page number
PageNumber = NewType("PageNumber", int)
# reference to a specific page in a specific pdf
@dataclass
class Reference:
filename: PathLike
page: PageNumber