~/jendhub

def Draw.read

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

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
import Base

1378# Drive a generation from any source (Drive.read).
1379def Draw.read(~S: Type, ~read: S -> IO(S & Result<&1, &1, U32 & String, U32>), fuel: Nat,
1380  current: S & Step) -> IO(S & Step):
1381  match current:
1382    case Tuple{state, +step}:
1383      Drive.read(~Step, ~Draw, ~Step.waiting, ~Draw.feed, ~S, ~read, fuel, (state, (step, Step.waiting(step))))

Uses (12)

Used by (1)