def Vec4.Padded

bend-tensors@0.0.0.2 · bend_tensors.bend:1562

import Base

1562def Vec4.Padded(k: Nat, v: Vec4) -> Type:
1563  match k v:
1564    case 0n Vec4{x0, x1, x2, x3}:
1565      {x0 == 0.0 : F32} & {x1 == 0.0 : F32} & {x2 == 0.0 : F32} & {x3 == 0.0 : F32}
1566    case 1n Vec4{x0, x1, x2, x3}:
1567      {x1 == 0.0 : F32} & {x2 == 0.0 : F32} & {x3 == 0.0 : F32}
1568    case 2n Vec4{x0, x1, x2, x3}:
1569      {x2 == 0.0 : F32} & {x3 == 0.0 : F32}
1570    case 3n Vec4{x0, x1, x2, x3}:
1571      {x3 == 0.0 : F32}
1572    case _ _:
1573      Unit