@confect/core 9.0.0-next.0 → 9.0.0-next.2
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/CHANGELOG.md +4 -0
- package/dist/FunctionProvenance.d.ts +30 -30
- package/dist/FunctionProvenance.d.ts.map +1 -1
- package/dist/Spec.d.ts +5 -5
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -28,76 +28,76 @@ interface Convex<Args extends DefaultFunctionArgs, Returns> {
|
|
|
28
28
|
}
|
|
29
29
|
interface AnyConvex extends Convex<DefaultFunctionArgs, any> {}
|
|
30
30
|
declare const FunctionProvenance: {
|
|
31
|
+
readonly Convex: Data.Case.Constructor<{
|
|
32
|
+
readonly _tag: "Convex";
|
|
33
|
+
readonly _args: DefaultFunctionArgs;
|
|
34
|
+
readonly _returns: any;
|
|
35
|
+
}, "_tag">;
|
|
31
36
|
readonly Confect: Data.Case.Constructor<{
|
|
32
37
|
readonly _tag: "Confect";
|
|
33
38
|
readonly args: Schema.Schema.AnyNoContext;
|
|
34
39
|
readonly returns: Schema.Schema.AnyNoContext;
|
|
35
40
|
readonly error?: Schema.Schema.AnyNoContext;
|
|
36
41
|
}, "_tag">;
|
|
37
|
-
readonly Convex:
|
|
42
|
+
readonly $is: <Tag extends "Convex" | "Confect">(tag: Tag) => (u: unknown) => u is Extract<{
|
|
38
43
|
readonly _tag: "Convex";
|
|
39
44
|
readonly _args: DefaultFunctionArgs;
|
|
40
45
|
readonly _returns: any;
|
|
41
|
-
},
|
|
42
|
-
|
|
46
|
+
}, {
|
|
47
|
+
readonly _tag: Tag;
|
|
48
|
+
}> | Extract<{
|
|
43
49
|
readonly _tag: "Confect";
|
|
44
50
|
readonly args: Schema.Schema.AnyNoContext;
|
|
45
51
|
readonly returns: Schema.Schema.AnyNoContext;
|
|
46
52
|
readonly error?: Schema.Schema.AnyNoContext;
|
|
47
53
|
}, {
|
|
48
54
|
readonly _tag: Tag;
|
|
49
|
-
}> | Extract<{
|
|
50
|
-
readonly _tag: "Convex";
|
|
51
|
-
readonly _args: DefaultFunctionArgs;
|
|
52
|
-
readonly _returns: any;
|
|
53
|
-
}, {
|
|
54
|
-
readonly _tag: Tag;
|
|
55
55
|
}>;
|
|
56
56
|
readonly $match: {
|
|
57
57
|
<const Cases extends {
|
|
58
|
+
readonly Convex: (args: {
|
|
59
|
+
readonly _tag: "Convex";
|
|
60
|
+
readonly _args: DefaultFunctionArgs;
|
|
61
|
+
readonly _returns: any;
|
|
62
|
+
}) => any;
|
|
58
63
|
readonly Confect: (args: {
|
|
59
64
|
readonly _tag: "Confect";
|
|
60
65
|
readonly args: Schema.Schema.AnyNoContext;
|
|
61
66
|
readonly returns: Schema.Schema.AnyNoContext;
|
|
62
67
|
readonly error?: Schema.Schema.AnyNoContext;
|
|
63
68
|
}) => any;
|
|
64
|
-
|
|
65
|
-
|
|
66
|
-
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
}>(cases: Cases & { [K in Exclude<keyof Cases, "Confect" | "Convex">]: never }): (value: {
|
|
69
|
+
}>(cases: Cases & { [K in Exclude<keyof Cases, "Convex" | "Confect">]: never }): (value: {
|
|
70
|
+
readonly _tag: "Convex";
|
|
71
|
+
readonly _args: DefaultFunctionArgs;
|
|
72
|
+
readonly _returns: any;
|
|
73
|
+
} | {
|
|
70
74
|
readonly _tag: "Confect";
|
|
71
75
|
readonly args: Schema.Schema.AnyNoContext;
|
|
72
76
|
readonly returns: Schema.Schema.AnyNoContext;
|
|
73
77
|
readonly error?: Schema.Schema.AnyNoContext;
|
|
74
|
-
} |
|
|
75
|
-
readonly _tag: "Convex";
|
|
76
|
-
readonly _args: DefaultFunctionArgs;
|
|
77
|
-
readonly _returns: any;
|
|
78
|
-
}) => effect_Unify0.Unify<ReturnType<Cases["Confect" | "Convex"]>>;
|
|
78
|
+
}) => effect_Unify0.Unify<ReturnType<Cases["Convex" | "Confect"]>>;
|
|
79
79
|
<const Cases extends {
|
|
80
|
+
readonly Convex: (args: {
|
|
81
|
+
readonly _tag: "Convex";
|
|
82
|
+
readonly _args: DefaultFunctionArgs;
|
|
83
|
+
readonly _returns: any;
|
|
84
|
+
}) => any;
|
|
80
85
|
readonly Confect: (args: {
|
|
81
86
|
readonly _tag: "Confect";
|
|
82
87
|
readonly args: Schema.Schema.AnyNoContext;
|
|
83
88
|
readonly returns: Schema.Schema.AnyNoContext;
|
|
84
89
|
readonly error?: Schema.Schema.AnyNoContext;
|
|
85
90
|
}) => any;
|
|
86
|
-
readonly Convex: (args: {
|
|
87
|
-
readonly _tag: "Convex";
|
|
88
|
-
readonly _args: DefaultFunctionArgs;
|
|
89
|
-
readonly _returns: any;
|
|
90
|
-
}) => any;
|
|
91
91
|
}>(value: {
|
|
92
|
+
readonly _tag: "Convex";
|
|
93
|
+
readonly _args: DefaultFunctionArgs;
|
|
94
|
+
readonly _returns: any;
|
|
95
|
+
} | {
|
|
92
96
|
readonly _tag: "Confect";
|
|
93
97
|
readonly args: Schema.Schema.AnyNoContext;
|
|
94
98
|
readonly returns: Schema.Schema.AnyNoContext;
|
|
95
99
|
readonly error?: Schema.Schema.AnyNoContext;
|
|
96
|
-
} |
|
|
97
|
-
readonly _tag: "Convex";
|
|
98
|
-
readonly _args: DefaultFunctionArgs;
|
|
99
|
-
readonly _returns: any;
|
|
100
|
-
}, cases: Cases & { [K in Exclude<keyof Cases, "Confect" | "Convex">]: never }): effect_Unify0.Unify<ReturnType<Cases["Confect" | "Convex"]>>;
|
|
100
|
+
}, cases: Cases & { [K in Exclude<keyof Cases, "Convex" | "Confect">]: never }): effect_Unify0.Unify<ReturnType<Cases["Convex" | "Confect"]>>;
|
|
101
101
|
};
|
|
102
102
|
};
|
|
103
103
|
declare const Confect: <Args extends Schema.Schema.AnyNoContext, Returns extends Schema.Schema.AnyNoContext, Error extends Schema.Schema.AnyNoContext = never>(args: Args, returns: Returns, error?: Error) => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"FunctionProvenance.d.ts","names":[],"sources":["../src/FunctionProvenance.ts"],"mappings":";;;;;;;;KAIY,kBAAA,GAAqB,IAAA,CAAK,UAAA;EACpC,OAAA;IACE,IAAA,EAAM,MAAA,CAAO,MAAA,CAAO,YAAA;IACpB,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,YAAA;IACvB,KAAA,GAAQ,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAExB,MAAA;AAAA;AAAA,UAQe,OAAA,cACF,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA,gBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,SAEnB,IAAA;EAAA,SACA,IAAA,EAAM,IAAA;EAAA,SACN,OAAA,EAAS,OAAA;EAAA,SACT,KAAA,GAAQ,KAAA;AAAA;AAAA,UAGF,UAAA,SAAmB,OAAA,CAClC,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA,UAGC,MAAA,cAAoB,mBAAA;EAAA,SAC1B,IAAA;EAAA,SACA,KAAA,EAAO,IAAA;EAAA,SACP,QAAA,EAAU,OAAA;AAAA;AAAA,UAGJ,SAAA,SAAkB,MAAA,CAAO,mBAAA;AAAA,cAE7B,kBAAA;EAAA;;
|
|
1
|
+
{"version":3,"file":"FunctionProvenance.d.ts","names":[],"sources":["../src/FunctionProvenance.ts"],"mappings":";;;;;;;;KAIY,kBAAA,GAAqB,IAAA,CAAK,UAAA;EACpC,OAAA;IACE,IAAA,EAAM,MAAA,CAAO,MAAA,CAAO,YAAA;IACpB,OAAA,EAAS,MAAA,CAAO,MAAA,CAAO,YAAA;IACvB,KAAA,GAAQ,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAExB,MAAA;AAAA;AAAA,UAQe,OAAA,cACF,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA,gBAChB,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,SAEnB,IAAA;EAAA,SACA,IAAA,EAAM,IAAA;EAAA,SACN,OAAA,EAAS,OAAA;EAAA,SACT,KAAA,GAAQ,KAAA;AAAA;AAAA,UAGF,UAAA,SAAmB,OAAA,CAClC,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA,EACd,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA,UAGC,MAAA,cAAoB,mBAAA;EAAA,SAC1B,IAAA;EAAA,SACA,KAAA,EAAO,IAAA;EAAA,SACP,QAAA,EAAU,OAAA;AAAA;AAAA,UAGJ,SAAA,SAAkB,MAAA,CAAO,mBAAA;AAAA,cAE7B,kBAAA;EAAA;;oBA/BF,mBAAA;IAAA;;;;mBAND,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;EAAA;;oBAIf,mBAAA;IAAA;;;;;mBAND,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA;IAAA;;;;;;wBAIf,mBAAA;QAAA;;;;uBAND,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA;IAAA;;sBAIf,mBAAA;MAAA;;;qBAND,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA;;;;wBAIf,mBAAA;QAAA;;;;uBAND,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;QAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA;IAAA;;sBAIf,mBAAA;MAAA;;;qBAND,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;MAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;IAAA;;;cAqCb,OAAA,gBACE,MAAA,CAAO,MAAA,CAAO,YAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA,gBAChB,MAAA,CAAO,MAAA,CAAO,YAAA,UAE5B,IAAA,EAAM,IAAA,EACN,OAAA,EAAS,OAAA,EACT,KAAA,GAAQ,KAAA;EAAA;iBA9CA,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,kBACX,MAAA,CAAO,MAAA,CAAO,YAAA;EAAA,iBACf,MAAA,CAAO,MAAA,CAAO,YAAA;AAAA;AAAA,cAoDb,MAAA,iBAAwB,mBAAA;EAAA;kBAhD1B,mBAAA;EAAA"}
|
package/dist/Spec.d.ts
CHANGED
|
@@ -10,18 +10,18 @@ type TypeId = typeof TypeId;
|
|
|
10
10
|
declare const isSpec: (u: unknown) => u is AnyWithProps;
|
|
11
11
|
declare const isConvexSpec: (u: unknown) => u is AnyWithPropsWithRuntime<"Convex">;
|
|
12
12
|
declare const isNodeSpec: (u: unknown) => u is AnyWithPropsWithRuntime<"Node">;
|
|
13
|
-
interface Spec<Runtime$
|
|
13
|
+
interface Spec<Runtime$2 extends Runtime, Groups_ extends AnyWithPropsWithRuntime$1<Runtime$2> = never> {
|
|
14
14
|
readonly [TypeId]: TypeId;
|
|
15
|
-
readonly runtime: Runtime$
|
|
15
|
+
readonly runtime: Runtime$2;
|
|
16
16
|
readonly groups: { [GroupName in Name<Groups_>]: WithName<Groups_, GroupName> };
|
|
17
|
-
add<Group extends AnyWithPropsWithRuntime$1<Runtime$
|
|
18
|
-
addAt<const Name$1 extends string, Group extends AnyWithPropsWithRuntime$1<Runtime$
|
|
17
|
+
add<Group extends AnyWithPropsWithRuntime$1<Runtime$2>>(group: Group): Spec<Runtime$2, Groups_ | Group>;
|
|
18
|
+
addAt<const Name$1 extends string, Group extends AnyWithPropsWithRuntime$1<Runtime$2>>(name: Name$1, group: Group): Spec<Runtime$2, Groups_ | NamedAt<Group, Name$1>>;
|
|
19
19
|
}
|
|
20
20
|
interface Any {
|
|
21
21
|
readonly [TypeId]: TypeId;
|
|
22
22
|
}
|
|
23
23
|
interface AnyWithProps extends Spec<Runtime, AnyWithProps$1> {}
|
|
24
|
-
interface AnyWithPropsWithRuntime<Runtime$
|
|
24
|
+
interface AnyWithPropsWithRuntime<Runtime$1 extends Runtime> extends Spec<Runtime$1, AnyWithPropsWithRuntime$1<Runtime$1>> {}
|
|
25
25
|
type Groups<Spec_ extends AnyWithProps> = Spec_["groups"][keyof Spec_["groups"]];
|
|
26
26
|
declare const make: () => Spec<"Convex">;
|
|
27
27
|
declare const makeNode: () => Spec<"Node">;
|