@agoric/zoe 0.26.3-dev-a2c6d29.0 → 0.26.3-dev-8e82183.0

package/tools/types.js

@@ -1,5 +1,5 @@
-export {}; 
-// @jessie-check
+// Ensure this is a module.
+export {};
 
 /**
  * @typedef {object} PriceQuote

package/src/contracts/callSpread/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"oBACa,MAAM,GAAG,OAAO;2CAKlB,YAAY,KACV,OAAO,CAAC,UAAU,CAAC;;qBAKlB,MAAM,IAAI;0BACT,oBAAoB;;;;;;;;eAQrB,KAAK;gBACL,KAAK;;;;;;;;;;;;;yCAcR,KAAK,SACL,MAAM,CAAC,KAAK,CAAC,gBACb,MAAM,CAAC,KAAK,CAAC,gBACb,MAAM,CAAC,KAAK,CAAC,KACX,qBAAqB;8BAKvB,KAAK,KACH,KAAK;4BAKP,KAAK,KACH,KAAK"}

package/src/contracts/loan/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;sBACa,QAAQ,CAAC,OAAO,cAAc,EAAE,eAAe,CAAC;;;;;;;wBAUhD,QAAQ;;;;;;SAUP,KAAK;sBAGL,gBAAgB;;;;;oBAEhB,cAAc;oBAKd,cAAc;;;;;kBAEd,KAAK;oBAIL,OAAO,cAAc,EAAE,YAAY;eAEnC,KAAK;qBACL,KAAK;;;;;;gBAKL,OAAO;;;;;4BAMR,SAAS,GAAG,kBAAkB;;;;;;oBAQ7B,OAAO;;;;aAKP,MAAM,MAAM,CAAC,KAAK,CAAC;;;;;2BAInB,aAAa,CAAC,UAAU,CAAC;;;;;;;oBASzB,OAAO;;;;;2BAKP,aAAa,CAAC,UAAU,CAAC;;;;;8BAO1B,oBAAoB,GAAG,wBAAwB;uCAM/C,oBAAoB,GAAG,iCAAiC;iCAM1D,GAAG,UACH,sBAAsB;gCAKtB,GAAG,UACH,SAAS,KACP,OAAO,CAAC,UAAU,CAAC;kCAKrB,GAAG,UACH,oBAAoB,KAClB,OAAO,CAAC,UAAU,CAAC;qCAKrB,GAAG,UACH,sBAAsB,KACpB,OAAO,CAAC,UAAU,CAAC;;;;;yCAQrB,GAAG,UACH,sBAAsB,KACpB,OAAO,CAAC,UAAU,CAAC;iDAKrB,oBAAoB;gCAKpB,MAAM,CAAC,KAAK,CAAC,gBACb,KAAK,KACH,MAAM,CAAC,KAAK,CAAC;;;;;;oBAKZ,cAAc;;;;kBAKd,MAAM,CAAC,KAAK,CAAC;;;;oBAIb,cAAc;kBAId,KAAK;;;;oBACL,OAAO,cAAc,EAAE,YAAY;SAInC,GAAG;wBAEH,+BAA+B;;;;;cAC/B,OAAO,cAAc,EAAE,SAAS;;;oBAMhC,OAAO;2BACP,aAAa,CAAC,GAAG,CAAC;;sBAElB,MAAM,CAAC,UAAU,CAAC;oBAClB,cAAc;oBACd,cAAc;kBACd,MAAM;oBACN,OAAO,cAAc,EAAE,YAAY;gBACnC,OAAO;;;;;;;6BAMP,MAAM,OAAO,CAAC,UAAU,CAAC;;;;iCAKzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;;2BAIzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;iCAOzB,MAAM,OAAO,cAAc,EAAE,SAAS;;;;;qBAItC,MAAM,QAAQ,CAAC,MAAM,CAAC;;;;+BAKtB,MAAM,MAAM"}

package/src/contracts/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";oBAEc,MAAM,MAAM;uBACZ,MAAM,MAAM;;;yBAGZ,MAAM,OAAO,CAAC,UAAU,CAAC;;6BAE1B,oBAAoB,GAAG,oBAAoB;;2BAK1C,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;WACnB,MAAM;iBACN,MAAM;2BACN,YAAY;kBACZ,MAAM;;;0BAGN,QAAQ;2BACR,qBAAqB;uBACrB,QAAQ;0BACR,oBAAoB;;;gBAGpB,CAAC,UAAU,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC;eAC7D,MAAM,MAAM;;;oBAKZ,MAAM,MAAM;oBACZ,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;;wBAKzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;0BAEzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;2BAGzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;gCAGzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;mCAEzB,MAAM,OAAO,CAAC,UAAU,CAAC;wBAEzB,MAAM,MAAM;;;;;wBACZ,MAAM,MAAM;;;;;mBAEZ,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,KAAK,MAAM;;;;;oBAG7C,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,KAAK,MAAM;;;;;uBAG7C,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC"}

package/tools/types-ambient.d.ts

@@ -1,142 +0,0 @@
-type PriceQuote = {
-    /**
-     * Amount whose value is a PriceQuoteValue
-     */
-    quoteAmount: Amount<"set">;
-    /**
-     * The `quoteAmount` wrapped as a payment
-     */
-    quotePayment: ERef<Payment<"set">>;
-};
-/**
- * A single-valued set of PriceDescriptions.  This is the `value` in
- * PriceQuote.quoteAmount (`{ brand, value: PriceQuoteValue }`).
- */
-type PriceQuoteValue = [PriceDescription];
-/**
- * A description of a single quote
- */
-type PriceDescription = {
-    /**
-     * The amount supplied to a trade
-     */
-    amountIn: Amount<"nat">;
-    /**
-     * The quoted result of trading `amountIn`
-     */
-    amountOut: Amount<"nat">;
-    /**
-     * The service that gave the `timestamp`
-     */
-    timer: import("@agoric/time").TimerService;
-    /**
-     * A timestamp according to `timer` for the quote
-     */
-    timestamp: import("@agoric/time").TimestampRecord;
-    /**
-     * Additional conditions for the quote
-     */
-    conditions?: any;
-};
-type PriceQuoteCreate = (priceQuery: PriceQuery) => ERef<PriceQuote> | undefined;
-type PriceQuoteTrigger = (createQuote: PriceQuoteCreate) => any;
-type PriceAuthorityAdmin = {
-    fireTriggers: (createQuote: PriceQuoteCreate) => Promise<void>;
-};
-type PriceAuthorityKit = {
-    priceAuthority: PriceAuthority;
-    adminFacet: PriceAuthorityAdmin;
-};
-type MutableQuote = {
-    cancel: (reason?: any) => void;
-    updateLevel: (amountIn: Amount<"nat">, amountOut: Amount<"nat">) => void;
-    getPromise: () => ERef<PriceQuote>;
-};
-/**
- * An object that mints PriceQuotes and handles
- * triggers and notifiers for changes in the price
- */
-type PriceAuthority = {
-    /**
-     * Get the ERTP issuer of PriceQuotes for a given brandIn/brandOut pair
-     */
-    getQuoteIssuer: (brandIn: Brand, brandOut: Brand) => ERef<Issuer<"set">>;
-    /**
-     * Get the timer used in PriceQuotes for a given brandIn/brandOut pair
-     */
-    getTimerService: (brandIn: Brand, brandOut: Brand) => ERef<import("@agoric/time").TimerService>;
-    /**
-     * Be notified of the latest PriceQuotes for a given
-     * `amountIn`.  The rate at which these are issued may be very different between
-     * `priceAuthorities`.
-     */
-    makeQuoteNotifier: (amountIn: Amount<"nat">, brandOut: Brand<"nat">) => ERef<Notifier<PriceQuote>>;
-    /**
-     * Resolves after `deadline` passes on the
-     * priceAuthority's timerService with the price quote of `amountIn` at that time
-     */
-    quoteAtTime: (deadline: import("@agoric/time").Timestamp, amountIn: Amount<"nat">, brandOut: Brand<"nat">) => Promise<PriceQuote>;
-    /**
-     * Get a quote corresponding to the specified amountIn
-     */
-    quoteGiven: (amountIn: Amount<"nat">, brandOut: Brand<"nat">) => Promise<PriceQuote>;
-    /**
-     * Get a quote corresponding to the specified amountOut
-     */
-    quoteWanted: (brandIn: Brand<"nat">, amountOut: Amount<"nat">) => Promise<PriceQuote>;
-    /**
-     * Resolve when a price quote of `amountIn` exceeds `amountOutLimit`
-     */
-    quoteWhenGT: (amountIn: Amount<"nat">, amountOutLimit: Amount<"nat">) => Promise<PriceQuote>;
-    /**
-     * Resolve when a price quote of `amountIn` reaches or exceeds `amountOutLimit`
-     */
-    quoteWhenGTE: (amountIn: Amount<"nat">, amountOutLimit: Amount<"nat">) => Promise<PriceQuote>;
-    /**
-     * Resolve when a price quote of `amountIn` reaches or drops below
-     * `amountOutLimit`
-     */
-    quoteWhenLTE: (amountIn: Amount, amountOutLimit: Amount) => Promise<PriceQuote>;
-    /**
-     * Resolve when the price quote of `amountIn` drops below `amountOutLimit`
-     */
-    quoteWhenLT: (amountIn: Amount, amountOutLimit: Amount) => Promise<PriceQuote>;
-    /**
-     * Resolve when a price quote of `amountIn` exceeds `amountOutLimit`
-     */
-    mutableQuoteWhenGT: (amountIn: Amount, amountOutLimit: Amount) => ERef<MutableQuote>;
-    /**
-     * Resolve when a price quote of `amountIn` reaches or exceeds
-     * `amountOutLimit`
-     */
-    mutableQuoteWhenGTE: (amountIn: Amount, amountOutLimit: Amount) => ERef<MutableQuote>;
-    /**
-     * Resolve when a price quote of `amountIn` reaches or drops below
-     * `amountOutLimit`
-     */
-    mutableQuoteWhenLTE: (amountIn: Amount, amountOutLimit: Amount) => ERef<MutableQuote>;
-    /**
-     * Resolve when the price quote of `amountIn` drops below `amountOutLimit`
-     */
-    mutableQuoteWhenLT: (amountIn: Amount, amountOutLimit: Amount) => ERef<MutableQuote>;
-};
-type PriceCalculator = (amount: Amount<"nat">) => Amount<"nat">;
-type PriceQuery = (calcAmountIn: PriceCalculator, calcAmountOut: PriceCalculator) => {
-    amountIn: Amount<"nat">;
-    amountOut: Amount<"nat">;
-    timestamp?: import("@agoric/time").TimestampRecord;
-} | undefined;
-/**
- * A description of a single quote
- */
-type PriceLevel = {
-    /**
-     * The amount supplied to a trade
-     */
-    amountIn: Amount<"nat">;
-    /**
-     * The quoted result of trading `amountIn`
-     */
-    amountOut: Amount<"nat">;
-};
-//# sourceMappingURL=types-ambient.d.ts.map

