mol_type_all 0.0.1015 → 0.0.1017
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/node.d.ts +14 -6
- package/node.deps.json +1 -1
- package/package.json +1 -1
- package/web.d.ts +14 -6
- package/web.deps.json +1 -1
package/node.d.ts
CHANGED
|
@@ -44,7 +44,7 @@ declare namespace $ {
|
|
|
44
44
|
}
|
|
45
45
|
|
|
46
46
|
declare namespace $ {
|
|
47
|
-
type Parse<Str extends string, Res extends Int = Zero> = Str extends `${infer Letter}${infer Tail}` ? Parse<Tail, Plus<[
|
|
47
|
+
type Parse<Str extends string, Res extends Int = Zero> = Str extends `${infer Letter extends keyof Digits}${infer Tail}` ? Parse<Tail, Plus<[
|
|
48
48
|
Mult<[Res, Ten]>,
|
|
49
49
|
Digit<Letter>
|
|
50
50
|
]>> : Res;
|
|
@@ -62,12 +62,12 @@ declare namespace $ {
|
|
|
62
62
|
'9': 9;
|
|
63
63
|
};
|
|
64
64
|
type Digit<Letter extends string> = Up<Digits[Extract<Letter, keyof Digits>]>;
|
|
65
|
-
type Int =
|
|
65
|
+
type Int = unknown[];
|
|
66
66
|
type Pair = [Int, Int];
|
|
67
67
|
type Zero = [];
|
|
68
68
|
type One = [0];
|
|
69
69
|
type Ten = Up<10>;
|
|
70
|
-
type Down<Value extends
|
|
70
|
+
type Down<Value extends Int> = Value["length"];
|
|
71
71
|
type Up<Value extends number, Res extends Int = Zero> = Value extends Down<Res> ? Res : Up<Value, Next<Res>>;
|
|
72
72
|
type Next<Value extends Int> = Plus<[Value, One]>;
|
|
73
73
|
type Prev<Value extends Int> = Minus<[Value, One]>;
|
|
@@ -80,7 +80,7 @@ declare namespace $ {
|
|
|
80
80
|
Parse<`${Left}`>,
|
|
81
81
|
Parse<`${Right}`>
|
|
82
82
|
]>>;
|
|
83
|
-
type Minus<Arg extends Pair> = Arg[0] extends [...Arg[1], ...infer Res] ? Res : never;
|
|
83
|
+
type Minus<Arg extends Pair> = Arg[0] extends [...Arg[1], ...infer Res] ? Extract<Res, Int> : never;
|
|
84
84
|
export type $mol_type_int_mult<Left extends Check<Left>, Right extends Check<Right>> = Down<Mult<[
|
|
85
85
|
Parse<`${Left}`>,
|
|
86
86
|
Parse<`${Right}`>
|
|
@@ -97,8 +97,16 @@ declare namespace $ {
|
|
|
97
97
|
Arg[0],
|
|
98
98
|
Prev<Arg[1]>
|
|
99
99
|
], Mult<[Res, Arg[0]]>>;
|
|
100
|
-
export type $
|
|
101
|
-
|
|
100
|
+
export type $mol_type_int_range<Lo extends Check<Lo>, Hi extends Check<Hi>> = Down<Range<[
|
|
101
|
+
Parse<`${Lo}`>,
|
|
102
|
+
Parse<`${Hi}`>
|
|
103
|
+
]>>;
|
|
104
|
+
type Range<Args extends Pair> = keyof Args[0] extends keyof Args[1] ? Plus<[
|
|
105
|
+
Args[0],
|
|
106
|
+
Parse<Exclude<keyof Minus<[Args[1], Args[0]]>, symbol | number>>
|
|
107
|
+
]> : never;
|
|
108
|
+
export type $mol_type_int_ordered<Left extends Check<Left>, Right extends Check<Right>> = keyof Parse<`${Left}`> extends keyof Parse<`${Right}`> ? unknown : never;
|
|
109
|
+
type Calc<Expr extends string> = Expr extends `${infer Left}(${infer Inner})${infer Right}` ? Calc<`${Left}${Down<Calc<Inner>>}${Right}`> : Expr extends `${infer Left}..${infer Right}` ? Range<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}+${infer Right}` ? Plus<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}-${infer Right}` ? Minus<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}*${infer Right}` ? Mult<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}^${infer Right}` ? Pow<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left} ` ? Calc<Left> : Expr extends ` ${infer Right}` ? Calc<Right> : Parse<Expr>;
|
|
102
110
|
export type $mol_type_int_calc<Expr extends string> = Down<Calc<Expr>>;
|
|
103
111
|
export {};
|
|
104
112
|
}
|
package/node.deps.json
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"files":["mam.ts","LICENSE","README.md","yarn.lock","mam.jam.js","tsfmt.json","package.json","tsconfig.json","lang.lang.tree","meta.lang.tree","sandbox.config.json","mol/CNAME","mol/LICENSE","mol/readme.md","mol/index.html","mol/mol.meta.tree","mol/CONTRIBUTING.md","mol/CODE_OF_CONDUCT.md","mol/type/README.md","mol/type/equals/equals.ts","mol/type/error/error.ts","mol/type/assert/assert.ts","mol/type/tail/tail.ts","mol/type/append/append.ts","mol/type/head/head.ts","mol/type/int/int.ts","mol/type/intersect/intersect.ts","mol/type/keys/extract/extract.ts","mol/type/keys/exclude/exclude.ts","mol/type/merge/merge.ts","mol/type/omit/omit.ts","mol/type/param/param.ts","mol/type/partial/deep/deep.ts","mol/type/override/override.ts","mol/type/partial/undefined/undefined.ts","mol/type/pick/pick.ts","mol/type/prepend/prepend.ts","mol/type/result/result.ts","mol/type/reverse/reverse.ts","mol/type/unary/unary.ts","mol/type/all/all.meta.tree"],"mods":{},"deps_in":{"mol/type":{"mol/type/all":-9007199254740991,"mol/type/assert":-9007199254740991,"mol/type/equals":-9007199254740991,"mol/type/error":-9007199254740991,"mol/type/append":-9007199254740991,"mol/type/tail":-9007199254740991,"mol/type/head":-9007199254740991,"mol/type/int":-9007199254740991,"mol/type/intersect":-9007199254740991,"mol/type/keys":-9007199254740991,"mol/type/merge":-9007199254740991,"mol/type/omit":-9007199254740991,"mol/type/param":-9007199254740991,"mol/type/partial":-9007199254740991,"mol/type/override":-9007199254740991,"mol/type/pick":-9007199254740991,"mol/type/prepend":-9007199254740991,"mol/type/result":-9007199254740991,"mol/type/reverse":-9007199254740991,"mol/type/unary":-9007199254740991},"mol":{"mol/type":-9007199254740991},"":{"mol":-9007199254740991},"mol/type/assert":{"mol/type/all":-9000},"mol/type/equals":{"mol/type/assert":-1.25,"mol/type/all":-9000,"mol/type/merge":-3},"mol/type/error":{"mol/type/assert":-2,"mol/type/int":-3},"mol/type/append":{"mol/type/all":-9000},"mol/type/tail":{"mol/type/append":-1.25,"mol/type/head":-1.25,"mol/type/prepend":-1.25,"mol/type/reverse":-3,"mol/type/all":-9000},"mol/type/head":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/int":{"mol/type/all":-9000},"mol/type/intersect":{"mol/type/all":-9000},"mol/type/keys/exclude":{"mol/type/all":-9000,"mol/type/omit":-3},"mol/type/keys":{"mol/type/keys/exclude":-9007199254740991,"mol/type/keys/extract":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys/exclude":-2,"mol/type/all":-9000,"mol/type/pick":-3},"mol/type/merge":{"mol/type/all":-9000,"mol/type/partial/undefined":-1},"mol/type/omit":{"mol/type/all":-9000},"mol/type/param":{"mol/type/all":-9000},"mol/type/partial/deep":{"mol/type/all":-9000},"mol/type/partial":{"mol/type/partial/deep":-9007199254740991,"mol/type/partial/undefined":-9007199254740991},"mol/type/partial/undefined":{"mol/type/all":-9000},"mol/type/override":{"mol/type/partial/undefined":-2},"mol/type/pick":{"mol/type/all":-9000},"mol/type/prepend":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/result":{"mol/type/all":-9000},"mol/type/reverse":{"mol/type/all":-9000},"mol/type/unary":{"mol/type/all":-9000}},"deps_out":{"mol/type/all":{"mol/type":-9007199254740991,"mol/type/assert":-9000,"mol/type/append":-9000,"mol/type/equals":-9000,"mol/type/head":-9000,"mol/type/int":-9000,"mol/type/intersect":-9000,"mol/type/keys/exclude":-9000,"mol/type/keys/extract":-9000,"mol/type/merge":-9000,"mol/type/omit":-9000,"mol/type/param":-9000,"mol/type/partial/deep":-9000,"mol/type/partial/undefined":-9000,"mol/type/pick":-9000,"mol/type/prepend":-9000,"mol/type/result":-9000,"mol/type/reverse":-9000,"mol/type/tail":-9000,"mol/type/unary":-9000},"mol/type":{"mol":-9007199254740991},"mol":{"":-9007199254740991},"mol/type/assert":{"mol/type":-9007199254740991,"mol/type/equals":-1.25,"mol/type/error":-2},"mol/type/equals":{"mol/type":-9007199254740991},"mol/type/error":{"mol/type":-9007199254740991},"mol/type/append":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/tail":{"mol/type":-9007199254740991},"mol/type/head":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/int":{"mol/type":-9007199254740991,"mol/type/error":-3},"mol/type/intersect":{"mol/type":-9007199254740991},"mol/type/keys/exclude":{"mol/type/keys":-9007199254740991,"mol/type/keys/extract":-2},"mol/type/keys":{"mol/type":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys":-9007199254740991},"mol/type/merge":{"mol/type":-9007199254740991,"mol/type/equals":-3},"mol/type/omit":{"mol/type":-9007199254740991,"mol/type/keys/exclude":-3},"mol/type/param":{"mol/type":-9007199254740991},"mol/type/partial/deep":{"mol/type/partial":-9007199254740991},"mol/type/partial":{"mol/type":-9007199254740991},"mol/type/partial/undefined":{"mol/type/partial":-9007199254740991,"mol/type/merge":-1,"mol/type/override":-2},"mol/type/override":{"mol/type":-9007199254740991},"mol/type/pick":{"mol/type":-9007199254740991,"mol/type/keys/extract":-3},"mol/type/prepend":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/result":{"mol/type":-9007199254740991},"mol/type/reverse":{"mol/type":-9007199254740991,"mol/type/tail":-3,"mol/type/prepend":-3,"mol/type/head":-3},"mol/type/unary":{"mol/type":-9007199254740991}},"sloc":{"ts":
|
|
1
|
+
{"files":["mam.ts","LICENSE","README.md","yarn.lock","mam.jam.js","tsfmt.json","package.json","tsconfig.json","lang.lang.tree","meta.lang.tree","sandbox.config.json","mol/CNAME","mol/LICENSE","mol/readme.md","mol/index.html","mol/mol.meta.tree","mol/CONTRIBUTING.md","mol/CODE_OF_CONDUCT.md","mol/type/README.md","mol/type/equals/equals.ts","mol/type/error/error.ts","mol/type/assert/assert.ts","mol/type/tail/tail.ts","mol/type/append/append.ts","mol/type/head/head.ts","mol/type/int/int.ts","mol/type/intersect/intersect.ts","mol/type/keys/extract/extract.ts","mol/type/keys/exclude/exclude.ts","mol/type/merge/merge.ts","mol/type/omit/omit.ts","mol/type/param/param.ts","mol/type/partial/deep/deep.ts","mol/type/override/override.ts","mol/type/partial/undefined/undefined.ts","mol/type/pick/pick.ts","mol/type/prepend/prepend.ts","mol/type/result/result.ts","mol/type/reverse/reverse.ts","mol/type/unary/unary.ts","mol/type/all/all.meta.tree"],"mods":{},"deps_in":{"mol/type":{"mol/type/all":-9007199254740991,"mol/type/assert":-9007199254740991,"mol/type/equals":-9007199254740991,"mol/type/error":-9007199254740991,"mol/type/append":-9007199254740991,"mol/type/tail":-9007199254740991,"mol/type/head":-9007199254740991,"mol/type/int":-9007199254740991,"mol/type/intersect":-9007199254740991,"mol/type/keys":-9007199254740991,"mol/type/merge":-9007199254740991,"mol/type/omit":-9007199254740991,"mol/type/param":-9007199254740991,"mol/type/partial":-9007199254740991,"mol/type/override":-9007199254740991,"mol/type/pick":-9007199254740991,"mol/type/prepend":-9007199254740991,"mol/type/result":-9007199254740991,"mol/type/reverse":-9007199254740991,"mol/type/unary":-9007199254740991},"mol":{"mol/type":-9007199254740991},"":{"mol":-9007199254740991},"mol/type/assert":{"mol/type/all":-9000},"mol/type/equals":{"mol/type/assert":-1.25,"mol/type/all":-9000,"mol/type/merge":-3},"mol/type/error":{"mol/type/assert":-2,"mol/type/int":-3},"mol/type/append":{"mol/type/all":-9000},"mol/type/tail":{"mol/type/append":-1.25,"mol/type/head":-1.25,"mol/type/prepend":-1.25,"mol/type/reverse":-3,"mol/type/all":-9000},"mol/type/head":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/int":{"mol/type/all":-9000},"mol/type/intersect":{"mol/type/all":-9000},"mol/type/keys/exclude":{"mol/type/all":-9000,"mol/type/omit":-3},"mol/type/keys":{"mol/type/keys/exclude":-9007199254740991,"mol/type/keys/extract":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys/exclude":-2,"mol/type/all":-9000,"mol/type/pick":-3},"mol/type/merge":{"mol/type/all":-9000,"mol/type/partial/undefined":-1},"mol/type/omit":{"mol/type/all":-9000},"mol/type/param":{"mol/type/all":-9000},"mol/type/partial/deep":{"mol/type/all":-9000},"mol/type/partial":{"mol/type/partial/deep":-9007199254740991,"mol/type/partial/undefined":-9007199254740991},"mol/type/partial/undefined":{"mol/type/all":-9000},"mol/type/override":{"mol/type/partial/undefined":-2},"mol/type/pick":{"mol/type/all":-9000},"mol/type/prepend":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/result":{"mol/type/all":-9000},"mol/type/reverse":{"mol/type/all":-9000},"mol/type/unary":{"mol/type/all":-9000}},"deps_out":{"mol/type/all":{"mol/type":-9007199254740991,"mol/type/assert":-9000,"mol/type/append":-9000,"mol/type/equals":-9000,"mol/type/head":-9000,"mol/type/int":-9000,"mol/type/intersect":-9000,"mol/type/keys/exclude":-9000,"mol/type/keys/extract":-9000,"mol/type/merge":-9000,"mol/type/omit":-9000,"mol/type/param":-9000,"mol/type/partial/deep":-9000,"mol/type/partial/undefined":-9000,"mol/type/pick":-9000,"mol/type/prepend":-9000,"mol/type/result":-9000,"mol/type/reverse":-9000,"mol/type/tail":-9000,"mol/type/unary":-9000},"mol/type":{"mol":-9007199254740991},"mol":{"":-9007199254740991},"mol/type/assert":{"mol/type":-9007199254740991,"mol/type/equals":-1.25,"mol/type/error":-2},"mol/type/equals":{"mol/type":-9007199254740991},"mol/type/error":{"mol/type":-9007199254740991},"mol/type/append":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/tail":{"mol/type":-9007199254740991},"mol/type/head":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/int":{"mol/type":-9007199254740991,"mol/type/error":-3},"mol/type/intersect":{"mol/type":-9007199254740991},"mol/type/keys/exclude":{"mol/type/keys":-9007199254740991,"mol/type/keys/extract":-2},"mol/type/keys":{"mol/type":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys":-9007199254740991},"mol/type/merge":{"mol/type":-9007199254740991,"mol/type/equals":-3},"mol/type/omit":{"mol/type":-9007199254740991,"mol/type/keys/exclude":-3},"mol/type/param":{"mol/type":-9007199254740991},"mol/type/partial/deep":{"mol/type/partial":-9007199254740991},"mol/type/partial":{"mol/type":-9007199254740991},"mol/type/partial/undefined":{"mol/type/partial":-9007199254740991,"mol/type/merge":-1,"mol/type/override":-2},"mol/type/override":{"mol/type":-9007199254740991},"mol/type/pick":{"mol/type":-9007199254740991,"mol/type/keys/extract":-3},"mol/type/prepend":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/result":{"mol/type":-9007199254740991},"mol/type/reverse":{"mol/type":-9007199254740991,"mol/type/tail":-3,"mol/type/prepend":-3,"mol/type/head":-3},"mol/type/unary":{"mol/type":-9007199254740991}},"sloc":{"ts":469,"LICENSE":113,"md":494,"lock":950,"js":9,"json":92,"tree":60,"CNAME":1,"html":1},"deps":{"mol/type/all":{"..":-9007199254740991,"/mol/type/assert":-9000,"/mol/type/append":-9000,"/mol/type/equals":-9000,"/mol/type/head":-9000,"/mol/type/int":-9000,"/mol/type/intersect":-9000,"/mol/type/keys/exclude":-9000,"/mol/type/keys/extract":-9000,"/mol/type/merge":-9000,"/mol/type/omit":-9000,"/mol/type/param":-9000,"/mol/type/partial/deep":-9000,"/mol/type/partial/undefined":-9000,"/mol/type/pick":-9000,"/mol/type/prepend":-9000,"/mol/type/result":-9000,"/mol/type/reverse":-9000,"/mol/type/tail":-9000,"/mol/type/unary":-9000},"mol/type":{"..":-9007199254740991},"mol":{"..":-9007199254740991},"":{},"mol/type/assert":{"..":-9007199254740991,"/mol/type/assert":-1,"/mol/type/equals":-1.25,"/mol/type/error":-2,"/mol/type/assert/never":-1},"mol/type/equals":{"..":-9007199254740991,"/mol/type/equals":-1},"mol/type/error":{"..":-9007199254740991,"/mol/type/error":-1},"mol/type/append":{"..":-9007199254740991,"/mol/type/tail":-1.25,"/mol/type/append":-1},"mol/type/tail":{"..":-9007199254740991,"/mol/type/tail":-1},"mol/type/head":{"..":-9007199254740991,"/mol/type/tail":-1.25,"/mol/type/head":-1},"mol/type/int":{"..":-9007199254740991,"/mol/type/error":-3,"/mol/type/int/plus":-1,"/mol/type/int/minus":-1,"/mol/type/int/mult":-1,"/mol/type/int/pow":-1,"/mol/type/int/range":-1,"/mol/type/int/ordered":-1,"/mol/type/int/calc":-1},"mol/type/intersect":{"..":-9007199254740991,"/mol/type/intersect":-1},"mol/type/keys/exclude":{"..":-9007199254740991,"/mol/type/keys/exclude":-1,"/mol/type/keys/extract":-2},"mol/type/keys":{"..":-9007199254740991},"mol/type/keys/extract":{"..":-9007199254740991,"/mol/type/keys/extract":-1},"mol/type/merge":{"..":-9007199254740991,"/mol/type/merge":-1,"/mol/type/merge/object":-1,"/mol/type/equals":-3},"mol/type/omit":{"..":-9007199254740991,"/mol/type/omit":-1,"/mol/type/keys/exclude":-3},"mol/type/param":{"..":-9007199254740991,"/mol/type/param":-1},"mol/type/partial/deep":{"..":-9007199254740991,"/mol/type/partial/deep":-1},"mol/type/partial":{"..":-9007199254740991},"mol/type/partial/undefined":{"..":-9007199254740991,"/mol/type/partial/undefined":-1,"/mol/type/merge":-1,"/mol/type/override":-2},"mol/type/override":{"..":-9007199254740991,"/mol/type/override":-1},"mol/type/pick":{"..":-9007199254740991,"/mol/type/pick":-1,"/mol/type/keys/extract":-3},"mol/type/prepend":{"..":-9007199254740991,"/mol/type/tail":-1.25,"/mol/type/prepend":-1},"mol/type/result":{"..":-9007199254740991,"/mol/type/result":-1},"mol/type/reverse":{"..":-9007199254740991,"/mol/type/reverse":-1,"/mol/type/tail":-3,"/mol/type/prepend":-3,"/mol/type/head":-3},"mol/type/unary":{"..":-9007199254740991,"/mol/type/unary/func":-1,"/mol/type/unary/class":-1,"/mol/type/unary":-1}}}
|
package/package.json
CHANGED
package/web.d.ts
CHANGED
|
@@ -44,7 +44,7 @@ declare namespace $ {
|
|
|
44
44
|
}
|
|
45
45
|
|
|
46
46
|
declare namespace $ {
|
|
47
|
-
type Parse<Str extends string, Res extends Int = Zero> = Str extends `${infer Letter}${infer Tail}` ? Parse<Tail, Plus<[
|
|
47
|
+
type Parse<Str extends string, Res extends Int = Zero> = Str extends `${infer Letter extends keyof Digits}${infer Tail}` ? Parse<Tail, Plus<[
|
|
48
48
|
Mult<[Res, Ten]>,
|
|
49
49
|
Digit<Letter>
|
|
50
50
|
]>> : Res;
|
|
@@ -62,12 +62,12 @@ declare namespace $ {
|
|
|
62
62
|
'9': 9;
|
|
63
63
|
};
|
|
64
64
|
type Digit<Letter extends string> = Up<Digits[Extract<Letter, keyof Digits>]>;
|
|
65
|
-
type Int =
|
|
65
|
+
type Int = unknown[];
|
|
66
66
|
type Pair = [Int, Int];
|
|
67
67
|
type Zero = [];
|
|
68
68
|
type One = [0];
|
|
69
69
|
type Ten = Up<10>;
|
|
70
|
-
type Down<Value extends
|
|
70
|
+
type Down<Value extends Int> = Value["length"];
|
|
71
71
|
type Up<Value extends number, Res extends Int = Zero> = Value extends Down<Res> ? Res : Up<Value, Next<Res>>;
|
|
72
72
|
type Next<Value extends Int> = Plus<[Value, One]>;
|
|
73
73
|
type Prev<Value extends Int> = Minus<[Value, One]>;
|
|
@@ -80,7 +80,7 @@ declare namespace $ {
|
|
|
80
80
|
Parse<`${Left}`>,
|
|
81
81
|
Parse<`${Right}`>
|
|
82
82
|
]>>;
|
|
83
|
-
type Minus<Arg extends Pair> = Arg[0] extends [...Arg[1], ...infer Res] ? Res : never;
|
|
83
|
+
type Minus<Arg extends Pair> = Arg[0] extends [...Arg[1], ...infer Res] ? Extract<Res, Int> : never;
|
|
84
84
|
export type $mol_type_int_mult<Left extends Check<Left>, Right extends Check<Right>> = Down<Mult<[
|
|
85
85
|
Parse<`${Left}`>,
|
|
86
86
|
Parse<`${Right}`>
|
|
@@ -97,8 +97,16 @@ declare namespace $ {
|
|
|
97
97
|
Arg[0],
|
|
98
98
|
Prev<Arg[1]>
|
|
99
99
|
], Mult<[Res, Arg[0]]>>;
|
|
100
|
-
export type $
|
|
101
|
-
|
|
100
|
+
export type $mol_type_int_range<Lo extends Check<Lo>, Hi extends Check<Hi>> = Down<Range<[
|
|
101
|
+
Parse<`${Lo}`>,
|
|
102
|
+
Parse<`${Hi}`>
|
|
103
|
+
]>>;
|
|
104
|
+
type Range<Args extends Pair> = keyof Args[0] extends keyof Args[1] ? Plus<[
|
|
105
|
+
Args[0],
|
|
106
|
+
Parse<Exclude<keyof Minus<[Args[1], Args[0]]>, symbol | number>>
|
|
107
|
+
]> : never;
|
|
108
|
+
export type $mol_type_int_ordered<Left extends Check<Left>, Right extends Check<Right>> = keyof Parse<`${Left}`> extends keyof Parse<`${Right}`> ? unknown : never;
|
|
109
|
+
type Calc<Expr extends string> = Expr extends `${infer Left}(${infer Inner})${infer Right}` ? Calc<`${Left}${Down<Calc<Inner>>}${Right}`> : Expr extends `${infer Left}..${infer Right}` ? Range<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}+${infer Right}` ? Plus<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}-${infer Right}` ? Minus<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}*${infer Right}` ? Mult<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left}^${infer Right}` ? Pow<[Calc<Left>, Calc<Right>]> : Expr extends `${infer Left} ` ? Calc<Left> : Expr extends ` ${infer Right}` ? Calc<Right> : Parse<Expr>;
|
|
102
110
|
export type $mol_type_int_calc<Expr extends string> = Down<Calc<Expr>>;
|
|
103
111
|
export {};
|
|
104
112
|
}
|
package/web.deps.json
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"files":["mam.ts","LICENSE","README.md","yarn.lock","mam.jam.js","tsfmt.json","package.json","tsconfig.json","lang.lang.tree","meta.lang.tree","sandbox.config.json","mol/CNAME","mol/LICENSE","mol/readme.md","mol/index.html","mol/mol.meta.tree","mol/CONTRIBUTING.md","mol/CODE_OF_CONDUCT.md","mol/type/README.md","mol/type/equals/equals.ts","mol/type/error/error.ts","mol/type/assert/assert.ts","mol/type/tail/tail.ts","mol/type/append/append.ts","mol/type/head/head.ts","mol/type/int/int.ts","mol/type/intersect/intersect.ts","mol/type/keys/extract/extract.ts","mol/type/keys/exclude/exclude.ts","mol/type/merge/merge.ts","mol/type/omit/omit.ts","mol/type/param/param.ts","mol/type/partial/deep/deep.ts","mol/type/override/override.ts","mol/type/partial/undefined/undefined.ts","mol/type/pick/pick.ts","mol/type/prepend/prepend.ts","mol/type/result/result.ts","mol/type/reverse/reverse.ts","mol/type/unary/unary.ts","mol/type/all/all.meta.tree"],"mods":{},"deps_in":{"mol/type":{"mol/type/all":-9007199254740991,"mol/type/assert":-9007199254740991,"mol/type/equals":-9007199254740991,"mol/type/error":-9007199254740991,"mol/type/append":-9007199254740991,"mol/type/tail":-9007199254740991,"mol/type/head":-9007199254740991,"mol/type/int":-9007199254740991,"mol/type/intersect":-9007199254740991,"mol/type/keys":-9007199254740991,"mol/type/merge":-9007199254740991,"mol/type/omit":-9007199254740991,"mol/type/param":-9007199254740991,"mol/type/partial":-9007199254740991,"mol/type/override":-9007199254740991,"mol/type/pick":-9007199254740991,"mol/type/prepend":-9007199254740991,"mol/type/result":-9007199254740991,"mol/type/reverse":-9007199254740991,"mol/type/unary":-9007199254740991},"mol":{"mol/type":-9007199254740991},"":{"mol":-9007199254740991},"mol/type/assert":{"mol/type/all":-9000},"mol/type/equals":{"mol/type/assert":-1.25,"mol/type/all":-9000,"mol/type/merge":-3},"mol/type/error":{"mol/type/assert":-2,"mol/type/int":-3},"mol/type/append":{"mol/type/all":-9000},"mol/type/tail":{"mol/type/append":-1.25,"mol/type/head":-1.25,"mol/type/prepend":-1.25,"mol/type/reverse":-3,"mol/type/all":-9000},"mol/type/head":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/int":{"mol/type/all":-9000},"mol/type/intersect":{"mol/type/all":-9000},"mol/type/keys/exclude":{"mol/type/all":-9000,"mol/type/omit":-3},"mol/type/keys":{"mol/type/keys/exclude":-9007199254740991,"mol/type/keys/extract":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys/exclude":-2,"mol/type/all":-9000,"mol/type/pick":-3},"mol/type/merge":{"mol/type/all":-9000,"mol/type/partial/undefined":-1},"mol/type/omit":{"mol/type/all":-9000},"mol/type/param":{"mol/type/all":-9000},"mol/type/partial/deep":{"mol/type/all":-9000},"mol/type/partial":{"mol/type/partial/deep":-9007199254740991,"mol/type/partial/undefined":-9007199254740991},"mol/type/partial/undefined":{"mol/type/all":-9000},"mol/type/override":{"mol/type/partial/undefined":-2},"mol/type/pick":{"mol/type/all":-9000},"mol/type/prepend":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/result":{"mol/type/all":-9000},"mol/type/reverse":{"mol/type/all":-9000},"mol/type/unary":{"mol/type/all":-9000}},"deps_out":{"mol/type/all":{"mol/type":-9007199254740991,"mol/type/assert":-9000,"mol/type/append":-9000,"mol/type/equals":-9000,"mol/type/head":-9000,"mol/type/int":-9000,"mol/type/intersect":-9000,"mol/type/keys/exclude":-9000,"mol/type/keys/extract":-9000,"mol/type/merge":-9000,"mol/type/omit":-9000,"mol/type/param":-9000,"mol/type/partial/deep":-9000,"mol/type/partial/undefined":-9000,"mol/type/pick":-9000,"mol/type/prepend":-9000,"mol/type/result":-9000,"mol/type/reverse":-9000,"mol/type/tail":-9000,"mol/type/unary":-9000},"mol/type":{"mol":-9007199254740991},"mol":{"":-9007199254740991},"mol/type/assert":{"mol/type":-9007199254740991,"mol/type/equals":-1.25,"mol/type/error":-2},"mol/type/equals":{"mol/type":-9007199254740991},"mol/type/error":{"mol/type":-9007199254740991},"mol/type/append":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/tail":{"mol/type":-9007199254740991},"mol/type/head":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/int":{"mol/type":-9007199254740991,"mol/type/error":-3},"mol/type/intersect":{"mol/type":-9007199254740991},"mol/type/keys/exclude":{"mol/type/keys":-9007199254740991,"mol/type/keys/extract":-2},"mol/type/keys":{"mol/type":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys":-9007199254740991},"mol/type/merge":{"mol/type":-9007199254740991,"mol/type/equals":-3},"mol/type/omit":{"mol/type":-9007199254740991,"mol/type/keys/exclude":-3},"mol/type/param":{"mol/type":-9007199254740991},"mol/type/partial/deep":{"mol/type/partial":-9007199254740991},"mol/type/partial":{"mol/type":-9007199254740991},"mol/type/partial/undefined":{"mol/type/partial":-9007199254740991,"mol/type/merge":-1,"mol/type/override":-2},"mol/type/override":{"mol/type":-9007199254740991},"mol/type/pick":{"mol/type":-9007199254740991,"mol/type/keys/extract":-3},"mol/type/prepend":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/result":{"mol/type":-9007199254740991},"mol/type/reverse":{"mol/type":-9007199254740991,"mol/type/tail":-3,"mol/type/prepend":-3,"mol/type/head":-3},"mol/type/unary":{"mol/type":-9007199254740991}},"sloc":{"ts":
|
|
1
|
+
{"files":["mam.ts","LICENSE","README.md","yarn.lock","mam.jam.js","tsfmt.json","package.json","tsconfig.json","lang.lang.tree","meta.lang.tree","sandbox.config.json","mol/CNAME","mol/LICENSE","mol/readme.md","mol/index.html","mol/mol.meta.tree","mol/CONTRIBUTING.md","mol/CODE_OF_CONDUCT.md","mol/type/README.md","mol/type/equals/equals.ts","mol/type/error/error.ts","mol/type/assert/assert.ts","mol/type/tail/tail.ts","mol/type/append/append.ts","mol/type/head/head.ts","mol/type/int/int.ts","mol/type/intersect/intersect.ts","mol/type/keys/extract/extract.ts","mol/type/keys/exclude/exclude.ts","mol/type/merge/merge.ts","mol/type/omit/omit.ts","mol/type/param/param.ts","mol/type/partial/deep/deep.ts","mol/type/override/override.ts","mol/type/partial/undefined/undefined.ts","mol/type/pick/pick.ts","mol/type/prepend/prepend.ts","mol/type/result/result.ts","mol/type/reverse/reverse.ts","mol/type/unary/unary.ts","mol/type/all/all.meta.tree"],"mods":{},"deps_in":{"mol/type":{"mol/type/all":-9007199254740991,"mol/type/assert":-9007199254740991,"mol/type/equals":-9007199254740991,"mol/type/error":-9007199254740991,"mol/type/append":-9007199254740991,"mol/type/tail":-9007199254740991,"mol/type/head":-9007199254740991,"mol/type/int":-9007199254740991,"mol/type/intersect":-9007199254740991,"mol/type/keys":-9007199254740991,"mol/type/merge":-9007199254740991,"mol/type/omit":-9007199254740991,"mol/type/param":-9007199254740991,"mol/type/partial":-9007199254740991,"mol/type/override":-9007199254740991,"mol/type/pick":-9007199254740991,"mol/type/prepend":-9007199254740991,"mol/type/result":-9007199254740991,"mol/type/reverse":-9007199254740991,"mol/type/unary":-9007199254740991},"mol":{"mol/type":-9007199254740991},"":{"mol":-9007199254740991},"mol/type/assert":{"mol/type/all":-9000},"mol/type/equals":{"mol/type/assert":-1.25,"mol/type/all":-9000,"mol/type/merge":-3},"mol/type/error":{"mol/type/assert":-2,"mol/type/int":-3},"mol/type/append":{"mol/type/all":-9000},"mol/type/tail":{"mol/type/append":-1.25,"mol/type/head":-1.25,"mol/type/prepend":-1.25,"mol/type/reverse":-3,"mol/type/all":-9000},"mol/type/head":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/int":{"mol/type/all":-9000},"mol/type/intersect":{"mol/type/all":-9000},"mol/type/keys/exclude":{"mol/type/all":-9000,"mol/type/omit":-3},"mol/type/keys":{"mol/type/keys/exclude":-9007199254740991,"mol/type/keys/extract":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys/exclude":-2,"mol/type/all":-9000,"mol/type/pick":-3},"mol/type/merge":{"mol/type/all":-9000,"mol/type/partial/undefined":-1},"mol/type/omit":{"mol/type/all":-9000},"mol/type/param":{"mol/type/all":-9000},"mol/type/partial/deep":{"mol/type/all":-9000},"mol/type/partial":{"mol/type/partial/deep":-9007199254740991,"mol/type/partial/undefined":-9007199254740991},"mol/type/partial/undefined":{"mol/type/all":-9000},"mol/type/override":{"mol/type/partial/undefined":-2},"mol/type/pick":{"mol/type/all":-9000},"mol/type/prepend":{"mol/type/all":-9000,"mol/type/reverse":-3},"mol/type/result":{"mol/type/all":-9000},"mol/type/reverse":{"mol/type/all":-9000},"mol/type/unary":{"mol/type/all":-9000}},"deps_out":{"mol/type/all":{"mol/type":-9007199254740991,"mol/type/assert":-9000,"mol/type/append":-9000,"mol/type/equals":-9000,"mol/type/head":-9000,"mol/type/int":-9000,"mol/type/intersect":-9000,"mol/type/keys/exclude":-9000,"mol/type/keys/extract":-9000,"mol/type/merge":-9000,"mol/type/omit":-9000,"mol/type/param":-9000,"mol/type/partial/deep":-9000,"mol/type/partial/undefined":-9000,"mol/type/pick":-9000,"mol/type/prepend":-9000,"mol/type/result":-9000,"mol/type/reverse":-9000,"mol/type/tail":-9000,"mol/type/unary":-9000},"mol/type":{"mol":-9007199254740991},"mol":{"":-9007199254740991},"mol/type/assert":{"mol/type":-9007199254740991,"mol/type/equals":-1.25,"mol/type/error":-2},"mol/type/equals":{"mol/type":-9007199254740991},"mol/type/error":{"mol/type":-9007199254740991},"mol/type/append":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/tail":{"mol/type":-9007199254740991},"mol/type/head":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/int":{"mol/type":-9007199254740991,"mol/type/error":-3},"mol/type/intersect":{"mol/type":-9007199254740991},"mol/type/keys/exclude":{"mol/type/keys":-9007199254740991,"mol/type/keys/extract":-2},"mol/type/keys":{"mol/type":-9007199254740991},"mol/type/keys/extract":{"mol/type/keys":-9007199254740991},"mol/type/merge":{"mol/type":-9007199254740991,"mol/type/equals":-3},"mol/type/omit":{"mol/type":-9007199254740991,"mol/type/keys/exclude":-3},"mol/type/param":{"mol/type":-9007199254740991},"mol/type/partial/deep":{"mol/type/partial":-9007199254740991},"mol/type/partial":{"mol/type":-9007199254740991},"mol/type/partial/undefined":{"mol/type/partial":-9007199254740991,"mol/type/merge":-1,"mol/type/override":-2},"mol/type/override":{"mol/type":-9007199254740991},"mol/type/pick":{"mol/type":-9007199254740991,"mol/type/keys/extract":-3},"mol/type/prepend":{"mol/type":-9007199254740991,"mol/type/tail":-1.25},"mol/type/result":{"mol/type":-9007199254740991},"mol/type/reverse":{"mol/type":-9007199254740991,"mol/type/tail":-3,"mol/type/prepend":-3,"mol/type/head":-3},"mol/type/unary":{"mol/type":-9007199254740991}},"sloc":{"ts":469,"LICENSE":113,"md":494,"lock":950,"js":9,"json":92,"tree":60,"CNAME":1,"html":1},"deps":{"mol/type/all":{"..":-9007199254740991,"/mol/type/assert":-9000,"/mol/type/append":-9000,"/mol/type/equals":-9000,"/mol/type/head":-9000,"/mol/type/int":-9000,"/mol/type/intersect":-9000,"/mol/type/keys/exclude":-9000,"/mol/type/keys/extract":-9000,"/mol/type/merge":-9000,"/mol/type/omit":-9000,"/mol/type/param":-9000,"/mol/type/partial/deep":-9000,"/mol/type/partial/undefined":-9000,"/mol/type/pick":-9000,"/mol/type/prepend":-9000,"/mol/type/result":-9000,"/mol/type/reverse":-9000,"/mol/type/tail":-9000,"/mol/type/unary":-9000},"mol/type":{"..":-9007199254740991},"mol":{"..":-9007199254740991},"":{},"mol/type/assert":{"..":-9007199254740991,"/mol/type/assert":-1,"/mol/type/equals":-1.25,"/mol/type/error":-2,"/mol/type/assert/never":-1},"mol/type/equals":{"..":-9007199254740991,"/mol/type/equals":-1},"mol/type/error":{"..":-9007199254740991,"/mol/type/error":-1},"mol/type/append":{"..":-9007199254740991,"/mol/type/tail":-1.25,"/mol/type/append":-1},"mol/type/tail":{"..":-9007199254740991,"/mol/type/tail":-1},"mol/type/head":{"..":-9007199254740991,"/mol/type/tail":-1.25,"/mol/type/head":-1},"mol/type/int":{"..":-9007199254740991,"/mol/type/error":-3,"/mol/type/int/plus":-1,"/mol/type/int/minus":-1,"/mol/type/int/mult":-1,"/mol/type/int/pow":-1,"/mol/type/int/range":-1,"/mol/type/int/ordered":-1,"/mol/type/int/calc":-1},"mol/type/intersect":{"..":-9007199254740991,"/mol/type/intersect":-1},"mol/type/keys/exclude":{"..":-9007199254740991,"/mol/type/keys/exclude":-1,"/mol/type/keys/extract":-2},"mol/type/keys":{"..":-9007199254740991},"mol/type/keys/extract":{"..":-9007199254740991,"/mol/type/keys/extract":-1},"mol/type/merge":{"..":-9007199254740991,"/mol/type/merge":-1,"/mol/type/merge/object":-1,"/mol/type/equals":-3},"mol/type/omit":{"..":-9007199254740991,"/mol/type/omit":-1,"/mol/type/keys/exclude":-3},"mol/type/param":{"..":-9007199254740991,"/mol/type/param":-1},"mol/type/partial/deep":{"..":-9007199254740991,"/mol/type/partial/deep":-1},"mol/type/partial":{"..":-9007199254740991},"mol/type/partial/undefined":{"..":-9007199254740991,"/mol/type/partial/undefined":-1,"/mol/type/merge":-1,"/mol/type/override":-2},"mol/type/override":{"..":-9007199254740991,"/mol/type/override":-1},"mol/type/pick":{"..":-9007199254740991,"/mol/type/pick":-1,"/mol/type/keys/extract":-3},"mol/type/prepend":{"..":-9007199254740991,"/mol/type/tail":-1.25,"/mol/type/prepend":-1},"mol/type/result":{"..":-9007199254740991,"/mol/type/result":-1},"mol/type/reverse":{"..":-9007199254740991,"/mol/type/reverse":-1,"/mol/type/tail":-3,"/mol/type/prepend":-3,"/mol/type/head":-3},"mol/type/unary":{"..":-9007199254740991,"/mol/type/unary/func":-1,"/mol/type/unary/class":-1,"/mol/type/unary":-1}}}
|