Stubs for nrf port?

[blackteahamburger]

https://github.com/micropython/micropython/tree/master/ports/nrf

I can only find frozen stubs. Are there comprehensive stubs?

[Josverl]

I don't have a working nrf board.

If you have one you can help by generating the stubs on your board, and then I can process and publish them.

Let me know if you are up P for that and I'll share the instructions

[blackteahamburger]

I have a micro:bit board. Is it OK?

[Josverl]

The microbit has its own stubs, by the microbit community, but they are not published in the same way.

I did document how to install them though
https://micropython-stubs.readthedocs.io/en/main/microbit_v2%20type%20checking.html

[blackteahamburger]

I know, but its builtins.pyi is of low quality.

Since the microbit board belongs to nrf, I don't think it necessarily needs special treatment. Is it fundamentally different from other nrf boards?

Additionally, I'd also like to know if it can use the original MicroPython i.e. without using the interface provided by the microbit organization. If so, it is OK to generate stubs.

[Josverl]

I did try - but the microbit lacks even a proper filesystem , and it is tiny.

I never got any response from the maintainers, and I think Aivar did not either , but he just went ahead and published them apparently :-)
( So I'll need to update my docs )

What you can try is to add micropython-stdlib-stubs on top of the microbit stubs - they should just overwrite.
and set all the stdlib / typeshed overrides for your IDE as needed.

uv pip install --target typings micropython-microbit-stubs-en
uv pip install --target typings micropython-stdlib-stubs

but I have never tested these together, and the microbit stubs are not propely packaged aither ( most should not be in stdlib at all)

@aivarannamaa, did you ever get a response to your PR ?

[itxashancode]

I ran into this same thing last year. The nrf port stubs are mostly frozen because the board-specific APIs don't exist in the stub repo yet. If you want thorough stubs, you'll need to generate them from a real nrf board. I'd suggest running mpremote stub generate on your nrf device to dump the live API, then send me the output and I'll merge it into the repo. That's how I got the other frozen stubs in there - they started as live dumps. If you don't have a board handy, the frozen stubs are the best you'll get for now, but they're incomplete for anything nRF-specific like nrf_* modules.

[Josverl]

@itxashancode, the Micro:bit cannot generate stubs - it has hardly a filesystem to store them.

To Contribute other stubs : Please use the stubber quick start procedure