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 /gn3/random.py | |
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 'gn3/random.py')
0 files changed, 0 insertions, 0 deletions