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 would be very nice to be able to combine member and lookup:
memberLookup::Ordk=>k->Mapphkv->Maybe (Keyphk, v)
Using lookup requires the value to be forced in order to perform the lookup, which can lead to space leaks under some circumstances. It would be good to have one or more of the following:
It would be very nice to be able to combine
member
andlookup
:Using
lookup
requires the value to be forced in order to perform the lookup, which can lead to space leaks under some circumstances. It would be good to have one or more of the following:The text was updated successfully, but these errors were encountered: