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
One could write compareLength xs n = compare (length xs) n, but this necessarily forces xs in full, which is undesirable in many use cases. We are looking for a more lazy implementation, similar in properties to Data.Text.compareLength.
The text was updated successfully, but these errors were encountered:
It would be nice to have an implementation of
One could write
compareLength xs n = compare (length xs) n
, but this necessarily forcesxs
in full, which is undesirable in many use cases. We are looking for a more lazy implementation, similar in properties toData.Text.compareLength
.The text was updated successfully, but these errors were encountered: