AlphaGitHub
Source/Packages

Runtime.NativeDataParallel

packages/execution/src/Runtime/NativeDataParallel.alpha

1,529 lines92 declarations70.3 KiBSHA-256 a009e951c1b2
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 580–595

dpPlacementFor

Full file
This role's combine placement under `topology`, from address 0.
580def dpPlacementFor =
581  (lambda unrestricted c : Nat .
582    (lambda unrestricted u : Nat .
583      (lambda unrestricted system : (family DataParallelSystem c u) .
584        (lambda unrestricted digest : Bytes .
585          (lambda unrestricted topology : (family DataParallelTopology) .
586            (lambda unrestricted role : Nat .
587              (constructor
588                NativeCombinePlacement
589                NativeCombinePlacementOf
590                (nativeCombineContextFor
591                  (dpAnchor c u system digest topology)
592                  role
593                  (dpTree topology (dpOwners c u system)))
594                0
595                (dpValueBytes c u system))))))))

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.