HomeSoftware Heritage

Improve typing of the buffering interface

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Improve typing of the buffering interface

  • use more generic collection types, so that parametrized types can be

made stricter (e.g. str, in the next revision)

  • remove Optionals that are not needed and provide better defaults

Details

Provenance
tenmaAuthored on Sep 24 2020, 3:48 PM
tenmaPushed on Sep 25 2020, 4:11 PM
Differential Revision
D4033: Improve typing of the buffering interface
Build Status
Buildable 15581
Build 23994: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.