~/jendhub

def open.replayed

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

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

335def open.replayed(file: File, +max: U32, -A: Type, r: Replay<A, Cur>) -> IO(Result<&1, &1, U32 & String, Journal & A>):
336  Replay{acc, t, rest} = r
337  Cur{b, +pos} = rest
338  open.tail(t, file, max, pos, A, acc)

Uses (10)

Used by (1)