diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2002-11-12 14:07:28 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2002-11-12 14:07:28 +0000 |
commit | 695c5b66f3a8da169c48e7989edb4db2a894e5aa (patch) | |
tree | 8ac6e0561f382c2636ab41c0be90b11da2033f7c /perl_checker.src/common.mli | |
parent | 7fff947a462837c0cc7ea4cbf4da146b796ac349 (diff) | |
download | perl-MDK-Common-695c5b66f3a8da169c48e7989edb4db2a894e5aa.tar perl-MDK-Common-695c5b66f3a8da169c48e7989edb4db2a894e5aa.tar.gz perl-MDK-Common-695c5b66f3a8da169c48e7989edb4db2a894e5aa.tar.bz2 perl-MDK-Common-695c5b66f3a8da169c48e7989edb4db2a894e5aa.tar.xz perl-MDK-Common-695c5b66f3a8da169c48e7989edb4db2a894e5aa.zip |
*** empty log message ***
Diffstat (limited to 'perl_checker.src/common.mli')
-rw-r--r-- | perl_checker.src/common.mli | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/perl_checker.src/common.mli b/perl_checker.src/common.mli index 353a2a3..ccf6587 100644 --- a/perl_checker.src/common.mli +++ b/perl_checker.src/common.mli @@ -3,10 +3,6 @@ exception Not_comparable exception GraphSort_circular_deps type ('a, 'b) either = Left of 'a | Right of 'b and ('a, 'b) or_option = Or_some of 'a | Or_error of 'b -val bpos : string * int * int -val norm : int * int -> int -val unipos : string * int * int -> string * int * int -> string * int * int -val uniposl : (string * int * int) list -> string * int * int val internal_error : string -> 'a val id : 'a -> 'a val double : 'a -> 'a * 'a @@ -65,6 +61,8 @@ val map_optionoption : ('a -> 'b option) -> 'a option -> 'b option val t2_option2option_t2 : 'a option * 'b option -> ('a * 'b) option val l_option2option_l : 'a option list -> 'a list option val map_option_env : ('a -> 'b) -> 'a option * 'c -> 'b option * 'c +val t2_to_list : 'a * 'a -> 'a list +val t3_to_list : 'a * 'a * 'a -> 'a list val if_some : bool -> 'a -> 'a option val fold_left_option : ('a -> 'b -> 'a option) -> 'a -> 'b list -> 'a option val collect_some_withenv : @@ -175,12 +173,10 @@ val chop : string -> string val chomps : string -> string val skip_n_char_ : int -> int -> string -> string val skip_n_char : int -> string -> string -val index_spaces_from : int -> string -> int -val index_spaces : string -> int -val index_non_spaces_from : int -> string -> int -val index_non_spaces : string -> int -val rindex_non_spaces_from : int -> string -> int -val rindex_non_spaces : string -> int +val non_index_from : string -> int -> char -> int +val non_index : string -> char -> int +val non_rindex_from : string -> int -> char -> int +val non_rindex : string -> char -> int val explode_string : string -> char list val is_uppercase : char -> bool val is_lowercase : char -> bool |