index should use measureOff #652
Description
Currently Data.Text.index goes a long route via streaming representation. It would be much faster just measureOff and peek the next Char.
{{ message }}
index should use measureOff #652Currently Data.Text.index goes a long route via streaming representation. It would be much faster just measureOff and peek the next Char.