from dataclasses import dataclass
-from typing import IO
+from typing import Callable, IO
+
+from bs4.element import Tag
from fetch import Fetcher
from texify import Texifier
class Spec:
url: str
fetcher: Fetcher
+ htmlfilter: Callable[[bytes], bytes]
+ domfilter: Callable[[Tag], None]
texifier: Texifier
+ geometry: str | None
texout: IO[bytes]