~/jendhub

def append.back

bend-kit-journal@0.3.1.0 · journal.bend:356

import bend-kit-journal@0.3.1.0/journal.bend as Journal
import Base

356def append.back(+max: U32, +end: U32, +len: U32, r: File & Result<&1, &1, U32 & String, Unit>) -> Journal & Result<&1, &1, U32 & String, Unit>:
357  match r:
358    case (file, Done{u}):
359      (Journal{file, max, (end + len : U32), True{}}, Done{u})
360    case (file, Fail{e}):
361      (Journal{file, max, end, False{}}, Fail{e})

Uses (10)

Used by (1)