Typehints missing classes (ADC, PWM, and probably more)

[1oglop1]

Hi,

I recently started playing with ESP32 and MicroPython.
This plugins looks like a great idea to make things easier however there are some missing modules for ESP8266 and ESP32.

So I did some reading on how this plugin works and found all type hints to be updated 2 years ago, which made me wonder whether they are maintained manually or generated from MicroPython code.

I came across this tool https://github.com/Josverl/micropython-stubber which helps to create pyi files directly on the device itself.

I'm still not sure how to use the stubber, however my idea is to use it to generate stubs and contribute them to this project or to typeshed to keep the type hinting up to date with less effort.

@vlasovskikh
What do you think about this idea?
Would you be willing to give me a hand to make this happen?

[vlasovskikh]

@1oglop1 Thanks for trying out the plugin! I've created the stubs in intellij-micropython manually. I was not aware of micropython-stubber, thanks for sharing the link and for suggesting an idea to use it. I believe it will be helpful to get stubs for missing modules or to generate updates for existing stubs. There are however one thing that is better with manually created stubs: I put docstrings into my stubs based on the published docs on MicroPython modules. I find having docs on mouse hover / Ctrl+Q / F1 very helpful.

I like the idea of committing stubs generated by micropython-stubber to intellij-micropython. It might also be possible to integrate micropython-stubber so that intellij-micropython invokes it for introspecting new modules for which there are no stubs. I'm open to discussing other ideas on improving the situation with stubs as well.

[1oglop1]

Yes the docs via quick docs is one of my motivations to do this as well.

I will try the stubber with my ESP32 and let you know as soon as I get some results.

[w0nd4bra]

Hey,
came across this discussion, tried the mentioned tool in the first post and get the files from my ESP32 with ampy... just tested it with one module and it worked for me, but I dont know if its right, cause its beyond my knowledge.

Maybe its easier for your work, but as I said before, Ive never did such stubber thing before, I was just interested :D

greetings

[1oglop1]

@w0nd4bra I haven't use the stubber before as well, if you have managed to get an output it would worth sharing!
If you are interested in live chat you could either join our PyAmsterdam slack (https://py.amsterdam) or we could use gitter.

I may have some time this weekend to play around.

[w0nd4bra]

I can upload the files here on Github if you want. There is nothing special to talk about it,i just want to make you guys to make the plugin better, i cant do it. Just want to use the plugin and pycharm to have some fun with my esp32.

Have some ESP-01 laying around, will check later if its the 1mb version or just the 512k one (so i can flash MicroPython). So we have some files for the ESP8266 too.

Edit:

installed latest micropython on my ESP-01, worked for me. Created a git with all the files the script gave me so far (for the ESP32 and the ESP8266).

if u want me to do more, i can try to make it better, cause there is no doc, its just the skeleton.

greetings

[vlasovskikh]

@1oglop1 @w0nd4bra I've created a Gitter community chat about the plugin, feel free to join and discuss things.

[tobiasfunke1]

Maybe this could help: https://pypi.org/project/micropy-cli/ ?

[thoastbrot]

I went the road for the least effort for some value and ended up declaring some stubs here:

https://github.com/thoastbrot/intellij-micropython/blob/master/typehints/micropython/machine.pyi

I did not add documentation yet, as I didn't look up whether the actual API has some or anything... but opening the file in intellij, applying autoformat for the sake of it and copy-pasting APIs from micropython docs and the open python shell... it was worth it. For the lack of docstrings, I did not open a pull request yet. If you feel like adding those, please do so (and open said pull request - I'd be happy to support with code issues).

edit: discovered #114 (comment) and how this isn't working out for the differences between ESP32 and ESP8266. Well, stays like this for the time being...