def parse.footer.end

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:1025

import Base
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable

1025def parse.footer.end(
1026  +level: U32,
1027  entries: List<&2, MemTable.Entry>,
1028  at_end: Bool
1029) -> Result<&1, &1, Error, Sstable.Table>:
1030  match at_end:
1031    case False{}:
1032      Fail{Malformed{}}
1033    case True{}:
1034      Done{Sstable.from_sorted_unique(
1035        List.reverse(&2, MemTable.Entry, entries), U32.to_nat(level))}