@proposit/shared 0.10.0 → 0.11.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/api-client/argument/batch.d.ts +39 -0
- package/dist/api-client/argument/batch.d.ts.map +1 -1
- package/dist/api-client/argument/claims.d.ts +65 -0
- package/dist/api-client/argument/claims.d.ts.map +1 -1
- package/dist/api-client/argument/index.d.ts +169 -0
- package/dist/api-client/argument/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/index.d.ts +221 -0
- package/dist/api-client/argument/logic/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/repair.d.ts +13 -0
- package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
- package/dist/api-client/argument/reactions.d.ts +26 -0
- package/dist/api-client/argument/reactions.d.ts.map +1 -1
- package/dist/api-client/argument/reviews.d.ts +78 -0
- package/dist/api-client/argument/reviews.d.ts.map +1 -1
- package/dist/api-client/search.d.ts +39 -0
- package/dist/api-client/search.d.ts.map +1 -1
- package/dist/api-client/user/citations.d.ts +13 -0
- package/dist/api-client/user/citations.d.ts.map +1 -1
- package/dist/api-client/user/claims.d.ts +13 -0
- package/dist/api-client/user/claims.d.ts.map +1 -1
- package/dist/api-client/user/delete-user.d.ts +13 -0
- package/dist/api-client/user/delete-user.d.ts.map +1 -1
- package/dist/consts/roles.d.ts +0 -1
- package/dist/consts/roles.d.ts.map +1 -1
- package/dist/consts/roles.js +0 -2
- package/dist/consts/roles.js.map +1 -1
- package/dist/engine/mutations/premises.d.ts.map +1 -1
- package/dist/engine/mutations/premises.js +12 -3
- package/dist/engine/mutations/premises.js.map +1 -1
- package/dist/utils/utils.d.ts +15 -1
- package/dist/utils/utils.d.ts.map +1 -1
- package/dist/utils/utils.js +10 -0
- package/dist/utils/utils.js.map +1 -1
- package/package.json +1 -1
|
@@ -5,6 +5,19 @@ export declare function getLogicDataImpl(config: TApiClientConfig, argumentId: s
|
|
|
5
5
|
errorID: Type.TNumber;
|
|
6
6
|
errorMessage: Type.TString;
|
|
7
7
|
statusCode: Type.TNumber;
|
|
8
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
9
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
10
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
11
|
+
violations: Type.TArray<Type.TObject<{
|
|
12
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
13
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
14
|
+
message: Type.TString;
|
|
15
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
16
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
17
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
18
|
+
variableId: Type.TOptional<Type.TString>;
|
|
19
|
+
claimId: Type.TOptional<Type.TString>;
|
|
20
|
+
}>>;
|
|
8
21
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
9
22
|
argument: Type.TIntersect<[Type.TObject<{
|
|
10
23
|
createdOn: import("../../../schemas/common.js").TDateType;
|
|
@@ -168,6 +181,19 @@ export declare function getPremisesImpl(config: TApiClientConfig, argumentId: st
|
|
|
168
181
|
errorID: Type.TNumber;
|
|
169
182
|
errorMessage: Type.TString;
|
|
170
183
|
statusCode: Type.TNumber;
|
|
184
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
185
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
186
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
187
|
+
violations: Type.TArray<Type.TObject<{
|
|
188
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
189
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
190
|
+
message: Type.TString;
|
|
191
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
192
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
193
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
194
|
+
variableId: Type.TOptional<Type.TString>;
|
|
195
|
+
claimId: Type.TOptional<Type.TString>;
|
|
196
|
+
}>>;
|
|
171
197
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TIntersect<[Type.TUnion<[Type.TObject<{
|
|
172
198
|
type: Type.TLiteral<"freeform">;
|
|
173
199
|
id: Type.TString;
|
|
@@ -195,6 +221,19 @@ export declare function createPremiseImpl(config: TApiClientConfig, argumentId:
|
|
|
195
221
|
errorID: Type.TNumber;
|
|
196
222
|
errorMessage: Type.TString;
|
|
197
223
|
statusCode: Type.TNumber;
|
|
224
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
225
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
226
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
227
|
+
violations: Type.TArray<Type.TObject<{
|
|
228
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
229
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
230
|
+
message: Type.TString;
|
|
231
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
232
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
233
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
234
|
+
variableId: Type.TOptional<Type.TString>;
|
|
235
|
+
claimId: Type.TOptional<Type.TString>;
|
|
236
|
+
}>>;
|
|
198
237
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
199
238
|
premise: Type.TIntersect<[Type.TUnion<[Type.TObject<{
|
|
200
239
|
type: Type.TLiteral<"freeform">;
|
|
@@ -252,6 +291,19 @@ export declare function updatePremiseImpl(config: TApiClientConfig, argumentId:
|
|
|
252
291
|
errorID: Type.TNumber;
|
|
253
292
|
errorMessage: Type.TString;
|
|
254
293
|
statusCode: Type.TNumber;
|
|
294
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
295
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
296
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
297
|
+
violations: Type.TArray<Type.TObject<{
|
|
298
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
299
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
300
|
+
message: Type.TString;
|
|
301
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
302
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
303
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
304
|
+
variableId: Type.TOptional<Type.TString>;
|
|
305
|
+
claimId: Type.TOptional<Type.TString>;
|
|
306
|
+
}>>;
|
|
255
307
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TUnion<[Type.TObject<{
|
|
256
308
|
type: Type.TLiteral<"freeform">;
|
|
257
309
|
id: Type.TString;
|
|
@@ -279,6 +331,19 @@ export declare function deletePremiseImpl(config: TApiClientConfig, argumentId:
|
|
|
279
331
|
errorID: Type.TNumber;
|
|
280
332
|
errorMessage: Type.TString;
|
|
281
333
|
statusCode: Type.TNumber;
|
|
334
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
335
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
336
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
337
|
+
violations: Type.TArray<Type.TObject<{
|
|
338
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
339
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
340
|
+
message: Type.TString;
|
|
341
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
342
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
343
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
344
|
+
variableId: Type.TOptional<Type.TString>;
|
|
345
|
+
claimId: Type.TOptional<Type.TString>;
|
|
346
|
+
}>>;
|
|
282
347
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
283
348
|
deleted: Type.TBoolean;
|
|
284
349
|
}>>>;
|
|
@@ -286,6 +351,19 @@ export declare function getPremiseImpl(config: TApiClientConfig, argumentId: str
|
|
|
286
351
|
errorID: Type.TNumber;
|
|
287
352
|
errorMessage: Type.TString;
|
|
288
353
|
statusCode: Type.TNumber;
|
|
354
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
355
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
356
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
357
|
+
violations: Type.TArray<Type.TObject<{
|
|
358
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
359
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
360
|
+
message: Type.TString;
|
|
361
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
362
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
363
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
364
|
+
variableId: Type.TOptional<Type.TString>;
|
|
365
|
+
claimId: Type.TOptional<Type.TString>;
|
|
366
|
+
}>>;
|
|
289
367
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TUnion<[Type.TObject<{
|
|
290
368
|
type: Type.TLiteral<"freeform">;
|
|
291
369
|
id: Type.TString;
|
|
@@ -313,6 +391,19 @@ export declare function getExpressionsImpl(config: TApiClientConfig, argumentId:
|
|
|
313
391
|
errorID: Type.TNumber;
|
|
314
392
|
errorMessage: Type.TString;
|
|
315
393
|
statusCode: Type.TNumber;
|
|
394
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
395
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
396
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
397
|
+
violations: Type.TArray<Type.TObject<{
|
|
398
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
399
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
400
|
+
message: Type.TString;
|
|
401
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
402
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
403
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
404
|
+
variableId: Type.TOptional<Type.TString>;
|
|
405
|
+
claimId: Type.TOptional<Type.TString>;
|
|
406
|
+
}>>;
|
|
316
407
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
317
408
|
id: Type.TString;
|
|
318
409
|
argumentId: Type.TString;
|
|
@@ -369,6 +460,19 @@ export declare function createExpressionImpl(config: TApiClientConfig, argumentI
|
|
|
369
460
|
errorID: Type.TNumber;
|
|
370
461
|
errorMessage: Type.TString;
|
|
371
462
|
statusCode: Type.TNumber;
|
|
463
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
464
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
465
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
466
|
+
violations: Type.TArray<Type.TObject<{
|
|
467
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
468
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
469
|
+
message: Type.TString;
|
|
470
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
471
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
472
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
473
|
+
variableId: Type.TOptional<Type.TString>;
|
|
474
|
+
claimId: Type.TOptional<Type.TString>;
|
|
475
|
+
}>>;
|
|
372
476
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
373
477
|
created: Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
374
478
|
id: Type.TString;
|
|
@@ -479,6 +583,19 @@ export declare function updateExpressionImpl(config: TApiClientConfig, argumentI
|
|
|
479
583
|
errorID: Type.TNumber;
|
|
480
584
|
errorMessage: Type.TString;
|
|
481
585
|
statusCode: Type.TNumber;
|
|
586
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
587
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
588
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
589
|
+
violations: Type.TArray<Type.TObject<{
|
|
590
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
591
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
592
|
+
message: Type.TString;
|
|
593
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
594
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
595
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
596
|
+
variableId: Type.TOptional<Type.TString>;
|
|
597
|
+
claimId: Type.TOptional<Type.TString>;
|
|
598
|
+
}>>;
|
|
482
599
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
483
600
|
id: Type.TString;
|
|
484
601
|
argumentId: Type.TString;
|
|
@@ -535,6 +652,19 @@ export declare function deleteExpressionImpl(config: TApiClientConfig, argumentI
|
|
|
535
652
|
errorID: Type.TNumber;
|
|
536
653
|
errorMessage: Type.TString;
|
|
537
654
|
statusCode: Type.TNumber;
|
|
655
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
656
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
657
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
658
|
+
violations: Type.TArray<Type.TObject<{
|
|
659
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
660
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
661
|
+
message: Type.TString;
|
|
662
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
663
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
664
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
665
|
+
variableId: Type.TOptional<Type.TString>;
|
|
666
|
+
claimId: Type.TOptional<Type.TString>;
|
|
667
|
+
}>>;
|
|
538
668
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
539
669
|
deleted: Type.TBoolean;
|
|
540
670
|
}>>>;
|
|
@@ -542,6 +672,19 @@ export declare function getExpressionImpl(config: TApiClientConfig, argumentId:
|
|
|
542
672
|
errorID: Type.TNumber;
|
|
543
673
|
errorMessage: Type.TString;
|
|
544
674
|
statusCode: Type.TNumber;
|
|
675
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
676
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
677
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
678
|
+
violations: Type.TArray<Type.TObject<{
|
|
679
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
680
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
681
|
+
message: Type.TString;
|
|
682
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
683
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
684
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
685
|
+
variableId: Type.TOptional<Type.TString>;
|
|
686
|
+
claimId: Type.TOptional<Type.TString>;
|
|
687
|
+
}>>;
|
|
545
688
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
546
689
|
id: Type.TString;
|
|
547
690
|
argumentId: Type.TString;
|
|
@@ -598,6 +741,19 @@ export declare function toggleNegationImpl(config: TApiClientConfig, argumentId:
|
|
|
598
741
|
errorID: Type.TNumber;
|
|
599
742
|
errorMessage: Type.TString;
|
|
600
743
|
statusCode: Type.TNumber;
|
|
744
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
745
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
746
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
747
|
+
violations: Type.TArray<Type.TObject<{
|
|
748
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
749
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
750
|
+
message: Type.TString;
|
|
751
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
752
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
753
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
754
|
+
variableId: Type.TOptional<Type.TString>;
|
|
755
|
+
claimId: Type.TOptional<Type.TString>;
|
|
756
|
+
}>>;
|
|
601
757
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
602
758
|
argument: Type.TIntersect<[Type.TObject<{
|
|
603
759
|
createdOn: import("../../../schemas/common.js").TDateType;
|
|
@@ -761,6 +917,19 @@ export declare function getVariablesImpl(config: TApiClientConfig, argumentId: s
|
|
|
761
917
|
errorID: Type.TNumber;
|
|
762
918
|
errorMessage: Type.TString;
|
|
763
919
|
statusCode: Type.TNumber;
|
|
920
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
921
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
922
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
923
|
+
violations: Type.TArray<Type.TObject<{
|
|
924
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
925
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
926
|
+
message: Type.TString;
|
|
927
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
928
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
929
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
930
|
+
variableId: Type.TOptional<Type.TString>;
|
|
931
|
+
claimId: Type.TOptional<Type.TString>;
|
|
932
|
+
}>>;
|
|
764
933
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
765
934
|
claimId: Type.TString;
|
|
766
935
|
claimVersion: Type.TNumber;
|
|
@@ -793,6 +962,19 @@ export declare function createVariableImpl(config: TApiClientConfig, argumentId:
|
|
|
793
962
|
errorID: Type.TNumber;
|
|
794
963
|
errorMessage: Type.TString;
|
|
795
964
|
statusCode: Type.TNumber;
|
|
965
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
966
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
967
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
968
|
+
violations: Type.TArray<Type.TObject<{
|
|
969
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
970
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
971
|
+
message: Type.TString;
|
|
972
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
973
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
974
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
975
|
+
variableId: Type.TOptional<Type.TString>;
|
|
976
|
+
claimId: Type.TOptional<Type.TString>;
|
|
977
|
+
}>>;
|
|
796
978
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
797
979
|
claimId: Type.TString;
|
|
798
980
|
claimVersion: Type.TNumber;
|
|
@@ -825,6 +1007,19 @@ export declare function updateVariableImpl(config: TApiClientConfig, argumentId:
|
|
|
825
1007
|
errorID: Type.TNumber;
|
|
826
1008
|
errorMessage: Type.TString;
|
|
827
1009
|
statusCode: Type.TNumber;
|
|
1010
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
1011
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
1012
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
1013
|
+
violations: Type.TArray<Type.TObject<{
|
|
1014
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
1015
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
1016
|
+
message: Type.TString;
|
|
1017
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
1018
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
1019
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
1020
|
+
variableId: Type.TOptional<Type.TString>;
|
|
1021
|
+
claimId: Type.TOptional<Type.TString>;
|
|
1022
|
+
}>>;
|
|
828
1023
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
829
1024
|
claimId: Type.TString;
|
|
830
1025
|
claimVersion: Type.TNumber;
|
|
@@ -857,6 +1052,19 @@ export declare function deleteVariableImpl(config: TApiClientConfig, argumentId:
|
|
|
857
1052
|
errorID: Type.TNumber;
|
|
858
1053
|
errorMessage: Type.TString;
|
|
859
1054
|
statusCode: Type.TNumber;
|
|
1055
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
1056
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
1057
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
1058
|
+
violations: Type.TArray<Type.TObject<{
|
|
1059
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
1060
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
1061
|
+
message: Type.TString;
|
|
1062
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
1063
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
1064
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
1065
|
+
variableId: Type.TOptional<Type.TString>;
|
|
1066
|
+
claimId: Type.TOptional<Type.TString>;
|
|
1067
|
+
}>>;
|
|
860
1068
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
861
1069
|
deleted: Type.TBoolean;
|
|
862
1070
|
}>>>;
|
|
@@ -864,6 +1072,19 @@ export declare function getVariableImpl(config: TApiClientConfig, argumentId: st
|
|
|
864
1072
|
errorID: Type.TNumber;
|
|
865
1073
|
errorMessage: Type.TString;
|
|
866
1074
|
statusCode: Type.TNumber;
|
|
1075
|
+
}>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
|
|
1076
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
1077
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
1078
|
+
violations: Type.TArray<Type.TObject<{
|
|
1079
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
1080
|
+
code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
|
|
1081
|
+
message: Type.TString;
|
|
1082
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
1083
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
1084
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
1085
|
+
variableId: Type.TOptional<Type.TString>;
|
|
1086
|
+
claimId: Type.TOptional<Type.TString>;
|
|
1087
|
+
}>>;
|
|
867
1088
|
}>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
868
1089
|
claimId: Type.TString;
|
|
869
1090
|
claimVersion: Type.TNumber;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EAClB,MAAM,wCAAwC,CAAA;AAkB/C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAevD,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EAClB,MAAM,wCAAwC,CAAA;AAkB/C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAevD,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAID,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAY1B;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWzB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWvB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM;;;;;;;;;;;;;;;;;;;KAUnB;AAED,wBAAsB,cAAc,CAChC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAUpB;AAID,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAWrB;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW5B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAW1B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM;;;;;;;;;;;;;;;;;;;KAUnB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAUvB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUvB;AAID,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAY1B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAW1B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAWxB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM;;;;;;;;;;;;;;;;;;;KAUnB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAUrB;AAED,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA"}
|
|
@@ -4,6 +4,19 @@ export declare function repairArgumentImpl(config: TApiClientConfig, argumentId:
|
|
|
4
4
|
errorID: import("typebox").TNumber;
|
|
5
5
|
errorMessage: import("typebox").TString;
|
|
6
6
|
statusCode: import("typebox").TNumber;
|
|
7
|
+
}>> | import("../../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
8
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
9
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
10
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
11
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
12
|
+
code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
|
|
13
|
+
message: import("typebox").TString;
|
|
14
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
15
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
16
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
17
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
18
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
19
|
+
}>>;
|
|
7
20
|
}>> | import("../../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
8
21
|
snapshot: import("typebox").TObject<{
|
|
9
22
|
argument: import("typebox").TIntersect<[import("typebox").TObject<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,yCAAyC,CAAA;AAEhD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAWvD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,cAAc
|
|
1
|
+
{"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,yCAAyC,CAAA;AAEhD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAWvD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWvB"}
|
|
@@ -4,6 +4,19 @@ export declare function createReactionImpl(config: TApiClientConfig, argumentId:
|
|
|
4
4
|
errorID: import("typebox").TNumber;
|
|
5
5
|
errorMessage: import("typebox").TString;
|
|
6
6
|
statusCode: import("typebox").TNumber;
|
|
7
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
8
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
9
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
10
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
11
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
12
|
+
code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
|
|
13
|
+
message: import("typebox").TString;
|
|
14
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
15
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
16
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
17
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
18
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
19
|
+
}>>;
|
|
7
20
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
8
21
|
addedReaction: import("typebox").TObject<{
|
|
9
22
|
id: import("typebox").TString;
|
|
@@ -26,6 +39,19 @@ export declare function deleteReactionImpl(config: TApiClientConfig, argumentId:
|
|
|
26
39
|
errorID: import("typebox").TNumber;
|
|
27
40
|
errorMessage: import("typebox").TString;
|
|
28
41
|
statusCode: import("typebox").TNumber;
|
|
42
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
43
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
44
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
45
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
46
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
47
|
+
code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
|
|
48
|
+
message: import("typebox").TString;
|
|
49
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
50
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
51
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
52
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
53
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
54
|
+
}>>;
|
|
29
55
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
30
56
|
removedReactions: import("typebox").TArray<import("typebox").TObject<{
|
|
31
57
|
id: import("typebox").TString;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"reactions.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/reactions.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,sBAAsB,EAC9B,MAAM,qCAAqC,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,sBAAsB
|
|
1
|
+
{"version":3,"file":"reactions.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/reactions.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,sBAAsB,EAC9B,MAAM,qCAAqC,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW/B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;KAUrB"}
|