effect-app 0.152.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.
Files changed (169) hide show
  1. package/.eslintrc.cjs +11 -0
  2. package/.prettierignore +6 -0
  3. package/CHANGELOG.md +4106 -0
  4. package/_cjs/Config/SecretURL.cjs +58 -0
  5. package/_cjs/Config/SecretURL.cjs.map +1 -0
  6. package/_cjs/Config/internal/configSecretURL.cjs +88 -0
  7. package/_cjs/Config/internal/configSecretURL.cjs.map +1 -0
  8. package/_cjs/Inputify.type.cjs +6 -0
  9. package/_cjs/Inputify.type.cjs.map +1 -0
  10. package/_cjs/Operations.cjs +76 -0
  11. package/_cjs/Operations.cjs.map +1 -0
  12. package/_cjs/Pure.cjs +201 -0
  13. package/_cjs/Pure.cjs.map +1 -0
  14. package/_cjs/Request.cjs +76 -0
  15. package/_cjs/Request.cjs.map +1 -0
  16. package/_cjs/Widen.type.cjs +6 -0
  17. package/_cjs/Widen.type.cjs.map +1 -0
  18. package/_cjs/_ext/date.cjs +64 -0
  19. package/_cjs/_ext/date.cjs.map +1 -0
  20. package/_cjs/_ext/misc.cjs +121 -0
  21. package/_cjs/_ext/misc.cjs.map +1 -0
  22. package/_cjs/_global.cjs +24 -0
  23. package/_cjs/_global.cjs.map +1 -0
  24. package/_cjs/_global.ext.cjs +5 -0
  25. package/_cjs/_global.ext.cjs.map +1 -0
  26. package/_cjs/_global.schema.cjs +4 -0
  27. package/_cjs/_global.schema.cjs.map +1 -0
  28. package/_cjs/client/QueryResult.cjs +116 -0
  29. package/_cjs/client/QueryResult.cjs.map +1 -0
  30. package/_cjs/client/clientFor.cjs +159 -0
  31. package/_cjs/client/clientFor.cjs.map +1 -0
  32. package/_cjs/client/config.cjs +21 -0
  33. package/_cjs/client/config.cjs.map +1 -0
  34. package/_cjs/client/errors.cjs +116 -0
  35. package/_cjs/client/errors.cjs.map +1 -0
  36. package/_cjs/client/fetch.cjs +178 -0
  37. package/_cjs/client/fetch.cjs.map +1 -0
  38. package/_cjs/client.cjs +61 -0
  39. package/_cjs/client.cjs.map +1 -0
  40. package/_cjs/faker.cjs +31 -0
  41. package/_cjs/faker.cjs.map +1 -0
  42. package/_cjs/ids.cjs +24 -0
  43. package/_cjs/ids.cjs.map +1 -0
  44. package/_cjs/index.cjs +27 -0
  45. package/_cjs/index.cjs.map +1 -0
  46. package/_cjs/refinements.cjs +97 -0
  47. package/_cjs/refinements.cjs.map +1 -0
  48. package/_cjs/schema.cjs +50 -0
  49. package/_cjs/schema.cjs.map +1 -0
  50. package/_cjs/schema.test.cjs +9 -0
  51. package/_cjs/schema.test.cjs.map +1 -0
  52. package/_cjs/service.cjs +97 -0
  53. package/_cjs/service.cjs.map +1 -0
  54. package/_cjs/utils.cjs +17 -0
  55. package/_cjs/utils.cjs.map +1 -0
  56. package/_src/Config/SecretURL.ts +103 -0
  57. package/_src/Config/internal/configSecretURL.ts +85 -0
  58. package/_src/Inputify.type.ts +13 -0
  59. package/_src/Operations.ts +70 -0
  60. package/_src/Pure.ts +525 -0
  61. package/_src/Request.ts +106 -0
  62. package/_src/Widen.type.ts +28 -0
  63. package/_src/_ext/date.ts +84 -0
  64. package/_src/_ext/misc.ts +161 -0
  65. package/_src/_global/stm.ts.bak +35 -0
  66. package/_src/_global.ext.ts +3 -0
  67. package/_src/_global.schema.ts +106 -0
  68. package/_src/_global.ts +119 -0
  69. package/_src/client/QueryResult.ts +120 -0
  70. package/_src/client/clientFor.ts +260 -0
  71. package/_src/client/config.ts +13 -0
  72. package/_src/client/errors.ts +129 -0
  73. package/_src/client/fetch.ts +253 -0
  74. package/_src/client.ts +7 -0
  75. package/_src/faker.ts +32 -0
  76. package/_src/ids.ts +35 -0
  77. package/_src/index.ts +4 -0
  78. package/_src/refinements.ts +92 -0
  79. package/_src/schema/_schema.ts.bak +208 -0
  80. package/_src/schema/api/date.ts.bak +78 -0
  81. package/_src/schema/api.ts.bak +20 -0
  82. package/_src/schema/overrides.ts.bak +76 -0
  83. package/_src/schema/shared.ts.bak +334 -0
  84. package/_src/schema.test.ts +3 -0
  85. package/_src/schema.ts +37 -0
  86. package/_src/service.ts +119 -0
  87. package/_src/utils.ts +1 -0
  88. package/dist/Config/SecretURL.d.ts +82 -0
  89. package/dist/Config/SecretURL.d.ts.map +1 -0
  90. package/dist/Config/SecretURL.js +49 -0
  91. package/dist/Config/internal/configSecretURL.d.ts +24 -0
  92. package/dist/Config/internal/configSecretURL.d.ts.map +1 -0
  93. package/dist/Config/internal/configSecretURL.js +75 -0
  94. package/dist/Inputify.type.d.ts +10 -0
  95. package/dist/Inputify.type.d.ts.map +1 -0
  96. package/dist/Inputify.type.js +2 -0
  97. package/dist/Operations.d.ts +170 -0
  98. package/dist/Operations.d.ts.map +1 -0
  99. package/dist/Operations.js +87 -0
  100. package/dist/Pure.d.ts +169 -0
  101. package/dist/Pure.d.ts.map +1 -0
  102. package/dist/Pure.js +167 -0
  103. package/dist/Request.d.ts +49 -0
  104. package/dist/Request.d.ts.map +1 -0
  105. package/dist/Request.js +58 -0
  106. package/dist/Widen.type.d.ts +19 -0
  107. package/dist/Widen.type.d.ts.map +1 -0
  108. package/dist/Widen.type.js +2 -0
  109. package/dist/_ext/date.d.ts +71 -0
  110. package/dist/_ext/date.d.ts.map +1 -0
  111. package/dist/_ext/date.js +58 -0
  112. package/dist/_ext/misc.d.ts +77 -0
  113. package/dist/_ext/misc.d.ts.map +1 -0
  114. package/dist/_ext/misc.js +98 -0
  115. package/dist/_global.d.ts +70 -0
  116. package/dist/_global.d.ts.map +1 -0
  117. package/dist/_global.ext.d.ts +3 -0
  118. package/dist/_global.ext.d.ts.map +1 -0
  119. package/dist/_global.ext.js +4 -0
  120. package/dist/_global.js +76 -0
  121. package/dist/_global.schema.d.ts +6 -0
  122. package/dist/_global.schema.d.ts.map +1 -0
  123. package/dist/_global.schema.js +6 -0
  124. package/dist/client/QueryResult.d.ts +85 -0
  125. package/dist/client/QueryResult.d.ts.map +1 -0
  126. package/dist/client/QueryResult.js +85 -0
  127. package/dist/client/clientFor.d.ts +44 -0
  128. package/dist/client/clientFor.d.ts.map +1 -0
  129. package/dist/client/clientFor.js +144 -0
  130. package/dist/client/config.d.ts +14 -0
  131. package/dist/client/config.d.ts.map +1 -0
  132. package/dist/client/config.js +11 -0
  133. package/dist/client/errors.d.ts +206 -0
  134. package/dist/client/errors.d.ts.map +1 -0
  135. package/dist/client/errors.js +130 -0
  136. package/dist/client/fetch.d.ts +61 -0
  137. package/dist/client/fetch.d.ts.map +1 -0
  138. package/dist/client/fetch.js +127 -0
  139. package/dist/client.d.ts +6 -0
  140. package/dist/client.d.ts.map +1 -0
  141. package/dist/client.js +7 -0
  142. package/dist/faker.d.ts +7 -0
  143. package/dist/faker.d.ts.map +1 -0
  144. package/dist/faker.js +24 -0
  145. package/dist/ids.d.ts +32 -0
  146. package/dist/ids.d.ts.map +1 -0
  147. package/dist/ids.js +17 -0
  148. package/dist/index.d.ts +4 -0
  149. package/dist/index.d.ts.map +1 -0
  150. package/dist/index.js +4 -0
  151. package/dist/refinements.d.ts +57 -0
  152. package/dist/refinements.d.ts.map +1 -0
  153. package/dist/refinements.js +85 -0
  154. package/dist/schema.d.ts +7 -0
  155. package/dist/schema.d.ts.map +1 -0
  156. package/dist/schema.js +22 -0
  157. package/dist/schema.test.d.ts.map +1 -0
  158. package/dist/service.d.ts +47 -0
  159. package/dist/service.d.ts.map +1 -0
  160. package/dist/service.js +83 -0
  161. package/dist/utils.d.ts +2 -0
  162. package/dist/utils.d.ts.map +1 -0
  163. package/dist/utils.js +2 -0
  164. package/package.json +315 -0
  165. package/tsconfig.json +114 -0
  166. package/tsconfig.json.bak +47 -0
  167. package/tsplus.config.json +7 -0
  168. package/vitest.config.ts +5 -0
  169. package/wallaby.cjs +1 -0
