Representation.BuildRequest

1module Representation.BuildRequest
2
3-- Metadata for one semantic system paired with one concrete target. The
4-- system owns this value; it is not a row in a cross-system release matrix.
5family SystemTargetBuildRequest : Type 0
6constructor SystemTargetBuildRequestValue
7field unrestricted buildRequestSystemIdentity : Bytes
8field unrestricted buildRequestLearnerIdentity : Bytes
9field unrestricted buildRequestTargetIdentity : Bytes
10field unrestricted buildRequestAdmissionAccepted : Nat
11field unrestricted buildRequestScheduleIdentity : Bytes
12field unrestricted buildRequestMemoryIdentity : Bytes
13field unrestricted buildRequestProtocolIdentity : Bytes
14field unrestricted buildRequestCheckpointIdentity : Bytes
15field unrestricted buildRequestOutputFilename : Bytes
16field unrestricted buildRequestArtifactRoot : Bytes
17field unrestricted buildRequestArtifactExpression : Bytes
18
19end-family
20
21def renderBuildRequest =
22  (lambda unrestricted request : (family SystemTargetBuildRequest) .
23    (eliminate
24      SystemTargetBuildRequest
25      (lambda unrestricted current : (family SystemTargetBuildRequest) . Bytes)
26      request
27      (branch
28        SystemTargetBuildRequestValue
29        system
30        learner
31        target
32        admitted
33        schedule
34        memory
35        protocol
36        checkpoint
37        output
38        artifactRoot
39        artifactExpression
40        .
41        (bytes-append
42          b"system="
43          (bytes-append
44            system
45            (bytes-append
46              b"\tlearner="
47              (bytes-append
48                learner
49                (bytes-append
50                  b"\ttarget="
51                  (bytes-append
52                    target
53                    (bytes-append
54                      b"\tschedule="
55                      (bytes-append
56                        schedule
57                        (bytes-append
58                          b"\tmemory="
59                          (bytes-append
60                            memory
61                            (bytes-append
62                              b"\tprotocol="
63                              (bytes-append
64                                protocol
65                                (bytes-append
66                                  b"\tcheckpoint="
67                                  (bytes-append
68                                    checkpoint
69                                    (bytes-append b"\toutput="
70                                      (bytes-append output
71                                        (bytes-append b"\troot="
72                                          (bytes-append artifactRoot
73                                            (bytes-append b"\texpression="
74                                              (bytes-append artifactExpression b"\n"))))))))))))))))))))
75  )))