def fields.readers

mylsm-lsm-store@0.6.0.1 · src/ResourceOptions.bend:60

import Base

60def fields.readers(
61  readers: ReaderLimits,
62  tail: List<&2, U32>
63) -> List<&2, U32>:
64  match readers:
65    case ReaderLimits{snapshots, cursors, cursors_per_snapshot,
66      retained_root_bytes, retired_files, index_page_bytes,
67      index_buffer_bytes, restore_bytes}:
68      Con{snapshots, Con{cursors, Con{cursors_per_snapshot,
69        Con{retained_root_bytes, Con{retired_files,
70          Con{index_page_bytes, Con{index_buffer_bytes,
71            Con{restore_bytes, tail}}}}}}}}