~/jendhub

def finish

bendvy-ecs-core@0.1.0.4 · machine_stream.bend:93

import bendvy-ecs-core@0.1.0.4/machine_stream.bend as MachineStream
import Base

93def finish(~S: Data,~M: Data,~V: Data,reader: Reader<S,M>,stream: Stream<V>,tick: Nat,success: Bool) -> Reader<S,M> & Stream<V>:
94  match reader:
95    case Reader{namespace,+id}: (Reader{namespace,id},complete(~V,stream,id,tick,success))

Uses (7)

Used by (3)