home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-08-18 | 1.1 KB | 29 lines | [TEXT/Moml] |
- (* Strbase -- internal auxiliaries for String and Substring
- 1995-04-13, 1995-11-06 *)
-
- local
- type substring = string * int * int
- in
- val maxlen : int
- val dropl : (char -> bool) -> substring -> substring
- val dropr : (char -> bool) -> substring -> substring
- val takel : (char -> bool) -> substring -> substring
- val taker : (char -> bool) -> substring -> substring
- val splitl : (char -> bool) -> substring -> substring * substring
- val splitr : (char -> bool) -> substring -> substring * substring
-
- val translate : (char -> string) -> substring -> string
-
- val tokens : (char -> bool) -> substring -> substring list
- val fields : (char -> bool) -> substring -> substring list
-
- val foldl : (char * 'a -> 'a) -> 'a -> substring -> 'a
- val fromMLescape : (int -> (char * int) option) ->
- (int -> (char * int) option)
- val toMLescape : char -> string
- val fromCescape : (int -> (char * int) option) ->
- (int -> (char * int) option)
- val toCescape : char -> string
- val fromCString : string -> string option
- end
-