1 files changed, 44 insertions, 0 deletions
diff --git a/src/regex.ur b/src/regex.ur
new file mode 100644
index 0000000..ddc7793
--- /dev/null
+++ b/src/regex.ur
@@ -0,0 +1,44 @@
+(* Copyright 2015 the Massachusetts Institute of Technology
+
+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
+License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software distributed
+under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
+CONDITIONS OF ANY KIND, either express or implied.  See the License for the
+specific language governing permissions and limitations under the License. *)
+
+structure FFI = Regex__FFI
+
+type t = FFI.regex
+
+val compile = FFI.compile True
+
+val compile_case_insensitive = FFI.compile False
+
+fun match regex input =
+  (* Perform the match. *)
+  let
+    val result = FFI.do_match regex input
+  in
+    if not (FFI.succeeded result)
+    then
+      (* No match occurred. *)
+      None
+    else
+      (* Get the subexpressions.  We must do this iteratively, as the Regex__FFI
+      API can't return a list of matches. *)
+      let
+        fun loop i =
+          if i = FFI.n_subexpression_matches result
+          then
+            (* We've got all the subexpressions. *)
+            []
+          else FFI.subexpression_match result i :: loop (i + 1)
+      in
+        Some (loop 0)
+      end
+  end