def sequential_sum
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reductionimport Base
11def sequential_sum(values: List<&2, F32>, accumulator: F32) -> F32:
12 match values:
13 case Nil{}:
14 accumulator
15 case value <> tail:
16 sequential_sum(tail, F32.add(accumulator, value))
Uses (3)
Used by (19)
- bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS:SumMeaning
- bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS:SumResult
- bendtorch-core@0.1.0.0/src/tensor/reduction_PROOF:tensor_value
- bendtorch-core@0.1.0.0/src/tensor/contracts/sum_proof:sequential_snoc
- bendtorch-core@0.1.0.0/src/tensor/contracts/sum_proof:sum_ordered
- …