def words_check_success

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

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

357def words_check_success(+dimensions: List<&2, U32>, +values: List<&2, U32>, valid: Layout.WordsValid(dimensions, values)) ->
358  {Result.is_done(&2, &2, Shape.Error, Layout.WordsValid(dimensions, values), Layout.words_check(dimensions, values)) == True{} : Bool}:
359  match dimensions values:
360    case Nil{} Nil{}:
361      {==}
362    case +dimension <> +dt +value <> +vt:
363      Layout.WStep{bound, tail} = valid
364      words_decided_success(dimension, dt, value, vt, Shape.bool_case(U32.is_lt(value, dimension)), bound, words_check_success(dt, vt, tail))
365    case Nil{} head <> tail:
366      match valid:
367    case head <> tail Nil{}:
368      match valid: