AlphaGitHub
Source/Packages

Runtime.NativeDataParallelOwned

packages/execution/src/Runtime/NativeDataParallelOwned.alpha

2,874 lines126 declarations142.2 KiBSHA-256 de18258423c4
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 210–216

dpoGradientAt

Full file
Owner r's reduction (the sum's placement when there is none).
210def dpoGradientAt =
211  (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
212    (lambda unrestricted owner : Nat .
213      (stdListHeadOr
214        (family NativeCombinePlacement)
215        (dpoSum layout)
216        (stdListDrop (family NativeCombinePlacement) owner (dpoGradients layout)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.