def footer.counts

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupCursor.bend:212

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/VisibleCursor.bend as VisibleCursor
import mylsm-lsm-store@0.6.0.1/src/transfer/Backup.bend as Backup

212def footer.counts(
213  cursor: Maybe<&1, VisibleCursor.Cursor>,
214  seen: Nat,
215  expected: Nat,
216  entries: U32 & U32,
217  blocks: U32 & U32,
218  indexes: U32 & U32
219) -> Step:
220  match entries:
221    case (encoded_entries, retained_entries):
222      match blocks:
223        case (encoded_blocks, retained_blocks):
224          match indexes:
225            case (encoded_index, retained_index):
226              footer.ready(cursor, seen, expected,
227                retained_entries, retained_blocks, retained_index,
228                Backup.footer.bytes(Backup.Stream{Backup.Footer{}, Nil{},
229                  encoded_entries, encoded_blocks, encoded_index}))