basis-library/libs/basis-2002/top-level/basis-vals.sig

   1 signature BASIS_2002_VALS =
   2    sig
   3       (* Top-level values *)
   4       val ! : 'a ref -> 'a
   5       val := : 'a ref * 'a -> unit
   6       val @ : ('a list * 'a list) -> 'a list
   7       val ^ : string * string -> string
   8       val app : ('a -> unit) -> 'a list -> unit
   9       val before : 'a * unit -> 'a
  10       val ceil : real -> int
  11       val chr : int -> char
  12       val concat : string list -> string
  13       val exnMessage : exn -> string
  14       val exnName : exn -> string
  15       val explode : string -> char list
  16       val floor : real -> int
  17       val foldl : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
  18       val foldr : ('a * 'b -> 'b) -> 'b -> 'a list -> 'b
  19       val getOpt : ('a option * 'a) -> 'a
  20       val hd : 'a list -> 'a
  21       val ignore : 'a -> unit
  22       val isSome : 'a option -> bool
  23       val implode : char list -> string
  24       val length : 'a list -> int
  25       val map : ('a -> 'b) -> 'a list -> 'b list
  26       val not : bool -> bool
  27       val null : 'a list -> bool
  28       val o : ('a -> 'b) * ('c -> 'a) -> 'c -> 'b
  29       val ord : char -> int
  30       val print : string -> unit
  31       val real : int -> real
  32 (*
  33       val ref : 'a -> 'a ref
  34 *)
  35       val rev : 'a list -> 'a list
  36       val round : real -> int
  37       val size : string -> int
  38       val str : char -> string
  39       val substring : string * int * int -> string
  40       val tl : 'a list -> 'a list
  41       val trunc : real -> int
  42 (*
  43       val use : string -> unit
  44 *)
  45       val valOf : 'a option -> 'a
  46       val vector : 'a list -> 'a vector
  47
  48       val = : ''a * ''a -> bool
  49       val <> : ''a * ''a -> bool
  50    end