def source.size

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

import Base

511def source.size(
512  +destination: String,
513  +source: String,
514  measured: Result<&1, &1, U32 & String, Nat>
515) -> IO(Result<&1, &1, Error, Unit>):
516  match measured:
517    case Fail{(code, message)}:
518      IO.pure(Result<&1, &1, Error, Unit>, Fail{Io{code, message}})
519    case Done{size}: source.sized(destination, source, size)