diff options
Diffstat (limited to '')
-rw-r--r-- | gemini/parseCommon.mli | 18 |
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 |