glre 0.43.0 → 0.44.0

package/dist/addons.d.ts

@@ -87,6 +87,7 @@ type GL = EventState<{
     count: number;
     instanceCount: number;
     particleCount: number | [number, number] | [number, number, number];
+    precision: 'lowp' | 'mediump' | 'highp';
     loading: number;
     el: HTMLCanvasElement;
     vs?: string | Vec4;
@@ -189,9 +190,9 @@ interface WebGPUState {
  * for webgl
  */
 interface WebGLState {
-    context: WebGLRenderingContext;
+    context: WebGL2RenderingContext;
     program: WebGLProgram;
-    storages: any;
+    uniforms: Nested<WebGLUniformLocation | null>;
 }
 
 type Constants = (typeof CONSTANTS)[number] | 'void';
@@ -253,14 +254,64 @@ interface NodeContext {
 /**
  * infer
  */
-type _StringLength<A extends string> = A extends `${infer _}${infer A}` ? A extends '' ? 1 : A extends `${infer _}${infer B}` ? B extends '' ? 2 : B extends `${infer _}${infer C}` ? C extends '' ? 3 : 4 : never : never : never;
 type InferOperator<L extends C, R extends C> = L extends R ? L : L extends 'float' | 'int' ? R : R extends 'float' | 'int' ? L : L extends 'mat4' ? R extends 'vec4' ? R : L : L extends 'mat3' ? R extends 'vec3' ? R : L : L extends 'mat2' ? R extends 'vec2' ? R : L : L extends 'vec4' ? R extends 'mat4' ? L : L : L extends 'vec3' ? R extends 'mat3' ? L : L : L extends 'vec2' ? R extends 'mat2' ? L : L : L;
 type InferArrayElement<T extends C> = T extends 'mat4' ? 'vec4' : T extends 'mat3' ? 'vec3' : T extends 'mat2' ? 'vec2' : 'float';
+type _OperatorTypeRulesMap = typeof OPERATOR_TYPE_RULES;
 type ExtractPairs<T> = T extends readonly [infer L, infer R, string] ? [L, R] | [R, L] : never;
-type OperatorTypeRules = ExtractPairs<(typeof OPERATOR_TYPE_RULES)[number]>;
+type OperatorTypeRules = ExtractPairs<_OperatorTypeRulesMap[number]>;
 type IsInRules<L extends C, R extends C> = [L, R] extends OperatorTypeRules ? 1 : 0;
 type ValidateOperator<L extends C, R extends C> = L extends R ? 1 : IsInRules<L, R>;
-type InferSwizzleType<S extends string> = _StringLength<S> extends 4 ? 'vec4' : _StringLength<S> extends 3 ? 'vec3' : _StringLength<S> extends 2 ? 'vec2' : 'float';
+/**
+ * swizzle
+ */
+type _SwizzleLength<A extends string> = A extends `${infer _}${infer A}` ? A extends '' ? 1 : A extends `${infer _}${infer B}` ? B extends '' ? 2 : B extends `${infer _}${infer C}` ? C extends '' ? 3 : 4 : never : never : never;
+type _SwizzleBaseMap = {
+    float: 'float';
+    vec2: 'float';
+    vec3: 'float';
+    vec4: 'float';
+    int: 'int';
+    ivec2: 'int';
+    ivec3: 'int';
+    ivec4: 'int';
+    uint: 'uint';
+    uvec2: 'uint';
+    uvec3: 'uint';
+    uvec4: 'uint';
+    bool: 'bool';
+    bvec2: 'bool';
+    bvec3: 'bool';
+    bvec4: 'bool';
+};
+type _SwizzleResultMap = {
+    float: {
+        1: 'float';
+        2: 'vec2';
+        3: 'vec3';
+        4: 'vec4';
+    };
+    int: {
+        1: 'int';
+        2: 'ivec2';
+        3: 'ivec3';
+        4: 'ivec4';
+    };
+    uint: {
+        1: 'uint';
+        2: 'uvec2';
+        3: 'uvec3';
+        4: 'uvec4';
+    };
+    bool: {
+        1: 'bool';
+        2: 'bvec2';
+        3: 'bvec3';
+        4: 'bvec4';
+    };
+};
+type _SwizzleBase<T extends C> = T extends keyof _SwizzleBaseMap ? _SwizzleBaseMap[T] : never;
+type _SwizzleResult<T extends C, L extends 1 | 2 | 3 | 4> = _SwizzleResultMap[_SwizzleBase<T>][L];
+type InferSwizzleType<T extends C, S extends string> = _SwizzleLength<S> extends infer L extends 1 | 2 | 3 | 4 ? _SwizzleResult<_SwizzleBase<T>, L> : never;
 /**
  * Swizzles
  */
@@ -327,7 +378,7 @@ interface ConstantsToType {
 type XImpl<T extends C> = _X<T> & {
     [K in string as K extends Methods ? never : K]: any;
 } & {
-    [K in Swizzles]: X<InferSwizzleType<K>>;
+    [K in Swizzles]: X<InferSwizzleType<T, K>>;
 };
 type C = Constants;
 type X<T extends C = C> = T extends keyof ConstantsToType ? ConstantsToType[T] : _X<T>;
@@ -407,7 +458,7 @@ interface _X<T extends C> {
     any(): Bool;
     determinant(): T extends 'mat2' | 'mat3' | 'mat4' ? Float : never;
     distance<U extends C>(y: T extends 'vec2' | 'vec3' | 'vec4' ? (U extends T ? number | X<U> : never) : never): Float;
-    dot<U extends C>(y: T extends 'vec2' | 'vec3' | 'vec4' | 'ivec2' | 'ivec3' | 'ivec4' ? U extends T ? number | X<U> : never : never): T extends `ivec${string}` ? Int : Float;
+    dot<U extends C>(y: T extends 'vec2' | 'vec3' | 'vec4' | 'ivec2' | 'ivec3' | 'ivec4' ? (U extends T ? number | X<U> : never) : never): T extends `ivec${string}` ? Int : Float;
     length(): T extends 'vec2' | 'vec3' | 'vec4' ? Float : never;
     lengthSq(): Float;
     luminance(): Float;
@@ -1279,7 +1330,7 @@ declare const mod289Vec2: FnType<Vec2, [Vec2]>;
 declare const mod289Vec3: FnType<Vec3, [Vec3]>;
 declare const mod289Vec4: FnType<Vec4, [Vec4]>;
 
-declare const mod2: FnType<X, [Vec2, X]>;
+declare const mod2: FnType<Vec4, any[]>;
 declare const mod2Cell: FnType<Vec2, [Vec2, X]>;
 declare const mod2Wrap: FnType<Vec2, [Vec2, X]>;
 
@@ -1374,7 +1425,7 @@ declare const scale4dVec4: FnType<Mat4, [Vec4]>;
 
 declare const smootherstep: FnType<X, [X, X, X]>;
 
-declare const taylorInvSqrt: FnType<X, [X]>;
+declare const taylorInvSqrt: FnType<any, any[]>;
 
 declare const toMat3: FnType<Mat3, [Mat4]>;