You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems strange to call a function like len or is_empty just to get the ReadCtx for a Map. I'd like to suggest adding a function read_ctx that returns ReadCtx<(), A> for this use case.
It seems strange to call a function like
len
oris_empty
just to get theReadCtx
for aMap
. I'd like to suggest adding a functionread_ctx
that returnsReadCtx<(), A>
for this use case.Also updating the example showing the use of it.
The text was updated successfully, but these errors were encountered: