from typing import Callable, IO
+from bs4.element import Tag
+
from fetch import Fetcher
from texify import Texifier
+from images import ImageStore
+# pylint: disable=too-many-instance-attributes
@dataclass(frozen=True)
class Spec:
url: str
fetcher: Fetcher
+ images: ImageStore
htmlfilter: Callable[[bytes], bytes]
+ domfilter: Callable[[Tag], None]
texifier: Texifier
+ geometry: str | None
texout: IO[bytes]