I got into a discussion about this in another thread here.
The biggest problem I’m trying to solve for is how do I keep the time up to date when the badger2040w halt function. I found that if I use that function, it shuts off the pin that is drawing power (I looked at the code). That said, there’s no way that the badge is entirely shutting down because the buttons would stop working.
In the above mentioned thread another user pointed me to the pcf85063a library. When I investigated that, I found the very same thing you are finding, no documentation. When I used the dir() function to inspect the module and PCF85063A class, I see there is a datetime function. Whenever I try to use it like I would with machine.RTC, it fails:
>>> pcf85063a.PCF85063A.datetime(time.localtime())
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: argument has wrong type
>>> pcf85063a.PCF85063A.datetime()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: function missing 1 required positional arguments
It’s also entirely unclear how to instantiate pcf85063a.PCF85063A.
Does that lead you down any paths?