def swap.opened

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
import bend-kit-journal@0.3.0.1/journal.bend as J

1477def swap.opened(+path: String, +tmp: String, +limit: U32, x: Out(J.Journal & Unit), snap: Bytes.Bytes) -> IO(Swap):
1478  match x:
1479    case Fail{e}:
1480      IO.pure(Swap, Kept{e})
1481    case Done{(t, u)}:
1482      do IO<Swap>:
1483        y : J.Journal & Out(Unit) <- J.append(t, snap)
1484        swap.written(path, tmp, limit, y)