13 Feb
2018
13 Feb
'18
11:31 p.m.
On 13/02/2018, Zemyla
I'd actually been thinking about whether it'd be worth it to include a fingertree of character lengths in order to make length O(1) and indexing, take, and drop O(log n). However, a Text is currently three unpacked values, and putting something that can't be unboxed in there may not be such a good idea.
Yeah, whoever needs these operations likely ought to rather use `Vector Char` or such, or define a wrapper type including the character length information, lest we penalize all users for it.