effect-app 4.0.0-beta.20 → 4.0.0-beta.201

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 (221) hide show
  1. package/CHANGELOG.md +888 -0
  2. package/dist/Array.d.ts +1 -1
  3. package/dist/Chunk.d.ts +1 -1
  4. package/dist/Chunk.d.ts.map +1 -1
  5. package/dist/Config/SecretURL.d.ts +1 -1
  6. package/dist/Config/SecretURL.d.ts.map +1 -1
  7. package/dist/Config/SecretURL.js +2 -2
  8. package/dist/Config/internal/configSecretURL.d.ts +1 -1
  9. package/dist/Config/internal/configSecretURL.d.ts.map +1 -1
  10. package/dist/Config.d.ts +7 -0
  11. package/dist/Config.d.ts.map +1 -0
  12. package/dist/Config.js +6 -0
  13. package/dist/ConfigProvider.d.ts +39 -0
  14. package/dist/ConfigProvider.d.ts.map +1 -0
  15. package/dist/ConfigProvider.js +42 -0
  16. package/dist/Context.d.ts +40 -0
  17. package/dist/Context.d.ts.map +1 -0
  18. package/dist/Context.js +67 -0
  19. package/dist/Effect.d.ts +9 -10
  20. package/dist/Effect.d.ts.map +1 -1
  21. package/dist/Effect.js +3 -6
  22. package/dist/Function.d.ts +1 -1
  23. package/dist/Function.d.ts.map +1 -1
  24. package/dist/Inputify.type.d.ts +1 -1
  25. package/dist/Layer.d.ts +7 -6
  26. package/dist/Layer.d.ts.map +1 -1
  27. package/dist/Layer.js +1 -1
  28. package/dist/NonEmptySet.d.ts +1 -1
  29. package/dist/NonEmptySet.d.ts.map +1 -1
  30. package/dist/Option.d.ts +1 -1
  31. package/dist/Option.d.ts.map +1 -1
  32. package/dist/Pure.d.ts +5 -5
  33. package/dist/Pure.d.ts.map +1 -1
  34. package/dist/Pure.js +13 -13
  35. package/dist/Schema/Class.d.ts +66 -20
  36. package/dist/Schema/Class.d.ts.map +1 -1
  37. package/dist/Schema/Class.js +189 -22
  38. package/dist/Schema/FastCheck.d.ts +1 -1
  39. package/dist/Schema/FastCheck.d.ts.map +1 -1
  40. package/dist/Schema/Methods.d.ts +1 -1
  41. package/dist/Schema/SchemaParser.d.ts +5 -0
  42. package/dist/Schema/SchemaParser.d.ts.map +1 -0
  43. package/dist/Schema/SchemaParser.js +6 -0
  44. package/dist/Schema/SpecialJsonSchema.d.ts +33 -0
  45. package/dist/Schema/SpecialJsonSchema.d.ts.map +1 -0
  46. package/dist/Schema/SpecialJsonSchema.js +122 -0
  47. package/dist/Schema/SpecialOpenApi.d.ts +32 -0
  48. package/dist/Schema/SpecialOpenApi.d.ts.map +1 -0
  49. package/dist/Schema/SpecialOpenApi.js +123 -0
  50. package/dist/Schema/brand.d.ts +7 -2
  51. package/dist/Schema/brand.d.ts.map +1 -1
  52. package/dist/Schema/brand.js +1 -1
  53. package/dist/Schema/email.d.ts +1 -1
  54. package/dist/Schema/email.d.ts.map +1 -1
  55. package/dist/Schema/email.js +7 -4
  56. package/dist/Schema/ext.d.ts +117 -45
  57. package/dist/Schema/ext.d.ts.map +1 -1
  58. package/dist/Schema/ext.js +131 -42
  59. package/dist/Schema/moreStrings.d.ts +111 -11
  60. package/dist/Schema/moreStrings.d.ts.map +1 -1
  61. package/dist/Schema/moreStrings.js +14 -15
  62. package/dist/Schema/numbers.d.ts +127 -15
  63. package/dist/Schema/numbers.d.ts.map +1 -1
  64. package/dist/Schema/numbers.js +10 -12
  65. package/dist/Schema/phoneNumber.d.ts +1 -1
  66. package/dist/Schema/phoneNumber.d.ts.map +1 -1
  67. package/dist/Schema/phoneNumber.js +6 -3
  68. package/dist/Schema/schema.d.ts +1 -1
  69. package/dist/Schema/strings.d.ts +37 -5
  70. package/dist/Schema/strings.d.ts.map +1 -1
  71. package/dist/Schema/strings.js +1 -5
  72. package/dist/Schema.d.ts +154 -56
  73. package/dist/Schema.d.ts.map +1 -1
  74. package/dist/Schema.js +131 -64
  75. package/dist/Set.d.ts +1 -1
  76. package/dist/Set.d.ts.map +1 -1
  77. package/dist/TypeTest.d.ts +1 -1
  78. package/dist/Types.d.ts +1 -1
  79. package/dist/Widen.type.d.ts +1 -1
  80. package/dist/_ext/Array.d.ts +1 -1
  81. package/dist/_ext/Array.d.ts.map +1 -1
  82. package/dist/_ext/date.d.ts +1 -1
  83. package/dist/_ext/misc.d.ts +1 -1
  84. package/dist/_ext/ord.ext.d.ts +1 -1
  85. package/dist/_ext/ord.ext.d.ts.map +1 -1
  86. package/dist/builtin.d.ts +1 -1
  87. package/dist/builtin.d.ts.map +1 -1
  88. package/dist/client/InvalidationKeys.d.ts +29 -0
  89. package/dist/client/InvalidationKeys.d.ts.map +1 -0
  90. package/dist/client/InvalidationKeys.js +33 -0
  91. package/dist/client/apiClientFactory.d.ts +18 -32
  92. package/dist/client/apiClientFactory.d.ts.map +1 -1
  93. package/dist/client/apiClientFactory.js +95 -32
  94. package/dist/client/clientFor.d.ts +61 -17
  95. package/dist/client/clientFor.d.ts.map +1 -1
  96. package/dist/client/clientFor.js +9 -1
  97. package/dist/client/errors.d.ts +49 -25
  98. package/dist/client/errors.d.ts.map +1 -1
  99. package/dist/client/errors.js +43 -17
  100. package/dist/client/makeClient.d.ts +468 -32
  101. package/dist/client/makeClient.d.ts.map +1 -1
  102. package/dist/client/makeClient.js +62 -23
  103. package/dist/client.d.ts +2 -1
  104. package/dist/client.d.ts.map +1 -1
  105. package/dist/client.js +2 -1
  106. package/dist/faker.d.ts +1 -1
  107. package/dist/faker.d.ts.map +1 -1
  108. package/dist/http/Request.d.ts +2 -2
  109. package/dist/http/Request.d.ts.map +1 -1
  110. package/dist/http/Request.js +5 -5
  111. package/dist/http/internal/lib.d.ts +1 -1
  112. package/dist/http.d.ts +1 -1
  113. package/dist/ids.d.ts +3 -3
  114. package/dist/ids.d.ts.map +1 -1
  115. package/dist/ids.js +3 -2
  116. package/dist/index.d.ts +5 -8
  117. package/dist/index.d.ts.map +1 -1
  118. package/dist/index.js +6 -8
  119. package/dist/logger.d.ts +1 -1
  120. package/dist/middleware.d.ts +14 -8
  121. package/dist/middleware.d.ts.map +1 -1
  122. package/dist/middleware.js +14 -8
  123. package/dist/rpc/Invalidation.d.ts +402 -0
  124. package/dist/rpc/Invalidation.d.ts.map +1 -0
  125. package/dist/rpc/Invalidation.js +150 -0
  126. package/dist/rpc/MiddlewareMaker.d.ts +5 -4
  127. package/dist/rpc/MiddlewareMaker.d.ts.map +1 -1
  128. package/dist/rpc/MiddlewareMaker.js +57 -37
  129. package/dist/rpc/RpcContextMap.d.ts +3 -3
  130. package/dist/rpc/RpcContextMap.d.ts.map +1 -1
  131. package/dist/rpc/RpcContextMap.js +4 -4
  132. package/dist/rpc/RpcMiddleware.d.ts +5 -4
  133. package/dist/rpc/RpcMiddleware.d.ts.map +1 -1
  134. package/dist/rpc/RpcMiddleware.js +1 -1
  135. package/dist/rpc.d.ts +2 -2
  136. package/dist/rpc.d.ts.map +1 -1
  137. package/dist/rpc.js +2 -2
  138. package/dist/transform.d.ts +1 -1
  139. package/dist/transform.d.ts.map +1 -1
  140. package/dist/transform.js +3 -3
  141. package/dist/utils/effectify.d.ts +1 -1
  142. package/dist/utils/extend.d.ts +1 -1
  143. package/dist/utils/extend.d.ts.map +1 -1
  144. package/dist/utils/gen.d.ts +2 -2
  145. package/dist/utils/gen.d.ts.map +1 -1
  146. package/dist/utils/logLevel.d.ts +2 -2
  147. package/dist/utils/logLevel.d.ts.map +1 -1
  148. package/dist/utils/logger.d.ts +3 -3
  149. package/dist/utils/logger.d.ts.map +1 -1
  150. package/dist/utils/logger.js +3 -3
  151. package/dist/utils.d.ts +31 -11
  152. package/dist/utils.d.ts.map +1 -1
  153. package/dist/utils.js +13 -7
  154. package/dist/validation/validators.d.ts +1 -1
  155. package/dist/validation/validators.d.ts.map +1 -1
  156. package/dist/validation.d.ts +1 -1
  157. package/dist/validation.d.ts.map +1 -1
  158. package/package.json +46 -24
  159. package/src/Config/SecretURL.ts +2 -1
  160. package/src/Config.ts +14 -0
  161. package/src/ConfigProvider.ts +48 -0
  162. package/src/{ServiceMap.ts → Context.ts} +52 -59
  163. package/src/Effect.ts +12 -14
  164. package/src/Layer.ts +6 -5
  165. package/src/Pure.ts +17 -18
  166. package/src/Schema/Class.ts +268 -62
  167. package/src/Schema/SchemaParser.ts +12 -0
  168. package/src/Schema/SpecialJsonSchema.ts +137 -0
  169. package/src/Schema/SpecialOpenApi.ts +130 -0
  170. package/src/Schema/brand.ts +9 -1
  171. package/src/Schema/email.ts +7 -2
  172. package/src/Schema/ext.ts +204 -72
  173. package/src/Schema/moreStrings.ts +22 -20
  174. package/src/Schema/numbers.ts +14 -16
  175. package/src/Schema/phoneNumber.ts +5 -1
  176. package/src/Schema/strings.ts +4 -8
  177. package/src/Schema.ts +332 -105
  178. package/src/client/InvalidationKeys.ts +50 -0
  179. package/src/client/apiClientFactory.ts +220 -129
  180. package/src/client/clientFor.ts +97 -29
  181. package/src/client/errors.ts +52 -26
  182. package/src/client/makeClient.ts +538 -68
  183. package/src/client.ts +1 -0
  184. package/src/http/Request.ts +7 -4
  185. package/src/ids.ts +2 -1
  186. package/src/index.ts +5 -10
  187. package/src/middleware.ts +13 -9
  188. package/src/rpc/Invalidation.ts +226 -0
  189. package/src/rpc/MiddlewareMaker.ts +65 -60
  190. package/src/rpc/README.md +2 -2
  191. package/src/rpc/RpcContextMap.ts +6 -5
  192. package/src/rpc/RpcMiddleware.ts +5 -4
  193. package/src/rpc.ts +1 -1
  194. package/src/transform.ts +2 -2
  195. package/src/utils/gen.ts +1 -1
  196. package/src/utils/logger.ts +2 -2
  197. package/src/utils.ts +51 -15
  198. package/test/dist/rpc.test.d.ts.map +1 -1
  199. package/test/dist/secretURL.test.d.ts.map +1 -0
  200. package/test/dist/special.test.d.ts.map +1 -0
  201. package/test/dist/stream-error.types.d.ts +2 -0
  202. package/test/dist/stream-error.types.d.ts.map +1 -0
  203. package/test/dist/stream-error.types.js +27 -0
  204. package/test/rpc.test.ts +41 -6
  205. package/test/schema.test.ts +591 -17
  206. package/test/secretURL.test.ts +157 -0
  207. package/test/special.test.ts +1023 -0
  208. package/test/utils.test.ts +6 -6
  209. package/tsconfig.base.json +3 -4
  210. package/tsconfig.json +0 -1
  211. package/tsconfig.json.bak +2 -2
  212. package/tsconfig.src.json +29 -29
  213. package/tsconfig.test.json +2 -2
  214. package/dist/Operations.d.ts +0 -87
  215. package/dist/Operations.d.ts.map +0 -1
  216. package/dist/Operations.js +0 -29
  217. package/dist/ServiceMap.d.ts +0 -44
  218. package/dist/ServiceMap.d.ts.map +0 -1
  219. package/dist/ServiceMap.js +0 -91
  220. package/eslint.config.mjs +0 -26
  221. package/src/Operations.ts +0 -55
