@fairmint/open-captable-protocol-daml-js 0.2.24 → 0.2.27

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 (91) hide show
  1. package/README.md +1 -1
  2. package/generated/subscriptions-factory-contract-id.json +4 -4
  3. package/lib/DA/Date/Types/index.d.ts +1 -0
  4. package/lib/DA/Date/Types/index.js +8 -0
  5. package/lib/DA/Date/Types/module.d.ts +47 -0
  6. package/lib/DA/Date/Types/module.js +48 -0
  7. package/lib/DA/Date/index.d.ts +2 -0
  8. package/lib/DA/Date/index.js +9 -0
  9. package/lib/DA/Exception/ArithmeticError/index.d.ts +1 -0
  10. package/lib/DA/Exception/ArithmeticError/index.js +8 -0
  11. package/lib/DA/Exception/ArithmeticError/module.d.ts +18 -0
  12. package/lib/DA/Exception/ArithmeticError/module.js +25 -0
  13. package/lib/DA/Exception/AssertionFailed/index.d.ts +1 -0
  14. package/lib/DA/Exception/AssertionFailed/index.js +8 -0
  15. package/lib/DA/Exception/AssertionFailed/module.d.ts +18 -0
  16. package/lib/DA/Exception/AssertionFailed/module.js +25 -0
  17. package/lib/DA/Exception/GeneralError/index.d.ts +1 -0
  18. package/lib/DA/Exception/GeneralError/index.js +8 -0
  19. package/lib/DA/Exception/GeneralError/module.d.ts +18 -0
  20. package/lib/DA/Exception/GeneralError/module.js +25 -0
  21. package/lib/DA/Exception/PreconditionFailed/index.d.ts +1 -0
  22. package/lib/DA/Exception/PreconditionFailed/index.js +8 -0
  23. package/lib/DA/Exception/PreconditionFailed/module.d.ts +18 -0
  24. package/lib/DA/Exception/PreconditionFailed/module.js +25 -0
  25. package/lib/DA/Exception/index.d.ts +2 -0
  26. package/lib/DA/Exception/index.js +9 -0
  27. package/lib/DA/Internal/Down/index.d.ts +1 -0
  28. package/lib/DA/Internal/Down/index.js +8 -0
  29. package/lib/DA/Internal/Down/module.d.ts +17 -0
  30. package/lib/DA/Internal/Down/module.js +25 -0
  31. package/lib/DA/Logic/Types/index.d.ts +1 -0
  32. package/lib/DA/Logic/Types/index.js +8 -0
  33. package/lib/DA/Logic/Types/module.d.ts +20 -0
  34. package/lib/DA/Logic/Types/module.js +29 -0
  35. package/lib/DA/Logic/index.d.ts +2 -0
  36. package/lib/DA/Logic/index.js +9 -0
  37. package/lib/DA/Monoid/Types/index.d.ts +1 -0
  38. package/lib/DA/Monoid/Types/index.js +8 -0
  39. package/lib/DA/Monoid/Types/module.d.ts +46 -0
  40. package/lib/DA/Monoid/Types/module.js +61 -0
  41. package/lib/DA/Monoid/index.d.ts +2 -0
  42. package/lib/DA/Monoid/index.js +9 -0
  43. package/lib/DA/NonEmpty/Types/index.d.ts +1 -0
  44. package/lib/DA/NonEmpty/Types/index.js +8 -0
  45. package/lib/DA/NonEmpty/Types/module.d.ts +18 -0
  46. package/lib/DA/NonEmpty/Types/module.js +26 -0
  47. package/lib/DA/NonEmpty/index.d.ts +2 -0
  48. package/lib/DA/NonEmpty/index.js +9 -0
  49. package/lib/DA/Random/Types/index.d.ts +1 -0
  50. package/lib/DA/Random/Types/index.js +8 -0
  51. package/lib/DA/Random/Types/module.d.ts +18 -0
  52. package/lib/DA/Random/Types/module.js +26 -0
  53. package/lib/DA/Random/index.d.ts +2 -0
  54. package/lib/DA/Random/index.js +9 -0
  55. package/lib/DA/Semigroup/Types/index.d.ts +1 -0
  56. package/lib/DA/Semigroup/Types/index.js +8 -0
  57. package/lib/DA/Semigroup/Types/module.d.ts +26 -0
  58. package/lib/DA/Semigroup/Types/module.js +37 -0
  59. package/lib/DA/Semigroup/index.d.ts +2 -0
  60. package/lib/DA/Semigroup/index.js +9 -0
  61. package/lib/DA/Stack/Types/index.d.ts +1 -0
  62. package/lib/DA/Stack/Types/index.js +8 -0
  63. package/lib/DA/Stack/Types/module.d.ts +24 -0
  64. package/lib/DA/Stack/Types/module.js +31 -0
  65. package/lib/DA/Stack/index.d.ts +2 -0
  66. package/lib/DA/Stack/index.js +9 -0
  67. package/lib/DA/Validation/Types/index.d.ts +1 -0
  68. package/lib/DA/Validation/Types/index.js +8 -0
  69. package/lib/DA/Validation/Types/module.d.ts +20 -0
  70. package/lib/DA/Validation/Types/module.js +29 -0
  71. package/lib/DA/Validation/index.d.ts +2 -0
  72. package/lib/DA/Validation/index.js +9 -0
  73. package/lib/Fairmint/Subscriptions/ActiveSubscription/module.d.ts +4 -5
  74. package/lib/Fairmint/Subscriptions/ActiveSubscription/module.js +7 -8
  75. package/lib/Fairmint/Subscriptions/PartyMigrationProposal/module.d.ts +1 -1
  76. package/lib/Fairmint/Subscriptions/PartyMigrationProposal/module.js +2 -2
  77. package/lib/Fairmint/Subscriptions/ProposedSubscription/module.d.ts +3 -5
  78. package/lib/Fairmint/Subscriptions/ProposedSubscription/module.js +5 -7
  79. package/lib/Fairmint/Subscriptions/SubscriptionFactory/module.d.ts +1 -1
  80. package/lib/Fairmint/Subscriptions/SubscriptionFactory/module.js +2 -2
  81. package/lib/Fairmint/Subscriptions/Types/LockFundsInput/index.d.ts +1 -0
  82. package/lib/Fairmint/Subscriptions/Types/LockFundsInput/index.js +8 -0
  83. package/lib/Fairmint/Subscriptions/Types/LockFundsInput/module.d.ts +24 -0
  84. package/lib/Fairmint/Subscriptions/Types/LockFundsInput/module.js +31 -0
  85. package/lib/Fairmint/Subscriptions/Types/PaymentContext/module.d.ts +1 -0
  86. package/lib/Fairmint/Subscriptions/Types/PaymentContext/module.js +2 -1
  87. package/lib/Fairmint/Subscriptions/Types/index.d.ts +2 -0
  88. package/lib/Fairmint/Subscriptions/Types/index.js +2 -0
  89. package/lib/Splice/Api/Token/index.d.ts +2 -0
  90. package/lib/Splice/Api/Token/index.js +9 -0
  91. package/package.json +2 -2
