Source/Packages

Checkpoint.Schema

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

2,376 lines254 declarations94.9 KiBSHA-256 c49b7c5718ad

def · lines 333–414

checkpointErrorCodeBytes

Full file
333def checkpointErrorCodeBytes =
334  (lambda unrestricted code : (family CheckpointErrorCode) .
335    (eliminate
336      CheckpointErrorCode
337      (lambda unrestricted current : (family CheckpointErrorCode) . Bytes)
338      code
339      (branch
340        CheckpointParameterExtentOverflow
341        .
342        b"ALPHA-CKPT-SCHEMA-001")
343      (branch
344        CheckpointParameterCountOverflow
345        .
346        b"ALPHA-CKPT-SCHEMA-002")
347      (branch
348        CheckpointLearnerMomentExtentOverflow
349        .
350        b"ALPHA-CKPT-SCHEMA-003")
351      (branch
352        CheckpointLearnerAlignmentOverflow
353        .
354        b"ALPHA-CKPT-SCHEMA-004")
355      (branch
356        CheckpointStreamExtentOverflow
357        .
358        b"ALPHA-CKPT-SCHEMA-005")
359      (branch
360        CheckpointFieldCountOverflow
361        .
362        b"ALPHA-CKPT-SCHEMA-006")
363      (branch
364        CheckpointCanonicalUTF8Invalid
365        .
366        b"ALPHA-CKPT-SCHEMA-007")
367      (branch
368        CheckpointCanonicalLengthOverflow
369        .
370        b"ALPHA-CKPT-SCHEMA-008")
371      (branch
372        CheckpointCanonicalNumberOverflow
373        .
374        b"ALPHA-CKPT-SCHEMA-009")
375      (branch
376        CheckpointSchemaDigestFailed
377        .
378        b"ALPHA-CKPT-SCHEMA-010")
379      (branch
380        CheckpointSchemaDigestLengthInvalid
381        .
382        b"ALPHA-CKPT-SCHEMA-011")
383      (branch
384        CheckpointSchemaIdentityMismatch
385        .
386        b"ALPHA-CKPT-SCHEMA-012")
387      (branch
388        CheckpointFieldCountMismatch
389        .
390        b"ALPHA-CKPT-SCHEMA-013")
391      (branch
392        CheckpointFieldNameMismatch
393        .
394        b"ALPHA-CKPT-SCHEMA-014")
395      (branch
396        CheckpointPayloadLengthOverflow
397        .
398        b"ALPHA-CKPT-SCHEMA-015")
399      (branch
400        CheckpointPayloadLengthMismatch
401        .
402        b"ALPHA-CKPT-SCHEMA-016")
403      (branch
404        CheckpointPayloadExtentOverflow
405        .
406        b"ALPHA-CKPT-SCHEMA-017")
407      (branch
408        CheckpointPayloadExtentMismatch
409        .
410        b"ALPHA-CKPT-SCHEMA-018")
411      (branch
412        CheckpointSchemaVersionUnsupported
413        .
414        b"ALPHA-CKPT-SCHEMA-019")))

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.