def CursorValidity

bendtorch-core@0.1.0.0 · src/tensor/elementwise.bend:188

import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

188def CursorValidity(-shape: Shape.Shape, +cursor: Nat, result: NaturalStep<shape, cursor>) -> Data:
189  match result:
190    case NaturalStop{left, right, error}:
191      Unit
192    case NaturalContinue{state, index, exact}:
193      CursorWitness<cursor, index>

Uses (5)

Used by (2)