cda-tum / mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking
https://mqt.readthedocs.io/projects/qcec
MIT License
90 stars 21 forks source link

🚸 Improved Python Typing #231

Closed burgholzer closed 1 year ago

burgholzer commented 1 year ago

Description

This PR brings some slight improvements for typing in Python. Since Python 3.8 is required now, literals (PEP 586) can be used for typing without any extra handling. They allow to, e.g., specify which literal strings are permitted as arguments to a parameter that was previously just declared as str. As a result, IDE's can provide better support for available options which should simplify the life of users.

Checklist:

codecov[bot] commented 1 year ago

Codecov Report

Merging #231 (9667151) into main (61627ea) will increase coverage by 0.0%. The diff coverage is 100.0%.

@@          Coverage Diff          @@
##            main    #231   +/-   ##
=====================================
  Coverage   96.9%   96.9%           
=====================================
  Files         33      33           
  Lines       1703    1707    +4     
  Branches     210     210           
=====================================
+ Hits        1651    1655    +4     
  Misses        52      52           
Flag Coverage Δ
cpp 96.9% <ø> (ø)
python 96.9% <100.0%> (+<0.1%) :arrow_up:

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
mqt/qcec/parameterized.py 95.5% <100.0%> (+0.1%) :arrow_up:

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.