package/tools/types-ambient.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";;;;iBAIc,MAAM,CAAC,KAAK,CAAC;;;;kBAEb,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;;;;;;uBAKrB,CAAC,gBAAgB,CAAC;;;;;;;;cAQjB,MAAM,CAAC,KAAK,CAAC;;;;eAEb,MAAM,CAAC,KAAK,CAAC;;;;WAEb,OAAO,cAAc,EAAE,YAAY;;;;eAEnC,OAAO,cAAc,EAAE,eAAe;;;;iBAEtC,GAAG;;qCAMN,UAAU,KACR,IAAI,CAAC,UAAU,CAAC,GAAG,SAAS;uCAK9B,gBAAgB;;kBAKb,CAAC,WAAW,EAAE,gBAAgB,KAAK,OAAO,CAAC,IAAI,CAAC;;;oBAKhD,cAAc;gBACd,mBAAmB;;;YAKnB,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,IAAI;iBACtB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;gBAC3D,MAAM,IAAI,CAAC,UAAU,CAAC;;;;;;;;;;oBAQtB,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;;;qBAGxD,CAAC,OAAO,EAAE,KAAK,EAC5B,QAAsB,EAAE,KAAK,KACtB,IAAI,CAAC,OAAO,cAAc,EAAE,YAAY,CAAC;;;;;;uBAGnC,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EACrC,QAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,KAClB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;;;;;iBAK/B,CAAC,QAAQ,EAAE,OAAO,cAAc,EAAE,SAAS,EACxD,QAAsB,EAAE,MAAM,CAAC,KAAK,CAAC,EACrC,QAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,KAC7B,OAAO,CAAC,UAAU,CAAC;;;;gBAIb,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EACrC,QAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,KAC7B,OAAO,CAAC,UAAU,CAAC;;;;iBAGb,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,EACnC,SAAuB,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,UAAU,CAAC;;;;iBAGjD,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EACrC,cAA4B,EAAE,MAAM,CAAC,KAAK,CAAC,KACpC,OAAO,CAAC,UAAU,CAAC;;;;kBAGb,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,EACrC,cAA4B,EAAE,MAAM,CAAC,KAAK,CAAC,KACpC,OAAO,CAAC,UAAU,CAAC;;;;;kBAGb,CAAC,QAAQ,EAAE,MAAM,EAC9B,cAA4B,EAAE,MAAM,KAC7B,OAAO,CAAC,UAAU,CAAC;;;;iBAIb,CAAC,QAAQ,EAAE,MAAM,EAC9B,cAA4B,EAAE,MAAM,KAC7B,OAAO,CAAC,UAAU,CAAC;;;;wBAGb,CAAC,QAAQ,EAAE,MAAM,EAC9B,cAA4B,EAAE,MAAM,KAC7B,IAAI,CAAC,YAAY,CAAC;;;;;yBAGZ,CAAC,QAAQ,EAAE,MAAM,EAC9B,cAA4B,EAAE,MAAM,KAC7B,IAAI,CAAC,YAAY,CAAC;;;;;yBAIZ,CAAC,QAAQ,EAAE,MAAM,EAC9B,cAA4B,EAAE,MAAM,KAC7B,IAAI,CAAC,YAAY,CAAC;;;;wBAIZ,CAAC,QAAQ,EAAE,MAAM,EAC9B,cAA4B,EAAE,MAAM,KAC7B,IAAI,CAAC,YAAY,CAAC;;uBAKb,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC;iCAK1C,eAAe,iBACf,eAAe,KACb;IAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,cAAc,EAAE,eAAe,CAAA;CAAE,GAAG,SAAS;;;;;;;;cAOpH,MAAM,CAAC,KAAK,CAAC;;;;eAEb,MAAM,CAAC,KAAK,CAAC"}

