@buenos_andres/contracts 0.0.1-test.26 → 0.1.0

package/security/Pausable.compact

@@ -0,0 +1,89 @@
+// SPDX-License-Identifier: MIT
+// MyFun Contracts v0.1.0 (security/Pausable.compact)
+
+pragma language_version >= 0.16.0;
+
+/**
+ * @module Pausable
+ * @description Pausable allows the implementing contract to implement
+ * an emergency stop mechanism. Only circuits that call `assertPaused`
+ * or `assertNotPaused` will be affected by this mechanism.
+ */
+module Pausable {
+  import CompactStandardLibrary;
+
+  export ledger _isPaused: Boolean;
+
+  /**
+   * @description Returns true if the contract is paused, and false otherwise.
+   *
+   * @circuitInfo k=10, rows=32
+   *
+   * @return {Boolean} True if paused.
+   */
+  export circuit isPaused(): Boolean {
+    return _isPaused;
+  }
+
+  /**
+   * @description Makes a circuit only callable when the contract is paused.
+   *
+   * @circuitInfo k=10, rows=31
+   *
+   * Requirements:
+   *
+   * - Contract must be paused.
+   *
+   * @return {[]} - Empty tuple.
+   */
+  export circuit assertPaused(): [] {
+    assert(_isPaused, "Pausable: not paused");
+  }
+
+  /**
+   * @description Makes a circuit only callable when the contract is not paused.
+   *
+   * @circuitInfo k=10, rows=35
+   *
+   * Requirements:
+   *
+   * - Contract must not be paused.
+   *
+   * @return {[]} - Empty tuple.
+   */
+  export circuit assertNotPaused(): [] {
+    assert(!_isPaused, "Pausable: paused");
+  }
+
+  /**
+   * @description Triggers a stopped state.
+   *
+   * @circuitInfo k=10, rows=38
+   *
+   * Requirements:
+   *
+   * - Contract must not be paused.
+   *
+   * @return {[]} - Empty tuple.
+   */
+  export circuit _pause(): [] {
+    assertNotPaused();
+    _isPaused = true;
+  }
+
+  /**
+   * @description Lifts the pause on the contract.
+   *
+   * @circuitInfo k=10, rows=34
+   *
+   * Requirements:
+   *
+   * - Contract must be paused.
+   *
+   * @return {[]} - Empty tuple.
+   */
+  export circuit _unpause(): [] {
+    assertPaused();
+    _isPaused = false;
+  }
+}

package/security/witnesses/InitializableWitnesses.d.ts

@@ -0,0 +1,2 @@
+export type InitializablePrivateState = Record<string, never>;
+export declare const InitializableWitnesses: {};

package/security/witnesses/InitializableWitnesses.js

@@ -0,0 +1,4 @@
+// SPDX-License-Identifier: MIT
+// MyFun Contracts v0.1.0 (security/witnesses/InitializableWitnesses.ts)
+export const InitializableWitnesses = {};
+//# sourceMappingURL=InitializableWitnesses.js.map

package/security/witnesses/InitializableWitnesses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InitializableWitnesses.js","sourceRoot":"","sources":["../../../src/security/witnesses/InitializableWitnesses.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,wEAAwE;AAIxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC"}

package/security/witnesses/PausableWitnesses.d.ts

@@ -0,0 +1,2 @@
+export type PausablePrivateState = Record<string, never>;
+export declare const PausableWitnesses: {};

package/security/witnesses/PausableWitnesses.js

@@ -0,0 +1,4 @@
+// SPDX-License-Identifier: MIT
+// MyFun Contracts v0.1.0 (security/witnesses/PausableWitnesses.ts)
+export const PausableWitnesses = {};
+//# sourceMappingURL=PausableWitnesses.js.map

package/security/witnesses/PausableWitnesses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PausableWitnesses.js","sourceRoot":"","sources":["../../../src/security/witnesses/PausableWitnesses.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mEAAmE;AAInE,MAAM,CAAC,MAAM,iBAAiB,GAAG,EAAE,CAAC"}