Type Alias HasMatchingInnerDims<A, B>

HasMatchingInnerDims: A extends readonly []
    ? false
    : B extends readonly []
        ? false
        : B extends readonly [unknown]
            ? LastDim<A> extends B[0] ? true : false
            : LastDim<A> extends SecondToLast<B> ? true : false

Check if inner dimensions match for matrix multiplication A's last dimension must equal B's second-to-last dimension

Type Parameters

A extends Shape
B extends Shape

Example

type Match = HasMatchingInnerDims<[2, 3], [3, 4]> // true
type NoMatch = HasMatchingInnerDims<[2, 3], [4, 5]> // false

Type Alias HasMatchingInnerDims<A, B>

Type Parameters

Example

Settings