@@ -1,19 +1,20 @@
1
1
  /** @effect-diagnostics overriddenSchemaConstructor:skip-file */
2
- import { TaggedError } from "effect-app/Schema"
2
+ import { TaggedErrorClass } from "effect-app/Schema"
3
3
  import * as Cause from "effect/Cause"
4
4
  import * as S from "../Schema.js"
5
5
 
6
- export const tryToJson = (error: { toJSON(): unknown; toString(): string }) => {
6
+ export const tryToJson = (error: unknown) => {
7
7
  try {
8
- return error.toJSON()
8
+ const errorJson = (error as any).toJSON()
9
+ return errorJson && typeof errorJson === "object" ? errorJson as Record<string, unknown> : { error }
9
10
  } catch {
10
11
  try {
11
- return error.toString()
12
+ return { error: (error as any).toString() }
12
13
  } catch (err) {
13
14
  try {
14
- return `Failed to convert error: ${err}`
15
+ return { error: `Failed to convert error: ${err}` }
15
16
  } catch {
16
- return `Failed to convert error: unknown failure`
17
+ return { error: `Failed to convert error: unknown failure` }
17
18
  }
18
19
  }
19
20
  }
@@ -21,7 +22,7 @@ export const tryToJson = (error: { toJSON(): unknown; toString(): string }) => {
21
22
 
22
23
  // eslint-disable-next-line unused-imports/no-unused-vars
23
24
  // @ts-expect-error type not used
24
- export class NotFoundError<ItemType = string> extends TaggedError<NotFoundError<ItemType>>()("NotFoundError", {
25
+ export class NotFoundError<ItemType = string> extends TaggedErrorClass<NotFoundError<ItemType>>()("NotFoundError", {
25
26
  type: S.String,
26
27
  id: S.Unknown
27
28
  }) {
@@ -29,76 +30,97 @@ export class NotFoundError<ItemType = string> extends TaggedError<NotFoundError<
29
30
  props: { type: string; id: unknown; cause?: unknown },
30
31
  disableValidation?: boolean
31
32
  ) {
32
- super(props as any, disableValidation as any)
33
+ super(props, disableValidation as any)
33
34
  }
34
35
  override get message() {
35
36
  return `Didn't find ${(this as any).type}#${JSON.stringify((this as any).id)}`
36
37
  }
38
+ override toString() {
39
+ return `NotFoundError: ${this.message}`
40
+ }
37
41
  }
38
42
 
39
43
  const messageFallback = (messageOrObject?: string | { message: string }) =>
40
44
  typeof messageOrObject === "object" ? messageOrObject : { message: messageOrObject ?? "" }
41
45
 
42
- export class InvalidStateError extends TaggedError<InvalidStateError>()("InvalidStateError", {
46
+ export class InvalidStateError extends TaggedErrorClass<InvalidStateError>()("InvalidStateError", {
43
47
  message: S.String
44
48
  }) {
45
49
  constructor(messageOrObject: string | { message: string; cause?: unknown }, disableValidation?: boolean) {
46
50
  super(
47
- typeof messageOrObject === "object" ? messageOrObject : { message: messageOrObject } as any,
51
+ typeof messageOrObject === "object" ? messageOrObject : { message: messageOrObject },
48
52
  disableValidation as any
49
53
  )
50
54
  }
55
+ override toString() {
56
+ return `InvalidStateError: ${this.message}`
57
+ }
51
58
  }
52
59
 
53
- export class ServiceUnavailableError extends TaggedError<ServiceUnavailableError>()("ServiceUnavailableError", {
60
+ export class ServiceUnavailableError extends TaggedErrorClass<ServiceUnavailableError>()("ServiceUnavailableError", {
54
61
  message: S.String
55
62
  }) {
56
63
  constructor(messageOrObject: string | { message: string; cause?: unknown }, disableValidation?: boolean) {
57
64
  super(
58
- typeof messageOrObject === "object" ? messageOrObject : { message: messageOrObject } as any,
65
+ typeof messageOrObject === "object" ? messageOrObject : { message: messageOrObject },
59
66
  disableValidation as any
60
67
  )
61
68
  }
69
+ override toString() {
70
+ return `ServiceUnavailableError: ${this.message}`
71
+ }
62
72
  }
63
73
 
64
- export class ValidationError extends TaggedError<ValidationError>()("ValidationError", {
74
+ export class ValidationError extends TaggedErrorClass<ValidationError>()("ValidationError", {
65
75
  errors: S.Array(S.Unknown)
66
76
  }) {
67
77
  constructor(
68
78
  props: { errors: ReadonlyArray<unknown>; cause?: unknown },
69
79
  disableValidation?: boolean
70
80
  ) {
71
- super(props as any, disableValidation as any)
81
+ super(props, disableValidation as any)
72
82
  }
73
83
  override get message() {
74
84
  return `Validation failed: ${(this as any).errors.map((e: any) => JSON.stringify(e, undefined, 2)).join(",\n")}`
75
85
  }
86
+ override toString() {
87
+ return `ValidationError: ${this.message}`
88
+ }
76
89
  }
77
90
 
78
- export class NotLoggedInError extends TaggedError<NotLoggedInError>()("NotLoggedInError", {
91
+ export class NotLoggedInError extends TaggedErrorClass<NotLoggedInError>()("NotLoggedInError", {
79
92
  message: S.String
80
93
  }) {
81
94
  constructor(messageOrObject?: string | { message: string; cause?: unknown }, disableValidation?: boolean) {
82
- super(messageFallback(messageOrObject) as any, disableValidation as any)
95
+ super(messageFallback(messageOrObject), disableValidation as any)
96
+ }
97
+ override toString() {
98
+ return `NotLoggedInError: ${this.message}`
83
99
  }
84
100
  }
85
101
 
86
102
  /**
87
103
  * The user carries a valid Userprofile, but there is a problem with the login none the less.
88
104
  */
89
- export class LoginError extends TaggedError<LoginError>()("NotLoggedInError", {
105
+ export class LoginError extends TaggedErrorClass<LoginError>()("NotLoggedInError", {
90
106
  message: S.String
91
107
  }) {
92
108
  constructor(messageOrObject?: string | { message: string; cause?: unknown }, disableValidation?: boolean) {
93
- super(messageFallback(messageOrObject) as any, disableValidation as any)
109
+ super(messageFallback(messageOrObject), disableValidation as any)
110
+ }
111
+ override toString() {
112
+ return `LoginError: ${this.message}`
94
113
  }
95
114
  }
96
115
 
97
- export class UnauthorizedError extends TaggedError<UnauthorizedError>()("UnauthorizedError", {
116
+ export class UnauthorizedError extends TaggedErrorClass<UnauthorizedError>()("UnauthorizedError", {
98
117
  message: S.String
99
118
  }) {
100
119
  constructor(messageOrObject?: string | { message: string; cause?: unknown }, disableValidation?: boolean) {
101
- super(messageFallback(messageOrObject) as any, disableValidation as any)
120
+ super(messageFallback(messageOrObject), disableValidation as any)
121
+ }
122
+ override toString() {
123
+ return `UnauthorizedError: ${this.message}`
102
124
  }
103
125
  }
104
126
 
@@ -110,7 +132,7 @@ type OptimisticConcurrencyDetails = {
110
132
  readonly found?: string | undefined
111
133
  }
112
134
 
113
- export class OptimisticConcurrencyException extends TaggedError<OptimisticConcurrencyException>()(
135
+ export class OptimisticConcurrencyException extends TaggedErrorClass<OptimisticConcurrencyException>()(
114
136
  "OptimisticConcurrencyException",
115
137
  { message: S.String }
116
138
  ) {
@@ -123,13 +145,16 @@ export class OptimisticConcurrencyException extends TaggedError<OptimisticConcur
123
145
  disableValidation?: boolean
124
146
  ) {
125
147
  super(
126
- "message" in args ? args : { message: `Existing ${args.type} ${args.id} record changed` } as any,
148
+ "message" in args ? args : { message: `Existing ${args.type} ${args.id} record changed` },
127
149
  disableValidation as any
128
150
  )
129
151
  if (!("message" in args)) {
130
152
  this.details = args
131
153
  }
132
154
  }
155
+ override toString() {
156
+ return `OptimisticConcurrencyException: ${this.message}`
157
+ }
133
158
  }
134
159
 
135
160
  const MutationOnlyErrors = [
@@ -183,6 +208,7 @@ export class CauseException<E> extends Error {
183
208
  Error.stackTraceLimit = 0
184
209
  super()
185
210
  Error.stackTraceLimit = limit
211
+ this.cause = Cause.squash(originalCause)
186
212
  // v4: makeFiberFailure removed — use Cause.prettyErrors instead
187
213
  const errors = Cause.prettyErrors(originalCause)
188
214
  const first = errors[0]
@@ -222,17 +248,17 @@ export class CauseException<E> extends Error {
222
248
  }
223
249
  }
224
250
 
225
- export const tryToReport = (error: { toReport(): unknown; toString(): string }) => {
251
+ export const tryToReport = (error: { toReport(): Record<string, unknown>; toString(): string }) => {
226
252
  try {
227
253
  return error.toReport()
228
254
  } catch {
229
255
  try {
230
- return error.toString()
256
+ return { error: error.toString() }
231
257
  } catch (err) {
232
258
  try {
233
- return `Failed to convert error: ${err}`
259
+ return { error: `Failed to convert error: ${err}` }
234
260
  } catch {
235
- return `Failed to convert error: unknown failure`
261
+ return { error: `Failed to convert error: unknown failure` }
236
262
  }
237
263
  }
238
264
  }