def narrow_before

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:329

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

329# A narrow's start before -extent: the axis check first, as the unsigned
330# narrow does it, then OutOfRange.
331def narrow_before(input: Core.Dynamic, refused: Maybe<&2, Slice.Error>) -> Core.Dynamic & Result<&2, &1, Slice.Error, Core.Dynamic>:
332  match refused:
333    case Some{error}:
334      (input, Fail{error})
335    case None{}:
336      (input, Fail{Slice.OutOfRange{}})