def unsubscribe

bendvy-ecs-core@0.1.0.4 · execution_trace.bend:50

import Base

50# Consume the subscriber and return its actual State for reuse or explicit
51# disposal. No implicit user cleanup/destructor callback is invoked.
52def unsubscribe(~State:Type,~Error:Data,~step:State -> TraceEvent<Error> -> State,value:Subscriber<State,Error,step>) -> State:
53  match value:
54    case Subscriber{state}:state