def compact.moved

bend-kit-runner@0.13.0.1 · runner.bend:1498

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base
import bend-kit-journal@0.3.0.1/journal.bend as J

1498def compact.moved(x: Swap, j: J.Journal, +max: U32, path: String, +limit: U32, +base: U32) -> IO(Log & Out(Unit)):
1499  match x:
1500    case Kept{e}:
1501      IO.pure(Log & Out(Unit), (Log{j, path, limit, base}, Fail{e}))
1502    case Lost{e}:
1503      IO.pure(Log & Out(Unit), (Log{log.stop(j), path, limit, base}, Fail{e}))
1504    case Moved{k}:
1505      do IO<Log & Out(Unit)>:
1506        J.close(j)
1507        return (log.of(k, max, path, limit), Done{Unit{}})

Uses (16)

Used by (1)