diff options
Diffstat (limited to 'src/regex__FFI.urs')
| -rw-r--r-- | src/regex__FFI.urs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/regex__FFI.urs b/src/regex__FFI.urs index 862d4f3..f01a27e 100644 --- a/src/regex__FFI.urs +++ b/src/regex__FFI.urs @@ -28,3 +28,10 @@ val subexpression_match : match -> int -> string val do_match : string (* needle *) -> string (* haystack *) -> match + +(* Replaces all substrings in 'haystack' that match 'needle' with the string +'replacement.' *) +val replace : string (* needle *) + -> string (* haystack *) + -> string (* replacement *) + -> string |