Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature SUBSTRING_GLOBAL = |
2 | sig | |
3 | type substring | |
4 | end | |
5 | ||
6 | signature SUBSTRING = | |
7 | sig | |
8 | include SUBSTRING_GLOBAL | |
9 | eqtype char | |
10 | eqtype string | |
11 | ||
12 | val app: (char -> unit) -> substring -> unit | |
13 | val base: substring -> string * int * int | |
14 | val collate: (char * char -> order) -> substring * substring -> order | |
15 | val compare: substring * substring -> order | |
16 | val concat: substring list -> string | |
17 | val concatWith: string -> substring list -> string | |
18 | val dropl: (char -> bool) -> substring -> substring | |
19 | val dropr: (char -> bool) -> substring -> substring | |
20 | val explode: substring -> char list | |
21 | val extract: string * int * int option -> substring | |
22 | val fields: (char -> bool) -> substring -> substring list | |
23 | val first: substring -> char option | |
24 | val foldl: (char * 'a -> 'a) -> 'a -> substring -> 'a | |
25 | val foldr: (char * 'a -> 'a) -> 'a -> substring -> 'a | |
26 | val full: string -> substring | |
27 | val getc: substring -> (char * substring) option | |
28 | val isEmpty: substring -> bool | |
29 | val isPrefix: string -> substring -> bool | |
30 | val isSubstring: string -> substring -> bool | |
31 | val isSuffix: string -> substring -> bool | |
32 | val position: string -> substring -> substring * substring | |
33 | val size: substring -> int | |
34 | val slice: substring * int * int option -> substring | |
35 | val span: substring * substring -> substring | |
36 | val splitAt: substring * int -> substring * substring | |
37 | val splitl: (char -> bool) -> substring -> substring * substring | |
38 | val splitr: (char -> bool) -> substring -> substring * substring | |
39 | val string: substring -> string | |
40 | val sub: substring * int -> char | |
41 | val substring: string * int * int -> substring | |
42 | val takel: (char -> bool) -> substring -> substring | |
43 | val taker: (char -> bool) -> substring -> substring | |
44 | val tokens: (char -> bool) -> substring -> substring list | |
45 | val translate: (char -> string) -> substring -> string | |
46 | val triml: int -> substring -> substring | |
47 | val trimr: int -> substring -> substring | |
48 | end | |
49 | ||
50 | signature SUBSTRING_EXTRA = | |
51 | sig | |
52 | include SUBSTRING | |
53 | end |