9 Sep
2010
9 Sep
'10
12:29 a.m.
On 9/8/10 4:34 PM, Edward Kmett wrote:
Do I believe that the Text API should expose this kind of functionality? I'd hazard not. In the above, each of my cursor positions is well formed, it always comes between two characters. Any slice made between any two valid cursors for the buffer set succeeds. To provide those guarantees you need rank 2 types and general scariness that does not belong in a Platform library.
Well, as per the proposal, text already requires Rank2Types, ScopedTypeVariables, and ExistentialQuantification. That should be enough to get started >;) -- Live well, ~wren