The module is a mapping of the C API, but it also provides other extra features, so, it would still be very useful to have in-editor support with full documentation coverage.
The C API documentation is available on the official Playdate SDK website.
Inside Playdate with C