diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 16:51:31 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 16:51:31 -0400 |
commit | aa05cf6073cf2a6dfa46108cd5522c0171a7f1c3 (patch) | |
tree | 27405b9488362c624788da7278c57afc101a300c /src/regex.urs | |
parent | d6528405184ed3cc2a4f25b8ba86fabbc892dc59 (diff) |
Make library work on both client and server sides
Replace the two-step compile/match process with a single
compile-and-match one to avoid issues with server-client representation
incompatibility. Use the browser regex engine on the client side.
Diffstat (limited to 'src/regex.urs')
-rw-r--r-- | src/regex.urs | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/src/regex.urs b/src/regex.urs index 15ce216..2591fe8 100644 --- a/src/regex.urs +++ b/src/regex.urs @@ -1,4 +1,5 @@ (* Copyright 2015 the Massachusetts Institute of Technology +Copyright 2015 Benjamin Barenblat Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the @@ -56,22 +57,11 @@ Here's a brief syntax reminder: '[[:digit:]]'. *) -(* Creating *) - -(* A compiled regular expression. *) -type t - -(* Compiles a regular expression from a POSIX extended regular expression -string. *) -val compile : string -> t - -(* Compiles a case-insensitive regular expression from a POSIX extended regular expression string. *) -val compile_case_insensitive : string -> t - - (* Searching *) (* Matches a regular expression against any part of a string. Returns 'Some strs', where 'strs' is a list of subexpression matches, if a match succeeds, and 'None' otherwise. *) -val match : t -> string -> option (list string) +val match : string (* needle *) + -> string (* haystack *) + -> option (list string) |