Provide a way to replace

[EmileTrotignon]

I love this library, this really seems like the right way to do regexp.

However, I had a usecase where I needed to do a search-and-replace, and I found no way to do it. I had to ideas to build it, one being a not combinator to capture everything I don't need to replace, but it does not exists. I also did not find a way to get locations from a match, which would allow replacement.

Since it exists in Re, it would probably not be hard to construct.

[Drup]

Hi @EmileTrotignon ! Thanks for the kind words. :)

I agree having replace would be interesting.

For the not construct, I considered adding various other regular construct at some point (complement, inter, ...); It's quite unclear to me how to type them. If we just restrict them to string Tyre.t, then we don't gain much over just embedding them with Tyre.regexp (and probably make the semantics a bit muddier).

As for position, At some point, I had the idea floating around to have Tyre.with_position : 'a Tyre.t -> ('a * pos) Tyre.t. I don't remember why that never materialized, maybe it's worth coming back to it!