ShaderModule type update

[felixpalmer]

Background

Following on from previous discussion, this new type for ShaderModule allows cross-checking of the uniformTypes without requiring an additional as const satisfies clause.

This PR requires visgl/luma.gl#2137

Changes

Generic parameters

The current type has PropsT, UniformsT & BindingsT, with the latter two not being used much.

The new type constructs these generic types from the Props type by filtering the via the UniformsOnly and BindingsOnly helpers.

Type cross checking

The uniformTypes now uses the UniformTypes<UniformsT> to cross check the types between the passed in props and the type expected by the GPU. In the cases where it is not a simple mapping, a custom UniformsT can be passed (e.g. the project module)
1

Example

export type ScreenProps = {
  texSrc: TextureView;
  texSize: [number, number];
};

type RenamedUniforms = {
  bounds: [number, number, number, number];
};

export const screenUniforms = {
  name: 'screen',
  fs: uniformBlock,
  uniformTypes: {
    texSize: 'vec2<f32>'
  }
} as const satisfies ShaderModule<ScreenProps>;

type ResolvedUniformTypes = NonNullable<ShaderModule<ScreenProps>['uniformTypes']>;
// -> type ResolvedUniformTypes = {texSize: "vec2<f32>" | "vec2<i32>" | "vec2<u32>"}

type ResolvedUniformTypes2 = NonNullable<ShaderModule<ScreenProps, RenamedUniforms>['uniformTypes']>;
// -> type ResolvedUniformTypes2 = {bounds: "vec4<f32>" | "vec4<i32>" | "vec4<u32>" | "mat2x2<f32>"}

type ResolvedBindings = NonNullable<ShaderModule<ScreenProps>['bindings']>;
// -> type ResolvedBindings = {
//      texSrc: {
//        location: number;
//        type: "texture" | "sampler" | "uniforms";
//     };
//   }

[coveralls]

coverage: 89.306% (-0.001%) from 89.307%
when pulling dfdb4f8 on felix/shader-module-type
into 5ce18d5 on master.

[ibgreen]

Very nice!