~/jendhub

def source.sized

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

import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo
import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/RestorePolicy.bend as RestorePolicy

503def source.sized(
504  +destination: String,
505  +source: String,
506  +size: Nat
507) -> IO(Result<&1, &1, Error, Unit>):
508  source.sized.checked(destination, source, size,
509    RestorePolicy.exchange.fits(RestorePolicy.max.exchange.bytes(), size))

Uses (9)

Used by (1)