~/jendhub

def source.read.checked

mylsm-lsm-store@0.6.0.1 · src/transfer/RestoreIo.bend:450

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

450def source.read.checked(
451  +destination: String,
452  +expected_size: Nat,
453  input: Bytes.Bytes
454) -> IO(Result<&1, &1, Error, Unit>):
455  match input:
456    case Bytes.Bytes{+len, _}:
457      source.read.length(destination, input,
458        Nat.is_eq(U32.to_nat(len), expected_size))

Uses (10)

Used by (1)