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()