def words_decided_success

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

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/tensor/lifecycle.bend as Lifecycle

345def words_decided_success(+dimension: U32, +dt: List<&2, U32>, +value: U32, +vt: List<&2, U32>,
346  decision: Shape.BoolCase<U32.is_lt(value, dimension)>, bound: {True{} == U32.is_lt(value, dimension) : Bool},
347  successful: {Result.is_done(&2, &2, Shape.Error, Layout.WordsValid(dt, vt), Layout.words_check(dt, vt)) == True{} : Bool}) ->
348  {Result.is_done(&2, &2, Shape.Error, Layout.WordsValid(dimension <> dt, value <> vt),
349    Layout.words_decided(dimension, dt, value, vt, unit => Layout.words_check(dt, vt), decision)) == True{} : Bool}:
350  match decision:
351    case Shape.BFalse{equal}:
352      Empty.absurd({False{} == True{} : Bool}, Lifecycle.false_true(Equal.trans(Bool, True{}, U32.is_lt(value, dimension), False{}, bound,
353        Equal.sym(Bool, False{}, U32.is_lt(value, dimension), equal))))
354    case Shape.BTrue{equal}:
355      words_finish_success(dimension, dt, value, vt, equal, Layout.words_check(dt, vt), successful)