8124def workReduceDirectCorePrimitive =
8125 (lambda unrestricted primitive : (family CorePrimitive) .
8126 (lambda unrestricted argument : (family CoreTerm) .
8127 (lambda unrestricted budget : (family NormalizationBudget) .
8128 (eliminate
8129 CorePrimitive
8130 (lambda unrestricted current : (family CorePrimitive) . (family CoreWorkResult))
8131 primitive
8132 (branch
8133 CoreByteEqual
8134 .
8135 (constructor
8136 CoreWorkResult
8137 CoreWorkCompleted
8138 (reduceDirectCorePrimitive primitive argument)
8139 budget))
8140 (branch
8141 CoreByteLess
8142 .
8143 (constructor
8144 CoreWorkResult
8145 CoreWorkCompleted
8146 (reduceDirectCorePrimitive primitive argument)
8147 budget))
8148 (branch
8149 CoreNaturalLess
8150 .
8151 (constructor
8152 CoreWorkResult
8153 CoreWorkCompleted
8154 (reduceDirectCorePrimitive primitive argument)
8155 budget))
8156 (branch
8157 CoreNaturalToByte
8158 .
8159 (workReduceCorePayloadUnary workInspectCoreNatural primitive argument budget))
8160 (branch
8161 CoreByteToNatural
8162 .
8163 (constructor
8164 CoreWorkResult
8165 CoreWorkCompleted
8166 (reduceDirectCorePrimitive primitive argument)
8167 budget))
8168 (branch
8169 CoreBytesAppend
8170 .
8171 (constructor
8172 CoreWorkResult
8173 CoreWorkCompleted
8174 (reduceDirectCorePrimitive primitive argument)
8175 budget))
8176 (branch
8177 CoreBytesCons
8178 .
8179 (constructor
8180 CoreWorkResult
8181 CoreWorkCompleted
8182 (reduceDirectCorePrimitive primitive argument)
8183 budget))
8184 (branch
8185 CoreBytesLength
8186 .
8187 (workReduceCorePayloadUnary workInspectCoreBytes primitive argument budget))
8188 (branch
8189 CoreNaturalEliminate
8190 .
8191 (constructor
8192 CoreWorkResult
8193 CoreWorkCompleted
8194 (reduceDirectCorePrimitive primitive argument)
8195 budget))
8196 (branch
8197 CoreBytesEliminate
8198 .
8199 (constructor
8200 CoreWorkResult
8201 CoreWorkCompleted
8202 (reduceDirectCorePrimitive primitive argument)
8203 budget))
8204 (branch
8205 CoreBytesEqual
8206 .
8207 (constructor
8208 CoreWorkResult
8209 CoreWorkCompleted
8210 (reduceDirectCorePrimitive primitive argument)
8211 budget))
8212 (branch
8213 CoreFileEffect
8214 .
8215 (constructor
8216 CoreWorkResult
8217 CoreWorkCompleted
8218 (reduceDirectCorePrimitive primitive argument)
8219 budget))
8220 (branch
8221 CoreEffects
8222 .
8223 (constructor
8224 CoreWorkResult
8225 CoreWorkCompleted
8226 (reduceDirectCorePrimitive primitive argument)
8227 budget))
8228 (branch
8229 CoreComputation
8230 .
8231 (constructor
8232 CoreWorkResult
8233 CoreWorkCompleted
8234 (reduceDirectCorePrimitive primitive argument)
8235 budget))
8236 (branch
8237 CoreReturn
8238 .
8239 (constructor
8240 CoreWorkResult
8241 CoreWorkCompleted
8242 (reduceDirectCorePrimitive primitive argument)
8243 budget))
8244 (branch
8245 CoreBind
8246 .
8247 (constructor
8248 CoreWorkResult
8249 CoreWorkCompleted
8250 (reduceDirectCorePrimitive primitive argument)
8251 budget))
8252 (branch
8253 CoreReadFile
8254 .
8255 (constructor
8256 CoreWorkResult
8257 CoreWorkCompleted
8258 (reduceDirectCorePrimitive primitive argument)
8259 budget))
8260 (branch
8261 CoreWriteFile
8262 .
8263 (constructor
8264 CoreWorkResult
8265 CoreWorkCompleted
8266 (reduceDirectCorePrimitive primitive argument)
8267 budget))
8268 (branch
8269 CoreLinuxOpenNode
8270 .
8271 (constructor
8272 CoreWorkResult
8273 CoreWorkCompleted
8274 (reduceDirectCorePrimitive primitive argument)
8275 budget))
8276 (branch
8277 CoreLinuxCloseNode
8278 .
8279 (constructor
8280 CoreWorkResult
8281 CoreWorkCompleted
8282 (reduceDirectCorePrimitive primitive argument)
8283 budget))
8284 (branch
8285 CoreLinuxIoctl
8286 .
8287 (constructor
8288 CoreWorkResult
8289 CoreWorkCompleted
8290 (reduceDirectCorePrimitive primitive argument)
8291 budget))
8292 (branch
8293 CoreLinuxMmap
8294 .
8295 (constructor
8296 CoreWorkResult
8297 CoreWorkCompleted
8298 (reduceDirectCorePrimitive primitive argument)
8299 budget))
8300 (branch
8301 CoreLinuxMunmap
8302 .
8303 (constructor
8304 CoreWorkResult
8305 CoreWorkCompleted
8306 (reduceDirectCorePrimitive primitive argument)
8307 budget))
8308 (branch
8309 CoreBytesSetIndex
8310 .
8311 (constructor
8312 CoreWorkResult
8313 CoreWorkCompleted
8314 (reduceDirectCorePrimitive primitive argument)
8315 budget))
8316 (branch
8317 CoreBytesIndexNonzero
8318 .
8319 (constructor
8320 CoreWorkResult
8321 CoreWorkCompleted
8322 (reduceDirectCorePrimitive primitive argument)
8323 budget))
8324 (branch
8325 CoreBytesSetFreeIndex
8326 .
8327 (constructor
8328 CoreWorkResult
8329 CoreWorkCompleted
8330 (reduceDirectCorePrimitive primitive argument)
8331 budget))
8332 (branch
8333 CoreBytesBuilderType
8334 .
8335 (constructor
8336 CoreWorkResult
8337 CoreWorkCompleted
8338 (reduceDirectCorePrimitive primitive argument)
8339 budget))
8340 (branch
8341 CoreBytesBuilderEmpty
8342 .
8343 (constructor
8344 CoreWorkResult
8345 CoreWorkCompleted
8346 (reduceDirectCorePrimitive primitive argument)
8347 budget))
8348 (branch
8349 CoreBytesBuilderChunk
8350 .
8351 (constructor
8352 CoreWorkResult
8353 CoreWorkCompleted
8354 (reduceDirectCorePrimitive primitive argument)
8355 budget))
8356 (branch
8357 CoreBytesBuilderAppend
8358 .
8359 (constructor
8360 CoreWorkResult
8361 CoreWorkCompleted
8362 (reduceDirectCorePrimitive primitive argument)
8363 budget))
8364 (branch
8365 CoreBytesBuilderBuild
8366 .
8367 (constructor
8368 CoreWorkResult
8369 CoreWorkCompleted
8370 (reduceDirectCorePrimitive primitive argument)
8371 budget))
8372 (branch
8373 CoreRuntimeImageV4Build
8374 .
8375 (constructor
8376 CoreWorkResult
8377 CoreWorkCompleted
8378 (reduceDirectCorePrimitive primitive argument)
8379 budget))
8380 (branch
8381 CoreBytesHead
8382 .
8383 (constructor
8384 CoreWorkResult
8385 CoreWorkCompleted
8386 (reduceDirectCorePrimitive primitive argument)
8387 budget))
8388 (branch
8389 CoreBytesTail
8390 .
8391 (constructor
8392 CoreWorkResult
8393 CoreWorkCompleted
8394 (reduceDirectCorePrimitive primitive argument)
8395 budget))
8396 (branch
8397 CoreBytesChecksum
8398 .
8399 (constructor
8400 CoreWorkResult
8401 CoreWorkCompleted
8402 (reduceDirectCorePrimitive primitive argument)
8403 budget))))))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.