AlphaGitHub
Source/Packages

Compiler.Planning.Resources

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

636 lines34 declarations25.9 KiBSHA-256 773ccd6b9504
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 462–468

resourceScheduleEntries

Full file
462def resourceScheduleEntries =
463  (lambda unrestricted schedule : (family ResourceSchedule) .
464    (naturalAdd
465      (resourceGraphEntries (resourceScheduleGraph schedule))
466      (naturalAdd
467        (stdListLength (family ResourcePlacement) (resourceSchedulePlacements schedule))
468        (stdListLength (family ResourceLease) (resourceScheduleLeases schedule)))))

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.