def Source.tape

bend-trace-context@0.2.0.0 · trace_context.bend:1550

import Base

1550# A deterministic source that replays a tape of word results.
1551def Source.tape(tape: List<&1, Result<&1, &1, U32 & String, U32>>) ->
1552  IO(List<&1, Result<&1, &1, U32 & String, U32>> & Result<&1, &1, U32 & String, U32>):
1553  IO.pure(List<&1, Result<&1, &1, U32 & String, U32>> & Result<&1, &1, U32 & String, U32>, Tape.next(tape))