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 67–78

resourceRequire

Full file
67def resourceRequire =
68  (lambda erased value : Type 0 .
69    (lambda unrestricted condition : Nat .
70      (lambda unrestricted reason : (family ResourceFailure) .
71        (lambda unrestricted next : (family StdResult (family ResourceFailure) value) .
72          (nat-eliminate
73            (lambda unrestricted flag : Nat . (family StdResult (family ResourceFailure) value))
74            (constructor StdResult StdFailure (family ResourceFailure) value reason)
75            (lambda unrestricted prior : Nat .
76              (lambda unrestricted ignored : (family StdResult (family ResourceFailure) value) .
77                next))
78            condition)))))

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.