X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenutils.mli;h=73d50844786672dbf091c0e8edb49e6e6b69f19a;hp=f0fb3067f06470ed02f4a82b052d96c6088661c8;hb=65b5a307fc1c55a197ee337180842ac6885ba784;hpb=82b61d8519571f6a3feadc8575958945292c6d9f diff --git a/lib/whenutils.mli b/lib/whenutils.mli index f0fb306..73d5084 100644 --- a/lib/whenutils.mli +++ b/lib/whenutils.mli @@ -117,6 +117,10 @@ end val (//) : string -> string -> string (** [dir // file] concatenates directory and file. *) +val isalpha : char -> bool +val isalnum : char -> bool +(** Character tests. *) + val filter_map : ('a -> 'b option) -> 'a list -> 'b list (** Filter + map. *)