basis-library/libs/basis-1997/text/substring.sig

   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