def filt(entry):
paths = (
List.wrap(entry.changes()) //
(F(_.new.path) >> Maybe) /
__.decode()
)
return paths.contains(relpath)
def __init__(self, store, worktree=None) -> None:
super().__init__(str(store))
self.store = store
self.bare = False
if worktree is not None:
self._init_history_files(worktree)
(
Try(self.get_config().get, b'core', b'worktree') /
__.decode() %
self._set_worktree
)
def _head_id(self) -> Either[str, str]:
return self._head_id_b / __.decode()
def _master_id(self):
return self._master_id_b / __.decode()