(root: str)
| 62 | |
| 63 | |
| 64 | def get_files(root: str) -> Iterable[CacheData]: |
| 65 | for dirpath, dirnames, filenames in os.walk(root): |
| 66 | for filename in filenames: |
| 67 | if filename.endswith(".data.json"): |
| 68 | meta_filename = filename.replace(".data.json", ".meta.json") |
| 69 | yield load_json( |
| 70 | os.path.join(dirpath, filename), os.path.join(dirpath, meta_filename) |
| 71 | ) |
| 72 | |
| 73 | |
| 74 | def pluck(name: str, chunks: Iterable[JsonDict]) -> Iterable[JsonDict]: |