diff options
Diffstat (limited to 'src/regex.urs')
-rw-r--r-- | src/regex.urs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/regex.urs b/src/regex.urs index c3d2c7f..9d2ad25 100644 --- a/src/regex.urs +++ b/src/regex.urs @@ -24,3 +24,10 @@ strs', where 'strs' is a list of subexpression matches, if a match succeeds, and val match : string (* needle *) -> string (* haystack *) -> option (list string) + +(* Replaces all substrings in 'haystack' that match 'needle' with the string +'replacement.' *) +val replace : string (* needle *) + -> string (* haystack *) + -> string (* replacement *) + -> string |