@polintpro/proposit-core 0.2.11 → 0.4.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.
- package/README.md +14 -525
- package/dist/cli/commands/diff.js +1 -1
- package/dist/cli/commands/diff.js.map +1 -1
- package/dist/cli/commands/premises.js +2 -2
- package/dist/cli/commands/premises.js.map +1 -1
- package/dist/cli/commands/sources.d.ts +3 -0
- package/dist/cli/commands/sources.d.ts.map +1 -0
- package/dist/cli/commands/sources.js +175 -0
- package/dist/cli/commands/sources.js.map +1 -0
- package/dist/cli/commands/{versionShow.d.ts → version-show.d.ts} +1 -1
- package/dist/cli/commands/version-show.d.ts.map +1 -0
- package/dist/cli/commands/{versionShow.js → version-show.js} +1 -1
- package/dist/cli/commands/version-show.js.map +1 -0
- package/dist/cli/config.d.ts +2 -0
- package/dist/cli/config.d.ts.map +1 -1
- package/dist/cli/config.js +6 -0
- package/dist/cli/config.js.map +1 -1
- package/dist/cli/engine.d.ts +1 -1
- package/dist/cli/engine.d.ts.map +1 -1
- package/dist/cli/engine.js +40 -2
- package/dist/cli/engine.js.map +1 -1
- package/dist/cli/import.d.ts +1 -1
- package/dist/cli/import.d.ts.map +1 -1
- package/dist/cli/import.js +1 -1
- package/dist/cli/import.js.map +1 -1
- package/dist/cli/output/{diffRenderer.d.ts → diff-renderer.d.ts} +1 -1
- package/dist/cli/output/diff-renderer.d.ts.map +1 -0
- package/dist/cli/output/{diffRenderer.js → diff-renderer.js} +1 -1
- package/dist/cli/output/diff-renderer.js.map +1 -0
- package/dist/cli/schemata.d.ts +8 -0
- package/dist/cli/schemata.d.ts.map +1 -1
- package/dist/cli/schemata.js +10 -0
- package/dist/cli/schemata.js.map +1 -1
- package/dist/cli/storage/sources.d.ts +11 -0
- package/dist/cli/storage/sources.d.ts.map +1 -0
- package/dist/cli/storage/sources.js +105 -0
- package/dist/cli/storage/sources.js.map +1 -0
- package/dist/cli.js +3 -1
- package/dist/cli.js.map +1 -1
- package/dist/extensions/ieee/index.d.ts +3 -0
- package/dist/extensions/ieee/index.d.ts.map +1 -0
- package/dist/extensions/ieee/index.js +3 -0
- package/dist/extensions/ieee/index.js.map +1 -0
- package/dist/extensions/ieee/references.d.ts +620 -0
- package/dist/extensions/ieee/references.d.ts.map +1 -0
- package/dist/extensions/ieee/references.js +450 -0
- package/dist/extensions/ieee/references.js.map +1 -0
- package/dist/extensions/ieee/source.d.ts +286 -0
- package/dist/extensions/ieee/source.d.ts.map +1 -0
- package/dist/extensions/ieee/source.js +12 -0
- package/dist/extensions/ieee/source.js.map +1 -0
- package/dist/lib/consts.d.ts.map +1 -1
- package/dist/lib/consts.js +19 -0
- package/dist/lib/consts.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +134 -0
- package/dist/lib/core/argument-engine.d.ts.map +1 -0
- package/dist/lib/core/{argumentEngine.js → argument-engine.js} +303 -120
- package/dist/lib/core/argument-engine.js.map +1 -0
- package/dist/lib/core/{changeCollector.d.ts → change-collector.d.ts} +13 -3
- package/dist/lib/core/change-collector.d.ts.map +1 -0
- package/dist/lib/core/{changeCollector.js → change-collector.js} +28 -1
- package/dist/lib/core/change-collector.js.map +1 -0
- package/dist/lib/core/diff.d.ts +9 -3
- package/dist/lib/core/diff.d.ts.map +1 -1
- package/dist/lib/core/diff.js +58 -0
- package/dist/lib/core/diff.js.map +1 -1
- package/dist/lib/core/{expressionManager.d.ts → expression-manager.d.ts} +24 -3
- package/dist/lib/core/expression-manager.d.ts.map +1 -0
- package/dist/lib/core/{expressionManager.js → expression-manager.js} +104 -1
- package/dist/lib/core/expression-manager.js.map +1 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +334 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.js +2 -0
- package/dist/lib/core/interfaces/argument-engine.interfaces.js.map +1 -0
- package/dist/lib/core/interfaces/index.d.ts +5 -0
- package/dist/lib/core/interfaces/index.d.ts.map +1 -0
- package/dist/lib/core/interfaces/index.js +2 -0
- package/dist/lib/core/interfaces/index.js.map +1 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts +317 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.js +2 -0
- package/dist/lib/core/interfaces/premise-engine.interfaces.js.map +1 -0
- package/dist/lib/core/interfaces/shared.interfaces.d.ts +24 -0
- package/dist/lib/core/interfaces/shared.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/shared.interfaces.js +2 -0
- package/dist/lib/core/interfaces/shared.interfaces.js.map +1 -0
- package/dist/lib/core/interfaces/source-management.interfaces.d.ts +110 -0
- package/dist/lib/core/interfaces/source-management.interfaces.d.ts.map +1 -0
- package/dist/lib/core/interfaces/source-management.interfaces.js +2 -0
- package/dist/lib/core/interfaces/source-management.interfaces.js.map +1 -0
- package/dist/lib/core/parser/formula.d.ts +9 -9
- package/dist/lib/core/parser/formula.d.ts.map +1 -1
- package/dist/lib/core/parser/formula.js.map +1 -1
- package/dist/lib/core/premise-engine.d.ts +83 -0
- package/dist/lib/core/premise-engine.d.ts.map +1 -0
- package/dist/lib/core/{premiseEngine.js → premise-engine.js} +130 -134
- package/dist/lib/core/premise-engine.js.map +1 -0
- package/dist/lib/core/relationships.d.ts +2 -2
- package/dist/lib/core/relationships.d.ts.map +1 -1
- package/dist/lib/core/relationships.js.map +1 -1
- package/dist/lib/core/source-manager.d.ts +109 -0
- package/dist/lib/core/source-manager.d.ts.map +1 -0
- package/dist/lib/core/source-manager.js +420 -0
- package/dist/lib/core/source-manager.js.map +1 -0
- package/dist/lib/core/{variableManager.d.ts → variable-manager.d.ts} +2 -2
- package/dist/lib/core/variable-manager.d.ts.map +1 -0
- package/dist/lib/core/{variableManager.js → variable-manager.js} +1 -1
- package/dist/lib/core/variable-manager.js.map +1 -0
- package/dist/lib/index.d.ts +12 -9
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +4 -3
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/schemata/index.d.ts +1 -0
- package/dist/lib/schemata/index.d.ts.map +1 -1
- package/dist/lib/schemata/index.js +1 -0
- package/dist/lib/schemata/index.js.map +1 -1
- package/dist/lib/schemata/shared.d.ts +9 -9
- package/dist/lib/schemata/shared.d.ts.map +1 -1
- package/dist/lib/schemata/shared.js +4 -4
- package/dist/lib/schemata/shared.js.map +1 -1
- package/dist/lib/schemata/source.d.ts +28 -0
- package/dist/lib/schemata/source.d.ts.map +1 -0
- package/dist/lib/schemata/source.js +35 -0
- package/dist/lib/schemata/source.js.map +1 -0
- package/dist/lib/types/checksum.d.ts +6 -0
- package/dist/lib/types/checksum.d.ts.map +1 -1
- package/dist/lib/types/diff.d.ts +9 -3
- package/dist/lib/types/diff.d.ts.map +1 -1
- package/dist/lib/types/evaluation.d.ts +1 -1
- package/dist/lib/types/evaluation.d.ts.map +1 -1
- package/dist/lib/types/mutation.d.ts +7 -3
- package/dist/lib/types/mutation.d.ts.map +1 -1
- package/dist/lib/types/reactive.d.ts +5 -2
- package/dist/lib/types/reactive.d.ts.map +1 -1
- package/dist/lib/utils/{defaultMap.d.ts → default-map.d.ts} +3 -3
- package/dist/lib/utils/default-map.d.ts.map +1 -0
- package/dist/lib/utils/{defaultMap.js → default-map.js} +1 -1
- package/dist/lib/utils/default-map.js.map +1 -0
- package/package.json +6 -1
- package/dist/cli/commands/versionShow.d.ts.map +0 -1
- package/dist/cli/commands/versionShow.js.map +0 -1
- package/dist/cli/output/diffRenderer.d.ts.map +0 -1
- package/dist/cli/output/diffRenderer.js.map +0 -1
- package/dist/lib/core/argumentEngine.d.ts +0 -226
- package/dist/lib/core/argumentEngine.d.ts.map +0 -1
- package/dist/lib/core/argumentEngine.js.map +0 -1
- package/dist/lib/core/changeCollector.d.ts.map +0 -1
- package/dist/lib/core/changeCollector.js.map +0 -1
- package/dist/lib/core/expressionManager.d.ts.map +0 -1
- package/dist/lib/core/expressionManager.js.map +0 -1
- package/dist/lib/core/premiseEngine.d.ts +0 -202
- package/dist/lib/core/premiseEngine.d.ts.map +0 -1
- package/dist/lib/core/premiseEngine.js.map +0 -1
- package/dist/lib/core/variableManager.d.ts.map +0 -1
- package/dist/lib/core/variableManager.js.map +0 -1
- package/dist/lib/utils/defaultMap.d.ts.map +0 -1
- package/dist/lib/utils/defaultMap.js.map +0 -1
|
@@ -0,0 +1,286 @@
|
|
|
1
|
+
import Type, { type Static } from "typebox";
|
|
2
|
+
export declare const IEEESourceSchema: Type.TIntersect<[Type.TObject<{
|
|
3
|
+
id: Type.TString;
|
|
4
|
+
argumentId: Type.TString;
|
|
5
|
+
argumentVersion: Type.TNumber;
|
|
6
|
+
checksum: Type.TString;
|
|
7
|
+
}>, Type.TObject<{
|
|
8
|
+
url: Type.TUnion<[Type.TString, Type.TNull]>;
|
|
9
|
+
citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
|
|
10
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
11
|
+
}>, Type.TObject<{
|
|
12
|
+
type: Type.TLiteral<"Book">;
|
|
13
|
+
title: Type.TString;
|
|
14
|
+
year: Type.TString;
|
|
15
|
+
authors: Type.TArray<Type.TString>;
|
|
16
|
+
edition: Type.TOptional<Type.TString>;
|
|
17
|
+
publisher: Type.TString;
|
|
18
|
+
location: Type.TOptional<Type.TString>;
|
|
19
|
+
isbn: Type.TOptional<Type.TString>;
|
|
20
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
21
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
22
|
+
}>, Type.TObject<{
|
|
23
|
+
type: Type.TLiteral<"Website">;
|
|
24
|
+
authors: Type.TArray<Type.TString>;
|
|
25
|
+
pageTitle: Type.TString;
|
|
26
|
+
websiteTitle: Type.TString;
|
|
27
|
+
accessedDate: Type.TNumber;
|
|
28
|
+
url: Type.TString;
|
|
29
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
30
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
31
|
+
}>, Type.TObject<{
|
|
32
|
+
type: Type.TLiteral<"BookChapter">;
|
|
33
|
+
chapterTitle: Type.TString;
|
|
34
|
+
authors: Type.TArray<Type.TString>;
|
|
35
|
+
bookTitle: Type.TString;
|
|
36
|
+
editors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
37
|
+
publisher: Type.TString;
|
|
38
|
+
location: Type.TString;
|
|
39
|
+
pages: Type.TOptional<Type.TString>;
|
|
40
|
+
isbn: Type.TOptional<Type.TString>;
|
|
41
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
42
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
43
|
+
}>, Type.TObject<{
|
|
44
|
+
type: Type.TLiteral<"Handbook">;
|
|
45
|
+
authors: Type.TArray<Type.TString>;
|
|
46
|
+
publisher: Type.TString;
|
|
47
|
+
edition: Type.TOptional<Type.TString>;
|
|
48
|
+
location: Type.TString;
|
|
49
|
+
isbn: Type.TOptional<Type.TString>;
|
|
50
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
51
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
52
|
+
}>, Type.TObject<{
|
|
53
|
+
type: Type.TLiteral<"TechnicalReport">;
|
|
54
|
+
authors: Type.TArray<Type.TString>;
|
|
55
|
+
reportNumber: Type.TString;
|
|
56
|
+
institution: Type.TString;
|
|
57
|
+
location: Type.TString;
|
|
58
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
59
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
60
|
+
}>, Type.TObject<{
|
|
61
|
+
type: Type.TLiteral<"Standard">;
|
|
62
|
+
organization: Type.TString;
|
|
63
|
+
standardNumber: Type.TString;
|
|
64
|
+
title: Type.TString;
|
|
65
|
+
date: Type.TString;
|
|
66
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
67
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
68
|
+
}>, Type.TObject<{
|
|
69
|
+
type: Type.TLiteral<"Thesis">;
|
|
70
|
+
authors: Type.TArray<Type.TString>;
|
|
71
|
+
degree: Type.TString;
|
|
72
|
+
institution: Type.TString;
|
|
73
|
+
location: Type.TString;
|
|
74
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
75
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
76
|
+
}>, Type.TObject<{
|
|
77
|
+
type: Type.TLiteral<"Patent">;
|
|
78
|
+
inventors: Type.TArray<Type.TString>;
|
|
79
|
+
country: Type.TString;
|
|
80
|
+
patentNumber: Type.TString;
|
|
81
|
+
date: Type.TString;
|
|
82
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
83
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
84
|
+
}>, Type.TObject<{
|
|
85
|
+
type: Type.TLiteral<"Dictionary">;
|
|
86
|
+
publisher: Type.TString;
|
|
87
|
+
edition: Type.TOptional<Type.TString>;
|
|
88
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
89
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
90
|
+
}>, Type.TObject<{
|
|
91
|
+
type: Type.TLiteral<"Encyclopedia">;
|
|
92
|
+
publisher: Type.TString;
|
|
93
|
+
edition: Type.TOptional<Type.TString>;
|
|
94
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
95
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
96
|
+
}>, Type.TObject<{
|
|
97
|
+
type: Type.TLiteral<"JournalArticle">;
|
|
98
|
+
authors: Type.TArray<Type.TString>;
|
|
99
|
+
journalTitle: Type.TString;
|
|
100
|
+
volume: Type.TOptional<Type.TString>;
|
|
101
|
+
issue: Type.TOptional<Type.TString>;
|
|
102
|
+
pages: Type.TOptional<Type.TString>;
|
|
103
|
+
doi: Type.TOptional<Type.TString>;
|
|
104
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
105
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
106
|
+
}>, Type.TObject<{
|
|
107
|
+
type: Type.TLiteral<"MagazineArticle">;
|
|
108
|
+
authors: Type.TArray<Type.TString>;
|
|
109
|
+
magazineTitle: Type.TString;
|
|
110
|
+
volume: Type.TOptional<Type.TString>;
|
|
111
|
+
issue: Type.TOptional<Type.TString>;
|
|
112
|
+
pages: Type.TOptional<Type.TString>;
|
|
113
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
114
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
115
|
+
}>, Type.TObject<{
|
|
116
|
+
type: Type.TLiteral<"NewspaperArticle">;
|
|
117
|
+
authors: Type.TArray<Type.TString>;
|
|
118
|
+
newspaperTitle: Type.TString;
|
|
119
|
+
date: Type.TString;
|
|
120
|
+
pages: Type.TOptional<Type.TString>;
|
|
121
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
122
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
123
|
+
}>, Type.TObject<{
|
|
124
|
+
type: Type.TLiteral<"ConferencePaper">;
|
|
125
|
+
authors: Type.TArray<Type.TString>;
|
|
126
|
+
conferenceName: Type.TString;
|
|
127
|
+
location: Type.TString;
|
|
128
|
+
date: Type.TString;
|
|
129
|
+
pages: Type.TOptional<Type.TString>;
|
|
130
|
+
doi: Type.TOptional<Type.TString>;
|
|
131
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
132
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
133
|
+
}>, Type.TObject<{
|
|
134
|
+
type: Type.TLiteral<"ConferenceProceedings">;
|
|
135
|
+
editors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
136
|
+
conferenceName: Type.TString;
|
|
137
|
+
location: Type.TString;
|
|
138
|
+
date: Type.TString;
|
|
139
|
+
publisher: Type.TString;
|
|
140
|
+
isbn: Type.TOptional<Type.TString>;
|
|
141
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
142
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
143
|
+
}>, Type.TObject<{
|
|
144
|
+
type: Type.TLiteral<"Dataset">;
|
|
145
|
+
authors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
146
|
+
repository: Type.TString;
|
|
147
|
+
version: Type.TOptional<Type.TString>;
|
|
148
|
+
doi: Type.TOptional<Type.TString>;
|
|
149
|
+
url: Type.TString;
|
|
150
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
151
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
152
|
+
}>, Type.TObject<{
|
|
153
|
+
type: Type.TLiteral<"Software">;
|
|
154
|
+
authors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
155
|
+
version: Type.TOptional<Type.TString>;
|
|
156
|
+
publisher: Type.TOptional<Type.TString>;
|
|
157
|
+
doi: Type.TOptional<Type.TString>;
|
|
158
|
+
url: Type.TString;
|
|
159
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
160
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
161
|
+
}>, Type.TObject<{
|
|
162
|
+
type: Type.TLiteral<"OnlineDocument">;
|
|
163
|
+
authors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
164
|
+
title: Type.TString;
|
|
165
|
+
publisher: Type.TOptional<Type.TString>;
|
|
166
|
+
url: Type.TString;
|
|
167
|
+
accessedDate: Type.TNumber;
|
|
168
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
169
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
170
|
+
}>, Type.TObject<{
|
|
171
|
+
type: Type.TLiteral<"Blog">;
|
|
172
|
+
author: Type.TString;
|
|
173
|
+
blogTitle: Type.TString;
|
|
174
|
+
url: Type.TString;
|
|
175
|
+
accessedDate: Type.TString;
|
|
176
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
177
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
178
|
+
}>, Type.TObject<{
|
|
179
|
+
type: Type.TLiteral<"SocialMedia">;
|
|
180
|
+
author: Type.TString;
|
|
181
|
+
platform: Type.TString;
|
|
182
|
+
postDate: Type.TString;
|
|
183
|
+
url: Type.TString;
|
|
184
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
185
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
186
|
+
}>, Type.TObject<{
|
|
187
|
+
type: Type.TLiteral<"Preprint">;
|
|
188
|
+
authors: Type.TArray<Type.TString>;
|
|
189
|
+
server: Type.TString;
|
|
190
|
+
doi: Type.TOptional<Type.TString>;
|
|
191
|
+
url: Type.TString;
|
|
192
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
193
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
194
|
+
}>, Type.TObject<{
|
|
195
|
+
type: Type.TLiteral<"Video">;
|
|
196
|
+
authors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
197
|
+
platform: Type.TString;
|
|
198
|
+
url: Type.TString;
|
|
199
|
+
accessedDate: Type.TString;
|
|
200
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
201
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
202
|
+
}>, Type.TObject<{
|
|
203
|
+
type: Type.TLiteral<"Podcast">;
|
|
204
|
+
authors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
205
|
+
episodeTitle: Type.TString;
|
|
206
|
+
seriesTitle: Type.TString;
|
|
207
|
+
platform: Type.TString;
|
|
208
|
+
url: Type.TString;
|
|
209
|
+
accessedDate: Type.TString;
|
|
210
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
211
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
212
|
+
}>, Type.TObject<{
|
|
213
|
+
type: Type.TLiteral<"Course">;
|
|
214
|
+
instructor: Type.TString;
|
|
215
|
+
institution: Type.TString;
|
|
216
|
+
courseCode: Type.TOptional<Type.TString>;
|
|
217
|
+
term: Type.TString;
|
|
218
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
219
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
220
|
+
}>, Type.TObject<{
|
|
221
|
+
type: Type.TLiteral<"Presentation">;
|
|
222
|
+
presenter: Type.TString;
|
|
223
|
+
eventTitle: Type.TString;
|
|
224
|
+
location: Type.TString;
|
|
225
|
+
date: Type.TString;
|
|
226
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
227
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
228
|
+
}>, Type.TObject<{
|
|
229
|
+
type: Type.TLiteral<"Interview">;
|
|
230
|
+
interviewee: Type.TString;
|
|
231
|
+
interviewer: Type.TOptional<Type.TString>;
|
|
232
|
+
date: Type.TString;
|
|
233
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
234
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
235
|
+
}>, Type.TObject<{
|
|
236
|
+
type: Type.TLiteral<"PersonalCommunication">;
|
|
237
|
+
person: Type.TString;
|
|
238
|
+
date: Type.TString;
|
|
239
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
240
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
241
|
+
}>, Type.TObject<{
|
|
242
|
+
type: Type.TLiteral<"Email">;
|
|
243
|
+
sender: Type.TString;
|
|
244
|
+
recipient: Type.TString;
|
|
245
|
+
date: Type.TString;
|
|
246
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
247
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
248
|
+
}>, Type.TObject<{
|
|
249
|
+
type: Type.TLiteral<"Law">;
|
|
250
|
+
title: Type.TString;
|
|
251
|
+
jurisdiction: Type.TString;
|
|
252
|
+
dateEnacted: Type.TString;
|
|
253
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
254
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
255
|
+
}>, Type.TObject<{
|
|
256
|
+
type: Type.TLiteral<"CourtCase">;
|
|
257
|
+
caseName: Type.TString;
|
|
258
|
+
court: Type.TString;
|
|
259
|
+
date: Type.TString;
|
|
260
|
+
reporter: Type.TOptional<Type.TString>;
|
|
261
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
262
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
263
|
+
}>, Type.TObject<{
|
|
264
|
+
type: Type.TLiteral<"GovernmentPublication">;
|
|
265
|
+
authors: Type.TOptional<Type.TArray<Type.TString>>;
|
|
266
|
+
agency: Type.TString;
|
|
267
|
+
reportNumber: Type.TOptional<Type.TString>;
|
|
268
|
+
location: Type.TString;
|
|
269
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
270
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
271
|
+
}>, Type.TObject<{
|
|
272
|
+
type: Type.TLiteral<"Datasheet">;
|
|
273
|
+
manufacturer: Type.TString;
|
|
274
|
+
partNumber: Type.TString;
|
|
275
|
+
url: Type.TString;
|
|
276
|
+
}>]>, Type.TIntersect<[Type.TObject<{
|
|
277
|
+
type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
|
|
278
|
+
}>, Type.TObject<{
|
|
279
|
+
type: Type.TLiteral<"ProductManual">;
|
|
280
|
+
manufacturer: Type.TString;
|
|
281
|
+
model: Type.TString;
|
|
282
|
+
url: Type.TOptional<Type.TString>;
|
|
283
|
+
}>]>]>;
|
|
284
|
+
}>]>;
|
|
285
|
+
export type TIEEESource = Static<typeof IEEESourceSchema>;
|
|
286
|
+
//# sourceMappingURL=source.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import Type, {} from "typebox";
|
|
2
|
+
import { CoreSourceSchema } from "../../lib/schemata/index.js";
|
|
3
|
+
import { Nullable } from "../../lib/schemata/shared.js";
|
|
4
|
+
import { IEEEReferenceSchema } from "./references.js";
|
|
5
|
+
export const IEEESourceSchema = Type.Intersect([
|
|
6
|
+
CoreSourceSchema,
|
|
7
|
+
Type.Object({
|
|
8
|
+
url: Nullable(Type.String()),
|
|
9
|
+
citation: IEEEReferenceSchema,
|
|
10
|
+
}),
|
|
11
|
+
]);
|
|
12
|
+
//# sourceMappingURL=source.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/extensions/ieee/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAA;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,gBAAgB;IAChB,IAAI,CAAC,MAAM,CAAC;QACR,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,EAAE,mBAAmB;KAChC,CAAC;CACL,CAAC,CAAA"}
|
package/dist/lib/consts.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,
|
|
1
|
+
{"version":3,"file":"consts.d.ts","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAE9D,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,mBAAmB,CAgCjE,CAAA;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,mBAAmB,GAChC,mBAAmB,CAkBrB"}
|
package/dist/lib/consts.js
CHANGED
|
@@ -14,6 +14,22 @@ export const DEFAULT_CHECKSUM_CONFIG = {
|
|
|
14
14
|
premiseFields: new Set(["id", "argumentId", "argumentVersion"]),
|
|
15
15
|
argumentFields: new Set(["id", "version"]),
|
|
16
16
|
roleFields: new Set(["conclusionPremiseId"]),
|
|
17
|
+
sourceFields: new Set(["id", "argumentId", "argumentVersion"]),
|
|
18
|
+
variableSourceAssociationFields: new Set([
|
|
19
|
+
"id",
|
|
20
|
+
"sourceId",
|
|
21
|
+
"variableId",
|
|
22
|
+
"argumentId",
|
|
23
|
+
"argumentVersion",
|
|
24
|
+
]),
|
|
25
|
+
expressionSourceAssociationFields: new Set([
|
|
26
|
+
"id",
|
|
27
|
+
"sourceId",
|
|
28
|
+
"expressionId",
|
|
29
|
+
"premiseId",
|
|
30
|
+
"argumentId",
|
|
31
|
+
"argumentVersion",
|
|
32
|
+
]),
|
|
17
33
|
};
|
|
18
34
|
/**
|
|
19
35
|
* Creates a checksum config by merging additional fields into the defaults.
|
|
@@ -26,6 +42,9 @@ export function createChecksumConfig(additional) {
|
|
|
26
42
|
"premiseFields",
|
|
27
43
|
"argumentFields",
|
|
28
44
|
"roleFields",
|
|
45
|
+
"sourceFields",
|
|
46
|
+
"variableSourceAssociationFields",
|
|
47
|
+
"expressionSourceAssociationFields",
|
|
29
48
|
];
|
|
30
49
|
const result = {};
|
|
31
50
|
for (const key of keys) {
|
package/dist/lib/consts.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC1E,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC/D,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;
|
|
1
|
+
{"version":3,"file":"consts.js","sourceRoot":"","sources":["../../src/lib/consts.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,uBAAuB,GAAkC;IAClE,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACtB,IAAI;QACJ,MAAM;QACN,UAAU;QACV,UAAU;QACV,YAAY;QACZ,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,UAAU;KACb,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC1E,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC/D,cAAc,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC5C,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;IAC9D,+BAA+B,EAAE,IAAI,GAAG,CAAC;QACrC,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,YAAY;QACZ,iBAAiB;KACpB,CAAC;IACF,iCAAiC,EAAE,IAAI,GAAG,CAAC;QACvC,IAAI;QACJ,UAAU;QACV,cAAc;QACd,WAAW;QACX,YAAY;QACZ,iBAAiB;KACpB,CAAC;CACL,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA+B;IAE/B,MAAM,IAAI,GAAG;QACT,kBAAkB;QAClB,gBAAgB;QAChB,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,cAAc;QACd,iCAAiC;QACjC,mCAAmC;KAC7B,CAAA;IACV,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,uBAAuB,CAAC,GAAG,CAAE,CAAA;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
|
|
@@ -0,0 +1,134 @@
|
|
|
1
|
+
import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TOptionalChecksum, TCoreSource, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
|
|
2
|
+
import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../types/evaluation.js";
|
|
3
|
+
import type { TCoreChecksumConfig } from "../types/checksum.js";
|
|
4
|
+
import type { TCorePositionConfig } from "../utils/position.js";
|
|
5
|
+
import type { TCoreMutationResult } from "../types/mutation.js";
|
|
6
|
+
import type { TReactiveSnapshot } from "../types/reactive.js";
|
|
7
|
+
import type { TExpressionInput } from "./expression-manager.js";
|
|
8
|
+
import { PremiseEngine } from "./premise-engine.js";
|
|
9
|
+
import type { TPremiseEngineSnapshot } from "./premise-engine.js";
|
|
10
|
+
import type { TVariableManagerSnapshot } from "./variable-manager.js";
|
|
11
|
+
import type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, TSourceManagement, TDisplayable, TChecksummable } from "./interfaces/index.js";
|
|
12
|
+
import type { TSourceManagerSnapshot } from "./source-manager.js";
|
|
13
|
+
export type TLogicEngineOptions = {
|
|
14
|
+
checksumConfig?: TCoreChecksumConfig;
|
|
15
|
+
positionConfig?: TCorePositionConfig;
|
|
16
|
+
};
|
|
17
|
+
export type TArgumentEngineSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource> = {
|
|
18
|
+
argument: TOptionalChecksum<TArg>;
|
|
19
|
+
variables: TVariableManagerSnapshot<TVar>;
|
|
20
|
+
premises: TPremiseEngineSnapshot<TPremise, TExpr>[];
|
|
21
|
+
conclusionPremiseId?: string;
|
|
22
|
+
config?: TLogicEngineOptions;
|
|
23
|
+
sources?: TSourceManagerSnapshot<TSource>;
|
|
24
|
+
};
|
|
25
|
+
/**
|
|
26
|
+
* Manages a propositional logic argument composed of premises, variable
|
|
27
|
+
* assignments, and logical roles (supporting premises and a conclusion).
|
|
28
|
+
*
|
|
29
|
+
* Provides premise CRUD, role management, evaluation of individual
|
|
30
|
+
* assignments, and exhaustive validity checking via truth-table enumeration.
|
|
31
|
+
*/
|
|
32
|
+
export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource> implements TPremiseCrud<TArg, TPremise, TExpr, TVar, TSource>, TVariableManagement<TArg, TPremise, TExpr, TVar, TSource>, TArgumentExpressionQueries<TExpr>, TArgumentRoleState<TArg, TPremise, TExpr, TVar, TSource>, TArgumentEvaluation, TArgumentLifecycle<TArg, TPremise, TExpr, TVar, TSource>, TArgumentIdentity<TArg>, TSourceManagement<TArg, TPremise, TExpr, TVar, TSource>, TDisplayable, TChecksummable {
|
|
33
|
+
private argument;
|
|
34
|
+
private premises;
|
|
35
|
+
private variables;
|
|
36
|
+
private sourceManager;
|
|
37
|
+
private conclusionPremiseId;
|
|
38
|
+
private checksumConfig?;
|
|
39
|
+
private positionConfig?;
|
|
40
|
+
private checksumDirty;
|
|
41
|
+
private cachedChecksum;
|
|
42
|
+
private expressionIndex;
|
|
43
|
+
private listeners;
|
|
44
|
+
private reactiveDirty;
|
|
45
|
+
private cachedReactiveSnapshot;
|
|
46
|
+
constructor(argument: TOptionalChecksum<TArg>, options?: TLogicEngineOptions);
|
|
47
|
+
subscribe: (listener: () => void) => (() => void);
|
|
48
|
+
protected notifySubscribers(): void;
|
|
49
|
+
getSnapshot: () => TReactiveSnapshot<TArg, TPremise, TExpr, TVar, TSource>;
|
|
50
|
+
protected buildReactiveSnapshot(): TReactiveSnapshot<TArg, TPremise, TExpr, TVar, TSource>;
|
|
51
|
+
private buildVariablesRecord;
|
|
52
|
+
private buildAllPremisesRecord;
|
|
53
|
+
private buildPremiseRecord;
|
|
54
|
+
private markReactiveDirty;
|
|
55
|
+
getArgument(): TArg;
|
|
56
|
+
toDisplayString(): string;
|
|
57
|
+
createPremise(extras?: Record<string, unknown>): TCoreMutationResult<PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>, TExpr, TVar, TPremise, TArg, TSource>;
|
|
58
|
+
createPremiseWithId(id: string, extras?: Record<string, unknown>): TCoreMutationResult<PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>, TExpr, TVar, TPremise, TArg, TSource>;
|
|
59
|
+
removePremise(premiseId: string): TCoreMutationResult<TPremise | undefined, TExpr, TVar, TPremise, TArg, TSource>;
|
|
60
|
+
getPremise(premiseId: string): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource> | undefined;
|
|
61
|
+
hasPremise(premiseId: string): boolean;
|
|
62
|
+
listPremiseIds(): string[];
|
|
63
|
+
listPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>[];
|
|
64
|
+
addVariable(variable: TOptionalChecksum<TVar>): TCoreMutationResult<TVar, TExpr, TVar, TPremise, TArg, TSource>;
|
|
65
|
+
updateVariable(variableId: string, updates: {
|
|
66
|
+
symbol?: string;
|
|
67
|
+
}): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg, TSource>;
|
|
68
|
+
removeVariable(variableId: string): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg, TSource>;
|
|
69
|
+
getVariables(): TVar[];
|
|
70
|
+
getVariable(variableId: string): TVar | undefined;
|
|
71
|
+
hasVariable(variableId: string): boolean;
|
|
72
|
+
getVariableBySymbol(symbol: string): TVar | undefined;
|
|
73
|
+
buildVariableIndex<K>(keyFn: (v: TVar) => K): Map<K, TVar>;
|
|
74
|
+
getExpression(expressionId: string): TExpr | undefined;
|
|
75
|
+
hasExpression(expressionId: string): boolean;
|
|
76
|
+
getExpressionPremiseId(expressionId: string): string | undefined;
|
|
77
|
+
findPremiseByExpressionId(expressionId: string): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource> | undefined;
|
|
78
|
+
getAllExpressions(): TExpr[];
|
|
79
|
+
getExpressionsByVariableId(variableId: string): TExpr[];
|
|
80
|
+
listRootExpressions(): TExpr[];
|
|
81
|
+
getRoleState(): TCoreArgumentRoleState;
|
|
82
|
+
setConclusionPremise(premiseId: string): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg, TSource>;
|
|
83
|
+
clearConclusionPremise(): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg, TSource>;
|
|
84
|
+
getConclusionPremise(): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource> | undefined;
|
|
85
|
+
listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar, TSource>[];
|
|
86
|
+
addSource(source: TOptionalChecksum<TSource>): TCoreMutationResult<TSource, TExpr, TVar, TPremise, TArg, TSource>;
|
|
87
|
+
removeSource(sourceId: string): TCoreMutationResult<TSource | undefined, TExpr, TVar, TPremise, TArg, TSource>;
|
|
88
|
+
addVariableSourceAssociation(sourceId: string, variableId: string): TCoreMutationResult<TCoreVariableSourceAssociation, TExpr, TVar, TPremise, TArg, TSource>;
|
|
89
|
+
removeVariableSourceAssociation(associationId: string): TCoreMutationResult<TCoreVariableSourceAssociation | undefined, TExpr, TVar, TPremise, TArg, TSource>;
|
|
90
|
+
addExpressionSourceAssociation(sourceId: string, expressionId: string, premiseId: string): TCoreMutationResult<TCoreExpressionSourceAssociation, TExpr, TVar, TPremise, TArg, TSource>;
|
|
91
|
+
removeExpressionSourceAssociation(associationId: string): TCoreMutationResult<TCoreExpressionSourceAssociation | undefined, TExpr, TVar, TPremise, TArg, TSource>;
|
|
92
|
+
getSources(): TSource[];
|
|
93
|
+
getSource(sourceId: string): TSource | undefined;
|
|
94
|
+
getAssociationsForSource(sourceId: string): {
|
|
95
|
+
variable: TCoreVariableSourceAssociation[];
|
|
96
|
+
expression: TCoreExpressionSourceAssociation[];
|
|
97
|
+
};
|
|
98
|
+
getAssociationsForVariable(variableId: string): TCoreVariableSourceAssociation[];
|
|
99
|
+
getAssociationsForExpression(expressionId: string): TCoreExpressionSourceAssociation[];
|
|
100
|
+
getAllVariableSourceAssociations(): TCoreVariableSourceAssociation[];
|
|
101
|
+
getAllExpressionSourceAssociations(): TCoreExpressionSourceAssociation[];
|
|
102
|
+
snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar, TSource>;
|
|
103
|
+
/** Creates a new ArgumentEngine from a previously captured snapshot. */
|
|
104
|
+
static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource>(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar, TSource>): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource>;
|
|
105
|
+
/**
|
|
106
|
+
* Creates a new ArgumentEngine from flat arrays of entities, as typically
|
|
107
|
+
* stored in a relational database. Expressions are grouped by their
|
|
108
|
+
* `premiseId` field and loaded in BFS order (roots first, then children
|
|
109
|
+
* of already-added nodes) to satisfy parent-existence requirements.
|
|
110
|
+
*/
|
|
111
|
+
static fromData<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource>(argument: TOptionalChecksum<TArg>, variables: TOptionalChecksum<TVar>[], premises: TOptionalChecksum<TPremise>[], expressions: TExpressionInput<TExpr>[], roles: TCoreArgumentRoleState, config?: TLogicEngineOptions): ArgumentEngine<TArg, TPremise, TExpr, TVar, TSource>;
|
|
112
|
+
rollback(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar, TSource>): void;
|
|
113
|
+
checksum(): string;
|
|
114
|
+
private computeChecksum;
|
|
115
|
+
private markDirty;
|
|
116
|
+
/** Invalidate all premise checksums (e.g. after variable changes). */
|
|
117
|
+
private markAllPremisesDirty;
|
|
118
|
+
private attachVariableChecksum;
|
|
119
|
+
collectReferencedVariables(): {
|
|
120
|
+
variableIds: string[];
|
|
121
|
+
byId: Record<string, {
|
|
122
|
+
symbol: string;
|
|
123
|
+
premiseIds: string[];
|
|
124
|
+
}>;
|
|
125
|
+
bySymbol: Record<string, {
|
|
126
|
+
variableIds: string[];
|
|
127
|
+
premiseIds: string[];
|
|
128
|
+
}>;
|
|
129
|
+
};
|
|
130
|
+
validateEvaluability(): TCoreValidationResult;
|
|
131
|
+
evaluate(assignment: TCoreExpressionAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
|
|
132
|
+
checkValidity(options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
|
|
133
|
+
}
|
|
134
|
+
//# sourceMappingURL=argument-engine.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACjB,WAAW,EACX,8BAA8B,EAC9B,gCAAgC,EACnC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,EAIzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE/D,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAS7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACjB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,IACzC;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;IAC5B,OAAO,CAAC,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAA;CAC5C,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,CAEzC,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EAClD,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACzD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACxD,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACxD,iBAAiB,CAAC,IAAI,CAAC,EACvB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACvD,YAAY,EACZ,cAAc;IAElB,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAGf;IACD,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,aAAa,CAAwB;IAC7C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,cAAc,CAAoB;IAC1C,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAOpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,OAAO,CAAC,EAAE,mBAAmB;IAe1B,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAM5B,WAAW,QAAO,iBAAiB,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV,CAEA;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV;IA0GD,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IA0ClB,WAAW,IAAI,IAAI;IAInB,eAAe,IAAI,MAAM;IA0BzB,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACnD,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAIM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,EACnD,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAoDM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,QAAQ,GAAG,SAAS,EACpB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAuCM,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,SAAS;IAI3D,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAChC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV,EAAE;IAWI,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAClC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;IAgC3D,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7B,mBAAmB,CAClB,IAAI,GAAG,SAAS,EAChB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAgCM,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAClB,IAAI,GAAG,SAAS,EAChB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA2DM,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIjD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,SAAS;IAM3D,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IAS9B,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAyBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAqBM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACnD,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV,EAAE;IAUI,SAAS,CACZ,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,GACnC,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;IAqC9D,YAAY,CACf,QAAQ,EAAE,MAAM,GACjB,mBAAmB,CAClB,OAAO,GAAG,SAAS,EACnB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA2BM,4BAA4B,CAC/B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAClB,8BAA8B,EAC9B,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAyCM,+BAA+B,CAClC,aAAa,EAAE,MAAM,GACtB,mBAAmB,CAClB,8BAA8B,GAAG,SAAS,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA+BM,8BAA8B,CACjC,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,gCAAgC,EAChC,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IAgDM,iCAAiC,CACpC,aAAa,EAAE,MAAM,GACtB,mBAAmB,CAClB,gCAAgC,GAAG,SAAS,EAC5C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ,OAAO,CACV;IA+BM,UAAU,IAAI,OAAO,EAAE;IAIvB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAIhD,wBAAwB,CAAC,QAAQ,EAAE,MAAM,GAAG;QAC/C,QAAQ,EAAE,8BAA8B,EAAE,CAAA;QAC1C,UAAU,EAAE,gCAAgC,EAAE,CAAA;KACjD;IAIM,0BAA0B,CAC7B,UAAU,EAAE,MAAM,GACnB,8BAA8B,EAAE;IAI5B,4BAA4B,CAC/B,YAAY,EAAE,MAAM,GACrB,gCAAgC,EAAE;IAI9B,gCAAgC,IAAI,8BAA8B,EAAE;IAIpE,kCAAkC,IAAI,gCAAgC,EAAE;IAIxE,QAAQ,IAAI,uBAAuB,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,OAAO,CACV;IAgBD,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EAEzC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACxE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;IA0CvD;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EAEzC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,GAC7B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;IA4EhD,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,GACxE,IAAI;IA8CA,QAAQ,IAAI,MAAM;IAQzB,OAAO,CAAC,eAAe;IA0CvB,OAAO,CAAC,SAAS;IAIjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAuEM,oBAAoB,IAAI,qBAAqB;IAsH7C,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IA2IzB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;CAsJ9B"}
|