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 645–679

checkpointBytesResultAppend

Full file
645def checkpointBytesResultAppend =
646  (lambda unrestricted left : (family CheckpointBytesResult) .
647    (lambda unrestricted right : (family CheckpointBytesResult) .
648      (eliminate
649        CheckpointBytesResult
650        (lambda unrestricted current : (family CheckpointBytesResult) .
651          (family CheckpointBytesResult))
652        left
653        (branch
654          CheckpointBytesSucceeded
655          leftBytes
656          .
657          (eliminate
658            CheckpointBytesResult
659            (lambda unrestricted current : (family CheckpointBytesResult) .
660              (family CheckpointBytesResult))
661            right
662            (branch
663              CheckpointBytesSucceeded
664              rightBytes
665              .
666              (constructor
667                CheckpointBytesResult
668                CheckpointBytesSucceeded
669                (bytes-append leftBytes rightBytes)))
670            (branch
671              CheckpointBytesFailed
672              code
673              .
674              (constructor CheckpointBytesResult CheckpointBytesFailed code))))
675        (branch
676          CheckpointBytesFailed
677          code
678          .
679          (constructor CheckpointBytesResult CheckpointBytesFailed code)))))

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.