Time based on nanoseconds (idealized), printed as milliseconds.
*)
signature TIME = sig
include TIME val min: time * time -> time val max: time * time -> time val scale: real -> time -> time val parse: string -> time valprint: time -> string val message: time -> string end;
structure Time: TIME = struct
open Time;
fun min (t1, t2) = if t1 < t2 then t1 else t2; fun max (t1, t2) = if t1 > t2 then t1 else t2;
fun scale s t = Time.fromNanoseconds (Real.ceil (s * Real.fromInt (Time.toNanoseconds t)));
fun parse s =
(case Time.fromString s of
SOME t => t
| NONE => raise Fail ("Bad time " ^ quote s));
funprint t = if t < Time.zeroTime then"-" ^ Time.toString (Time.zeroTime - t) else Time.toString t;
fun message t = print t ^ "s";
end;
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
