def scaled_extents

stelliferous@0.0.2.0 · tensor_layout.bend:159

import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayout

import Base

159def scaled_extents(extents: List<&2,U32>,+scale: U32) -> List<&2,U32>:
160  match extents:
161    case [height,width]: [(height * scale : U32),(width * scale : U32)]
162    case extent <> rest: extent <> scaled_extents(rest,scale)
163    case []: []

Uses (3)

Used by (3)