package/tools/types-ambient.js

@@ -1,160 +0,0 @@
-// @jessie-check
-
-/**
- * @typedef {object} PriceQuote
- * @property {Amount<'set'>} quoteAmount
- * Amount whose value is a PriceQuoteValue
- * @property {ERef<Payment<'set'>>} quotePayment
- * The `quoteAmount` wrapped as a payment
- */
-
-/**
- * @typedef {[PriceDescription]} PriceQuoteValue
- * A single-valued set of PriceDescriptions.  This is the `value` in
- * PriceQuote.quoteAmount (`{ brand, value: PriceQuoteValue }`).
- */
-
-/**
- * @typedef {object} PriceDescription
- * A description of a single quote
- * @property {Amount<'nat'>} amountIn
- * The amount supplied to a trade
- * @property {Amount<'nat'>} amountOut
- * The quoted result of trading `amountIn`
- * @property {import('@agoric/time').TimerService} timer
- * The service that gave the `timestamp`
- * @property {import('@agoric/time').TimestampRecord} timestamp
- * A timestamp according to `timer` for the quote
- * @property {any} [conditions]
- * Additional conditions for the quote
- */
-
-/**
- * @callback PriceQuoteCreate
- * @param {PriceQuery} priceQuery
- * @returns {ERef<PriceQuote> | undefined}
- */
-
-/**
- * @callback PriceQuoteTrigger
- * @param {PriceQuoteCreate} createQuote
- */
-
-/**
- * @typedef {object} PriceAuthorityAdmin
- * @property {(createQuote: PriceQuoteCreate) => Promise<void>} fireTriggers
- */
-
-/**
- * @typedef {object} PriceAuthorityKit
- * @property {PriceAuthority} priceAuthority
- * @property {PriceAuthorityAdmin} adminFacet
- */
-
-/**
- * @typedef {object} MutableQuote
- * @property {(reason?: any) => void} cancel
- * @property {(amountIn: Amount<'nat'>, amountOut: Amount<'nat'>) => void} updateLevel
- * @property {() => ERef<PriceQuote>} getPromise
- */
-
-/**
- * @typedef {object} PriceAuthority
- * An object that mints PriceQuotes and handles
- * triggers and notifiers for changes in the price
- *
- * @property {(brandIn: Brand, brandOut: Brand) => ERef<Issuer<'set'>>} getQuoteIssuer
- * Get the ERTP issuer of PriceQuotes for a given brandIn/brandOut pair
- *
- * @property {(brandIn: Brand,
- *             brandOut: Brand
- * ) => ERef<import('@agoric/time').TimerService>} getTimerService
- * Get the timer used in PriceQuotes for a given brandIn/brandOut pair
- *
- * @property {(amountIn: Amount<'nat'>,
- *             brandOut: Brand<'nat'>
- *            ) => ERef<Notifier<PriceQuote>>} makeQuoteNotifier
- * Be notified of the latest PriceQuotes for a given
- * `amountIn`.  The rate at which these are issued may be very different between
- * `priceAuthorities`.
- *
- * @property {(deadline: import('@agoric/time').Timestamp,
- *             amountIn: Amount<'nat'>,
- *             brandOut: Brand<'nat'>
- * ) => Promise<PriceQuote>} quoteAtTime
- * Resolves after `deadline` passes on the
- * priceAuthority's timerService with the price quote of `amountIn` at that time
- *
- * @property {(amountIn: Amount<'nat'>,
- *             brandOut: Brand<'nat'>
- * ) => Promise<PriceQuote>} quoteGiven
- * Get a quote corresponding to the specified amountIn
- *
- * @property {(brandIn: Brand<'nat'>,
- *             amountOut: Amount<'nat'>) => Promise<PriceQuote>} quoteWanted
- * Get a quote corresponding to the specified amountOut
- *
- * @property {(amountIn: Amount<'nat'>,
- *             amountOutLimit: Amount<'nat'>
- * ) => Promise<PriceQuote>} quoteWhenGT
- * Resolve when a price quote of `amountIn` exceeds `amountOutLimit`
- *
- * @property {(amountIn: Amount<'nat'>,
- *             amountOutLimit: Amount<'nat'>
- * ) => Promise<PriceQuote>} quoteWhenGTE
- * Resolve when a price quote of `amountIn` reaches or exceeds `amountOutLimit`
- *
- * @property {(amountIn: Amount,
- *             amountOutLimit: Amount
- * ) => Promise<PriceQuote>} quoteWhenLTE
- * Resolve when a price quote of `amountIn` reaches or drops below
- * `amountOutLimit`
- *
- * @property {(amountIn: Amount,
- *             amountOutLimit: Amount
- * ) => Promise<PriceQuote>} quoteWhenLT
- * Resolve when the price quote of `amountIn` drops below `amountOutLimit`
- *
- * @property {(amountIn: Amount,
- *             amountOutLimit: Amount
- * ) => ERef<MutableQuote>} mutableQuoteWhenGT
- * Resolve when a price quote of `amountIn` exceeds `amountOutLimit`
- *
- * @property {(amountIn: Amount,
- *             amountOutLimit: Amount
- * ) => ERef<MutableQuote>} mutableQuoteWhenGTE
- * Resolve when a price quote of `amountIn` reaches or exceeds
- * `amountOutLimit`
- *
- * @property {(amountIn: Amount,
- *             amountOutLimit: Amount
- * ) => ERef<MutableQuote>} mutableQuoteWhenLTE
- * Resolve when a price quote of `amountIn` reaches or drops below
- * `amountOutLimit`
- *
- * @property {(amountIn: Amount,
- *             amountOutLimit: Amount
- * ) => ERef<MutableQuote>} mutableQuoteWhenLT
- * Resolve when the price quote of `amountIn` drops below `amountOutLimit`
- */
-
-/**
- * @typedef {(amount: Amount<'nat'>) => Amount<'nat'>} PriceCalculator
- */
-
-/**
- * @callback PriceQuery
- * @param {PriceCalculator} calcAmountIn
- * @param {PriceCalculator} calcAmountOut
- * @returns {{ amountIn: Amount<'nat'>, amountOut: Amount<'nat'>, timestamp?: import('@agoric/time').TimestampRecord } | undefined}
- */
-
-/**
- * @typedef {object} PriceLevel
- * A description of a single quote
- *
- * @property {Amount<'nat'>} amountIn
- * The amount supplied to a trade
- * @property {Amount<'nat'>} amountOut
- * The quoted result of trading `amountIn`
- */