AlphaGitHub
Source/Systems

PartitionedRegression.CoordinateHost

systems/partitioned-regression/src/PartitionedRegression/CoordinateHost.alpha

1,739 lines132 declarations69.0 KiBSHA-256 b43df3e170d7
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 468–483

chRestoreAdmitted

Full file
These are source-layout admission checks, before artifact emission. An unavailable placement never becomes an empty successful restore program.
468def chRestoreAdmitted =
469  (lambda unrestricted layout : (family CoordinateHostLayout) .
470    (lambda unrestricted worker : Nat .
471      (stdBoolToNatural
472        (stdResultIsSuccess
473          (family NativeCheckpointFailure)
474          (family NativePhysicalCommands)
475          (planNativeRegionRestore
476            (chCheckpoint layout)
477            (chArgument chManifestInputIndex)
478            chArgument
479            nativePeerListenerSlot
480            nativePeerScratchSlot
481            (chExtent layout)
482            (chDestinations layout worker)
483            chEnd)))))

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.