def decode_header.comparison

mylsm-lsm-store@0.6.0.1 · src/ByteWal.bend:149

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

149# Converts a raw WAL header comparison into a format decision.
150def decode_header.comparison(
151  comparison: Bytes.Bytes & Bytes.Bytes & Bool
152) -> Result<&1, &1, Wal.Error, Unit>:
153  match comparison:
154    case (_, _, True{}):
155      Done{Unit{}}
156    case (_, _, False{}):
157      Fail{Wal.Malformed{}}