~/jendhub

def source.read.length

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

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

441def source.read.length(
442  +destination: String,
443  input: Bytes.Bytes,
444  equal: Bool
445) -> IO(Result<&1, &1, Error, Unit>):
446  match equal:
447    case False{}: IO.pure(Result<&1, &1, Error, Unit>, Fail{InvalidFormat{}})
448    case True{}: restore(destination, input)

Uses (9)

Used by (1)