diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 17:26:16 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 17:26:16 -0400 |
commit | 655f2bc59e11ccd16229f2e7474b013e585192fb (patch) | |
tree | 266f59b5894d7aee96441f5f9da8e1e474fbcb03 /src/regex__FFI.urs | |
parent | 285053f45f39752e46899a9e99f1cfe1ca76165c (diff) |
Implement regex substitution
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 |