Method filter

benchmarks/src/benchmark/database.py:123–126

(self, identifiers: List[BenchmarkIdentifier])

        df.to_json(self.path, orient="split", index=False)

    def filter(self, identifiers: List[BenchmarkIdentifier]) -> "Database":
        keys = set(create_identifier_key(identifier) for identifier in identifiers)
        data = {k: v for (k, v) in self.data.items() if k in keys}
        return Database(path=self.path, data=data, metadata=self.metadata)


def serialize(value) -> str: