@agoric/ertp 0.16.3-dev-776528e.0.776528e → 0.16.3-dev-cbcea8c.0.cbcea8c

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.
Files changed (17) hide show
  1. package/package.json +14 -14
  2. package/src/amountMath.d.ts +1 -1
  3. package/src/amountMath.d.ts.map +1 -1
  4. package/src/amountMath.js +1 -1
  5. package/src/issuerKit.d.ts +3 -3
  6. package/src/issuerKit.d.ts.map +1 -1
  7. package/src/issuerKit.js +3 -3
  8. package/src/paymentLedger.d.ts.map +1 -1
  9. package/src/paymentLedger.js +3 -4
  10. package/src/purse.d.ts +4 -4
  11. package/src/purse.d.ts.map +1 -1
  12. package/src/typeGuards.d.ts +116 -41
  13. package/src/typeGuards.d.ts.map +1 -1
  14. package/src/typeGuards.js +16 -4
  15. package/src/types.d.ts +4 -4
  16. package/src/types.d.ts.map +1 -1
  17. package/src/types.js +9 -6
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@agoric/ertp",
3
- "version": "0.16.3-dev-776528e.0.776528e",
3
+ "version": "0.16.3-dev-cbcea8c.0.cbcea8c",
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,21 +39,21 @@
39
39
  },
40
40
  "homepage": "https://github.com/Agoric/agoric-sdk#readme",
41
41
  "dependencies": {
42
- "@agoric/notifier": "0.6.3-dev-776528e.0.776528e",
43
- "@agoric/store": "0.9.3-dev-776528e.0.776528e",
44
- "@agoric/vat-data": "0.5.3-dev-776528e.0.776528e",
45
- "@agoric/zone": "0.2.3-dev-776528e.0.776528e",
46
- "@endo/errors": "^1.2.13",
47
- "@endo/eventual-send": "^1.3.4",
42
+ "@agoric/notifier": "0.6.3-dev-cbcea8c.0.cbcea8c",
43
+ "@agoric/store": "0.9.3-dev-cbcea8c.0.cbcea8c",
44
+ "@agoric/vat-data": "0.5.3-dev-cbcea8c.0.cbcea8c",
45
+ "@agoric/zone": "0.2.3-dev-cbcea8c.0.cbcea8c",
46
+ "@endo/errors": "^1.3.1",
47
+ "@endo/eventual-send": "^1.5.0",
48
48
  "@endo/far": "^1.1.14",
49
- "@endo/marshal": "^1.8.0",
50
- "@endo/nat": "^5.1.3",
51
- "@endo/patterns": "^1.7.0",
52
- "@endo/promise-kit": "^1.1.13"
49
+ "@endo/marshal": "^1.10.0",
50
+ "@endo/nat": "^5.2.0",
51
+ "@endo/patterns": "^1.9.1",
52
+ "@endo/promise-kit": "^1.2.1"
53
53
  },
54
54
  "devDependencies": {
55
- "@agoric/swingset-vat": "0.32.3-dev-776528e.0.776528e",
56
- "@endo/bundle-source": "^4.1.2",
55
+ "@agoric/swingset-vat": "0.32.3-dev-cbcea8c.0.cbcea8c",
56
+ "@endo/bundle-source": "^4.3.2",
57
57
  "@fast-check/ava": "^3.0.1",
58
58
  "ava": "^7.0.0",
59
59
  "tsd": "^0.33.0"
@@ -77,5 +77,5 @@
77
77
  "typeCoverage": {
78
78
  "atLeast": 92.99
79
79
  },
80
- "gitHead": "776528eb7ca6f31911f2ca21a9702e20fdca2595"
80
+ "gitHead": "cbcea8c2415f2c9c4bc1ea9ff90730f2773bafaa"
81
81
  }
package/src/amountMath.d.ts CHANGED
@@ -30,7 +30,7 @@ export namespace AmountMath {
30
30
  export function min<A extends Amount>(x: A, y: A, brand?: Brand): A;
31
31
  export function max<A extends Amount>(x: A, y: A, brand?: Brand): A;
32
32
  }
33
- export function getAssetKind(amount: Amount): "copySet" | "set" | "copyBag" | "nat";
33
+ export function getAssetKind(amount: Amount): "copySet" | "copyBag" | "set" | "nat";
34
34
  import type { AmountValue } from './types.js';
35
35
  import type { MathHelpers } from './types.js';
36
36
  import type { Brand } from './types.js';
package/src/amountMath.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"amountMath.d.ts","sourceRoot":"","sources":["amountMath.js"],"names":[],"mappings":";;;wBAkBa,CAAC,OAAO,SAAS,EAAE,MAAM,OAAO,SAAS,CAAC;;;;;;;AAYhD,2CADK,SAAS,QAIpB;AA8EM,sCAJoB,CAAC,SAAf,WAAa,SACf,CAAC,GACC,YAAY,CAAC,CAAC,CAIc;;IAwGjC,qBAhBoB,CAAC,SAAd,MAAO,GAAG,CAAE,EAC8B,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;0BAM7C;QACrB,CAAK,KAAK,EAAE,KAAK,GAAG,OAAO,KAAK,CAAC,CAAC;QAClC,CAAK,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;KACjE;IAgBiB,oCAJC,CAAC,SAAV,MAAQ,UACV,CAAC,GACC,CAAC,CAQb;IAQQ,gCAJE,MAAM,UACN,KAAK,GACH,OAAO,CASnB;;IAYQ,wBANa,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,UACD,KAAK,GACH,OAAO,CAKnB;oBAQS;QACT,CAAK,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EACnC,UAAU,EAAE,cAAc,CAAC,CAAC,EAC5B,WAAW,EAAE,cAAc,CAAC,CAAC,EAC7B,KAAK,CAAC,EAAE,KAAK,GACZ,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,CAAK,CAAC,SAAS,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;KACrE;IAqBM,yBAPY,CAAC,SAAV,MAAQ,EACC,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,UACD,KAAK,GACH,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAOnC;IAUI,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,UACD,KAAK,GACH,CAAC,CAO8B;IAUvC,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,UACD,KAAK,GACH,CAAC,CAO8B;;AAKvC,qCADK,MAAM,yCAKjB;iCA7XoJ,YAAY;iCAAZ,YAAY;2BAAZ,YAAY;8BAAZ,YAAY;6BAD9H,gBAAgB;6BAAhB,gBAAgB;8BACkG,YAAY;+BAAZ,YAAY;mCAAZ,YAAY;mCAAZ,YAAY;+BAAZ,YAAY;4BAAZ,YAAY;AA4JjK;;;;;;;;;;;;GAYG;AACH,uBANyB,CAAC,SAAZ,SAAU,cACb,OAAO,CAAC,CAAC,eACT,OAAO,CAAC,CAAC,UACT,MAAM,CAAC,CAAC,GACN,OAAO,CAKnB"}
1
+ {"version":3,"file":"amountMath.d.ts","sourceRoot":"","sources":["amountMath.js"],"names":[],"mappings":";;;wBAkBa,CAAC,OAAO,SAAS,EAAE,MAAM,OAAO,SAAS,CAAC;;;;;;;AAYhD,2CADK,SAAS,QAIpB;AA8EM,sCAJoB,CAAC,SAAf,WAAa,SACf,CAAC,GACC,YAAY,CAAC,CAAC,CAIc;;IAwGjC,qBAhBoB,CAAC,SAAd,MAAO,GAAG,CAAE,EAC8B,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;0BAM7C;QACrB,CAAK,KAAK,EAAE,KAAK,GAAG,OAAO,KAAK,CAAC,CAAC;QAClC,CAAK,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;KACjE;IAgBiB,oCAJC,CAAC,SAAV,MAAQ,UACV,CAAC,GACC,CAAC,CAQb;IAQQ,gCAJE,MAAM,UACN,KAAK,GACH,OAAO,CASnB;;IAYQ,wBANa,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,UACD,KAAK,GACH,OAAO,CAKnB;oBAQS;QACT,CAAK,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EACnC,UAAU,EAAE,cAAc,CAAC,CAAC,EAC5B,WAAW,EAAE,cAAc,CAAC,CAAC,EAC7B,KAAK,CAAC,EAAE,KAAK,GACZ,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,CAAK,CAAC,SAAS,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;KACrE;IAqBM,yBAPY,CAAC,SAAV,MAAQ,EACC,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,UACD,KAAK,GACH,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAOnC;IAUI,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,UACD,KAAK,GACH,CAAC,CAO8B;IAUvC,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,UACD,KAAK,GACH,CAAC,CAO8B;;AAKvC,qCADK,MAAM,yCAKjB;iCA7XoJ,YAAY;iCAAZ,YAAY;2BAAZ,YAAY;8BAAZ,YAAY;6BADzH,gBAAgB;6BAAhB,gBAAgB;8BAC6F,YAAY;+BAAZ,YAAY;mCAAZ,YAAY;mCAAZ,YAAY;+BAAZ,YAAY;4BAAZ,YAAY;AA4JjK;;;;;;;;;;;;GAYG;AACH,uBANyB,CAAC,SAAZ,SAAU,cACb,OAAO,CAAC,CAAC,eACT,OAAO,CAAC,CAAC,UACT,MAAM,CAAC,CAAC,GACN,OAAO,CAKnB"}
package/src/amountMath.js CHANGED
@@ -8,7 +8,7 @@ import { copySetMathHelpers } from './mathHelpers/copySetMathHelpers.js';
8
8
  import { copyBagMathHelpers } from './mathHelpers/copyBagMathHelpers.js';
9
9
 
10
10
  /**
11
- * @import {CopyBag, CopySet} from '@endo/patterns';
11
+ * @import {CopyBag, CopySet, Key} from '@endo/patterns';
12
12
  * @import {Amount, AmountValue, AssetValueForKind, Brand, CopyBagAmount, CopySetAmount, MathHelpers, NatAmount, NatValue, SetAmount, SetValue} from './types.js';
13
13
  */
14
14
 
package/src/issuerKit.d.ts CHANGED
@@ -1,8 +1,8 @@
1
1
  export function upgradeIssuerKit<K extends AssetKind>(issuerBaggage: Baggage, optShutdownWithFailure?: ShutdownWithFailure, recoverySetsOption?: RecoverySetsOption): IssuerKit<K>;
2
2
  export function hasIssuer(baggage: Baggage): boolean;
3
3
  export function makeDurableIssuerKit<K extends AssetKind>(issuerBaggage: Baggage, name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, { elementShape, recoverySetsOption }?: IssuerOptionsRecord): IssuerKit<K>;
4
- export function prepareIssuerKit<O extends IssuerOptionsRecord, K extends AssetKind>(issuerBaggage: Baggage, name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, options?: O): O["elementShape"] extends TypedPattern<infer T extends Key> ? IssuerKit<K, T> : IssuerKit<K>;
5
- export function makeIssuerKit<K extends AssetKind = "nat", O extends IssuerOptionsRecord = {}>(name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, { elementShape, recoverySetsOption }?: O): O["elementShape"] extends TypedPattern<infer T extends Key> ? IssuerKit<K, T> : IssuerKit<K>;
4
+ export function prepareIssuerKit<O extends IssuerOptionsRecord, K extends AssetKind>(issuerBaggage: Baggage, name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, options?: O): O["elementShape"] extends CastedPattern<infer T extends Key> ? IssuerKit<K, T> : IssuerKit<K>;
5
+ export function makeIssuerKit<K extends AssetKind = "nat", O extends IssuerOptionsRecord = {}>(name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, { elementShape, recoverySetsOption }?: O): O["elementShape"] extends CastedPattern<infer T extends Key> ? IssuerKit<K, T> : IssuerKit<K>;
6
6
  export type IssuerRecord<K extends AssetKind> = {
7
7
  name: string;
8
8
  assetKind: K;
@@ -34,6 +34,6 @@ import type { RecoverySetsOption } from './types.js';
34
34
  import type { IssuerKit } from './types.js';
35
35
  import type { AdditionalDisplayInfo } from './types.js';
36
36
  import type { Key } from '@endo/patterns';
37
- import type { TypedPattern } from '@agoric/internal';
37
+ import type { CastedPattern } from '@endo/patterns';
38
38
  import type { Pattern } from '@endo/patterns';
39
39
  //# sourceMappingURL=issuerKit.d.ts.map
package/src/issuerKit.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"issuerKit.d.ts","sourceRoot":"","sources":["issuerKit.js"],"names":[],"mappings":"AAgHO,iCAbkB,CAAC,SAAZ,SAAU,iBACb,OAAO,2BACP,mBAAmB,uBAOnB,kBAAkB,GAEhB,UAAU,CAAC,CAAC,CA4BxB;AAQM,mCAFI,OAAO,WAE2C;AAoDtD,qCA1BkB,CAAC,SAAZ,SAAU,iBAYb,OAAO,QACP,MAAM,cACN,CAAC,gBACD,qBAAqB,2BACrB,mBAAmB,yCAOnB,mBAAmB,GACjB,UAAU,CAAC,CAAC,CA2BxB;AAoCM,iCA7B4B,CAAC,SAAtB,mBAAoB,EACT,CAAC,SAAZ,SAAU,iBAYb,OAAO,QACP,MAAM,cACN,CAAC,gBACD,qBAAqB,2BACrB,mBAAmB,YAOnB,CAAC,GACC,CAAC,CAAC,cAAc,CAAC,SAAS,aAAa,MAAM,CAAC,SAAS,GAAG,CAAC,GAC/D,UAAU,CAAC,EAAE,CAAC,CAAC,GACf,UAAU,CAAC,CAAC,CAyCpB;AAqCM,8BAzBmB,CAAC,SAAb,SAAU,UACY,CAAC,SAAvB,mBAAoB,aACvB,MAAM,cAMN,CAAC,gBAGD,qBAAqB,2BAErB,mBAAmB,yCAOnB,CAAC,GACC,CAAC,CAAC,cAAc,CAAC,SAAS,aAAa,MAAM,CAAC,SAAS,GAAG,CAAC,GAC/D,UAAU,CAAC,EAAE,CAAC,CAAC,GACf,UAAU,CAAC,CAAC,CAmBlB;yBA7UsB,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;0BAhKsC,iBAAiB;6BASlC,kBAAkB;yCAFN,sBAAsB;wCAG0B,YAAY;+BAAZ,YAAY;2CAAZ,YAAY;yBALnE,gBAAgB;kCAGhB,kBAAkB;6BAHlB,gBAAgB"}
1
+ {"version":3,"file":"issuerKit.d.ts","sourceRoot":"","sources":["issuerKit.js"],"names":[],"mappings":"AAgHO,iCAbkB,CAAC,SAAZ,SAAU,iBACb,OAAO,2BACP,mBAAmB,uBAOnB,kBAAkB,GAEhB,UAAU,CAAC,CAAC,CA4BxB;AAQM,mCAFI,OAAO,WAE2C;AAoDtD,qCA1BkB,CAAC,SAAZ,SAAU,iBAYb,OAAO,QACP,MAAM,cACN,CAAC,gBACD,qBAAqB,2BACrB,mBAAmB,yCAOnB,mBAAmB,GACjB,UAAU,CAAC,CAAC,CA2BxB;AAoCM,iCA7B4B,CAAC,SAAtB,mBAAoB,EACT,CAAC,SAAZ,SAAU,iBAYb,OAAO,QACP,MAAM,cACN,CAAC,gBACD,qBAAqB,2BACrB,mBAAmB,YAOnB,CAAC,GACC,CAAC,CAAC,cAAc,CAAC,SAAS,cAAc,MAAM,CAAC,SAAS,GAAG,CAAC,GAChE,UAAU,CAAC,EAAE,CAAC,CAAC,GACf,UAAU,CAAC,CAAC,CAyCpB;AAqCM,8BAzBmB,CAAC,SAAb,SAAU,UACY,CAAC,SAAvB,mBAAoB,aACvB,MAAM,cAMN,CAAC,gBAGD,qBAAqB,2BAErB,mBAAmB,yCAOnB,CAAC,GACC,CAAC,CAAC,cAAc,CAAC,SAAS,cAAc,MAAM,CAAC,SAAS,GAAG,CAAC,GAChE,UAAU,CAAC,EAAE,CAAC,CAAC,GACf,UAAU,CAAC,CAAC,CAmBlB;yBA7UsB,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;0BAhKsC,iBAAiB;6BASlC,kBAAkB;yCAFN,sBAAsB;wCAG0B,YAAY;+BAAZ,YAAY;2CAAZ,YAAY;yBALnE,gBAAgB;mCAGf,gBAAgB;6BAHjB,gBAAgB"}
package/src/issuerKit.js CHANGED
@@ -11,7 +11,7 @@ import { preparePaymentLedger } from './paymentLedger.js';
11
11
  * @import {Key, Pattern} from '@endo/patterns';
12
12
  * @import {Zone} from '@agoric/base-zone';
13
13
  * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
14
- * @import {TypedPattern} from '@agoric/internal';
14
+ * @import {CastedPattern} from '@endo/patterns';
15
15
  * @import {Baggage} from '@agoric/vat-data';
16
16
  * @import {AdditionalDisplayInfo, RecoverySetsOption, IssuerKit, PaymentLedger} from './types.js';
17
17
  */
@@ -253,7 +253,7 @@ harden(makeDurableIssuerKit);
253
253
  * anything else is corrupted by that corrupted state. See
254
254
  * https://github.com/Agoric/agoric-sdk/issues/3434
255
255
  * @param {O} [options]
256
- * @returns {O['elementShape'] extends TypedPattern<infer T extends Key>
256
+ * @returns {O['elementShape'] extends CastedPattern<infer T extends Key>
257
257
  * ? IssuerKit<K, T>
258
258
  * : IssuerKit<K>}
259
259
  */
@@ -329,7 +329,7 @@ harden(prepareIssuerKit);
329
329
  * anything else is corrupted by that corrupted state. See
330
330
  * https://github.com/Agoric/agoric-sdk/issues/3434
331
331
  * @param {O} [options]
332
- * @returns {O['elementShape'] extends TypedPattern<infer T extends Key>
332
+ * @returns {O['elementShape'] extends CastedPattern<infer T extends Key>
333
333
  * ? IssuerKit<K, T>
334
334
  * : IssuerKit<K>}
335
335
  */
package/src/paymentLedger.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"paymentLedger.d.ts","sourceRoot":"","sources":["paymentLedger.js"],"names":[],"mappings":"AAqFO,qCAVkB,CAAC,SAAb,SAAW,cACb,IAAI,QACJ,MAAM,aACN,CAAC,eACD,YAAY,CAAC,CAAC,gBACd,OAAO,qBACP,kBAAkB,2BAClB,mBAAmB,GACjB,cAAc,CAAC,CAAC,CAyT5B;+BA9XwH,YAAY;0BAJ9G,mBAAmB;iCAI+E,YAAY;6BALtG,gBAAgB;wCAK0E,YAAY;yCAF/F,sBAAsB;mCAE6D,YAAY"}
1
+ {"version":3,"file":"paymentLedger.d.ts","sourceRoot":"","sources":["paymentLedger.js"],"names":[],"mappings":"AAqFO,qCAVkB,CAAC,SAAb,SAAW,cACb,IAAI,QACJ,MAAM,aACN,CAAC,eACD,YAAY,CAAC,CAAC,gBACd,OAAO,qBACP,kBAAkB,2BAClB,mBAAmB,GACjB,cAAc,CAAC,CAAC,CAwT5B;+BA7XwH,YAAY;0BAJ9G,mBAAmB;iCAI+E,YAAY;6BALtG,gBAAgB;wCAK0E,YAAY;yCAF/F,sBAAsB;mCAE6D,YAAY"}
package/src/paymentLedger.js CHANGED
@@ -9,7 +9,7 @@ import { BrandI, makeIssuerInterfaces } from './typeGuards.js';
9
9
  /**
10
10
  * @import {Key, Pattern} from '@endo/patterns';
11
11
  * @import {Zone} from '@agoric/base-zone';
12
- * @import {TypedPattern} from '@agoric/internal';
12
+ * @import {CastedPattern} from '@endo/patterns';
13
13
  * @import {ShutdownWithFailure} from '@agoric/swingset-vat';
14
14
  * @import {AmountStore} from './amountStore.js';
15
15
  * @import {Amount, AssetKind, DisplayInfo, PaymentLedger, Payment, Brand, RecoverySetsOption, Purse, Issuer, Mint} from './types.js';
@@ -22,7 +22,7 @@ import { BrandI, makeIssuerInterfaces } from './typeGuards.js';
22
22
  * @param {Brand} brand
23
23
  * @param {K} assetKind
24
24
  * @param {Pattern} elementShape
25
- * @returns {TypedPattern<Amount<K>>}
25
+ * @returns {CastedPattern<Amount<K>>}
26
26
  */
27
27
  const amountShapeFromElementShape = (brand, assetKind, elementShape) => {
28
28
  let valueShape;
@@ -204,9 +204,8 @@ export const preparePaymentLedger = (
204
204
  }
205
205
  };
206
206
 
207
- /** @type {(allegedAmount: Amount) => Amount} */
207
+ /** @type {<K extends AssetKind>(allegedAmount: Amount<K>) => Amount<K>} */
208
208
  const coerce = allegedAmount => AmountMath.coerce(brand, allegedAmount);
209
- /** @type {(left: Amount, right: Amount) => boolean} */
210
209
 
211
210
  /**
212
211
  * Methods like deposit() have an optional second parameter `optAmountShape`
package/src/purse.d.ts CHANGED
@@ -7,15 +7,15 @@ export function preparePurseKind(issuerZone: Zone, name: string, assetKind: Asse
7
7
  }, recoverySetsState: RecoverySetsOption, paymentRecoverySets: WeakMapStore<Payment, SetStore<Payment>>): () => import("@endo/exo").Guarded<{
8
8
  deposit(srcPayment: any, optAmountShape?: undefined): any;
9
9
  withdraw(amount: any): any;
10
- getCurrentAmount(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key>;
10
+ getCurrentAmount(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key>;
11
11
  getCurrentAmountNotifier(): import("@agoric/notifier").Notifier<any>;
12
12
  getAllegedBrand(): Brand;
13
13
  getDepositFacet(): import("@endo/exo").Guarded<{
14
14
  receive(...args: any[]): any;
15
- }>;
15
+ }, InterfaceGuard<any>>;
16
16
  getRecoverySet(): import("@endo/patterns").CopySet<any>;
17
- recoverAll(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key>;
18
- }>;
17
+ recoverAll(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key>;
18
+ }, InterfaceGuard<any>>;
19
19
  import type { Zone } from '@agoric/zone';
20
20
  import type { AssetKind } from './types.js';
21
21
  import type { Brand } from './types.js';
package/src/purse.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"purse.d.ts","sourceRoot":"","sources":["purse.js"],"names":[],"mappings":"AAiCO,6CAfI,IAAI,QACJ,MAAM,aACN,SAAS,SACT,KAAK,aACL;IACN,KAAK,EAAE,eAAe,GAAG,CAAC,CAAC;IAC3B,YAAY,EAAE,eAAe,GAAG,CAAC,CAAC;CACnC,gBACO;IACN,eAAe,EAAE,GAAG,CAAC;IACrB,gBAAgB,EAAE,GAAG,CAAC;CACvB,qBACO,kBAAkB,uBAClB,aAAa,OAAO,EAAE,SAAS,OAAO,CAAC,CAAC;;;;;;;;;;;GA4JlD;0BAnLsB,cAAc;+BAD2B,YAAY;2BAAZ,YAAY;oCAE3C,gBAAgB;wCAFe,YAAY;6BAAZ,YAAY;8BAIjD,eAAe;kCADX,eAAe"}
1
+ {"version":3,"file":"purse.d.ts","sourceRoot":"","sources":["purse.js"],"names":[],"mappings":"AAiCO,6CAfI,IAAI,QACJ,MAAM,aACN,SAAS,SACT,KAAK,aACL;IACN,KAAK,EAAE,eAAe,GAAG,CAAC,CAAC;IAC3B,YAAY,EAAE,eAAe,GAAG,CAAC,CAAC;CACnC,gBACO;IACN,eAAe,EAAE,GAAG,CAAC;IACrB,gBAAgB,EAAE,GAAG,CAAC;CACvB,qBACO,kBAAkB,uBAClB,aAAa,OAAO,EAAE,SAAS,OAAO,CAAC,CAAC;;;;;;;;;;;wBA4JlD;0BAnLsB,cAAc;+BAD2B,YAAY;2BAAZ,YAAY;oCAE3C,gBAAgB;wCAFe,YAAY;6BAAZ,YAAY;8BAIjD,eAAe;kCADX,eAAe"}
package/src/typeGuards.d.ts CHANGED
@@ -1,16 +1,23 @@
1
1
  /**
2
- * @import {AmountValue, Ratio} from './types.js'
3
- * @import {TypedPattern} from '@agoric/internal'
4
- * @import {CopyBag, CopySet, Pattern} from '@endo/patterns';
2
+ * @import {AmountValue, Brand, DepositFacet, Issuer, Mint, Payment, Purse, Ratio} from './types.js'
3
+ * @import {CastedPattern, CopyBag, CopySet, Pattern} from '@endo/patterns';
4
+ * @import {Notifier} from '@agoric/notifier';
5
5
  * @import {NatValue, SetValue} from './types.js';
6
6
  */
7
- export const BrandShape: import("@endo/patterns").Matcher;
8
- export const IssuerShape: import("@endo/patterns").Matcher;
9
- export const PaymentShape: import("@endo/patterns").Matcher;
10
- export const PurseShape: import("@endo/patterns").Matcher;
11
- export const DepositFacetShape: import("@endo/patterns").Matcher;
12
- export const NotifierShape: import("@endo/patterns").Matcher;
13
- export const MintShape: import("@endo/patterns").Matcher;
7
+ /** @type {CastedPattern<Brand>} */
8
+ export const BrandShape: CastedPattern<Brand>;
9
+ /** @type {CastedPattern<Issuer>} */
10
+ export const IssuerShape: CastedPattern<Issuer>;
11
+ /** @type {CastedPattern<Payment>} */
12
+ export const PaymentShape: CastedPattern<Payment>;
13
+ /** @type {CastedPattern<Purse>} */
14
+ export const PurseShape: CastedPattern<Purse>;
15
+ /** @type {CastedPattern<DepositFacet>} */
16
+ export const DepositFacetShape: CastedPattern<DepositFacet>;
17
+ /** @type {CastedPattern<Notifier<any>>} */
18
+ export const NotifierShape: CastedPattern<Notifier<any>>;
19
+ /** @type {CastedPattern<Mint>} */
20
+ export const MintShape: CastedPattern<Mint>;
14
21
  export namespace AmountShape {
15
22
  export { BrandShape as brand };
16
23
  export { AmountValueShape as value };
@@ -26,16 +33,19 @@ export namespace AmountShape {
26
33
  * pattern that will admit any amount, but is does not resemble the
27
34
  * `AmountShape` pattern above.
28
35
  */
29
- export const AmountPatternShape: import("@endo/patterns").Matcher;
30
- /** @type {TypedPattern<Ratio>} */
31
- export const RatioShape: TypedPattern<Ratio>;
36
+ export const AmountPatternShape: import("@endo/patterns").MatcherOf<"pattern", any>;
37
+ /** @type {CastedPattern<Ratio>} */
38
+ export const RatioShape: CastedPattern<Ratio>;
32
39
  export function isNatValue(value: AmountValue): value is NatValue;
33
40
  export function isCopySetValue(value: AmountValue): value is CopySet;
34
41
  export function isSetValue(value: AmountValue): value is SetValue;
35
42
  export function isCopyBagValue(value: AmountValue): value is CopyBag;
36
43
  export const MAX_ABSOLUTE_DECIMAL_PLACES: 100;
37
- export const AssetKindShape: import("@endo/patterns").Matcher;
38
- export const DisplayInfoShape: import("@endo/patterns").Matcher;
44
+ export const AssetKindShape: import("@endo/patterns").MatcherOf<"or", ["nat", "set", "copySet", "copyBag"]>;
45
+ export const DisplayInfoShape: import("@endo/patterns").MatcherOf<"splitRecord", [{}, {
46
+ decimalPlaces: import("@endo/patterns").MatcherOf<"and", [import("@endo/patterns").MatcherOf<"gte", import("@endo/patterns").Key>, import("@endo/patterns").MatcherOf<"lte", import("@endo/patterns").Key>]>;
47
+ assetKind: import("@endo/patterns").MatcherOf<"or", ["nat", "set", "copySet", "copyBag"]>;
48
+ }, {}]>;
39
49
  export namespace IssuerKitShape {
40
50
  export { BrandShape as brand };
41
51
  export { MintShape as mint };
@@ -44,48 +54,113 @@ export namespace IssuerKitShape {
44
54
  export { DisplayInfoShape as displayInfo };
45
55
  }
46
56
  export const BrandI: import("@endo/patterns").InterfaceGuard<{
47
- isMyIssuer: import("@endo/patterns").MethodGuard;
48
- getAllegedName: import("@endo/patterns").MethodGuard;
49
- getDisplayInfo: import("@endo/patterns").MethodGuard;
50
- getAmountShape: import("@endo/patterns").MethodGuard;
57
+ isMyIssuer: import("@endo/patterns").MethodGuard<"async", [import("@endo/patterns").AwaitArgGuard<(import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
58
+ "Symbol(castedType)"?: Issuer | undefined;
59
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
60
+ "Symbol(castedType)"?: Issuer | undefined;
61
+ })>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"kind", "boolean">, import("@endo/patterns").SyncValueGuard>;
62
+ getAllegedName: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"string", string>, import("@endo/patterns").SyncValueGuard>;
63
+ getDisplayInfo: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"splitRecord", [{}, {
64
+ decimalPlaces: import("@endo/patterns").MatcherOf<"and", [import("@endo/patterns").MatcherOf<"gte", import("@endo/patterns").Key>, import("@endo/patterns").MatcherOf<"lte", import("@endo/patterns").Key>]>;
65
+ assetKind: import("@endo/patterns").MatcherOf<"or", ["nat", "set", "copySet", "copyBag"]>;
66
+ }, {}]>, import("@endo/patterns").SyncValueGuard>;
67
+ getAmountShape: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"pattern", any>, import("@endo/patterns").SyncValueGuard>;
51
68
  }>;
52
69
  export function makeIssuerInterfaces(brandShape?: Pattern, assetKindShape?: Pattern, amountShape?: Pattern): {
53
70
  IssuerI: import("@endo/patterns").InterfaceGuard<{
54
- getBrand: import("@endo/patterns").MethodGuard;
55
- getAllegedName: import("@endo/patterns").MethodGuard;
56
- getAssetKind: import("@endo/patterns").MethodGuard;
57
- getDisplayInfo: import("@endo/patterns").MethodGuard;
58
- makeEmptyPurse: import("@endo/patterns").MethodGuard;
59
- isLive: import("@endo/patterns").MethodGuard;
60
- getAmountOf: import("@endo/patterns").MethodGuard;
61
- burn: import("@endo/patterns").MethodGuard;
71
+ getBrand: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
72
+ getAllegedName: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"string", string>, import("@endo/patterns").SyncValueGuard>;
73
+ getAssetKind: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
74
+ getDisplayInfo: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"splitRecord", [{}, {
75
+ decimalPlaces: import("@endo/patterns").MatcherOf<"and", [import("@endo/patterns").MatcherOf<"gte", import("@endo/patterns").Key>, import("@endo/patterns").MatcherOf<"lte", import("@endo/patterns").Key>]>;
76
+ assetKind: import("@endo/patterns").MatcherOf<"or", ["nat", "set", "copySet", "copyBag"]>;
77
+ }, {}]>, import("@endo/patterns").SyncValueGuard>;
78
+ makeEmptyPurse: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
79
+ "Symbol(castedType)"?: Purse | undefined;
80
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
81
+ "Symbol(castedType)"?: Purse | undefined;
82
+ }), import("@endo/patterns").SyncValueGuard>;
83
+ isLive: import("@endo/patterns").MethodGuard<"async", [import("@endo/patterns").AwaitArgGuard<(import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
84
+ "Symbol(castedType)"?: Payment | undefined;
85
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
86
+ "Symbol(castedType)"?: Payment | undefined;
87
+ })>], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"kind", "boolean">, import("@endo/patterns").SyncValueGuard>;
88
+ getAmountOf: import("@endo/patterns").MethodGuard<"async", [import("@endo/patterns").AwaitArgGuard<(import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
89
+ "Symbol(castedType)"?: Payment | undefined;
90
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
91
+ "Symbol(castedType)"?: Payment | undefined;
92
+ })>], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
93
+ burn: import("@endo/patterns").MethodGuard<"async", [import("@endo/patterns").AwaitArgGuard<(import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
94
+ "Symbol(castedType)"?: Payment | undefined;
95
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
96
+ "Symbol(castedType)"?: Payment | undefined;
97
+ })>], [import("@endo/patterns").MatcherOf<"pattern", any>], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
62
98
  }>;
63
99
  MintI: import("@endo/patterns").InterfaceGuard<{
64
- getIssuer: import("@endo/patterns").MethodGuard;
65
- mintPayment: import("@endo/patterns").MethodGuard;
100
+ getIssuer: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
101
+ "Symbol(castedType)"?: Issuer | undefined;
102
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
103
+ "Symbol(castedType)"?: Issuer | undefined;
104
+ }), import("@endo/patterns").SyncValueGuard>;
105
+ mintPayment: import("@endo/patterns").MethodGuard<"sync", [string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null], import("@endo/patterns").ArgGuard[], (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
106
+ "Symbol(castedType)"?: Payment | undefined;
107
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
108
+ "Symbol(castedType)"?: Payment | undefined;
109
+ }), import("@endo/patterns").SyncValueGuard>;
66
110
  }>;
67
111
  PaymentI: import("@endo/patterns").InterfaceGuard<{
68
- getAllegedBrand: import("@endo/patterns").MethodGuard;
112
+ getAllegedBrand: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
69
113
  }>;
70
114
  PurseIKit: {
71
115
  purse: import("@endo/patterns").InterfaceGuard<{
72
- getAllegedBrand: import("@endo/patterns").MethodGuard;
73
- getCurrentAmount: import("@endo/patterns").MethodGuard;
74
- getCurrentAmountNotifier: import("@endo/patterns").MethodGuard;
75
- deposit: import("@endo/patterns").MethodGuard;
76
- getDepositFacet: import("@endo/patterns").MethodGuard;
77
- withdraw: import("@endo/patterns").MethodGuard;
78
- getRecoverySet: import("@endo/patterns").MethodGuard;
79
- recoverAll: import("@endo/patterns").MethodGuard;
116
+ getAllegedBrand: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
117
+ getCurrentAmount: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
118
+ getCurrentAmountNotifier: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
119
+ "Symbol(castedType)"?: Notifier<any> | undefined;
120
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
121
+ "Symbol(castedType)"?: Notifier<any> | undefined;
122
+ }), import("@endo/patterns").SyncValueGuard>;
123
+ deposit: import("@endo/patterns").MethodGuard<"sync", [(import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
124
+ "Symbol(castedType)"?: Payment | undefined;
125
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
126
+ "Symbol(castedType)"?: Payment | undefined;
127
+ })], [import("@endo/patterns").MatcherOf<"pattern", any>], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
128
+ getDepositFacet: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
129
+ "Symbol(castedType)"?: DepositFacet | undefined;
130
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
131
+ "Symbol(castedType)"?: DepositFacet | undefined;
132
+ }), import("@endo/patterns").SyncValueGuard>;
133
+ withdraw: import("@endo/patterns").MethodGuard<"sync", [string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null], import("@endo/patterns").ArgGuard[], (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
134
+ "Symbol(castedType)"?: Payment | undefined;
135
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
136
+ "Symbol(castedType)"?: Payment | undefined;
137
+ }), import("@endo/patterns").SyncValueGuard>;
138
+ getRecoverySet: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], import("@endo/patterns").MatcherOf<"setOf", (import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
139
+ "Symbol(castedType)"?: Payment | undefined;
140
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
141
+ "Symbol(castedType)"?: Payment | undefined;
142
+ })>, import("@endo/patterns").SyncValueGuard>;
143
+ recoverAll: import("@endo/patterns").MethodGuard<"sync", [], import("@endo/patterns").ArgGuard[], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
80
144
  }>;
81
145
  depositFacet: import("@endo/patterns").InterfaceGuard<{
82
- receive: import("@endo/patterns").MethodGuard;
146
+ receive: import("@endo/patterns").MethodGuard<"sync", [(import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> & {
147
+ "Symbol(castedType)"?: Payment | undefined;
148
+ }) | (import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> & {
149
+ "Symbol(castedType)"?: Payment | undefined;
150
+ })], [import("@endo/patterns").MatcherOf<"pattern", any>], string | number | bigint | boolean | symbol | ArrayBuffer | import("@endo/eventual-send").RemotableBrand<any, any> | import("@endo/pass-style").RemotableObject<string> | import("@endo/pass-style").CopyArrayInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyRecordInterface<import("@endo/pass-style").PassableCap, Error> | import("@endo/pass-style").CopyTaggedInterface<import("@endo/pass-style").PassableCap, Error> | null, import("@endo/patterns").SyncValueGuard>;
83
151
  }>;
84
152
  };
85
153
  };
86
- declare const AmountValueShape: import("@endo/patterns").Matcher;
154
+ import type { Brand } from './types.js';
155
+ import type { CastedPattern } from '@endo/patterns';
156
+ import type { Issuer } from './types.js';
157
+ import type { Payment } from './types.js';
158
+ import type { Purse } from './types.js';
159
+ import type { DepositFacet } from './types.js';
160
+ import type { Notifier } from '@agoric/notifier';
161
+ import type { Mint } from './types.js';
162
+ declare const AmountValueShape: import("@endo/patterns").MatcherOf<"or", [import("@endo/patterns").MatcherOf<"nat", bigint>, import("@endo/patterns").MatcherOf<"setOf", any>, import("@endo/patterns").MatcherOf<"arrayOf", import("@endo/patterns").MatcherOf<"key", any>>, import("@endo/patterns").MatcherOf<"bagOf", any>]>;
87
163
  import type { Ratio } from './types.js';
88
- import type { TypedPattern } from '@agoric/internal';
89
164
  import type { AmountValue } from './types.js';
90
165
  import type { NatValue } from './types.js';
91
166
  import type { CopySet } from '@endo/patterns';
package/src/typeGuards.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;AAkE7C;;;;;;;;;;GAUG;AACH,kEAA8C;AAE9C,kCAAkC;AAClC,yBADW,aAAa,KAAK,CAAC,CACiD;AASxE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;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,0CAA2C,GAAG,CAAC;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAaF;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqEjB;AAhLD,iEAKE;2BAzEmC,YAAY;kCAClB,kBAAkB;iCADZ,YAAY;8BAGZ,YAAY;6BADL,gBAAgB;8BACvB,YAAY;6BADL,gBAAgB;6BAAhB,gBAAgB"}
1
+ {"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AACA;;;;;GAKG;AAOH,mCAAmC;AACnC,yBADW,cAAc,KAAK,CAAC,CACgB;AAC/C,oCAAoC;AACpC,0BADW,cAAc,MAAM,CAAC,CACiB;AACjD,qCAAqC;AACrC,2BADW,cAAc,OAAO,CAAC,CACkB;AACnD,mCAAmC;AACnC,yBADW,cAAc,KAAK,CAAC,CACgB;AAC/C,0CAA0C;AAC1C,gCADW,cAAc,YAAY,CAAC,CACuB;AAC7D,2CAA2C;AAC3C,4BADW,cAAc,SAAS,GAAG,CAAC,CAAC,CACc;AACrD,kCAAkC;AAClC,wBADW,cAAc,IAAI,CAAC,CACe;;;;;AAkE7C;;;;;;;;;;GAUG;AACH,oFAA8C;AAE9C,mCAAmC;AACnC,yBADW,cAAc,KAAK,CAAC,CACgD;AASxE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;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,0CAA2C,GAAG,CAAC;AAE/C,4GAAuE;AAEvE;;;QAaE;;;;;;;;AAaF;;;;;;;;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqEjB;2BAhQuF,YAAY;mCACzC,gBAAgB;4BADa,YAAY;6BAAZ,YAAY;2BAAZ,YAAY;kCAAZ,YAAY;8BAEzE,kBAAkB;0BAF2C,YAAY;AAgFpG,iUAKE;2BArFsF,YAAY;iCAAZ,YAAY;8BAG/D,YAAY;6BAFU,gBAAgB;8BAEtC,YAAY;6BAFU,gBAAgB;6BAAhB,gBAAgB"}
package/src/typeGuards.js CHANGED
@@ -1,17 +1,29 @@
1
1
  import { M, matches, getInterfaceGuardPayload } from '@endo/patterns';
2
2
  /**
3
- * @import {AmountValue, Ratio} from './types.js'
4
- * @import {TypedPattern} from '@agoric/internal'
5
- * @import {CopyBag, CopySet, Pattern} from '@endo/patterns';
3
+ * @import {AmountValue, Brand, DepositFacet, Issuer, Mint, Payment, Purse, Ratio} from './types.js'
4
+ * @import {CastedPattern, CopyBag, CopySet, Pattern} from '@endo/patterns';
5
+ * @import {Notifier} from '@agoric/notifier';
6
6
  * @import {NatValue, SetValue} from './types.js';
7
7
  */
8
8
 
9
+ // These shapes are tagged with `CastedPattern<X>` so that Endo's
10
+ // pattern resolution (TypeFromPattern in @endo/patterns) returns the
11
+ // concrete remotable type X at consuming sites. The runtime check is
12
+ // unchanged — it still validates "is a remotable" — but the static
13
+ // type carries the developer's claim about the kind of remotable.
14
+ /** @type {CastedPattern<Brand>} */
9
15
  export const BrandShape = M.remotable('Brand');
16
+ /** @type {CastedPattern<Issuer>} */
10
17
  export const IssuerShape = M.remotable('Issuer');
18
+ /** @type {CastedPattern<Payment>} */
11
19
  export const PaymentShape = M.remotable('Payment');
20
+ /** @type {CastedPattern<Purse>} */
12
21
  export const PurseShape = M.remotable('Purse');
22
+ /** @type {CastedPattern<DepositFacet>} */
13
23
  export const DepositFacetShape = M.remotable('DepositFacet');
24
+ /** @type {CastedPattern<Notifier<any>>} */
14
25
  export const NotifierShape = M.remotable('Notifier');
26
+ /** @type {CastedPattern<Mint>} */
15
27
  export const MintShape = M.remotable('Mint');
16
28
 
17
29
  /**
@@ -91,7 +103,7 @@ harden(AmountShape);
91
103
  */
92
104
  export const AmountPatternShape = M.pattern();
93
105
 
94
- /** @type {TypedPattern<Ratio>} */
106
+ /** @type {CastedPattern<Ratio>} */
95
107
  export const RatioShape = { numerator: AmountShape, denominator: AmountShape };
96
108
  harden(RatioShape);
97
109
 
package/src/types.d.ts CHANGED
@@ -138,7 +138,7 @@ export type IssuerGetAmountOf<K extends AssetKind, M extends Key = Key> = (payme
138
138
  * be interpreted as absence. If you want to express a `Pattern` that will
139
139
  * match only `undefined`, use `M.undefined()` instead.
140
140
  */
141
- export type IssuerBurn = (payment: ERef<Payment>, optAmountShape?: Pattern) => Promise<Amount>;
141
+ export type IssuerBurn<K extends AssetKind = AssetKind, M extends Key = Key> = (payment: ERef<Payment<K, M>>, optAmountShape?: Pattern) => Promise<Amount<K, M>>;
142
142
  /**
143
143
  * Work around JSDoc union handling
144
144
  */
@@ -170,7 +170,7 @@ export type IssuerMethods<K extends AssetKind, M extends Key> = {
170
170
  makeEmptyPurse: () => Purse<K, M>;
171
171
  isLive: IssuerIsLive;
172
172
  getAmountOf: IssuerGetAmountOf<K, M>;
173
- burn: IssuerBurn;
173
+ burn: IssuerBurn<K, M>;
174
174
  };
175
175
  /**
176
176
  * The issuer cannot
@@ -223,7 +223,7 @@ export type AdditionalDisplayInfo = {
223
223
  * Holding a Mint carries the right to issue new digital
224
224
  * assets. These assets all have the same kind, which is called a Brand.
225
225
  */
226
- export type Mint<K extends AssetKind = AssetKind, M extends Key = Key> = {
226
+ export type Mint<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & {
227
227
  /**
228
228
  * Gets the Issuer for this mint.
229
229
  */
@@ -249,7 +249,7 @@ export type Mint<K extends AssetKind = AssetKind, M extends Key = Key> = {
249
249
  */
250
250
  export type RecoverySetsOption = 'hasRecoverySets' | 'noRecoverySets';
251
251
  export type DepositFacetReceive = (payment: Payment, optAmountShape?: Pattern) => Amount;
252
- export type DepositFacet = {
252
+ export type DepositFacet = RemotableObject & {
253
253
  /**
254
254
  * Deposit all the contents of payment
255
255
  * into the purse that made this facet, returning the amount. If the optional
package/src/types.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,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,OAAO,EAAE,MAAM,gCAAgC,CAAC;AAC9D,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;AAEhB,MAAM,MAAM,KAAK,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAE7E,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,GACjB,OAAO,CACL;IACE;;;;;OAKG;IACH,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;CACjC,EACD,qBAAqB,EACrB,CAAC,CACF,CAAC;AAEJ;;;;;;;;;;;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"}
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,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,OAAO,EAAE,MAAM,gCAAgC,CAAC;AAC9D,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;AAEhB,MAAM,MAAM,KAAK,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAE7E,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,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CAC7E,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC5B,cAAc,CAAC,EAAE,OAAO,KACrB,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3B;;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,CAAC,EAAE,CAAC,CAAC,CAAC;CACxB,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,CACd,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GAAG;IACpB;;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,eAAe,GAAG;IAC3C;;;;;;;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,GACjB,OAAO,CACL;IACE;;;;;OAKG;IACH,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;CACjC,EACD,qBAAqB,EACrB,CAAC,CACF,CAAC;AAEJ;;;;;;;;;;;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.js CHANGED
@@ -176,10 +176,10 @@
176
176
  * be interpreted as absence. If you want to express a `Pattern` that will
177
177
  * match only `undefined`, use `M.undefined()` instead.
178
178
  */
179
-
180
-
179
+
180
+
181
+
181
182
 
182
-
183
183
  /**
184
184
  * Work around JSDoc union handling
185
185
  */
@@ -211,7 +211,7 @@
211
211
 
212
212
 
213
213
 
214
-
214
+
215
215
 
216
216
  /**
217
217
  * The issuer cannot
@@ -267,7 +267,10 @@
267
267
  * Holding a Mint carries the right to issue new digital
268
268
  * assets. These assets all have the same kind, which is called a Brand.
269
269
  */
270
-
270
+
271
+
272
+
273
+
271
274
 
272
275
 
273
276
 
@@ -296,7 +299,7 @@
296
299
 
297
300
 
298
301
 
299
-
302
+
300
303
 
301
304
 
302
305