basis-library/general/general.sig

   1 signature GENERAL_GLOBAL =
   2   sig
   3      eqtype unit
   4
   5      type exn
   6      exception Bind
   7      exception Match
   8      exception Chr
   9      exception Div
  10      exception Domain
  11      exception Fail of string
  12      exception Overflow
  13      exception Size
  14      exception Span
  15      exception Subscript
  16
  17      val exnName: exn -> string
  18      val exnMessage: exn -> string
  19
  20      datatype order = LESS | EQUAL | GREATER
  21
  22      val ! : 'a ref -> 'a
  23      val := : ('a ref * 'a) -> unit
  24      val o : (('b -> 'c) * ('a -> 'b)) -> 'a -> 'c
  25      val before: ('a * unit) -> 'a
  26      val ignore: 'a -> unit
  27   end
  28
  29 signature GENERAL =
  30    sig
  31       include GENERAL_GLOBAL
  32    end
  33
  34 signature GENERAL_EXTRA =
  35    sig
  36       include GENERAL
  37
  38       val addExnMessager: (exn -> string option) -> unit
  39    end