ic-mops 0.8.5 → 0.8.7

package/.mops/base@0.8.3/src/Time.mo

@@ -1,36 +0,0 @@
-/// System time
-
-import Prim "mo:⛔";
-module {
-
-  /// System time is represent as nanoseconds since 1970-01-01.
-  public type Time = Int;
-
-  /// Current system time given as nanoseconds since 1970-01-01. The system guarantees that:
-  ///
-  /// * the time, as observed by the canister smart contract, is monotonically increasing, even across canister upgrades.
-  /// * within an invocation of one entry point, the time is constant.
-  ///
-  /// The system times of different canisters are unrelated, and calls from one canister to another may appear to travel "backwards in time"
-  ///
-  /// Note: While an implementation will likely try to keep the system time close to the real time, this is not formally guaranteed.
-  public let now : () -> Time = func() : Int = Prim.nat64ToNat(Prim.time());
-  ///
-  /// The following example illustrates using the system time:
-  ///
-  /// ```motoko
-  /// import Int = "mo:base/Int";
-  /// import Time = "mo:base/Time";
-  ///
-  /// actor {
-  ///   var lastTime = Time.now();
-  ///   public func greet(name : Text) : async Text {
-  ///     let now = Time.now();
-  ///     let elapsedSeconds = (now - lastTime) / 1000_000_000;
-  ///     lastTime := now;
-  ///     return "Hello, " # name # "!" #
-  ///       " I was last called " # Int.toText(elapsedSeconds) # " seconds ago";
-  ///    };
-  /// };
-  /// ```
-}

package/.mops/base@0.8.3/src/Timer.mo

@@ -1,62 +0,0 @@
-/// Timers for one-off or periodic tasks.
-///
-/// Note: If `moc` is invoked with `-no-timer`, the importing will fail.
-/// Note: The resolution of the timers is in the order of the block rate,
-///       so durations should be chosen well above that. For frequent
-///       canister wake-ups the heatbeat mechanism should be considered.
-
-import { setTimer = setTimerNano; cancelTimer = cancel } = "mo:⛔";
-import { fromIntWrap } = "Nat64";
-
-module {
-
-  public type Duration = { #seconds : Nat; #nanoseconds : Nat };
-  public type TimerId = Nat;
-
-  func toNanos(d : Duration) : Nat64 =
-    fromIntWrap (switch d {
-      case (#seconds s) s * 1000_000_000;
-      case (#nanoseconds ns) ns });
-
-  /// Installs a one-off timer that upon expiration after given duration `d`
-  /// executes the future `job()`.
-  ///
-  /// ```motoko no-repl
-  /// let now = Time.now();
-  /// let thirtyMinutes = 1_000_000_000 * 60 * 30;
-  /// func alarmUser() : async () {
-  ///   // ...
-  /// };
-  /// appt.reminder = setTimer(#nanoseconds (Int.abs(appt.when - now - thirtyMinutes)), alarmUser);
-  /// ```
-  public func setTimer(d : Duration, job : () -> async ()) : TimerId {
-    setTimerNano(toNanos d, false, job)
-  };
-
-  /// Installs a recurring timer that upon expiration after given duration `d`
-  /// executes the future `job()` and reinserts itself for another expiration.
-  ///
-  /// Note: A duration of 0 will only expire once.
-  ///
-  /// ```motoko no-repl
-  /// func checkAndWaterPlants() : async () {
-  ///   // ...
-  /// };
-  /// let daily = recurringTimer(#seconds (24 * 60 * 60), checkAndWaterPlants);
-  /// ```
-  public func recurringTimer(d : Duration, job : () -> async ()) : TimerId {
-    setTimerNano(toNanos d, true, job)
-  };
-
-  /// Cancels a still active timer with `(id : TimerId)`. For expired timers
-  /// and not recognised `id`s nothing happens.
-  ///
-  /// ```motoko no-repl
-  /// func deleteAppt(appt : Appointment) {
-  ///   cancelTimer (appt.reminder);
-  ///   // ...
-  /// };
-  /// ```
-  public let cancelTimer : TimerId -> () = cancel;
-
-}