diff options
| author | Munyoki Kilyungi | 2022-10-11 12:06:05 +0300 |
|---|---|---|
| committer | BonfaceKilz | 2022-11-02 17:36:22 +0300 |
| commit | 97fa5c174d15858f7466190d7707a36486c19fbe (patch) | |
| tree | 9d0b8d443d8af3866960c53a5c9106afdb515ba3 /mypy.ini | |
| parent | faf2739d30decda1e0ba46699ebec776ef7d3e0d (diff) | |
| download | genenetwork3-97fa5c174d15858f7466190d7707a36486c19fbe.tar.gz | |
Add type stubs for Maybe
This allows Maybe[T] to be used as a type. Both Nothing and Just are
of type Maybe.
* mypy.ini: Add default location for stub files.
* stubs/pymonad/__init__.pyi: New file.
* stubs/pymonad/maybe.pyi: Ditto.
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,4 +1,5 @@ [mypy] +mypy_path = stubs [mypy-scipy.*] ignore_missing_imports = True |