HomeSoftware Heritage

Improve typing of the buffering interface

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
Parents
rDSTOe8f1136ff721: Run isort after the CLI import changes
Branches
Unknown
Tags
Unknown
Build Status
Buildable 15581
Build 23994: test-and-buildJenkins console · Jenkins