package/README.md CHANGED
@@ -1,6 +1,6 @@
1
1
  ## Shared Coding Guidelines for OCP DAML Packages
2
2
 
3
- This repository contains multiple DAML packages (e.g., `OpenCapTable-v25`, `OpenCapTableReports-v01`, `OpenCapTableProofOfOwnership-v01`, `Shared`, `Subscriptions-v05`). This document defines coding guidelines that apply to all packages.
3
+ This repository contains multiple DAML packages (e.g., `OpenCapTable-v25`, `OpenCapTableReports-v01`, `OpenCapTableProofOfOwnership-v01`, `Shared`, `Subscriptions-v06`). This document defines coding guidelines that apply to all packages.
4
4
 
5
5
  For package-specific details about each implementation, see the README.md file in the respective package directory (e.g., `open-captable-protocol-daml/OpenCapTable-v25/README.md`).
6
6
 
@@ -1,10 +1,10 @@
1
1
  {
2
2
  "devnet": {
3
- "subscriptionsFactoryContractId": "00e00c2ef2ebebc0b505e394c88b3c7135e502c9244998dd93324629163eb81854ca11122046ccb3b7a55d15335ec3be7a0773ee6a5ae5a663415232d144cdbb77c92ecf1a",
4
- "templateId": "eee64b94341673a7ab55cafd07bd54dc76891adb93d268e3a6fc9e1bef768d0f:Fairmint.Subscriptions.SubscriptionFactory:SubscriptionFactory"
3
+ "subscriptionsFactoryContractId": "00d4e76125d38b505393d2369115106031359b374412ffad08ccf7a41bc6290eb5ca1112203350c6f8fa5da36c4d89d8fa9ae163789e3c4a3736208668fd93bb976ea0cfac",
4
+ "templateId": "f68f1ce139e1a6a6bb602b53918a454a7854f8b3af55ccb1ccca200b6344826f:Fairmint.Subscriptions.SubscriptionFactory:SubscriptionFactory"
5
5
  },
6
6
  "mainnet": {
7
- "subscriptionsFactoryContractId": "00ffaa342b52c3747022a149d44ac282afea54bc677ce5df1f07fafff7561db6f9ca111220a0ac801ee2f3735bdf20516bcffde8b4207bb473372495b7cceabafe160260c6",
8
- "templateId": "eee64b94341673a7ab55cafd07bd54dc76891adb93d268e3a6fc9e1bef768d0f:Fairmint.Subscriptions.SubscriptionFactory:SubscriptionFactory"
7
+ "subscriptionsFactoryContractId": "002b43ae6e5b4f622b738a656c6904b0038954f62a82af1e72aad5e1446fb3acb0ca1112204f0c00f7f48cdca4b580b9937faf95e5abc44dde8765812470d49714ca827a6a",
8
+ "templateId": "f68f1ce139e1a6a6bb602b53918a454a7854f8b3af55ccb1ccca200b6344826f:Fairmint.Subscriptions.SubscriptionFactory:SubscriptionFactory"
9
9
  }
10
10
  }
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,47 @@
1
+ // Generated from DA/Date/Types.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type DayOfWeek =
11
+ | 'Monday'
12
+ | 'Tuesday'
13
+ | 'Wednesday'
14
+ | 'Thursday'
15
+ | 'Friday'
16
+ | 'Saturday'
17
+ | 'Sunday'
18
+ ;
19
+
20
+ export declare const DayOfWeek:
21
+ damlTypes.Serializable<DayOfWeek> & {
22
+ }
23
+ & { readonly keys: DayOfWeek[] } & { readonly [e in DayOfWeek]: e }
24
+ ;
25
+
26
+
27
+ export declare type Month =
28
+ | 'Jan'
29
+ | 'Feb'
30
+ | 'Mar'
31
+ | 'Apr'
32
+ | 'May'
33
+ | 'Jun'
34
+ | 'Jul'
35
+ | 'Aug'
36
+ | 'Sep'
37
+ | 'Oct'
38
+ | 'Nov'
39
+ | 'Dec'
40
+ ;
41
+
42
+ export declare const Month:
43
+ damlTypes.Serializable<Month> & {
44
+ }
45
+ & { readonly keys: Month[] } & { readonly [e in Month]: e }
46
+ ;
47
+
@@ -0,0 +1,48 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.DayOfWeek = {
17
+ Monday: 'Monday',
18
+ Tuesday: 'Tuesday',
19
+ Wednesday: 'Wednesday',
20
+ Thursday: 'Thursday',
21
+ Friday: 'Friday',
22
+ Saturday: 'Saturday',
23
+ Sunday: 'Sunday',
24
+ keys: ['Monday','Tuesday','Wednesday','Thursday','Friday','Saturday','Sunday',],
25
+ decoder: damlTypes.lazyMemo(function () { return jtv.oneOf(jtv.constant(exports.DayOfWeek.Monday), jtv.constant(exports.DayOfWeek.Tuesday), jtv.constant(exports.DayOfWeek.Wednesday), jtv.constant(exports.DayOfWeek.Thursday), jtv.constant(exports.DayOfWeek.Friday), jtv.constant(exports.DayOfWeek.Saturday), jtv.constant(exports.DayOfWeek.Sunday)); }),
26
+ encode: function (__typed__) { return __typed__; },
27
+ };
28
+
29
+
30
+
31
+ exports.Month = {
32
+ Jan: 'Jan',
33
+ Feb: 'Feb',
34
+ Mar: 'Mar',
35
+ Apr: 'Apr',
36
+ May: 'May',
37
+ Jun: 'Jun',
38
+ Jul: 'Jul',
39
+ Aug: 'Aug',
40
+ Sep: 'Sep',
41
+ Oct: 'Oct',
42
+ Nov: 'Nov',
43
+ Dec: 'Dec',
44
+ keys: ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec',],
45
+ decoder: damlTypes.lazyMemo(function () { return jtv.oneOf(jtv.constant(exports.Month.Jan), jtv.constant(exports.Month.Feb), jtv.constant(exports.Month.Mar), jtv.constant(exports.Month.Apr), jtv.constant(exports.Month.May), jtv.constant(exports.Month.Jun), jtv.constant(exports.Month.Jul), jtv.constant(exports.Month.Aug), jtv.constant(exports.Month.Sep), jtv.constant(exports.Month.Oct), jtv.constant(exports.Month.Nov), jtv.constant(exports.Month.Dec)); }),
46
+ encode: function (__typed__) { return __typed__; },
47
+ };
48
+
@@ -0,0 +1,2 @@
1
+ import * as Types from './Types';
2
+ export { Types } ;
@@ -0,0 +1,9 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ var Types = require('./Types');
9
+ exports.Types = Types;
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,18 @@
1
+ // Generated from DA/Exception/ArithmeticError.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type ArithmeticError = {
11
+ message: string;
12
+ };
13
+
14
+ export declare const ArithmeticError:
15
+ damlTypes.Serializable<ArithmeticError> & {
16
+ }
17
+ ;
18
+
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.ArithmeticError = {
17
+ decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
18
+ encode: function (__typed__) {
19
+ return {
20
+ message: damlTypes.Text.encode(__typed__.message),
21
+ };
22
+ }
23
+ ,
24
+ };
25
+
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,18 @@
1
+ // Generated from DA/Exception/AssertionFailed.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type AssertionFailed = {
11
+ message: string;
12
+ };
13
+
14
+ export declare const AssertionFailed:
15
+ damlTypes.Serializable<AssertionFailed> & {
16
+ }
17
+ ;
18
+
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.AssertionFailed = {
17
+ decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
18
+ encode: function (__typed__) {
19
+ return {
20
+ message: damlTypes.Text.encode(__typed__.message),
21
+ };
22
+ }
23
+ ,
24
+ };
25
+
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,18 @@
1
+ // Generated from DA/Exception/GeneralError.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type GeneralError = {
11
+ message: string;
12
+ };
13
+
14
+ export declare const GeneralError:
15
+ damlTypes.Serializable<GeneralError> & {
16
+ }
17
+ ;
18
+
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.GeneralError = {
17
+ decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
18
+ encode: function (__typed__) {
19
+ return {
20
+ message: damlTypes.Text.encode(__typed__.message),
21
+ };
22
+ }
23
+ ,
24
+ };
25
+
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,18 @@
1
+ // Generated from DA/Exception/PreconditionFailed.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type PreconditionFailed = {
11
+ message: string;
12
+ };
13
+
14
+ export declare const PreconditionFailed:
15
+ damlTypes.Serializable<PreconditionFailed> & {
16
+ }
17
+ ;
18
+
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.PreconditionFailed = {
17
+ decoder: damlTypes.lazyMemo(function () { return jtv.object({message: damlTypes.Text.decoder, }); }),
18
+ encode: function (__typed__) {
19
+ return {
20
+ message: damlTypes.Text.encode(__typed__.message),
21
+ };
22
+ }
23
+ ,
24
+ };
25
+
@@ -0,0 +1,2 @@
1
+ import * as PreconditionFailed from './PreconditionFailed';
2
+ export { PreconditionFailed } ;
@@ -0,0 +1,9 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ var PreconditionFailed = require('./PreconditionFailed');
9
+ exports.PreconditionFailed = PreconditionFailed;
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,17 @@
1
+ // Generated from DA/Internal/Down.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type Down<a> = {
11
+ unpack: a;
12
+ };
13
+
14
+ export declare const Down :
15
+ (<a>(a: damlTypes.Serializable<a>) => damlTypes.Serializable<Down<a>>) & {
16
+ };
17
+
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.Down = function (a) { return ({
17
+ decoder: damlTypes.lazyMemo(function () { return jtv.object({unpack: a.decoder, }); }),
18
+ encode: function (__typed__) {
19
+ return {
20
+ unpack: a.encode(__typed__.unpack),
21
+ };
22
+ }
23
+ ,
24
+ }); };
25
+
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,20 @@
1
+ // Generated from DA/Logic/Types.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type Formula<a> =
11
+ | { tag: 'Proposition'; value: a }
12
+ | { tag: 'Negation'; value: Formula<a> }
13
+ | { tag: 'Conjunction'; value: Formula<a>[] }
14
+ | { tag: 'Disjunction'; value: Formula<a>[] }
15
+ ;
16
+
17
+ export declare const Formula :
18
+ (<a>(a: damlTypes.Serializable<a>) => damlTypes.Serializable<Formula<a>>) & {
19
+ };
20
+
@@ -0,0 +1,29 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ /* eslint-disable-next-line no-unused-vars */
9
+ var jtv = require('@mojotech/json-type-validation');
10
+ /* eslint-disable-next-line no-unused-vars */
11
+ var damlTypes = require('@daml/types');
12
+ /* eslint-disable-next-line no-unused-vars */
13
+ var damlLedger = require('@daml/ledger');
14
+
15
+
16
+ exports.Formula = function (a) { return ({
17
+ decoder: damlTypes.lazyMemo(function () { return jtv.oneOf(jtv.object({tag: jtv.constant('Proposition'), value: a.decoder, }), jtv.object({tag: jtv.constant('Negation'), value: exports.Formula(a).decoder, }), jtv.object({tag: jtv.constant('Conjunction'), value: damlTypes.List(exports.Formula(a)).decoder, }), jtv.object({tag: jtv.constant('Disjunction'), value: damlTypes.List(exports.Formula(a)).decoder, })); }),
18
+ encode: function (__typed__) {
19
+ switch(__typed__.tag) {
20
+ case 'Proposition': return {tag: __typed__.tag, value: a.encode(__typed__.value)};
21
+ case 'Negation': return {tag: __typed__.tag, value: exports.Formula(a).encode(__typed__.value)};
22
+ case 'Conjunction': return {tag: __typed__.tag, value: damlTypes.List(exports.Formula(a)).encode(__typed__.value)};
23
+ case 'Disjunction': return {tag: __typed__.tag, value: damlTypes.List(exports.Formula(a)).encode(__typed__.value)};
24
+ default: throw 'unrecognized type tag: ' + __typed__.tag + ' while serializing a value of type Formula';
25
+ }
26
+ }
27
+ ,
28
+ }); };
29
+
@@ -0,0 +1,2 @@
1
+ import * as Types from './Types';
2
+ export { Types } ;
@@ -0,0 +1,9 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ var Types = require('./Types');
9
+ exports.Types = Types;
@@ -0,0 +1 @@
1
+ export * from './module';
@@ -0,0 +1,8 @@
1
+ "use strict";
2
+ /* eslint-disable-next-line no-unused-vars */
3
+ function __export(m) {
4
+ /* eslint-disable-next-line no-prototype-builtins */
5
+ for (var p in m) if (!exports.hasOwnProperty(p)) exports[p] = m[p];
6
+ }
7
+ Object.defineProperty(exports, "__esModule", { value: true });
8
+ __export(require('./module'));
@@ -0,0 +1,46 @@
1
+ // Generated from DA/Monoid/Types.daml
2
+ /* eslint-disable @typescript-eslint/camelcase */
3
+ /* eslint-disable @typescript-eslint/no-namespace */
4
+ /* eslint-disable @typescript-eslint/no-use-before-define */
5
+ import * as jtv from '@mojotech/json-type-validation';
6
+ import * as damlTypes from '@daml/types';
7
+ /* eslint-disable-next-line @typescript-eslint/no-unused-vars */
8
+ import * as damlLedger from '@daml/ledger';
9
+
10
+ export declare type All = {
11
+ getAll: boolean;
12
+ };
13
+
14
+ export declare const All:
15
+ damlTypes.Serializable<All> & {
16
+ }
17
+ ;
18
+
19
+
20
+ export declare type Any = {
21
+ getAny: boolean;
22
+ };
23
+
24
+ export declare const Any:
25
+ damlTypes.Serializable<Any> & {
26
+ }
27
+ ;
28
+
29
+
30
+ export declare type Sum<a> = {
31
+ unpack: a;
32
+ };
33
+
34
+ export declare const Sum :
35
+ (<a>(a: damlTypes.Serializable<a>) => damlTypes.Serializable<Sum<a>>) & {
36
+ };
37
+
38
+
39
+ export declare type Product<a> = {
40
+ unpack: a;
41
+ };
42
+
43
+ export declare const Product :
44
+ (<a>(a: damlTypes.Serializable<a>) => damlTypes.Serializable<Product<a>>) & {
45
+ };
46
+