@agoric/ertp 0.16.3-u13.0 → 0.16.3-u16.0

package/src/transientNotifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"transientNotifier.d.ts","sourceRoot":"","sources":["transientNotifier.js"],"names":[],"mappings":"AAQO;;;EAoBN"}
+{"version":3,"file":"transientNotifier.d.ts","sourceRoot":"","sources":["transientNotifier.js"],"names":[],"mappings":"AAaO;;;EAoBN"}

package/src/transientNotifier.js

@@ -4,6 +4,11 @@ import { makeScalarBigWeakMapStore } from '@agoric/vat-data';
 import { provideLazy } from '@agoric/store';
 import { makeNotifierKit } from '@agoric/notifier';
 
+/**
+ * @import {Purse} from './types.js';
+ * @import {LatestTopic, NotifierRecord} from '@agoric/notifier');
+ */
+
 // Note: Virtual for high cardinality, but *not* durable, and so
 // broken across an upgrade.
 export const makeTransientNotifierKit = () => {

package/src/typeGuards.d.ts

@@ -1,3 +1,4 @@
+/** @import {AmountValue, AssetKindForValue, AssetValueForKind, Brand, MathHelpers} from './types.js' */
 export const BrandShape: import("@endo/patterns").Matcher;
 export const IssuerShape: import("@endo/patterns").Matcher;
 export const PaymentShape: import("@endo/patterns").Matcher;
@@ -13,10 +14,10 @@ export namespace RatioShape {
     export { AmountShape as numerator };
     export { AmountShape as denominator };
 }
-export function isNatValue(value: AmountValue): value is bigint;
-export function isCopySetValue(value: AmountValue): value is CopySet<any>;
+export function isNatValue(value: AmountValue): value is import("./types.js").NatValue;
+export function isCopySetValue(value: AmountValue): value is CopySet;
 export function isSetValue(value: AmountValue): value is SetValue;
-export function isCopyBagValue(value: AmountValue): value is CopyBag<any>;
+export function isCopyBagValue(value: AmountValue): value is CopyBag;
 export const MAX_ABSOLUTE_DECIMAL_PLACES: 100;
 export const AssetKindShape: import("@endo/patterns").Matcher;
 export const DisplayInfoShape: import("@endo/patterns").Matcher;
@@ -27,16 +28,47 @@ export namespace IssuerKitShape {
     export { IssuerShape as issuer };
     export { DisplayInfoShape as displayInfo };
 }
-export const BrandI: import("@endo/patterns").InterfaceGuard;
+export const BrandI: import("@endo/patterns").InterfaceGuard<{
+    isMyIssuer: import("@endo/patterns").MethodGuard;
+    getAllegedName: import("@endo/patterns").MethodGuard;
+    getDisplayInfo: import("@endo/patterns").MethodGuard;
+    getAmountShape: import("@endo/patterns").MethodGuard;
+}>;
 export function makeIssuerInterfaces(brandShape?: Pattern, assetKindShape?: Pattern, amountShape?: Pattern): {
-    IssuerI: import("@endo/patterns").InterfaceGuard;
-    MintI: import("@endo/patterns").InterfaceGuard;
-    PaymentI: import("@endo/patterns").InterfaceGuard;
+    IssuerI: import("@endo/patterns").InterfaceGuard<{
+        getBrand: import("@endo/patterns").MethodGuard;
+        getAllegedName: import("@endo/patterns").MethodGuard;
+        getAssetKind: import("@endo/patterns").MethodGuard;
+        getDisplayInfo: import("@endo/patterns").MethodGuard;
+        makeEmptyPurse: import("@endo/patterns").MethodGuard;
+        isLive: import("@endo/patterns").MethodGuard;
+        getAmountOf: import("@endo/patterns").MethodGuard;
+        burn: import("@endo/patterns").MethodGuard;
+    }>;
+    MintI: import("@endo/patterns").InterfaceGuard<{
+        getIssuer: import("@endo/patterns").MethodGuard;
+        mintPayment: import("@endo/patterns").MethodGuard;
+    }>;
+    PaymentI: import("@endo/patterns").InterfaceGuard<{
+        getAllegedBrand: import("@endo/patterns").MethodGuard;
+    }>;
     PurseIKit: {
-        purse: import("@endo/patterns").InterfaceGuard;
-        depositFacet: import("@endo/patterns").InterfaceGuard;
+        purse: import("@endo/patterns").InterfaceGuard<{
+            getAllegedBrand: import("@endo/patterns").MethodGuard;
+            getCurrentAmount: import("@endo/patterns").MethodGuard;
+            getCurrentAmountNotifier: import("@endo/patterns").MethodGuard;
+            deposit: import("@endo/patterns").MethodGuard;
+            getDepositFacet: import("@endo/patterns").MethodGuard;
+            withdraw: import("@endo/patterns").MethodGuard;
+            getRecoverySet: import("@endo/patterns").MethodGuard;
+            recoverAll: import("@endo/patterns").MethodGuard;
+        }>;
+        depositFacet: import("@endo/patterns").InterfaceGuard<{
+            receive: import("@endo/patterns").MethodGuard;
+        }>;
     };
 };
 declare const AmountValueShape: import("@endo/patterns").Matcher;
+import type { AmountValue } from './types.js';
 export {};
 //# sourceMappingURL=typeGuards.d.ts.map

package/src/typeGuards.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAIA,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;;;;;AAqFtC,kCAHI,WAAW,mBAG0C;AASzD,sCAHI,WAAW,yBAGkD;AAYjE,kCAHI,WAAW,qBAG0C;AASzD,sCAHI,WAAW,yBAGkD;AAIxE,8CAA+C;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAYF,6DAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;EAkEjB;AAlKD,iEAKE"}
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AAGA,wGAAwG;AAExG,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;;;;;AA+EtC,kCAHI,WAAW,GACT,KAAK,IAAI,OAAO,YAAY,EAAE,QAAQ,CAEa;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAYjE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAIxE,8CAA+C;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAYF;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkEjB;AAlKD,iEAKE;iCArEuF,YAAY"}

package/src/typeGuards.js

@@ -1,6 +1,7 @@
 // @jessie-check
 
-import { M, matches } from '@agoric/store';
+import { M, matches, getInterfaceGuardPayload } from '@endo/patterns';
+/** @import {AmountValue, AssetKindForValue, AssetValueForKind, Brand, MathHelpers} from './types.js' */
 
 export const BrandShape = M.remotable('Brand');
 export const IssuerShape = M.remotable('Issuer');
@@ -11,62 +12,56 @@ export const NotifierShape = M.remotable('Notifier');
 export const MintShape = M.remotable('Mint');
 
 /**
- * When the AmountValue of an Amount fits the NatValueShape, i.e., when it is
- * a non-negative bigint, then it represents that many units of the
- * fungible asset represented by that amount. The brand of that amount
- * should indeed represent a kind of asset consisting of a countable
- * set of fungible units.
+ * When the AmountValue of an Amount fits the NatValueShape, i.e., when it is a
+ * non-negative bigint, then it represents that many units of the fungible asset
+ * represented by that amount. The brand of that amount should indeed represent
+ * a kind of asset consisting of a countable set of fungible units.
  */
 const NatValueShape = M.nat();
 
 /**
  * When the AmountValue of an Amount fits the CopySetValueShape, i.e., when it
- * is a CopySet, then it represents the set of those
- * keys, where each key represents some individual non-fungible
- * item, like a concert ticket, from the non-fungible asset class
- * represented by that amount's brand. The amount itself represents
- * the set of these items, as opposed to any of the other items
- * from the same asset class.
+ * is a CopySet, then it represents the set of those keys, where each key
+ * represents some individual non-fungible item, like a concert ticket, from the
+ * non-fungible asset class represented by that amount's brand. The amount
+ * itself represents the set of these items, as opposed to any of the other
+ * items from the same asset class.
  *
- * If a given value class represents concert tickets, it seems bizarre
- * that we can form amounts of any key. The hard constraint is that
- * the code that holds the mint for that asset class---the one associated
- * with that brand, only mints the items representing the real units
- * of that asset class as defined by it. Anyone else can put together
- * an amount expressing, for example, that they "want" some items that
- * will never be minted. That want will never be satisfied.
- * "You can't always get..."
+ * If a given value class represents concert tickets, it seems bizarre that we
+ * can form amounts of any key. The hard constraint is that the code that holds
+ * the mint for that asset class---the one associated with that brand, only
+ * mints the items representing the real units of that asset class as defined by
+ * it. Anyone else can put together an amount expressing, for example, that they
+ * "want" some items that will never be minted. That want will never be
+ * satisfied. "You can't always get..."
  */
 const CopySetValueShape = M.set();
 
 /**
- * When the AmountValue of an Amount fits the SetValueShape, i.e., when it
- * is a CopyArray of passable Keys. This representation is deprecated.
+ * When the AmountValue of an Amount fits the SetValueShape, i.e., when it is a
+ * CopyArray of passable Keys. This representation is deprecated.
  *
  * @deprecated Please change from using array-based SetValues to CopySet-based
- * CopySetValues.
+ *   CopySetValues.
  */
 const SetValueShape = M.arrayOf(M.key());
 
 /**
  * When the AmountValue of an Amount fits the CopyBagValueShape, i.e., when it
- * is a CopyBag, then it represents the bag (multiset) of those
- * keys, where each key represents some individual semi-fungible
- * item, like a concert ticket, from the semi-fungible asset class
- * represented by that amount's brand. The number of times that key
- * appears in the bag is the number of fungible units of that key.
- * The amount itself represents
- * the bag of these items, as opposed to any of the other items
- * from the same asset class.
+ * is a CopyBag, then it represents the bag (multiset) of those keys, where each
+ * key represents some individual semi-fungible item, like a concert ticket,
+ * from the semi-fungible asset class represented by that amount's brand. The
+ * number of times that key appears in the bag is the number of fungible units
+ * of that key. The amount itself represents the bag of these items, as opposed
+ * to any of the other items from the same asset class.
  *
- * If a given value class represents concert tickets, it seems bizarre
- * that we can form amounts of any key. The hard constraint is that
- * the code that holds the mint for that asset class---the one associated
- * with that brand, only mints the items representing the real units
- * of that asset class as defined by it. Anyone else can put together
- * an amount expressing, for example, that they "want" some items that
- * will never be minted. That want will never be satisfied.
- * "You can't always get..."
+ * If a given value class represents concert tickets, it seems bizarre that we
+ * can form amounts of any key. The hard constraint is that the code that holds
+ * the mint for that asset class---the one associated with that brand, only
+ * mints the items representing the real units of that asset class as defined by
+ * it. Anyone else can put together an amount expressing, for example, that they
+ * "want" some items that will never be minted. That want will never be
+ * satisfied. "You can't always get..."
  */
 const CopyBagValueShape = M.bag();
 
@@ -106,11 +101,11 @@ export const isCopySetValue = value => matches(value, CopySetValueShape);
 harden(isCopySetValue);
 
 /**
- * Returns true if value is a pass by copy array structure. Does not
- * check for duplicates. To check for duplicates, use setMathHelpers.coerce.
+ * Returns true if value is a pass by copy array structure. Does not check for
+ * duplicates. To check for duplicates, use setMathHelpers.coerce.
  *
  * @deprecated Please change from using array-based SetValues to CopySet-based
- * CopySetValues.
+ *   CopySetValues.
  * @param {AmountValue} value
  * @returns {value is SetValue}
  */
@@ -218,7 +213,7 @@ export const makeIssuerInterfaces = (
   });
 
   const DepositFacetI = M.interface('DepositFacet', {
-    receive: PurseI.methodGuards.deposit,
+    receive: getInterfaceGuardPayload(PurseI).methodGuards.deposit,
   });
 
   const PurseIKit = harden({