@@ -0,0 +1,75 @@
1
+ import * as Chunk from "effect/Chunk";
2
+ import * as EQ from "effect/Equal";
3
+ import { pipe } from "effect/Function";
4
+ import * as Hash from "effect/Hash";
5
+ import { SecretTypeId } from "effect/Secret";
6
+ /** @internal */
7
+ const SecretURLSymbolKey = "effect/Secret"; // "effect-app/COnfigSecretURL"
8
+ /** @internal */
9
+ export const proto = {
10
+ [SecretTypeId]: SecretTypeId,
11
+ [Hash.symbol]() {
12
+ return pipe(Hash.hash(SecretURLSymbolKey), Hash.combine(Hash.hash(this.raw)));
13
+ },
14
+ [EQ.symbol](that) {
15
+ return isSecretURL(that) && EQ.equals(this.raw, that.raw);
16
+ }
17
+ };
18
+ /** @internal */
19
+ export const isSecretURL = (u) => {
20
+ return typeof u === "object" && u != null && SecretTypeId in u;
21
+ };
22
+ /** @internal */
23
+ export const make = (bytes) => {
24
+ const secret = Object.create(proto);
25
+ let protocol = "unknown";
26
+ try {
27
+ const url = new URL(bytes.map((byte) => String.fromCharCode(byte)).join(""));
28
+ protocol = url.protocol.substring(0, url.protocol.length - 1);
29
+ }
30
+ catch {
31
+ const matches = protocol.match(/^([^:]+):\/\//);
32
+ if (matches !== null) {
33
+ protocol = matches[1];
34
+ }
35
+ }
36
+ Object.defineProperty(secret, "toJSON", {
37
+ enumerable: false,
38
+ value() {
39
+ return ({
40
+ _tag: "SecretURL",
41
+ protocol
42
+ });
43
+ }
44
+ });
45
+ Object.defineProperty(secret, "toString", {
46
+ enumerable: false,
47
+ value() {
48
+ return `SecretURL(${protocol}://<redacted>)`;
49
+ }
50
+ });
51
+ Object.defineProperty(secret, "raw", {
52
+ enumerable: false,
53
+ value: bytes
54
+ });
55
+ return secret;
56
+ };
57
+ /** @internal */
58
+ export const fromChunk = (chunk) => {
59
+ return make(Chunk.toReadonlyArray(chunk).map((char) => char.charCodeAt(0)));
60
+ };
61
+ /** @internal */
62
+ export const fromString = (text) => {
63
+ return make(text.split("").map((char) => char.charCodeAt(0)));
64
+ };
65
+ /** @internal */
66
+ export const value = (self) => {
67
+ return self.raw.map((byte) => String.fromCharCode(byte)).join("");
68
+ };
69
+ /** @internal */
70
+ export const unsafeWipe = (self) => {
71
+ for (let i = 0; i < self.raw.length; i++) {
72
+ self.raw[i] = 0;
73
+ }
74
+ };
75
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29uZmlnU2VjcmV0VVJMLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vX3NyYy9Db25maWcvaW50ZXJuYWwvY29uZmlnU2VjcmV0VVJMLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxLQUFLLE1BQU0sY0FBYyxDQUFBO0FBQ3JDLE9BQU8sS0FBSyxFQUFFLE1BQU0sY0FBYyxDQUFBO0FBQ2xDLE9BQU8sRUFBRSxJQUFJLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQTtBQUN0QyxPQUFPLEtBQUssSUFBSSxNQUFNLGFBQWEsQ0FBQTtBQUNuQyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sZUFBZSxDQUFBO0FBRzVDLGdCQUFnQjtBQUNoQixNQUFNLGtCQUFrQixHQUFHLGVBQWUsQ0FBQSxDQUFDLCtCQUErQjtBQUUxRSxnQkFBZ0I7QUFDaEIsTUFBTSxDQUFDLE1BQU0sS0FBSyxHQUFHO0lBQ25CLENBQUMsWUFBWSxDQUFDLEVBQUUsWUFBWTtJQUM1QixDQUFDLElBQUksQ0FBQyxNQUFNLENBQUM7UUFDWCxPQUFPLElBQUksQ0FDVCxJQUFJLENBQUMsSUFBSSxDQUFDLGtCQUFrQixDQUFDLEVBQzdCLElBQUksQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FDbEMsQ0FBQTtJQUNILENBQUM7SUFDRCxDQUFDLEVBQUUsQ0FBQyxNQUFNLENBQUMsQ0FBNEIsSUFBYTtRQUNsRCxPQUFPLFdBQVcsQ0FBQyxJQUFJLENBQUMsSUFBSSxBQW5CcEIsRUFBRSxRQW1CK0IsSUFBSSxDQUFDLEdBQUcsRUFBRSxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUE7SUFDOUQsQ0FBQztDQUNGLENBQUE7QUFFRCxnQkFBZ0I7QUFDaEIsTUFBTSxDQUFDLE1BQU0sV0FBVyxHQUFHLENBQUMsQ0FBVSxFQUE0QixFQUFFO0lBQ2xFLE9BQU8sT0FBTyxDQUFDLEtBQUssUUFBUSxJQUFJLENBQUMsSUFBSSxJQUFJLElBQUksWUFBWSxJQUFJLENBQUMsQ0FBQTtBQUNoRSxDQUFDLENBQUE7QUFFRCxnQkFBZ0I7QUFDaEIsTUFBTSxDQUFDLE1BQU0sSUFBSSxHQUFHLENBQUMsS0FBb0IsRUFBdUIsRUFBRTtJQUNoRSxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFBO0lBQ25DLElBQUksUUFBUSxHQUFHLFNBQVMsQ0FBQTtJQUN4QixJQUFJLENBQUM7UUFDSCxNQUFNLEdBQUcsR0FBRyxJQUFJLEdBQUcsQ0FBQyxLQUFLLENBQUMsR0FBRyxDQUFDLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUE7UUFDNUUsUUFBUSxHQUFHLEdBQUcsQ0FBQyxRQUFRLENBQUMsU0FBUyxDQUFDLENBQUMsRUFBRSxHQUFHLENBQUMsUUFBUSxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsQ0FBQTtJQUMvRCxDQUFDO0lBQUMsTUFBTSxDQUFDO1FBQ1AsTUFBTSxPQUFPLEdBQUcsUUFBUSxDQUFDLEtBQUssQ0FBQyxlQUFlLENBQUMsQ0FBQTtRQUMvQyxJQUFJLE9BQU8sS0FBSyxJQUFJLEVBQUUsQ0FBQztZQUNyQixRQUFRLEdBQUcsT0FBTyxDQUFDLENBQUMsQ0FBRSxDQUFBO1FBQ3hCLENBQUM7SUFDSCxDQUFDO0lBQ0QsTUFBTSxDQUFDLGNBQWMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxFQUFFO1FBQ3RDLFVBQVUsRUFBRSxLQUFLO1FBQ2pCLEtBQUs7WUFDSCxPQUFPLENBQUM7Z0JBQ04sSUFBSSxFQUFFLFdBQVc7Z0JBQ2pCLFFBQVE7YUFDVCxDQUFDLENBQUE7UUFDSixDQUFDO0tBQ0YsQ0FBQyxDQUFBO0lBQ0YsTUFBTSxDQUFDLGNBQWMsQ0FBQyxNQUFNLEVBQUUsVUFBVSxFQUFFO1FBQ3hDLFVBQVUsRUFBRSxLQUFLO1FBQ2pCLEtBQUs7WUFDSCxPQUFPLGFBQWEsUUFBUSxnQkFBZ0IsQ0FBQTtRQUM5QyxDQUFDO0tBQ0YsQ0FBQyxDQUFBO0lBQ0YsTUFBTSxDQUFDLGNBQWMsQ0FBQyxNQUFNLEVBQUUsS0FBSyxFQUFFO1FBQ25DLFVBQVUsRUFBRSxLQUFLO1FBQ2pCLEtBQUssRUFBRSxLQUFLO0tBQ2IsQ0FBQyxDQUFBO0lBQ0YsT0FBTyxNQUFNLENBQUE7QUFDZixDQUFDLENBQUE7QUFFRCxnQkFBZ0I7QUFDaEIsTUFBTSxDQUFDLE1BQU0sU0FBUyxHQUFHLENBQUMsS0FBMEIsRUFBdUIsRUFBRTtJQUMzRSxPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsZUFBZSxDQUFDLEtBQUssQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7QUFDN0UsQ0FBQyxDQUFBO0FBRUQsZ0JBQWdCO0FBQ2hCLE1BQU0sQ0FBQyxNQUFNLFVBQVUsR0FBRyxDQUFDLElBQVksRUFBdUIsRUFBRTtJQUM5RCxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLElBQUksRUFBRSxFQUFFLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUE7QUFDL0QsQ0FBQyxDQUFBO0FBRUQsZ0JBQWdCO0FBQ2hCLE1BQU0sQ0FBQyxNQUFNLEtBQUssR0FBRyxDQUFDLElBQXlCLEVBQVUsRUFBRTtJQUN6RCxPQUFPLElBQUksQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUMsSUFBSSxFQUFFLEVBQUUsQ0FBQyxNQUFNLENBQUMsWUFBWSxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLEVBQUUsQ0FBQyxDQUFBO0FBQ25FLENBQUMsQ0FBQTtBQUVELGdCQUFnQjtBQUNoQixNQUFNLENBQUMsTUFBTSxVQUFVLEdBQUcsQ0FBQyxJQUF5QixFQUFRLEVBQUU7SUFDNUQsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsTUFBTSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7UUFDekMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUE7SUFDakIsQ0FBQztBQUNILENBQUMsQ0FBQSJ9
@@ -0,0 +1,10 @@
1
+ import type { BuiltInObject } from "@effect-app/core/utils";
2
+ import type { Primitive } from "./Widen.type.js";
3
+ export type Inputify<T> = Date extends T ? string extends T ? Date | null : Date | null : [T] extends [BuiltInObject] | [Primitive] ? T : [T] extends [Array<unknown>] ? {
4
+ [K in keyof T]: Inputify<T[K]>;
5
+ } : [T] extends [ReadonlyArray<unknown>] ? {
6
+ [K in keyof T]: Inputify<T[K]>;
7
+ } : [T] extends [object] ? {
8
+ [K in keyof T]: Inputify<T[K]>;
9
+ } : T;
10
+ //# sourceMappingURL=Inputify.type.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Inputify.type.d.ts","sourceRoot":"","sources":["../_src/Inputify.type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAE3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAGhD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,GAAG,MAAM,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GACrE,IAAI,GAAG,IAAI,GACX,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAC7C,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACjE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAEzE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACzD,CAAC,CAAA"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiSW5wdXRpZnkudHlwZS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL19zcmMvSW5wdXRpZnkudHlwZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=
@@ -0,0 +1,170 @@
1
+ import { StringId, useClassFeaturesForSchema, ExtendedClass, NonNegativeInt, ExtendedTaggedClass, nullable, NonEmptyString2k, Schema } from "effect-app/schema";
2
+ import * as S from "./schema.js";
3
+ export type OperationId = StringId;
4
+ export declare const OperationId: S.WithDefaults<S.Schema<string & S.StringIdBrand, string, never> & {
5
+ make: () => S.StringId;
6
+ withDefault: S.Schema<string & S.StringIdBrand, string, never> & S.ConstructorPropertyDescriptor<string & S.StringIdBrand, string, never>;
7
+ }> & S.Schema<string & S.StringIdBrand, string, never> & {
8
+ make: () => S.StringId;
9
+ withDefault: S.Schema<string & S.StringIdBrand, string, never> & S.ConstructorPropertyDescriptor<string & S.StringIdBrand, string, never>;
10
+ };
11
+ declare const OperationProgress_base: S.EnhancedClass<{
12
+ readonly completed: number & S.NonNegativeIntBrand;
13
+ readonly total: number & S.NonNegativeIntBrand;
14
+ }, OperationProgress.From, never, {
15
+ readonly completed: number & S.NonNegativeIntBrand;
16
+ readonly total: number & S.NonNegativeIntBrand;
17
+ }, OperationProgress, {
18
+ completed: S.WithDefaults<S.Schema<number & S.NonNegativeIntBrand, number, never>> & S.Schema<number & S.NonNegativeIntBrand, number, never> & {
19
+ withDefault: S.WithDefaults<S.Schema<number & S.NonNegativeIntBrand, number, never>> & S.Schema<number & S.NonNegativeIntBrand, number, never> & S.ConstructorPropertyDescriptor<number & S.NonNegativeIntBrand, number, never>;
20
+ };
21
+ total: S.WithDefaults<S.Schema<number & S.NonNegativeIntBrand, number, never>> & S.Schema<number & S.NonNegativeIntBrand, number, never> & {
22
+ withDefault: S.WithDefaults<S.Schema<number & S.NonNegativeIntBrand, number, never>> & S.Schema<number & S.NonNegativeIntBrand, number, never> & S.ConstructorPropertyDescriptor<number & S.NonNegativeIntBrand, number, never>;
23
+ };
24
+ }, {}, {}> & {
25
+ readonly structFrom: S.Schema<{
26
+ readonly completed: number & S.NonNegativeIntBrand;
27
+ readonly total: number & S.NonNegativeIntBrand;
28
+ }, {
29
+ readonly completed: number;
30
+ readonly total: number;
31
+ }, never>;
32
+ };
33
+ export declare class OperationProgress extends OperationProgress_base {
34
+ }
35
+ declare const Success_base: S.EnhancedClass<{
36
+ readonly _tag: "Success";
37
+ readonly message: (string & S.NonEmptyString2kBrand) | null;
38
+ }, Success.From, never, {
39
+ readonly message?: (string & S.NonEmptyString2kBrand) | null;
40
+ }, Success, {
41
+ message: S.Schema<(string & S.NonEmptyString2kBrand) | null, string | null, never> & S.ConstructorPropertyDescriptor<(string & S.NonEmptyString2kBrand) | null, string | null, never>;
42
+ }, {}, {}> & {
43
+ readonly structFrom: S.Schema<{
44
+ readonly _tag: "Success";
45
+ readonly message: (string & S.NonEmptyString2kBrand) | null;
46
+ }, {
47
+ readonly _tag: "Success";
48
+ readonly message: string | null;
49
+ }, never>;
50
+ };
51
+ export declare class Success extends Success_base {
52
+ }
53
+ declare const Failure_base: S.EnhancedClass<{
54
+ readonly _tag: "Failure";
55
+ readonly message: (string & S.NonEmptyString2kBrand) | null;
56
+ }, Failure.From, never, {
57
+ readonly message?: (string & S.NonEmptyString2kBrand) | null;
58
+ }, Failure, {
59
+ message: S.Schema<(string & S.NonEmptyString2kBrand) | null, string | null, never> & S.ConstructorPropertyDescriptor<(string & S.NonEmptyString2kBrand) | null, string | null, never>;
60
+ }, {}, {}> & {
61
+ readonly structFrom: S.Schema<{
62
+ readonly _tag: "Failure";
63
+ readonly message: (string & S.NonEmptyString2kBrand) | null;
64
+ }, {
65
+ readonly _tag: "Failure";
66
+ readonly message: string | null;
67
+ }, never>;
68
+ };
69
+ export declare class Failure extends Failure_base {
70
+ }
71
+ export declare const OperationResult: S.Schema<Success | Failure, Success.From | Failure.From, never>;
72
+ export type OperationResult = Schema.To<typeof OperationResult>;
73
+ declare const Operation_base: S.EnhancedClass<{
74
+ readonly id: string & S.StringIdBrand;
75
+ readonly createdAt: Date;
76
+ readonly updatedAt: Date | null;
77
+ readonly progress?: OperationProgress | undefined;
78
+ readonly result?: Success | Failure | undefined;
79
+ }, Operation.From, never, {
80
+ readonly progress?: OperationProgress | undefined;
81
+ readonly result?: Success | Failure | undefined;
82
+ readonly id?: string & S.StringIdBrand;
83
+ readonly createdAt?: Date;
84
+ readonly updatedAt?: Date | null;
85
+ }, Operation, {
86
+ id: S.WithDefaults<S.Schema<string & S.StringIdBrand, string, never> & {
87
+ make: () => S.StringId;
88
+ withDefault: S.Schema<string & S.StringIdBrand, string, never> & S.ConstructorPropertyDescriptor<string & S.StringIdBrand, string, never>;
89
+ }> & S.Schema<string & S.StringIdBrand, string, never> & {
90
+ make: () => S.StringId;
91
+ withDefault: S.Schema<string & S.StringIdBrand, string, never> & S.ConstructorPropertyDescriptor<string & S.StringIdBrand, string, never>;
92
+ };
93
+ progress: S.PropertySignature<OperationProgress.From | undefined, true, OperationProgress | undefined, true, never>;
94
+ result: S.PropertySignature<Success.From | Failure.From | undefined, true, Success | Failure | undefined, true, never>;
95
+ createdAt: S.Schema<Date, string, never> & S.ConstructorPropertyDescriptor<Date, string, never>;
96
+ updatedAt: S.Schema<Date | null, string | null, never> & S.ConstructorPropertyDescriptor<Date | null, string | null, never>;
97
+ }, {}, {}> & {
98
+ readonly structFrom: S.Schema<{
99
+ readonly id: string & S.StringIdBrand;
100
+ readonly createdAt: Date;
101
+ readonly updatedAt: Date | null;
102
+ readonly progress?: OperationProgress | undefined;
103
+ readonly result?: Success | Failure | undefined;
104
+ }, {
105
+ readonly id: string;
106
+ readonly createdAt: string;
107
+ readonly updatedAt: string | null;
108
+ readonly progress?: OperationProgress.From | undefined;
109
+ readonly result?: Success.From | Failure.From | undefined;
110
+ }, never>;
111
+ };
112
+ export declare class Operation extends Operation_base {
113
+ }
114
+ export declare namespace OperationProgress {
115
+ const From_base: S.FromClass<{
116
+ readonly completed: number;
117
+ readonly total: number;
118
+ }>;
119
+ /**
120
+ * @tsplus type OperationProgress.From
121
+ * @tsplus companion OperationProgress.From/Ops
122
+ */
123
+ export class From extends From_base {
124
+ }
125
+ export {};
126
+ }
127
+ export declare namespace Success {
128
+ const From_base_1: S.FromClass<{
129
+ readonly _tag: "Success";
130
+ readonly message: string | null;
131
+ }>;
132
+ /**
133
+ * @tsplus type Success.From
134
+ * @tsplus companion Success.From/Ops
135
+ */
136
+ export class From extends From_base_1 {
137
+ }
138
+ export {};
139
+ }
140
+ export declare namespace Failure {
141
+ const From_base_2: S.FromClass<{
142
+ readonly _tag: "Failure";
143
+ readonly message: string | null;
144
+ }>;
145
+ /**
146
+ * @tsplus type Failure.From
147
+ * @tsplus companion Failure.From/Ops
148
+ */
149
+ export class From extends From_base_2 {
150
+ }
151
+ export {};
152
+ }
153
+ export declare namespace Operation {
154
+ const From_base_3: S.FromClass<{
155
+ readonly id: string;
156
+ readonly createdAt: string;
157
+ readonly updatedAt: string | null;
158
+ readonly progress?: OperationProgress.From | undefined;
159
+ readonly result?: Success.From | Failure.From | undefined;
160
+ }>;
161
+ /**
162
+ * @tsplus type Operation.From
163
+ * @tsplus companion Operation.From/Ops
164
+ */
165
+ export class From extends From_base_3 {
166
+ }
167
+ export {};
168
+ }
169
+ export {};
170
+ //# sourceMappingURL=Operations.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Operations.d.ts","sourceRoot":"","sources":["../_src/Operations.ts"],"names":[],"mappings":";AAAA,OAAO,KAAK,CAAC,MAAM,aAAa,CAAA;AAEhC,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAA;AAClC,eAAO,MAAM,WAAW;;;;;;CAAW,CAAA;;;;;;;;;;;;;;;;;;;;;;;AAEnC,qBACa,iBAAkB,SAAQ,sBAMrC;CAAG;;;;;;;;;;;;;;;;;AAEL,qBACa,OAAQ,SAAQ,YAE3B;CAAG;;;;;;;;;;;;;;;;;AAEL,qBACa,OAAQ,SAAQ,YAE3B;CAAG;AAEL,eAAO,MAAM,eAAe,iEAA4B,CAAA;AACxD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,OAAO,eAAe,CAAC,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,qBACa,SAAU,SAAQ,cAM7B;CAAG;AAKL,yBAAiB,iBAAiB,CAAC;;;;;IACjC;;;OAGG;IACH,MAAM,OAAO,IAAK,SAAQ,SAAuC;KAAG;;CACrE;AACD,yBAAiB,OAAO,CAAC;;;;;IACvB;;;OAGG;IACH,MAAM,OAAO,IAAK,SAAQ,WAA6B;KAAG;;CAC3D;AACD,yBAAiB,OAAO,CAAC;;;;;IACvB;;;OAGG;IACH,MAAM,OAAO,IAAK,SAAQ,WAA6B;KAAG;;CAC3D;AACD,yBAAiB,SAAS,CAAC;;;;;;;;IACzB;;;OAGG;IACH,MAAM,OAAO,IAAK,SAAQ,WAA+B;KAAG;;CAC7D"}
@@ -0,0 +1,87 @@
1
+ var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
2
+ var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
+ if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
+ else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
+ return c > 3 && r && Object.defineProperty(target, key, r), r;
6
+ };
7
+ import * as tsplus_module_1 from "effect-app/schema";
8
+ import * as S from "./schema.js";
9
+ export const OperationId = tsplus_module_1.StringId;
10
+ let OperationProgress = class OperationProgress extends tsplus_module_1.ExtendedClass()({
11
+ completed: tsplus_module_1.NonNegativeInt,
12
+ total: tsplus_module_1.NonNegativeInt
13
+ }) {
14
+ };
15
+ OperationProgress = __decorate([
16
+ tsplus_module_1.useClassFeaturesForSchema
17
+ ], OperationProgress);
18
+ export { OperationProgress };
19
+ let Success = class Success extends tsplus_module_1.ExtendedTaggedClass()("Success", {
20
+ message: tsplus_module_1.nullable(tsplus_module_1.NonEmptyString2k).withDefault
21
+ }) {
22
+ };
23
+ Success = __decorate([
24
+ tsplus_module_1.useClassFeaturesForSchema
25
+ ], Success);
26
+ export { Success };
27
+ let Failure = class Failure extends tsplus_module_1.ExtendedTaggedClass()("Failure", {
28
+ message: tsplus_module_1.nullable(tsplus_module_1.NonEmptyString2k).withDefault
29
+ }) {
30
+ };
31
+ Failure = __decorate([
32
+ tsplus_module_1.useClassFeaturesForSchema
33
+ ], Failure);
34
+ export { Failure };
35
+ export const OperationResult = S.union(Success, Failure);
36
+ let Operation = class Operation extends tsplus_module_1.ExtendedClass()({
37
+ id: OperationId,
38
+ progress: S.optional(OperationProgress),
39
+ result: S.optional(OperationResult),
40
+ createdAt: S.Date.withDefault,
41
+ updatedAt: tsplus_module_1.nullable(S.Date).withDefault
42
+ }) {
43
+ };
44
+ Operation = __decorate([
45
+ tsplus_module_1.useClassFeaturesForSchema
46
+ ], Operation);
47
+ export { Operation };
48
+ // codegen:start {preset: model}
49
+ //
50
+ /* eslint-disable */
51
+ (function (OperationProgress) {
52
+ /**
53
+ * @tsplus type OperationProgress.From
54
+ * @tsplus companion OperationProgress.From/Ops
55
+ */
56
+ class From extends S.FromClass() {
57
+ }
58
+ OperationProgress.From = From;
59
+ })(OperationProgress || (OperationProgress = {}));
60
+ (function (Success) {
61
+ /**
62
+ * @tsplus type Success.From
63
+ * @tsplus companion Success.From/Ops
64
+ */
65
+ class From extends S.FromClass() {
66
+ }
67
+ Success.From = From;
68
+ })(Success || (Success = {}));
69
+ (function (Failure) {
70
+ /**
71
+ * @tsplus type Failure.From
72
+ * @tsplus companion Failure.From/Ops
73
+ */
74
+ class From extends S.FromClass() {
75
+ }
76
+ Failure.From = From;
77
+ })(Failure || (Failure = {}));
78
+ (function (Operation) {
79
+ /**
80
+ * @tsplus type Operation.From
81
+ * @tsplus companion Operation.From/Ops
82
+ */
83
+ class From extends S.FromClass() {
84
+ }
85
+ Operation.From = From;
86
+ })(Operation || (Operation = {}));
87
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiT3BlcmF0aW9ucy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL19zcmMvT3BlcmF0aW9ucy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiOzs7Ozs7O0FBQUEsT0FBTyxLQUFLLENBQUMsTUFBTSxhQUFhLENBQUE7QUFHaEMsTUFBTSxDQUFDLE1BQU0sV0FBVyxtQkFBRyxRQUFRLENBQUE7QUFHNUIsSUFBTSxpQkFBaUIsR0FBdkIsTUFBTSxpQkFBa0IsU0FBUSxnQkFBQSxhQUFhLEVBR2pELENBQUM7SUFDRixTQUFTLGtCQUFFLGNBQWM7SUFDekIsS0FBSyxrQkFBRSxjQUFjO0NBQ3RCLENBQUM7Q0FBRyxDQUFBO0FBTlEsaUJBQWlCO29CQUQ3Qix5QkFBeUI7R0FDYixpQkFBaUIsQ0FNekI7O0FBR0UsSUFBTSxPQUFPLEdBQWIsTUFBTSxPQUFRLFNBQVEsZ0JBQUEsbUJBQW1CLEVBQXlCLENBQUMsU0FBUyxFQUFFO0lBQ25GLE9BQU8sRUFBRSxnQkFBQSxRQUFRLGlCQUFDLGdCQUFnQixDQUFDLENBQUMsV0FBVztDQUNoRCxDQUFDO0NBQUcsQ0FBQTtBQUZRLE9BQU87b0JBRG5CLHlCQUF5QjtHQUNiLE9BQU8sQ0FFZjs7QUFHRSxJQUFNLE9BQU8sR0FBYixNQUFNLE9BQVEsU0FBUSxnQkFBQSxtQkFBbUIsRUFBeUIsQ0FBQyxTQUFTLEVBQUU7SUFDbkYsT0FBTyxFQUFFLGdCQUFBLFFBQVEsaUJBQUMsZ0JBQWdCLENBQUMsQ0FBQyxXQUFXO0NBQ2hELENBQUM7Q0FBRyxDQUFBO0FBRlEsT0FBTztvQkFEbkIseUJBQXlCO0dBQ2IsT0FBTyxDQUVmOztBQUVMLE1BQU0sQ0FBQyxNQUFNLGVBQWUsR0FBRyxDQUFDLENBQUMsS0FBSyxDQUFDLE9BQU8sRUFBRSxPQUFPLENBQUMsQ0FBQTtBQUlqRCxJQUFNLFNBQVMsR0FBZixNQUFNLFNBQVUsU0FBUSxnQkFBQSxhQUFhLEVBQTZCLENBQUM7SUFDeEUsRUFBRSxFQUFFLFdBQVc7SUFDZixRQUFRLEVBQUUsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxpQkFBaUIsQ0FBQztJQUN2QyxNQUFNLEVBQUUsQ0FBQyxDQUFDLFFBQVEsQ0FBQyxlQUFlLENBQUM7SUFDbkMsU0FBUyxFQUFFLENBQUMsQ0FBQyxJQUFJLENBQUMsV0FBVztJQUM3QixTQUFTLEVBQUUsZ0JBQUEsUUFBUSxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxXQUFXO0NBQ3hDLENBQUM7Q0FBRyxDQUFBO0FBTlEsU0FBUztvQkFEckIseUJBQXlCO0dBQ2IsU0FBUyxDQU1qQjs7QUFFTCxnQ0FBZ0M7QUFDaEMsRUFBRTtBQUNGLG9CQUFvQjtBQUNwQixXQUFpQixpQkFBaUI7SUFDaEM7OztPQUdHO0lBQ0gsTUFBYSxJQUFLLFNBQVEsQ0FBQyxDQUFDLFNBQVMsRUFBNEI7S0FBRztJQUF2RCxzQkFBSSxPQUFtRCxDQUFBO0FBQ3RFLENBQUMsRUFOZ0IsaUJBQWlCLEtBQWpCLGlCQUFpQixRQU1qQztBQUNELFdBQWlCLE9BQU87SUFDdEI7OztPQUdHO0lBQ0gsTUFBYSxJQUFLLFNBQVEsQ0FBQyxDQUFDLFNBQVMsRUFBa0I7S0FBRztJQUE3QyxZQUFJLE9BQXlDLENBQUE7QUFDNUQsQ0FBQyxFQU5nQixPQUFPLEtBQVAsT0FBTyxRQU12QjtBQUNELFdBQWlCLE9BQU87SUFDdEI7OztPQUdHO0lBQ0gsTUFBYSxJQUFLLFNBQVEsQ0FBQyxDQUFDLFNBQVMsRUFBa0I7S0FBRztJQUE3QyxZQUFJLE9BQXlDLENBQUE7QUFDNUQsQ0FBQyxFQU5nQixPQUFPLEtBQVAsT0FBTyxRQU12QjtBQUNELFdBQWlCLFNBQVM7SUFDeEI7OztPQUdHO0lBQ0gsTUFBYSxJQUFLLFNBQVEsQ0FBQyxDQUFDLFNBQVMsRUFBb0I7S0FBRztJQUEvQyxjQUFJLE9BQTJDLENBQUE7QUFDOUQsQ0FBQyxFQU5nQixTQUFTLEtBQVQsU0FBUyxRQU16QiJ9
package/dist/Pure.d.ts ADDED
@@ -0,0 +1,169 @@
1
+ import { Chunk } from "effect/Chunk";
2
+ import { Effect } from "effect/Effect";
3
+ import { Tag } from "effect/Context";
4
+ import * as Either from "effect/Either";
5
+ import type { ServiceTagged } from "./service.js";
6
+ declare const S1: unique symbol;
7
+ declare const S2: unique symbol;
8
+ declare const W: unique symbol;
9
+ /**
10
+ * @tsplus type PureEnv
11
+ */
12
+ export interface PureState<S, S2 = S> {
13
+ readonly [S1]: (_: S) => void;
14
+ readonly [S2]: () => S2;
15
+ state: S2;
16
+ }
17
+ /**
18
+ * @tsplus type PureEnv
19
+ */
20
+ export interface PureLog<W> {
21
+ readonly [W]: () => W;
22
+ log: Chunk<W>;
23
+ }
24
+ /**
25
+ * @tsplus type PureEnv
26
+ */
27
+ export interface PureEnv<W, S, S2 = S> extends PureState<S, S2>, PureLog<W> {
28
+ }
29
+ export interface PureEnvTest extends PureState<any>, PureLog<any> {
30
+ }
31
+ export declare function makePureEnv<W, S, S2 = S>(s: S2): PureEnv<W, S, S2>;
32
+ /**
33
+ * @tsplus unify PureEnv
34
+ */
35
+ export declare function unifyPureEnv<X extends PureEnv<any, any, any>>(self: X): PureEnv<[
36
+ X
37
+ ] extends [{
38
+ [W]: () => infer W;
39
+ }] ? W : never, [
40
+ X
41
+ ] extends [{
42
+ [S1]: (_: infer S) => void;
43
+ }] ? S : never, [
44
+ X
45
+ ] extends [{
46
+ [S2]: () => infer S2;
47
+ }] ? S2 : never>;
48
+ /**
49
+ * @tsplus type Pure
50
+ */
51
+ export type Pure<W, S, S2, R, E, A> = Effect<A, E, PureEnvEnv<W, S, S2> | R>;
52
+ /**
53
+ * @tsplus static Pure.Ops GMUA_
54
+ * @tsplus location "@effect-app/prelude/Pure"
55
+ */
56
+ export declare function GMUA_<W, S, S2, GR, GE, GA, MR, ME, MA, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, modify: (i: GA) => Pure<W, S, S2, MR, ME, readonly [GA, MA]>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>): Pure<W, S, S2, GR | MR | UR, GE | ME | UE, MA>;
57
+ /**
58
+ * @tsplus static Pure.Ops GMUA
59
+ * @tsplus location "@effect-app/prelude/Pure"
60
+ */
61
+ export declare function GMUA<W, S, S2, GA, MR, ME, MA>(modify: (i: GA) => Pure<W, S, S2, MR, ME, readonly [GA, MA]>): <GR, GE, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>) => Pure<W, S, S2, MR | GR | UR, ME | GE | UE, MA>;
62
+ /**
63
+ * @tsplus static Pure.Ops GMU_
64
+ * @tsplus location "@effect-app/prelude/Pure"
65
+ */
66
+ export declare function GMU_<W, S, S2, GR, GE, GA, MR, ME, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, modify: (i: GA) => Pure<W, S, S2, MR, ME, GA>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>): Pure<W, S, S2, GR | MR | UR, GE | ME | UE, UA>;
67
+ /**
68
+ * @tsplus static Pure.Ops GMU
69
+ * @tsplus location "@effect-app/prelude/Pure"
70
+ */
71
+ export declare function GMU<W, S, S2, GA, MR, ME>(modify: (i: GA) => Pure<W, S, S2, MR, ME, GA>): <GR, GE, UR, UE, UA>(get: Pure<W, S, S2, GR, GE, GA>, update: (i: GA) => Pure<W, S, S2, UR, UE, UA>) => Pure<W, S, S2, MR | GR | UR, ME | GE | UE, UA>;
72
+ export declare const PureEnvEnv: unique symbol;
73
+ export interface PureEnvEnv<W, S, S2> extends ServiceTagged<typeof PureEnvEnv> {
74
+ env: PureEnv<W, S, S2>;
75
+ }
76
+ /**
77
+ * @tsplus static Pure.Ops get
78
+ * @tsplus location "@effect-app/prelude/Pure"
79
+ */
80
+ export declare function get<S>(): Pure<never, S, S, never, never, S>;
81
+ /**
82
+ * @tsplus static Pure.Ops set
83
+ * @tsplus location "@effect-app/prelude/Pure"
84
+ */
85
+ export declare function set<S>(s: S): Pure<never, S, S, never, never, void>;
86
+ export type PureLogT<W> = Pure<W, unknown, never, never, never, void>;
87
+ /**
88
+ * @tsplus static Pure.Ops log
89
+ * @tsplus location "@effect-app/prelude/Pure"
90
+ */
91
+ export declare function log<W>(w: W): PureLogT<W>;
92
+ /**
93
+ * @tsplus static Pure.Ops logMany
94
+ * @tsplus location "@effect-app/prelude/Pure"
95
+ */
96
+ export declare function logMany<W>(w: Iterable<W>): PureLogT<W>;
97
+ /**
98
+ * @tsplus static Pure.Ops runAll
99
+ * @tsplus fluent effect/io/Effect runAll
100
+ * @tsplus location "@effect-app/prelude/Pure"
101
+ */
102
+ export declare function runAll<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<A, E, FixEnv<R, W3, S1, S3>>, s: S4): Effect<readonly [Chunk<W3>, Either.Either<E, readonly [S3, A]>], never, Exclude<R, {
103
+ env: PureEnv<W3, S1, S3>;
104
+ }>>;
105
+ /**
106
+ * @tsplus static Pure.Ops runResult
107
+ * @tsplus fluent effect/io/Effect runResult
108
+ * @tsplus location "@effect-app/prelude/Pure"
109
+ */
110
+ export declare function runResult<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<A, E, FixEnv<R, W3, S1, S3>>, s: S4): import("effect/Effect").Effect<readonly [import("effect/Chunk").Chunk<W3>, Either.Either<E, S3>], never, Exclude<R, {
111
+ env: PureEnv<W3, S1, S3>;
112
+ }>>;
113
+ /**
114
+ * @tsplus static Pure.Ops runTerm
115
+ * @tsplus fluent effect/io/Effect runTerm
116
+ * @tsplus location "@effect-app/prelude/Pure"
117
+ */
118
+ export declare function runTerm<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<A, E, FixEnv<R, W3, S1, S3>>, s: S4): import("effect/Effect").Effect<readonly [S3, W3[], A], E, Exclude<R, {
119
+ env: PureEnv<W3, S1, S3>;
120
+ }>>;
121
+ /**
122
+ * @tsplus static Pure.Ops runTermDiscard
123
+ * @tsplus fluent effect/io/Effect runTermDiscard
124
+ * @tsplus location "@effect-app/prelude/Pure"
125
+ */
126
+ export declare function runTermDiscard<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<A, E, FixEnv<R, W3, S1, S3>>, s: S4): import("effect/Effect").Effect<readonly [S3, W3[]], E, Exclude<R, {
127
+ env: PureEnv<W3, S1, S3>;
128
+ }>>;
129
+ /**
130
+ * @tsplus static Pure.Ops runA
131
+ * @tsplus fluent effect/io/Effect runA
132
+ * @tsplus location "@effect-app/prelude/Pure"
133
+ */
134
+ export declare function runA<R, E, A, W3, S1, S3, S4 extends S1>(self: Effect<A, E, FixEnv<R, W3, S1, S3>>, s: S4): import("effect/Effect").Effect<readonly [import("effect/Chunk").Chunk<W3>, Either.Either<E, A>], never, Exclude<R, {
135
+ env: PureEnv<W3, S1, S3>;
136
+ }>>;
137
+ /**
138
+ * @tsplus static Pure.Ops modifyWith
139
+ * @tsplus location "@effect-app/prelude/Pure"
140
+ */
141
+ export declare function modify<S2, A, S3>(mod: (s: S2) => readonly [S3, A]): Effect<A, never, {
142
+ env: PureEnv<never, S2, S3>;
143
+ }>;
144
+ /**
145
+ * @tsplus static Pure.Ops modifyWithEffect
146
+ * @tsplus location "@effect-app/prelude/Pure"
147
+ */
148
+ export declare function modifyM<W, R, E, A, S2, S3>(mod: (s: S2) => Effect<readonly [S3, A], E, FixEnv<R, W, S2, S3>>): Effect<A, E, FixEnv<R, W, S2, S3>>;
149
+ /**
150
+ * @tsplus static Pure.Ops updateWith
151
+ * @tsplus location "@effect-app/prelude/Pure"
152
+ */
153
+ export declare function update<S2, S3>(upd: (s: S2) => S3): import("effect/Effect").Effect<S3, never, {
154
+ env: PureEnv<never, S2, S3>;
155
+ }>;
156
+ export type FixEnv<R, W, S, S2> = Exclude<R, PureEnvEnv<any, any, any>> | PureEnvEnv<W, S, S2>;
157
+ /**
158
+ * @tsplus static Pure.Ops updateWithEffect
159
+ * @tsplus location "@effect-app/prelude/Pure"
160
+ */
161
+ export declare function updateM<W, R, E, S2, S3>(upd: (s: S2, log: (evt: W) => PureLogT<W>) => Effect<S3, E, FixEnv<R, W, S2, S3>>): Effect<S3, E, FixEnv<R, W, S2, S3>>;
162
+ /**
163
+ * @tsplus type Pure.Ops
164
+ */
165
+ export interface PureOps {
166
+ }
167
+ export declare const Pure: PureOps;
168
+ export {};
169
+ //# sourceMappingURL=Pure.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"Pure.d.ts","sourceRoot":"","sources":["../_src/Pure.ts"],"names":[],"mappings":";;;AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAEjD,QAAA,MAAM,EAAE,eAAW,CAAA;AACnB,QAAA,MAAM,EAAE,eAAW,CAAA;AACnB,QAAA,MAAM,CAAC,eAAW,CAAA;AAElB;;GAEG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC;IAClC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAA;IAC7B,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAA;IAEvB,KAAK,EAAE,EAAE,CAAA;CACV;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC;IACxB,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrB,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;CACd;AAED;;GAEG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAE,SAAQ,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;CAAG;AAE9E,MAAM,WAAW,WAAY,SAAQ,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC;CAAG;AAepE,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAElE;AAED;;GAEG;AAEH,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC3D,IAAI,EAAE,CAAC,GACN,OAAO,CACR;IAAC,CAAC;CAAC,SAAS,CAAC;IAAE,CAAC,CAAC,CAAC,EAAE,MAAM,MAAM,CAAC,CAAA;CAAE,CAAC,GAAG,CAAC,GAAG,KAAK,EAChD;IAAC,CAAC;CAAC,SAAS,CAAC;IAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAA;CAAE,CAAC,GAAG,CAAC,GAAG,KAAK,EACxD;IAAC,CAAC;CAAC,SAAS,CAAC;IAAE,CAAC,EAAE,CAAC,EAAE,MAAM,MAAM,EAAE,CAAA;CAAE,CAAC,GAAG,EAAE,GAAG,KAAK,CACpD,CAGA;AAED;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;;;;;AAO5E,wBAAgB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAChE,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAC/B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAC5D,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAC5C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAEhD;;;;;AAKD,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,6BAElG,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,cACnB,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,oDAEhD;;;;;AAMD,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAC3D,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAC/B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAC7C,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAC5C,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAEhD;;;;;AAKD,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,6BAE9E,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,cACnB,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,oDAEhD;AAOD,eAAO,MAAM,UAAU,eAAW,CAAA;AAClC,MAAM,WAAW,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAE,SAAQ,aAAa,CAAC,OAAO,UAAU,CAAC;IAC5E,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;CACvB;;;;;AAKD,wBAAgB,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAE3D;;;;;AAKD,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAElE;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;;;;;AAKrE,wBAAgB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAExC;;;;;AAKD,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAEtD;;;;;;AAMD,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EACvD,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACzC,CAAC,EAAE,EAAE,GACJ,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE;IAAE,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC,CAkBnH;;;;;;AAMD,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAC1D,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACzC,CAAC,EAAE,EAAE;;IAGN;;;;;;AAMD,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EACxD,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACzC,CAAC,EAAE,EAAE;;IAON;;;;;;AAMD,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAC/D,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACzC,CAAC,EAAE,EAAE;;IAGN;;;;;;AAMD,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EACrD,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EACzC,CAAC,EAAE,EAAE;;IAGN;;;;;AAKD,wBAAgB,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE;IAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;CAAE,CAAC,CAQrH;;;;;AAKD,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACxC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAChE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAKpC;;;;;AAKD,wBAAgB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE;;GAKhD;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,IAC1B,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GACrC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;;;;;AAKxB,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EACrC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,GAChF,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAErC;AA0BD;;GAEG;AACH,MAAM,WAAW,OAAO;CAEvB;AAOD,eAAO,MAAM,IAAI,EAAE,OAElB,CAAA"}