def stream.header.remaining

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

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

1634def stream.header.remaining(
1635  pair: Bytes.Cursor & U32,
1636  +level: U32,
1637  +total: U32,
1638  +block_count: U32
1639) -> Result<&1, &1, Error, StreamState>:
1640  match pair:
1641    case (_, 0):
1642      Done{StreamState{level, total, block_count, block_count,
1643        total, None{}, Nil{}, Nil{}}}
1644    case (_, _):
1645      Fail{Malformed{}}