~/jendhub

type FiberRun

bendtorch-core@0.1.0.0 · src/autograd/reduce_parallel_proof.bend:275

import bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof.bend as ReduceParallelProof
import Base
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce

275# A run of `Reduce.fiber`: its total adds the words it saw, in order, and
276# the array comes back unchanged.
277type FiberRun<-d: Nat, -A: Array<F32>, -positions: List<&2, Nat>, -accumulator: F32, -result: F32 & Array<F32>> is Data:
278  FiberRun{-words: List<&2, F32>, -seen: Obs(d, A, positions, words),
279    -total: {Pair.fst(F32, Array<F32>, result) == fsum(words, accumulator) : F32},
280    -kept: {Pair.snd(F32, Array<F32>, result) == A : Array<F32>}}

Uses (9)

Used by (6)