Source/Packages

Compiler.Planning.Resources

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

636 lines34 declarations25.9 KiBSHA-256 773ccd6b9504

family · lines 20–23

ResourceUsage

Full file
This explicit collection planner is for bounded deployment descriptions. It admits no transfer merely from vendor, host or failure-domain affinity. Its duplicate and interval checks are quadratic in description entries; callers bound entry count and its square (a work estimate, not CPU time). The square is checked by division without overflowing a runtime word. This is not the eventual sharded fleet search/index implementation.
20family ResourceUsage : Type 0
21constructor ResourceUsageWithin
22field unrestricted resourceUsageAmount : Nat
23constructor ResourceUsageOverflow

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.