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 815–830

dpoPlacementOf

Full file
815def dpoPlacementOf =
816  (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
817    (lambda unrestricted identity : (family RegionTransferIdentity) .
818      (nat-eliminate
819        (lambda unrestricted assembly : Nat . (family NativeCombinePlacement))
820        (nat-eliminate
821          (lambda unrestricted index : Nat . (family NativeCombinePlacement))
822          (dpoSum layout)
823          (lambda unrestricted owner : Nat .
824            (lambda unrestricted ignored : (family NativeCombinePlacement) .
825              (dpoGradientAt layout owner)))
826          (dpoGradientIndex layout identity))
827        (lambda unrestricted previous : Nat .
828          (lambda unrestricted ignored : (family NativeCombinePlacement) .
829            (dpoAssemblePlacement layout)))
830        (dpoIsAssembly identity))))

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.