def words_finish_success

bendtorch-core@0.1.0.0 · src/tensor/permutation_mapping.bend:334

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import bendtorch-core@0.1.0.0/src/storage/arith.bend as Arith

334def words_finish_success(-dimension: U32, -dt: List<&2, U32>, -value: U32, -vt: List<&2, U32>,
335  bound: {True{} == U32.is_lt(value, dimension) : Bool}, result: Result<&2, &2, Shape.Error, Layout.WordsValid(dt, vt)>,
336  successful: {Result.is_done(&2, &2, Shape.Error, Layout.WordsValid(dt, vt), result) == True{} : Bool}) ->
337  {Result.is_done(&2, &2, Shape.Error, Layout.WordsValid(dimension <> dt, value <> vt),
338    Layout.words_finish(dimension, dt, value, vt, bound, result)) == True{} : Bool}:
339  match result:
340    case Fail{error}:
341      Empty.absurd({False{} == True{} : Bool}, Arith.clash(successful))
342    case Done{tail}:
343      {==}