プログラミング言語SML#解説 4.1.0版
26.11 GENERAL
参照型と例外型のプリミティブおよびシステム共通例外名を提供.
signature GENERAL = sig type exn = exn datatype order = datatype order eqtype unit exception Bind exception Chr exception Div exception Domain exception Fail of string exception Match exception Overflow exception Size exception Span exception Subscript val ! : ’a ref -> ’a val := : ’a ref * ’a -> unit val before : ’a * unit -> ’a val exnMessage : exn -> string val exnName : exn -> string val ignore : ’a -> unit val o : (’b -> ’c) * (’a -> ’b) -> ’a -> ’c end
シグネチャを実装するストラクチャ
-
•
General : GENERAL