def advance_inside

stelliferous@0.0.2.0 · tensor_view.bend:31

import Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes

31def advance_inside(inside: Bool,+offset: U32,coordinate: U32,+stride: U32,logical_length: U32) -> Maybe<&2,U32>:
32  match inside:
33    case False{}: None{}
34    case True{}: advance_product(Shapes.checked_multiply(coordinate,stride),offset,(logical_length - 1 - offset : U32))