summaryrefslogtreecommitdiff
path: root/gemini/parseCommon.mli
diff options
context:
space:
mode:
Diffstat (limited to 'gemini/parseCommon.mli')
-rw-r--r--gemini/parseCommon.mli18
1 files changed, 18 insertions, 0 deletions
diff --git a/gemini/parseCommon.mli b/gemini/parseCommon.mli
new file mode 100644
index 0000000..2994e6e
--- /dev/null
+++ b/gemini/parseCommon.mli
@@ -0,0 +1,18 @@
+module type PARSE_COMMON =
+sig
+ val is_letter : char -> bool
+
+ val is_digit : char -> bool
+
+ val is_whitespace : char -> bool
+
+ val is_cr : char -> bool
+
+ val lift_or : ('a -> bool) -> ('a -> bool) -> 'a -> bool
+
+ val skip_spaces : unit Angstrom.t
+
+ val take_till_cr : string Angstrom.t
+end
+
+module ParseCommon : PARSE_COMMON