basis-library/text/substring.sig

   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