AlphaGitHub
Source/Packages

Compiler.Planning.OrderedCombine

packages/compiler/planning/src/Compiler/Planning/OrderedCombine.alpha

832 lines26 declarations41.4 KiBSHA-256 69f52e43e720
Download exact fileView at revisionbcc11a4e7647d31628

family · lines 18–21

CombineDelivery

Full file
Where a reduced value goes after the ordered combine: to every leaf owner (replication), or only to one target owner, moved from the root down the tree path to the target's leaf (a reduction to one owner, for instance a coordinate's owner). Every other owner's leaf value is left as it was.
18family CombineDelivery : Type 0
19constructor CombineReplicateAll
20constructor CombineDeliverTo
21field unrestricted combineDeliveryTarget : Nat

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.