Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature SUBSTRING_1997 = |
2 | sig | |
3 | structure String: STRING_1997 | |
4 | type substring | |
5 | val base: substring -> (String.string * int * int) | |
6 | val string: substring -> String.string | |
7 | val extract: (String.string * int * int option) -> substring | |
8 | val substring: (String.string * int * int) -> substring | |
9 | val all: String.string -> substring | |
10 | val isEmpty: substring -> bool | |
11 | val getc: substring -> (String.Char.char * substring) option | |
12 | val first: substring -> String.Char.char option | |
13 | val triml: int -> substring -> substring | |
14 | val trimr: int -> substring -> substring | |
15 | val slice: (substring * int * int option) -> substring | |
16 | val sub: (substring * int) -> String.Char.char | |
17 | val size: substring -> int | |
18 | val concat: substring list -> String.string | |
19 | val explode: substring -> String.Char.char list | |
20 | val isPrefix: String.string -> substring -> bool | |
21 | val compare: (substring * substring) -> order | |
22 | val collate: ((String.Char.char * String.Char.char) -> order) | |
23 | -> (substring * substring) -> order | |
24 | val splitl: ((String.Char.char -> bool) | |
25 | -> substring -> (substring * substring)) | |
26 | val splitr: ((String.Char.char -> bool) | |
27 | -> substring -> (substring * substring)) | |
28 | val splitAt: (substring * int) -> (substring * substring) | |
29 | val dropl: (String.Char.char -> bool) -> substring -> substring | |
30 | val dropr: (String.Char.char -> bool) -> substring -> substring | |
31 | val takel: (String.Char.char -> bool) -> substring -> substring | |
32 | val taker: (String.Char.char -> bool) -> substring -> substring | |
33 | val position: String.string -> substring -> (substring * substring) | |
34 | val span: (substring * substring) -> substring | |
35 | val translate: ((String.Char.char -> String.string) | |
36 | -> substring -> String.string) | |
37 | val tokens: (String.Char.char -> bool) -> substring -> substring list | |
38 | val fields: (String.Char.char -> bool) -> substring -> substring list | |
39 | val foldl: ((String.Char.char * 'a) -> 'a) -> 'a -> substring -> 'a | |
40 | val foldr: ((String.Char.char * 'a) -> 'a) -> 'a -> substring -> 'a | |
41 | val app: (String.Char.char -> unit) -> substring -> unit | |
42 | end |