AlphaGitHub
Source/Packages

Checkpoint.Schema

packages/execution/persistence/src/Checkpoint/Schema.alpha

2,376 lines254 declarations94.9 KiBSHA-256 c49b7c5718ad
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1561–1577

checkpointCanonicalFields

Full file
1561def checkpointCanonicalFields =
1562  (lambda unrestricted fields : (family CheckpointFields) .
1563    (eliminate
1564      CheckpointFields
1565      (lambda unrestricted current : (family CheckpointFields) . (family CheckpointBytesResult))
1566      fields
1567      (branch
1568        CheckpointFieldsEnd
1569        .
1570        (constructor CheckpointBytesResult CheckpointBytesSucceeded b""))
1571      (branch
1572        CheckpointFieldsNext
1573        head
1574        tail
1575        ih_tail
1576        .
1577        (checkpointBytesResultAppend (checkpointCanonicalField head) ih_tail))))

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.