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 147–162

resourceDomainUnitMatches

Full file
147def resourceDomainUnitMatches =
148  (lambda unrestricted domain : (family ResourceDomain) .
149    (lambda unrestricted expected : (family ResourceUnit) .
150      (eliminate
151        ResourceDomain
152        (lambda unrestricted current : (family ResourceDomain) . Nat)
153        domain
154        (branch
155          ResourceCapacityDomain
156          id
157          name
158          unit
159          fact
160          .
161          (naturalEqual (resourceUnitCode unit) (resourceUnitCode expected)))
162        (branch ResourceRelationDomain id name . 0))))

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.