@confect/core 9.0.0-next.3 → 9.0.0-next.4
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 +2 -0
- package/dist/FunctionProvenance.d.ts +30 -30
- package/dist/FunctionProvenance.d.ts.map +1 -1
- 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"}
|