AlphaGitHub
Source/Packages

Representation.BuildPlan

packages/representations/src/Representation/BuildPlan.alpha

85 lines15 declarations2.6 KiBSHA-256 88e9b66c75c1
Download exact fileView at revisionf5034773ad4bb52133

def · lines 37–48

renderBuildPlanEntry

Full file
37def renderBuildPlanEntry =
38  (lambda unrestricted entry : (family BuildPlanEntry) .
39    (eliminate
40      BuildPlanEntry
41      (lambda unrestricted current : (family BuildPlanEntry) . Bytes)
42      entry
43      (branch
44        BuildPlanEntryValue
45        name
46        value
47        .
48        (bytes-append name (bytes-append b"=" (bytes-append value b"\n"))))))

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.