@agoric/ertp 0.16.3-dev-9883fcf.0 → 0.16.3-dev-c4690ab.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +7 -7
- package/src/amountMath.d.ts +12 -25
- package/src/amountMath.d.ts.map +1 -1
- package/src/amountMath.js +8 -13
- package/src/index.d.ts +1 -0
- package/src/index.js +3 -0
- package/src/issuerKit.d.ts +6 -5
- package/src/issuerKit.d.ts.map +1 -1
- package/src/types-index.d.ts +1 -1
- package/src/types.d.ts +2 -1
- package/src/types.d.ts.map +1 -1
- package/src/types.ts +3 -1
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@agoric/ertp",
|
|
3
|
-
"version": "0.16.3-dev-
|
|
3
|
+
"version": "0.16.3-dev-c4690ab.0+c4690ab",
|
|
4
4
|
"description": "Electronic Rights Transfer Protocol (ERTP). A smart contract framework for exchanging electronic rights",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "src/index.js",
|
|
@@ -39,10 +39,10 @@
|
|
|
39
39
|
},
|
|
40
40
|
"homepage": "https://github.com/Agoric/agoric-sdk#readme",
|
|
41
41
|
"dependencies": {
|
|
42
|
-
"@agoric/notifier": "0.6.3-dev-
|
|
43
|
-
"@agoric/store": "0.9.3-dev-
|
|
44
|
-
"@agoric/vat-data": "0.5.3-dev-
|
|
45
|
-
"@agoric/zone": "0.2.3-dev-
|
|
42
|
+
"@agoric/notifier": "0.6.3-dev-c4690ab.0+c4690ab",
|
|
43
|
+
"@agoric/store": "0.9.3-dev-c4690ab.0+c4690ab",
|
|
44
|
+
"@agoric/vat-data": "0.5.3-dev-c4690ab.0+c4690ab",
|
|
45
|
+
"@agoric/zone": "0.2.3-dev-c4690ab.0+c4690ab",
|
|
46
46
|
"@endo/errors": "^1.2.6",
|
|
47
47
|
"@endo/eventual-send": "^1.2.6",
|
|
48
48
|
"@endo/far": "^1.1.6",
|
|
@@ -52,7 +52,7 @@
|
|
|
52
52
|
"@endo/promise-kit": "^1.1.6"
|
|
53
53
|
},
|
|
54
54
|
"devDependencies": {
|
|
55
|
-
"@agoric/swingset-vat": "0.32.3-dev-
|
|
55
|
+
"@agoric/swingset-vat": "0.32.3-dev-c4690ab.0+c4690ab",
|
|
56
56
|
"@endo/bundle-source": "^3.4.1",
|
|
57
57
|
"@fast-check/ava": "^1.1.5",
|
|
58
58
|
"ava": "^5.3.0",
|
|
@@ -79,5 +79,5 @@
|
|
|
79
79
|
"typeCoverage": {
|
|
80
80
|
"atLeast": 91.23
|
|
81
81
|
},
|
|
82
|
-
"gitHead": "
|
|
82
|
+
"gitHead": "c4690ab9ee8211083dc22b836d8ca1e2e045812d"
|
|
83
83
|
}
|
package/src/amountMath.d.ts
CHANGED
|
@@ -1,5 +1,15 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Constants for the kinds of assets we support.
|
|
3
|
+
*/
|
|
4
|
+
export type AssetKind = (typeof AssetKind)[keyof typeof AssetKind];
|
|
5
|
+
export namespace AssetKind {
|
|
6
|
+
let NAT: "nat";
|
|
7
|
+
let SET: "set";
|
|
8
|
+
let COPY_SET: "copySet";
|
|
9
|
+
let COPY_BAG: "copyBag";
|
|
10
|
+
}
|
|
11
|
+
export function assertAssetKind(allegedAK: AssetKind): void;
|
|
1
12
|
export function assertValueGetHelpers<V>(value: V): MathHelpers<V>;
|
|
2
|
-
import type { MathHelpers } from './types.js';
|
|
3
13
|
export namespace AmountMath {
|
|
4
14
|
export function make<B extends Brand, V extends NatValue | CopySet | CopyBag | SetValue>(brand: B, allegedValue: V): B extends Brand<"nat"> ? NatAmount : V extends NatValue ? NatAmount : V extends CopySet ? CopySetAmount<V["payload"][0]> : V extends CopyBag ? CopyBagAmount<V["payload"][0][0]> : V extends SetValue ? SetAmount<V[0]> : never;
|
|
5
15
|
export function coerce<A extends Amount>(brand: Brand, allegedAmount: A): A;
|
|
@@ -17,31 +27,8 @@ export namespace AmountMath {
|
|
|
17
27
|
export function min<A extends Amount>(x: A, y: A, brand?: Brand | undefined): A;
|
|
18
28
|
export function max<A extends Amount>(x: A, y: A, brand?: Brand | undefined): A;
|
|
19
29
|
}
|
|
20
|
-
/**
|
|
21
|
-
* @import {CopyBag, CopySet} from '@endo/patterns';
|
|
22
|
-
* @import {Amount, AssetKind, AmountValue, AssetKindForValue, AssetValueForKind, Brand, CopyBagAmount, CopySetAmount, MathHelpers, NatAmount, NatValue, SetAmount, SetValue} from './types.js';
|
|
23
|
-
*/
|
|
24
|
-
/**
|
|
25
|
-
* Constants for the kinds of assets we support.
|
|
26
|
-
*
|
|
27
|
-
* @type {{
|
|
28
|
-
* NAT: 'nat';
|
|
29
|
-
* SET: 'set';
|
|
30
|
-
* COPY_SET: 'copySet';
|
|
31
|
-
* COPY_BAG: 'copyBag';
|
|
32
|
-
* }}
|
|
33
|
-
*/
|
|
34
|
-
export const AssetKind: {
|
|
35
|
-
NAT: "nat";
|
|
36
|
-
SET: "set";
|
|
37
|
-
COPY_SET: "copySet";
|
|
38
|
-
COPY_BAG: "copyBag";
|
|
39
|
-
};
|
|
40
|
-
import type { AssetKind } from './types.js';
|
|
41
|
-
/** @param {Amount} amount */
|
|
42
30
|
export function getAssetKind(amount: Amount): "copySet" | "set" | "nat" | "copyBag";
|
|
43
|
-
|
|
44
|
-
export function assertAssetKind(allegedAK: AssetKind): void;
|
|
31
|
+
import type { MathHelpers } from './types.js';
|
|
45
32
|
import type { Brand } from './types.js';
|
|
46
33
|
import type { NatValue } from './types.js';
|
|
47
34
|
import type { CopySet } from '@endo/patterns';
|
package/src/amountMath.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"amountMath.d.ts","sourceRoot":"","sources":["amountMath.js"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"amountMath.d.ts","sourceRoot":"","sources":["amountMath.js"],"names":[],"mappings":";;;wBAkBU,CAAC,OAAO,SAAS,EAAE,MAAM,OAAO,SAAS,CAAC;;;;;;;AAY7C,2CADK,SAAS,QAIpB;AA8EM,sCAJM,CAAC,SACH,CAAC,GACC,YAAY,CAAC,CAAC,CAIc;;IAsGjC,qBAhBe,CAAC,SAAT,KAAO,EACmC,CAAC,SAA1C,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,QAAS,SAC3C,CAAC,gBACD,CAAC,GACC,CAAC,SAAS,MAAM,KAAK,CAAC,GAC1B,SAAS,GACT,CAAC,SAAS,QAAQ,GAChB,SAAS,GACT,CAAC,SAAS,OAAO,GACf,cAAc,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAC9B,CAAC,SAAS,OAAO,GACf,cAAc,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC,CAAC,SAAS,QAAQ,GAChB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GACf,KAAK,CAQrB;IAUO,uBALc,CAAC,SAAV,MAAQ,SACV,KAAK,iBACL,CAAC,GACC,CAAC,CAWb;IASS,yBALY,CAAC,SAAV,MAAQ,SACV,KAAK,UACL,CAAC,GACC,CAAC,CAAC,OAAO,CAAC,CAE4C;0BAKzD;QACT,CAAK,KAAK,EAAE,KAAK,GAAG,OAAO,KAAK,CAAC,CAAC;QAClC,CAAK,CAAmB,SAAT,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;KACjE;IAiBiB,oCAJC,CAAC,SAAV,MAAQ,UACV,CAAC,GACC,CAAC,CAQb;IAQQ,gCAJE,MAAM,8BAEJ,OAAO,CASnB;;IAYQ,wBANa,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,8BAEC,OAAO,CAKnB;IAcI,oBANiB,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,8BAEC,CAAC,CAOb;IAeS,yBAPY,CAAC,SAAV,MAAQ,EACC,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,8BAEC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAOnC;IAUI,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,8BAEC,CAAC,CAQ8B;IAUvC,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,8BAEC,CAAC,CAQ8B;;AAKvC,qCADK,MAAM,yCAKjB;iCA3XuI,YAAY;2BAAZ,YAAY;8BAAZ,YAAY;6BADjH,gBAAgB;6BAAhB,gBAAgB;8BACqF,YAAY;+BAAZ,YAAY;mCAAZ,YAAY;mCAAZ,YAAY;+BAAZ,YAAY;4BAAZ,YAAY;AA0JpJ;;;;;;;;;;;;GAYG;AACH,uBANyB,CAAC,SAAZ,SAAU,cACb,OAAO,CAAC,CAAC,eACT,OAAO,CAAC,CAAC,iCAEP,OAAO,CAKnB"}
|
package/src/amountMath.js
CHANGED
|
@@ -9,29 +9,26 @@ import { copyBagMathHelpers } from './mathHelpers/copyBagMathHelpers.js';
|
|
|
9
9
|
|
|
10
10
|
/**
|
|
11
11
|
* @import {CopyBag, CopySet} from '@endo/patterns';
|
|
12
|
-
* @import {Amount,
|
|
12
|
+
* @import {Amount, AssetValueForKind, Brand, CopyBagAmount, CopySetAmount, MathHelpers, NatAmount, NatValue, SetAmount, SetValue} from './types.js';
|
|
13
13
|
*/
|
|
14
14
|
|
|
15
|
+
// NB: AssetKind is both a constant for enumerated values and a type for those values.
|
|
15
16
|
/**
|
|
16
17
|
* Constants for the kinds of assets we support.
|
|
17
18
|
*
|
|
18
|
-
* @
|
|
19
|
-
* NAT: 'nat';
|
|
20
|
-
* SET: 'set';
|
|
21
|
-
* COPY_SET: 'copySet';
|
|
22
|
-
* COPY_BAG: 'copyBag';
|
|
23
|
-
* }}
|
|
19
|
+
* @enum {(typeof AssetKind)[keyof typeof AssetKind]}
|
|
24
20
|
*/
|
|
25
|
-
const AssetKind =
|
|
21
|
+
export const AssetKind = /** @type {const} */ ({
|
|
26
22
|
NAT: 'nat',
|
|
27
23
|
SET: 'set',
|
|
28
24
|
COPY_SET: 'copySet',
|
|
29
25
|
COPY_BAG: 'copyBag',
|
|
30
26
|
});
|
|
27
|
+
harden(AssetKind);
|
|
31
28
|
const assetKindNames = harden(Object.values(AssetKind).sort());
|
|
32
29
|
|
|
33
30
|
/** @param {AssetKind} allegedAK */
|
|
34
|
-
const assertAssetKind = allegedAK => {
|
|
31
|
+
export const assertAssetKind = allegedAK => {
|
|
35
32
|
assetKindNames.includes(allegedAK) ||
|
|
36
33
|
Fail`The assetKind ${allegedAK} must be one of ${q(assetKindNames)}`;
|
|
37
34
|
};
|
|
@@ -192,7 +189,7 @@ const isGTE = (leftAmount, rightAmount, brand = undefined) => {
|
|
|
192
189
|
* and payments. They can be used to represent things like currency, stock, and
|
|
193
190
|
* the abstract right to participate in a particular exchange.
|
|
194
191
|
*/
|
|
195
|
-
const AmountMath = {
|
|
192
|
+
export const AmountMath = {
|
|
196
193
|
// TODO use overloading to handle when Brand has an AssetKind and when it doesn't.
|
|
197
194
|
// a AmountForValue utility could help DRY those cases.
|
|
198
195
|
/**
|
|
@@ -387,11 +384,9 @@ const AmountMath = {
|
|
|
387
384
|
harden(AmountMath);
|
|
388
385
|
|
|
389
386
|
/** @param {Amount} amount */
|
|
390
|
-
const getAssetKind = amount => {
|
|
387
|
+
export const getAssetKind = amount => {
|
|
391
388
|
assertRecord(amount, 'amount');
|
|
392
389
|
const { value } = amount;
|
|
393
390
|
return assertValueGetAssetKind(value);
|
|
394
391
|
};
|
|
395
392
|
harden(getAssetKind);
|
|
396
|
-
|
|
397
|
-
export { AmountMath, AssetKind, getAssetKind, assertAssetKind };
|
package/src/index.d.ts
CHANGED
package/src/index.js
CHANGED
package/src/issuerKit.d.ts
CHANGED
|
@@ -1,18 +1,18 @@
|
|
|
1
|
-
export function upgradeIssuerKit<K extends
|
|
1
|
+
export function upgradeIssuerKit<K extends AssetKind>(issuerBaggage: import("@agoric/vat-data").Baggage, optShutdownWithFailure?: ShutdownWithFailure | undefined, recoverySetsOption?: RecoverySetsOption | undefined): IssuerKit<K>;
|
|
2
2
|
export function hasIssuer(baggage: import("@agoric/vat-data").Baggage): boolean;
|
|
3
|
-
export function makeDurableIssuerKit<K extends
|
|
3
|
+
export function makeDurableIssuerKit<K extends AssetKind>(issuerBaggage: import("@agoric/vat-data").Baggage, name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: ShutdownWithFailure | undefined, { elementShape, recoverySetsOption }?: Partial<{
|
|
4
4
|
elementShape: Pattern;
|
|
5
5
|
recoverySetsOption: RecoverySetsOption;
|
|
6
6
|
}> | undefined): IssuerKit<K>;
|
|
7
|
-
export function prepareIssuerKit<K extends
|
|
7
|
+
export function prepareIssuerKit<K extends AssetKind>(issuerBaggage: import("@agoric/vat-data").Baggage, name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: ShutdownWithFailure | undefined, options?: Partial<{
|
|
8
8
|
elementShape: Pattern;
|
|
9
9
|
recoverySetsOption: RecoverySetsOption;
|
|
10
10
|
}> | undefined): IssuerKit<K>;
|
|
11
|
-
export function makeIssuerKit<K extends
|
|
11
|
+
export function makeIssuerKit<K extends AssetKind = "nat">(name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: ShutdownWithFailure | undefined, { elementShape, recoverySetsOption }?: Partial<{
|
|
12
12
|
elementShape: Pattern;
|
|
13
13
|
recoverySetsOption: RecoverySetsOption;
|
|
14
14
|
}> | undefined): IssuerKit<K, any>;
|
|
15
|
-
export type IssuerRecord<K extends
|
|
15
|
+
export type IssuerRecord<K extends AssetKind> = {
|
|
16
16
|
name: string;
|
|
17
17
|
assetKind: K;
|
|
18
18
|
displayInfo: AdditionalDisplayInfo;
|
|
@@ -36,6 +36,7 @@ export type IssuerOptionsRecord = Partial<{
|
|
|
36
36
|
elementShape: Pattern;
|
|
37
37
|
recoverySetsOption: RecoverySetsOption;
|
|
38
38
|
}>;
|
|
39
|
+
import { AssetKind } from './amountMath.js';
|
|
39
40
|
import type { ShutdownWithFailure } from '@agoric/swingset-vat';
|
|
40
41
|
import type { RecoverySetsOption } from './types.js';
|
|
41
42
|
import type { IssuerKit } from './types.js';
|
package/src/issuerKit.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"issuerKit.d.ts","sourceRoot":"","sources":["issuerKit.js"],"names":[],"mappings":"AA4GO,iCAbkB,CAAC,
|
|
1
|
+
{"version":3,"file":"issuerKit.d.ts","sourceRoot":"","sources":["issuerKit.js"],"names":[],"mappings":"AA4GO,iCAbkB,CAAC,SAAZ,SAAU,iBACb,OAAO,kBAAkB,EAAE,OAAO,kHAUhC,UAAU,CAAC,CAAC,CA4BxB;AAQM,mCAFI,OAAO,kBAAkB,EAAE,OAAO,WAEgB;AAoDtD,qCA1BkB,CAAC,SAAZ,SAAU,iBAYb,OAAO,kBAAkB,EAAE,OAAO,QAClC,MAAM;kBAtBE,OAAO;wBACD,kBAAkB;iBAgC9B,UAAU,CAAC,CAAC,CA2BxB;AAiCM,iCA1BkB,CAAC,SAAZ,SAAU,iBAYb,OAAO,kBAAkB,EAAE,OAAO,QAClC,MAAM;kBAhFE,OAAO;wBACD,kBAAkB;iBA0F9B,UAAU,CAAC,CAAC,CAuCxB;AAqCM,8BAzBmB,CAAC,SAAb,SAAU,gBAYb,MAAM;kBA1JE,OAAO;wBACD,kBAAkB;iBAoK9B,UAAU,CAAC,EAAE,GAAG,CAAC,CAiB3B;yBAtUsB,CAAC,SAAZ,SAAU;UAEV,MAAM;eACN,CAAC;iBACD,qBAAqB;kBACrB,OAAO;;;;;;;;;;;;;;;;kCA0IR,OAAO,CAAC;IAChB,YAAY,EAAE,OAAO,CAAC;IACtB,kBAAkB,EAAE,kBAAkB,CAAC;CACxC,CAAC;0BA1JsC,iBAAiB;yCAKrB,sBAAsB;wCAD0B,YAAY;+BAAZ,YAAY;2CAAZ,YAAY"}
|
package/src/types-index.d.ts
CHANGED
|
@@ -1,2 +1,2 @@
|
|
|
1
1
|
// Export all the types this package provides
|
|
2
|
-
export * from './types.js';
|
|
2
|
+
export type * from './types.js';
|
package/src/types.d.ts
CHANGED
|
@@ -2,6 +2,8 @@ import type { LatestTopic } from '@agoric/notifier';
|
|
|
2
2
|
import type { ERef } from '@endo/far';
|
|
3
3
|
import type { RemotableObject } from '@endo/pass-style';
|
|
4
4
|
import type { CopyBag, CopySet, Key, Pattern } from '@endo/patterns';
|
|
5
|
+
import type { AssetKind } from './amountMath.js';
|
|
6
|
+
export type { AssetKind } from './amountMath.js';
|
|
5
7
|
export type NatAmount = {
|
|
6
8
|
brand: Brand<'nat'>;
|
|
7
9
|
value: bigint;
|
|
@@ -58,7 +60,6 @@ export type AmountValue = NatValue | SetValue | CopySet | import('@endo/patterns
|
|
|
58
60
|
* See doc-comment
|
|
59
61
|
* for `AmountValue`.
|
|
60
62
|
*/
|
|
61
|
-
export type AssetKind = 'nat' | 'set' | 'copySet' | 'copyBag';
|
|
62
63
|
export type AssetValueForKind<K extends AssetKind, M extends Key = Key> = K extends 'nat' ? NatValue : K extends 'set' ? SetValue<M> : K extends 'copySet' ? CopySet<M> : K extends 'copyBag' ? CopyBag<M> : never;
|
|
63
64
|
export type AssetKindForValue<V extends AmountValue> = V extends NatValue ? 'nat' : V extends SetValue ? 'set' : V extends CopySet ? 'copySet' : V extends import('@endo/patterns').CopyBag ? 'copyBag' : never;
|
|
64
65
|
/** @deprecated */
|
package/src/types.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AACF,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,GAAG,IAAI;IACrC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,EAAE,CAAC,EAAE,CAAC;CACZ,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,GAAG,IAAI;IACzC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACnB,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,GAAG,IAAI;IACzC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACnB,CAAC;AACF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AACF;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,CAAC,SAAS,KAAK,GACf,SAAS,GACT,CAAC,SAAS,KAAK,GACb,SAAS,CAAC,CAAC,CAAC,GACZ,CAAC,SAAS,SAAS,GACjB,aAAa,CAAC,CAAC,CAAC,GAChB,CAAC,SAAS,SAAS,GACjB,aAAa,CAAC,CAAC,CAAC,GAChB,SAAS,CAAC;AACpB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,OAAO,gBAAgB,EAAE,OAAO,CAAC;AACrC;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,CAAC,SAAS,KAAK,GACf,QAAQ,GACR,CAAC,SAAS,KAAK,GACb,QAAQ,CAAC,CAAC,CAAC,GACX,CAAC,SAAS,SAAS,GACjB,OAAO,CAAC,CAAC,CAAC,GACV,CAAC,SAAS,SAAS,GACjB,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,CAAC;AAChB,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,QAAQ,GACrE,KAAK,GACL,CAAC,SAAS,QAAQ,GAChB,KAAK,GACL,CAAC,SAAS,OAAO,GACf,SAAS,GACT,CAAC,SAAS,OAAO,gBAAgB,EAAE,OAAO,GACxC,SAAS,GACT,KAAK,CAAC;AAChB,kBAAkB;AAClB,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACzD;;;;;;;;;;OAUG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC;;;OAGG;IACH,SAAS,EAAE,CAAC,CAAC;CACd,CAAC;AACF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI;IAC9C;;OAEG;IACH,UAAU,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACjE,cAAc,EAAE,MAAM,MAAM,CAAC;IAC7B,sCAAsC;IACtC,cAAc,EAAE,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC;IACrC,cAAc,EAAE,MAAM,OAAO,CAAC;CAC/B,CAAC;AACF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI,eAAe,GAClE,YAAY,CAAC,CAAC,CAAC,CAAC;AAClB;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AACxE;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CACxE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACzB,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3B;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,GAAG,CACvB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EACtB,cAAc,CAAC,EAAE,OAAO,KACrB,OAAO,CAAC,MAAM,CAAC,CAAC;AACrB;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,GAAG,IAAI;IAC9D;;;;;;OAMG;IACH,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB;;;OAGG;IACH,cAAc,EAAE,MAAM,MAAM,CAAC;IAC7B;;;OAGG;IACH,YAAY,EAAE,MAAM,CAAC,CAAC;IACtB,sCAAsC;IACtC,cAAc,EAAE,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC;IACrC;;;OAGG;IACH,cAAc,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,MAAM,EAAE,YAAY,CAAC;IACrB,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,IAAI,EAAE,UAAU,CAAC;CAClB,CAAC;AACF;;;;;;;GAOG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1C,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IAC3D,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACd;;;;OAIG;IACH,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAClB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CACjB,CAAC;AACF,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI;IAC5E,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB;;;;OAIG;IACH,iBAAiB,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC;AACF,MAAM,MAAM,qBAAqB,GAAG;IAClC;;;;;;;;;;OAUG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;CACnC,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI;IACvE;;OAEG;IACH,SAAS,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B;;;OAGG;IACH,WAAW,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACtD,CAAC;AACF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AACtE,MAAM,MAAM,mBAAmB,GAAG,CAChC,OAAO,EAAE,OAAO,EAChB,cAAc,CAAC,EAAE,OAAO,KACrB,MAAM,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG;IACzB;;;;;;;OAOG;IACH,OAAO,EAAE,mBAAmB,CAAC;CAC9B,CAAC;AACF;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,CACf,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB;IACF;;;OAGG;IACH,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IAChC;;;OAGG;IACH,gBAAgB,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC;;;OAGG;IACH,wBAAwB,EAAE,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D;;;;;;OAMG;IACH,OAAO,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAC/B,OAAO,EAAE,CAAC,EACV,cAAc,CAAC,EAAE,OAAO,KACrB,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;IACpD;;;OAGG;IACH,eAAe,EAAE,MAAM,YAAY,CAAC;IACpC;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD;;;;;;;;;;;OAWG;IACH,cAAc,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C;;;;;;;OAOG;IACH,UAAU,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC,CAAC;AACF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;AACxC,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IAC5D;;;;;OAKG;IACH,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;CACjC,CAAC;AACF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI;IAC/C;;;OAGG;IACH,QAAQ,EAAE,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,CAAC;IACjC;;;OAGG;IACH,WAAW,EAAE,MAAM,CAAC,CAAC;IACrB;;;OAGG;IACH,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACjC;;;OAGG;IACH,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACxC;;OAEG;IACH,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IAC1C;;;OAGG;IACH,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;IAChC;;;;OAIG;IACH,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;CACtC,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAC9B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC"}
|
package/src/types.ts
CHANGED
|
@@ -3,6 +3,9 @@ import type { LatestTopic } from '@agoric/notifier';
|
|
|
3
3
|
import type { ERef } from '@endo/far';
|
|
4
4
|
import type { RemotableObject } from '@endo/pass-style';
|
|
5
5
|
import type { CopyBag, CopySet, Key, Pattern } from '@endo/patterns';
|
|
6
|
+
import type { AssetKind } from './amountMath.js';
|
|
7
|
+
|
|
8
|
+
export type { AssetKind } from './amountMath.js';
|
|
6
9
|
|
|
7
10
|
export type NatAmount = {
|
|
8
11
|
brand: Brand<'nat'>;
|
|
@@ -75,7 +78,6 @@ export type AmountValue =
|
|
|
75
78
|
* See doc-comment
|
|
76
79
|
* for `AmountValue`.
|
|
77
80
|
*/
|
|
78
|
-
export type AssetKind = 'nat' | 'set' | 'copySet' | 'copyBag';
|
|
79
81
|
export type AssetValueForKind<
|
|
80
82
|
K extends AssetKind,
|
|
81
83
|
M extends Key = Key,
|